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).
This work introduces the subject of formal logic by way of a system that is like syllogistic logic. Its system, like old-fashioned, traditional syllog...
Taking students beyond classical mathematical logic, Philosophical Logic is a wide-ranging introduction to more advanced topics in the study of philosophical logic.
Starting by contrasting familiar classical logic with constructivist or intuitionist logic, the book goes on to offer concise but easy-to-read introductions to such subjects as quantificational and syllogistic logic, modal logic and set theory.
Chapters include:
- Sentential Logic-...
Taking students beyond classical mathematical logic, Philosophical Logic is a wide-ranging introduction to more advanced topics in th...
Contemporary analytic philosophy can generally be characterized by the following tendencies: commitment to first-order predicate logic as the only viable formal logic; rejection of correspondence theories of truth; a view of existence as something expressed by the existential quantifier; a metaphysics that doesn't give the world as a whole its due. This book seeks to offer an alternative analytic theory, one that provides a unified account of what there is, how we speak about it, the underlying logic of our language, how the truth of what we say is determined, and the central role of the...
Contemporary analytic philosophy can generally be characterized by the following tendencies: commitment to first-order predicate logic as the only ...
Post-Fregean logicians tend to ignore the traditional logic of Aristotle and the Scholastics, while in recent years, following the lead of Fred Sommers, the viability of a renewed logic of terms has been shown. This new term logic surpasses today s standard logic in simplicity and naturalness. The book (including two chapters by Sommers) exhibits how such a logic can shed light on a variety of challenges that face any system of formal logic.
"
Post-Fregean logicians tend to ignore the traditional logic of Aristotle and the Scholastics, while in recent years, following the lead of Fred Som...
