An Invitation to Formal Reasoning: The Logic of Terms

ISBN-13: 9780754613664 / Angielski / Twarda / 2000 / 280 str.

Fred Sommers;George Englebretsen

Opis

This work introduces the subject of formal logic by way of a system that is like syllogistic logic. Its system, like old-fashioned, traditional syllogistic, is a term logic. The authors' version of logic (term-function logic, TFL) shares with Aristotle's syllogistic the insight that the logical forms of statements that are involved in inferences as premises or conclusions can be construed as the result of connecting pairs of terms by means of a logical copula (functor). This insight contrasts markedly with that which informs today's standard formal logic (modern predicate logic, MPL).

Recenzje

'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

Spis treści

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.

O autorze

Fred Sommers, George Englebretsen