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.
外文書商品之書封，為出版社提供之樣本。實際出貨商品，以出版社所提供之現有版本為主。部份書籍，因出版社供應狀況特殊，匯率將依實際狀況做調整。
無庫存之商品，在您完成訂單程序之後，將以空運的方式為你下單調貨。為了縮短等待的時間，建議您將外文書與其他商品分開下單，以獲得最快的取貨速度，平均調貨時間為1~2個月。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。
