Logic. A Primer

This introduction to formal logic is for students of Philosophy, Mathematics, Computer Science, and/or Linguistics. Philosophically sensitive, historically and linguistically

informed, and mathematically precise, it deals with fundamentals.

Its distant ancestor Natural Logic married Gentzenian proof theory to Tarskian model-theoretic semantics; and distinguished the important subsystem of Intuitionistic Logic. The

author has since published research on capturing relevance proof-theoretically, and extending Tarskian semantics with model-relative truthmakers and falsitymakers. These

later ideas are expounded here at a gentler level.

The coverage is largely at the 'object level'. It gets the main innovative ideas across in systematic fashion. A plethora of exercises serve concept and skill acquisition: translating

between English sentences and formal sentences of first-order logic; finding formal proofs of valid arguments; and finding counterexamples to invalid ones. The text distinguishes

constructive from 'strictly classical' reasoning. It also signposts significant metalogical results to be established in a sequel.

The approach is strongly proof-theoretical. Primitive rules of inference governing logical operators flow from left-to-right readings of the famous two-valued truth tables. Modelrelative

truthmakers and falsitymakers are constructed using rules of semantic evaluation.

These rules morph seamlessly into model-invariant rules of natural deduction for connectives and quantifiers. These, in turn, are rendered as logical rules of the sequent

calculus. The deductive rules gestated from the rules of evaluation guarantee relevance of premises of deductive proofs to their conclusions.

The text lays firm foundations for the concepts of soundness and completeness of a proof system with respect to a semantics. It shows that its proof system meets all the

methodological demands on a logic for formalizing deductive reasoning (whether constructive or classical) in both mathematics and science.

Quine famously and approvingly called the language of first-order logic Grade A idiom. It is now equipped with what one can call Grade A argumentation.