Save today: Get 40% off titles in Popular Science!

Palgrave Philosophy Today
cover

Symbolic Logic

Authors: Makridis, Odysseus

  • A learning-focused approach - the mode of presentation, and the numerous examples and exercises have all been developed with the key aim of assisting learning
  • Astute use of recapitulation - reiteration is deployed deliberately with varying themes and accounts with the purpose of facilitating understanding and learning
  • Broad coverage - topics included that other texts often omit include: substitutions into well-formed formulas, substitution compositions, truth function diagrams and metalogical properties, parsing or decomposition trees for sentential and predicate logic formulas, prenex forms and Skolemization, Tarski truth tables for predicate logic formulas, the resolution method, alternative methods for definitions of connectives and computation in sentential logic, and reverse-engineering in natural deduction proofs
see more benefits

Buy this book

eBook  
  • ISBN 978-3-030-67396-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Softcover ca. 57,19 €
price for Spain (gross)
About this Textbook

This book presents a detailed and analytical introduction to the essential elements of the standard (also called classical) symbolic logic. Topics covered include:   

  • The characteristic nature and scope of logic as a discipline 
  • Construction of a series of distinctly named formal languages suitable for formal translations 
  • The semantics and proof theory of the standard sentential (also called propositional) logic and predicate (also called first-order) logic
  • Parsing trees for elucidation of formal syntax and extraction of alternative notations (Polish notation) 
  • Fitch-style proof-theory 
  • A sequent proof system 
  • “Tree” proof systems 
  • Theoretical and formal comparisons and contrasts with a philosophically vital rival logic (Intuitionistic Logic) 
  • Presentations of predicate logic models both for domains with all named objects and domains that do not have all objects named 
  • The obligatory ancillary chapter on elements of set theory is placed conveniently at the end, with some allowances made for glimpses into the Zermelo-Fraenkel systematization of set theory.  
  • Philosophy of logic elements are briefly covered in the opening analysis of the characterizing features of logic 
  • Metalogic (soundness and completeness proofs for the formal systems) is excluded but select exercises in the text afford instructive presentations of certain metalogical subjects (explanation and application of mathematical induction on the construction of the formula, tests for well-formedness for the Polish notation, and functional completeness). 

This text is poised at an advanced introductory/intermediate level. The text is also unusual in its emphasis on the philosophical analysis of logic alongside its elaborate presentation and explication of the formal apparatus. Strategically placed and probing exercises motivate application of the formal machinery; many exercises invite philosophical engagement with logic and, in this vein, would appeal to philosophical students and ambitious beginners who need a thorough and rigorous introductory text.  

About the authors

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. His publications include two volumes of Fathoming Formal Logic (2018) and the Internet Encyclopedia of Philosophy entry on “the Sheffer Stroke.” 


Buy this book

eBook  
  • ISBN 978-3-030-67396-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Softcover ca. 57,19 €
price for Spain (gross)

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Symbolic Logic
Authors
Series Title
Palgrave Philosophy Today
Copyright
2021
Publisher
Palgrave Macmillan
Copyright Holder
The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG
eBook ISBN
978-3-030-67396-3
Softcover ISBN
978-3-030-67395-6
Edition Number
1
Number of Illustrations
15 b/w illustrations
Topics