Logic And Metalogic

Logic and Metalogic

Philosophy of Logic and Mathematics

This volume presents different conceptions of logic and mathematics and discuss their philosophical foundations and consequences. This concerns first of all topics of Wittgenstein's ideas on logic and mathematics; questions about the structural complexity of propositions; the more recent debate about Neo-Logicism and Neo-Fregeanism; the comparison and translatability of different logics; the foundations of mathematics: intuitionism, mathematical realism, and formalism. The contributing authors are Matthias Baaz, Francesco Berto, Jean-Yves Beziau, Elena Dragalina-Chernya, Günther Eder, Susan Edwards-McKie, Oliver Feldmann, Juliet Floyd, Norbert Gratzl, Richard Heinrich, Janusz Kaczmarek, Wolfgang Kienzler, Timm Lampert, Itala Maria Loffredo D'Ottaviano, Paolo Mancosu, Matthieu Marion, Felix Mühlhölzer, Charles Parsons, Edi Pavlovic, Christoph Pfisterer, Michael Potter, Richard Raatzsch, Esther Ramharter, Stefan Riegelnik, Gabriel Sandu, Georg Schiemer, Gerhard Schurz, Dana Scott, Stewart Shapiro, Karl Sigmund, William W. Tait, Mark van Atten, Maria van der Schaar, Vladimir Vasyukov, Jan von Plato, Jan Woleński and Richard Zach.

Metalogic for Students

This text is for academics, postgraduates and upper-level students who want to know more about formal logic. The text assumes some elementary knowledge of formal logic. It covers the semantics and axiomatics of modern classical formal logic, as well as proofs of soundness, completeness, and both of Gödel’s theorems. There is also a discussion of the pictorial semantics of various logic diagrams: Euler, Carroll, and Venn diagrams, Karnaugh maps, and switching circuits. Lastly, the book covers the reliability of classical formal logic for the evaluation of everyday argumentation, and Nether Logic, the logic of the transmission of falsehood.