<i>The History of Philosophical and Formal Logic</i>introduces ideas and thinkers central to the development of philosophical and formal logic. From its Aristotelian origins to the present-day arguments, logic is broken down into four main time periods:<br /><br />Antiquity and the Middle Ages (Aris
An introduction to the history of philosophical and formal logic: from Aristotle to Tarski
โ Scribed by Malpass, Alex
- Publisher
- Bloomsbury
- Year
- 2015
- Tongue
- English
- Leaves
- 337
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Table of Contents
IntroductionPart I: The Origins of Formal Logic 1. Aristotle's Logic, Adriane Rini2. Stoic Logic, Katerina Ierodiakonou 3. Medieval Logic, Sara L. Uckleman Part II: The Early Modern Period 4. Leibniz, Jaap Maat 5. Bolzano, Joenne Kriener6. Boole, Giulia Terzian Part III: Mathematical Logic 7. C. S. Peirce, Peter Ohrstrom 8. Frege, Walter B. Pedriali 9. Peano and Russell, Alexander Bird10. Hilbert, Curtis Franks Part IV: Twentieth Century Logic 10. Goedel, P. D. Welch12. Tarski, Benedict Eastaugh Index
โฆ Subjects
Logik
๐ SIMILAR VOLUMES
The History of Philosophical and Formal Logic introduces ideas and thinkers central to the development of philosophical and formal logic. From its Aristotelian origins to the present-day arguments, logic is broken down into four main time periods: Each new time frame begins with an introductory over
viii, 322 pages ; 24 cm
forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that
Rigorous yet engaging and accessible, <i>Introduction to Formal Logic with Philosophical Applications</i> is composed of two parts. The first part (Chapters 1-5) provides a focused, "nuts-and-bolts" introduction to formal deductive logic that covers syntax, semantics, translation, and natural deduct