Umfang:
1 Online-Ressource
Ausgabe:
Also published in print
ISBN:
9781474256919
,
1472505255
,
9781472507174
,
1472507177
,
9781472505255
,
9781472513502
,
1472513509
Inhalt:
Cover page; Halftitle page; Series page; Title page; Copyright page; Contents; Preface; Introduction; References; Part I The Origins of Formal Logic; 1 Aristotle's Logic; 1 The syllogism; 2 A lesson from Plato: Names and verbs; 3 Affirmation and denial; 4 Categorical propositions; 5 Further syllogisms; 6 Counterexamples: 'There is no syllogism'; 7 Modal syllogistic; 8 Appendix: The medieval mnemonics; Notes; References; Secondary; 2 Stoic Logic; 1 Stoic logic in context; 2 The Stoic logical system; 3 Conclusion; References; 3 Medieval Logic; 1 Introduction; 2 The reception of Aristotle
Inhalt:
3 Properties of terms4 Theories of consequences; 5 Insolubilia and sophismata; 6 Obligational disputations; 7 Conclusion; Notes; References; Part II The Early Modern Period; 4 Leibniz; 1 Introduction; 2 Leibniz as a logician; 3 Systematizing syllogistics; 4 Combinatorics, the alphabet of human thoughts and the philosophical language; 5 The logical calculi; 6 Rational grammar; References; Works by Leibniz; Other works; 5 Bolzano; 1 Introduction; 2 Life; 3 Propositions and ideas; 4 Variation; 5 Bolzano's theory of grounding; 6 Conclusion; Notes; References; Solutions to exercises; 6 Boole
Inhalt:
1 Life and works2 The laws of thought; 3 Limitations of Boole's theory; 4 Boole's algebra, and Boolean algebra; Notes; Part III Mathematical Logic; 7 C.S -- Peirce; 1 The Alpha Graphs; 2 The Beta Graphs; 3 The need for more than Alpha and Beta Graphs; 4 The Gamma Graphs; 5 Tempo-modal predicate logic and existential graphs; References; 8 Frege; Introduction; 1 Locating the watershed; 2 Frege's philosophy of logic; 3 Begriffsschrift; 4 The rise and fall of Frege's project; Notes; References; 9 Peano and Russell; Introduction; 1 Giuseppe Peano; 2 From Peano to Russell; 3 Bertrand Russell
Inhalt:
ConclusionNote; Further reading; References; 10 Hilbert; 1 A mathematician's cast of mind; 2 Model theory; 3 Proof theory; 4 Logical completeness; 5 Conclusion; Problems; References; Part IV Twentieth-Century Logic; 11 Gödel; 1 Introduction; 2 The Completeness Theorem; 3 Incompleteness; 4 The sequel; Further reading; References; 12 Tarski; 1 Introduction; 2 The theory of truth; 3 The Banach-Tarski paradox; 4 Decidable and undecidable theories; Notes; References; Index
Inhalt:
"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: Antiquity and the Middle Ages (Aristotle and The Stoics) The early modern period (Bolzano, Boole) High modern period (Frege, Peano & Russell and Hilbert) Early 20th century (Godel and Tarski) Each new time frame begins with an introductory overview highlighting themes and points of importance. Chapters discuss the significance and reception of influential works and look at historical arguments in the context of contemporary debates. To support independent study, comprehensive lists of primary and secondary reading are included at the end of chapters, along with exercises and discussion questions. By clearly presenting and explaining the changes to logic across the history of philosophy, The History of Philosophical and Formal Logic constructs an easy-to-follow narrative. This is an ideal starting point for students looking to understand the historical development of logic."--
Anmerkung:
Includes bibliographical references and index
,
Also published in print.
,
Mode of access: World Wide Web.
,
Barrierefreier Inhalt: Compliant with Level AA of the Web Content Accessibility Guidelines. Content is displayed as HTML full text which can easily be resized or read with assistive technology, with mark-up that allows screen readers and keyboard-only users to navigate easily
Weitere Ausg.:
ISBN 9781472513502
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe History of philosophical and formal logic from Aristotle to Tarski
Sprache:
Englisch
Schlagwort(e):
Electronic books
DOI:
10.5040/9781474256919