| Document Type
|
:
|
BL
|
| Record Number
|
:
|
850421
|
| Title & Author
|
:
|
The history of philosophical and formal logic from Aristotle to Tarski /\ edited by Alex Malpass and Marianna Antonutti Marfori.
|
| Publication Statement
|
:
|
London, UK ;New York, NY, USA :: Bloomsbury Academic, an imprint of Bloomsbury Publishing, Plc,, [2017]
|
| Page. NO
|
:
|
1 online resource
|
| ISBN
|
:
|
1472505255
|
|
|
:
|
: 9781472505255
|
|
|
:
|
1472513509
|
|
|
:
|
9781472513502
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index.
|
| Contents
|
:
|
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
|
|
|
:
|
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
|
|
|
:
|
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
|
|
|
:
|
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
|
| Subject
|
:
|
Logic-- History.
|
| Subject
|
:
|
Logic.
|
| Subject
|
:
|
PHILOSOPHY-- Logic.
|
| Dewey Classification
|
:
|
160
|
| LC Classification
|
:
|
BC15.H57 2017eb
|
| Added Entry
|
:
|
Malpass, Alex
|
|
|
:
|
Marfori, Marianna Antonutti
|