Buch
Symbolic Logic
Odysseus Makridis
58,84
EUR
Lieferzeit 12-13 Tage
Übersicht
Verlag | : | Springer International Publishing |
Buchreihe | : | Palgrave Philosophy Today |
Sprache | : | Englisch |
Erschienen | : | 19. 12. 2021 |
Einband | : | Kartoniert |
Höhe | : | 235 mm |
Breite | : | 155 mm |
ISBN | : | 9783030673956 |
Sprache | : | Englisch |
Autorinformation
Odysseus Makridis is a Professor of Philosophy at Fairleigh Dickinson University, USA. Previously, he taught at Brandeis University, USA, and was Teaching Fellow at the Harvard Kennedy School of Government, USA.  
Inhaltsverzeichnis
1. What Logic Studies.- 2. Concepts of Deductive Reasoning.- 3. Formal Logic of Sentences, Sentential Logic (also called Sentential Logic and Statement Logic).- 4. Sentential Logic Languages ∑.- 5. Formal Predicate Logic (also called First-Order Logic) ∏.- 6. Translations from English into ∏πφ= (also called Symbolizations, Formalizations).- 7. Semantic Models for ∏: ∏⧉.- 8. Proof-Theoretical System for Predicate Logic: ∏πφ=.- 9. Definite Descriptions: ∏πφ=⍳.- 10. Basics of Set Theory.