Regular price €68.99
Quantity:
In stock with our UK publisher. 14-28 days
Delivery/Collection within 10-20 working days
14 days return policy Shipping & Delivery
A01=Lorne Falkenstein
A01=Molly Kao
A01=Scott Stapleford
advanced logical systems analysis
Assumption Brackets
Atomic Sentences
Author_Lorne Falkenstein
Author_Molly Kao
Author_Scott Stapleford
Binary Connective
BMP
Canonical Method
Category=PB
Category=PBB
Category=PBCD
Category=QDTL
Category=UB
Compound Sentence
Conditional Proof
Definite Descriptions
Derivation Rule
Entailment Principle
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
first order logic
formal reasoning
Identity Sentence
Inductive Hypothesis
Iterated Conjunction
Left Path
Main Connective
Mathematical Induction
metatheory basics
modal logic introduction
MSL
natural language formalization
nonclassical logics
Paraconsistent Logic
Predicate Descriptions
Predicate Sentence
Quantified Sentences
Sentence Letters
Valuation Rules
Variable Assignments
Vocabulary Elements

Product details

  • ISBN 9780367460297
  • Weight: 1560g
  • Dimensions: 210 x 280mm
  • Publication Date: 30 Nov 2021
  • Publisher: Taylor & Francis Ltd
  • Publication City/Country: GB
  • Product Form: Paperback
Secure checkout Fast Shipping Easy returns

Logic Works is a critical and extensive introduction to logic. It asks questions about why systems of logic are as they are, how they relate to ordinary language and ordinary reasoning, and what alternatives there might be to classical logical doctrines.

The book covers classical first-order logic and alternatives, including intuitionistic, free, and many-valued logic. It also considers how logical analysis can be applied to carefully represent the reasoning employed in academic and scientific work, better understand that reasoning, and identify its hidden premises. Aiming to be as much a reference work and handbook for further, independent study as a course text, it covers more material than is typically covered in an introductory course. It also covers this material at greater length and in more depth with the purpose of making it accessible to those with no prior training in logic or formal systems.

Online support material includes a detailed student solutions manual with a running commentary on all starred exercises, and a set of editable slide presentations for course lectures.

Key Features

  • Introduces an unusually broad range of topics, allowing instructors to craft courses to meet a range of various objectives
  • Adopts a critical attitude to certain classical doctrines, exposing students to alternative ways to answer philosophical questions about logic
  • Carefully considers the ways natural language both resists and lends itself to formalization
  • Makes objectual semantics for quantified logic easy, with an incremental, rule-governed approach assisted by numerous simple exercises
  • Makes important metatheoretical results accessible to introductory students through a discursive presentation of those results and by using simple case studies

Lorne Falkenstein is Professor Emeritus at Western University in London, Canada, where he taught symbolic logic for many years. He has published on treatments of spatial representation, temporal awareness, and visual perception in the work of a number of 17th and 18th century philosophers, and continues to do work in that area.

Scott Stapleford is Professor of Philosophy at St. Thomas University in Fredericton, Canada. He is the author of Kant’s Transcendental Arguments: Disciplining Pure Reason (2008), coauthor (with Tyron Goldschmidt) of Berkeley’s Principles: Expanded and Explained (Routledge, 2016) and Hume’s Enquiry: Expanded and Explained (Routledge, 2021), coeditor (with Kevin McCain) of Epistemic Duties: New Arguments, New Angles (Routledge, 2020), and coeditor (with Kevin McCain and Matthias Steup) of Epistemic Dilemmas: New Arguments, New Angles (Routledge, 2021).

Molly Kao is Assistant Professor of Philosophy at the University of Montreal, in Montreal, Canada. Her primary area of research is philosophy of science, having worked on issues in the development of quantum theory as well as methodological questions involving unification and confirmation.

More from this author