An Invitation to Formal Reasoning: The Logic of Terms
An Invitation to Formal Reasoning introduces the discipline of formal logic by means of a powerful new system formulated by Fred Sommers. This system, term logic, is different in a number of ways from the standard system employed in modern logic; most striking is its greater simplicity and naturalness. Borrowing insights from Aristotle's syllogistic, Scholastic logicians, Leibniz, and the 19th century British algebraists, term logic takes its syntax directly from natural language. Its naturalness is the result of its ability to stay close to the forms of sentences usually found in every day discourse.
Written by the founders of the term logic approach, An Invitation to Formal Reasoning is a unique introduction and exploration of this new system, offering numerous exercises and examples throughout the text. Summarizing the standard system of mathematical logic to set term logic in context, and showing how the two systems compare, this book presents an alternative approach to standard modern logic for those studying formal logic, philosophy of language or computer theory.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Reasoning 1 Introduction
The Form of an Argument
The Form of Singular Statements
115 other sections not shown
A-form affirmation algebraic antecedent apply argument is valid barber shaves Bigfoot binary called Caruso characteristic characterization citizen claim commutation compound statements Consider construing contradiction counterclaim denial derive distributed dyad dyadic entails example existence existential expression fact false form X+Y formal functor girl give given horse identity inference instantiation invalid Leibniz logically equivalent logician mermaids middle term Modus Ponens MPL formula non-trivial noncitizen nonexistence normal form notation obverse occurrence orn't p-world pair paraphrase partial disjunctions phrase positive Predicate Logic predicate term premise preterms pronominalization pronoun proper name propositional logic propositional statements quantity Regiment relational terms represent roses are red rules rules of inference sentence signifies singular statement statement logic statement of form subject term superscript syllogism syllogistic term logic terminist thing transcribe transcription transformation translation tree true universal valence Venn diagram verb wise women are farmers