scientific article; zbMATH DE number 2205635

Publication date 15 September 2005

axiom classical logic formal language nonclassical logic proposition semantics set theory syntax

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

This introduction to logic is unusual in several respects: it includes both classical and some nonclassical logics; it adopts, as the author says, a breadth-first approach rather than a depth-first approach; it is very elementary, conceived for undergraduate classes, maybe too elementary for a graduate course; it is written for classroom use, but it may be used also for self-guided study; it addresses students in mathematics, but it may be adopted in some philosophy departments as well; it is deliberately a work of exposition and pedagogy, not of research; it attempts to use as little algebra as possible; it proposes some changes in the terminology (for instance, with respect to intuitionistic logic), making it more suggestive; it pays great importance to the relation between logic and natural language; it prefers, in many situations, the informal, not the axiomatic style. The book is organized as follows: Section A, Preliminaries: Introduction for teachers; Introduction for students; Informal set theory; Topologies and interiors; English and informal classical logic; Definition of a formal language. Section B, Semantics: Definitions for semantics; Numerically valued interpretations; Set-valued interpretations; Topological semantics; More advanced topics in semantics. Section C, Basic syntactics: Inference systems; Basic implication; Basic logic. Section D, One-formula extensions: Contraction; Expansion and positive paradox; Explosion; Fusion; Non-elimination; Relativity. Section E, Soundness and major logics: Soundness; Constructive axioms: avoiding not-elimination; Relevant axioms: avoiding expansion; Fuzzy axioms: avoiding contraction; Classical logic; Abelian logic. Section F, Advanced results: Harrop's principle for constructive logic; Multiple worlds for implications; Completeness via maximality. We warmly recommend this book as an example of how the mathematical way of thinking can be made available and pleasant to a large group of students.

Recommendations

Cited in

(27)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5316951)