1st Edition

An Invitation to Formal Reasoning The Logic of Terms

By Fred Sommers, George Englebretsen Copyright 2000
280 Pages
by Routledge

280 Pages
by Routledge

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. Based on a radically different theory of logical syntax than the one Frege used when... Read more
Contents: Reasoning: Introduction; The form of an argument; A word about the form of statements; The form of singular statements; Terms and statements; Symbolizing compound statements; A word about validity; How material expressions are meaningful; Terms; Some terms are ’vacuous’; Statement meaning; Truth and correspondence to facts; Propositions; ’States of affairs’; The facts and the facts; What statements denote; Summary and discussion on the meaning of statements; Picturing Propositions: State diagrams; Representing singular propositions; Entailments; Negative entailments; States and states; Positive and negative ’valence’; The limitations of state diagrams; The statement use of sentences; Truth relations; Logical syntax.

Biography

Fred Sommers, George Englebretsen

'Authored by the two foremost authorities on this subject, it is an up-to-date definitive statement of terminist philosophy.... On balance, this book is stimulating and thought-provoking. It would be an interesting experience to use it to teach an introductory course in formal logic. In addition to the copious examples, the book contains after each section a set of exercises to test comprehension.' The Bulletin of Symbolic Logic