By delving into the history and development of logic from its beginnings to the modern era, George Englebretsen rehabilitates term logic and demonstrates that an enhanced traditional logic remains a viable possibility. Taking inspiration from Fred Sommers' work, he creates an updated and fascinating version of term logic; one he believes to be just as legitimate as, and in ways superior to, the currently predominant mathematical logic.

Many systems of logic diagrams have been offered both historically and more recently. Each of them has clear limitations. An original alternative system is offered here. It is simpler, more natural, and more expressively and inferentially powerful. It can be used to analyze not only syllogisms but arguments involving relational terms and unanalyzed statement terms.

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 exhibits how such a logic can shed light on a variety of challenges that face any system of formal logic.".

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 doesnOCOt 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 real world in all of this. The result is a robust account of reality. The inspiration for many of the ideas that constitute this overall theory comes from such sources as Aristotle, Leibniz, Ryle, and Sommers.". (shrink)

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 initiating modern mathematical logic in the 19th Century, term logic borrows insights from Aristotle's syllogistic, Scholastic logicians, (...) Leibniz, and the 19th century British algebraists. Term logic takes its syntax directly from natural language, construing statements as combinations of pairs of terms, where complex terms are taken to have the same syntax as statements. Whereas standard logic requires extensive 'translation' from natural language to symbolic language, term logic requires only 'transcription' into the symbolic 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. Summarising 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. Fred Sommers is Professor Emeritus, Brandeis University, USA; George Englebretsen is Professor of Philosophy, Bishop's University, Canada. (shrink)

Quine has often expressed his impatience with the fact that "Identity evidently invites confusion between sign and object" He finds the confusion in the works of a great many philosophers. What is most interesting, however, is that he excludes Aristotle from his disapprobation. "On the other hand Aristotle had the matter straight: things are identical when 'whatever is predicated of the one should be predicated of the other'. I believe a closer inspection of Aristotle's views would lead Quine to abandon (...) this small truce with the Philosopher--unfortunately for Quine. (shrink)

The systematic account of deductive reasoning and the development of a formal logic to reveal the principles of such reasoning began with Aristotle's syllogistic. It was a term logic, a logic that dominated the field until the rise of modern predicate logic at the end of the Nineteenth century. That system quickly supplanted the old logic of terms. However, in the middle of the Twentieth century Fred Sommers took up the challenge to build a revised and strengthened term logic, one (...) fit to challenge the hegemony of predicate logic. The aim was to devise a formal logic that could better serve as the logic of natural language. -/- In recent years a new group of logicians have taken this version of term logic into many new directions. This book presents here for the first time some of the best examples of their work with new essays by philosophers, logicians, mathematicians, computational theorists, and historians of logic. The topics addressed include relative terms, logical copulation, Aristotelian diagrams, modality, truth, semantics, epistemic term logic, non-classical quantifiers, and more. (shrink)

"This accessibly written book surveys all of the major competing theories of truth before formulating the new defence of the correspondence theory and then exploring the consequences of the theory for issues in epistemology and ontology. The book concludes by showing how the idea of 'propositional depth' can be used to dissolve the Liar paradoxes."--BOOK JACKET.

A volume integrating various parts of Fred Sommer's theory on logic and the philosophy of language and also extending it in a variety of ways, such as semantics and modal logic.

Fred Sommers passed away in October of 2014 in his 92nd year. Having begun his teaching at Columbia University, he eventually became the Harry A. Wolfson Chair in Philosophy at Brandeis University, where he taught from 1963 to 1993. During his long and productive career, Sommers authored or co-authored over 50 books, articles, reviews, etc., presenting his ideas on numerous occasions throughout North America and Europe. His work was characterized by a commitment to the preservation and application of historical insights (...) and to the value of a well-articulated, coherent logical system. He was recognized for his independence and refusal to accept any view on the basis of authority alone. This made him a formidable critic but accounted in part for his many innovative and original ideas. In spite of his general contrariness in logic, Sommers earned the respect of the majority of his contemporaries, including Russell, Quine, van Benthem, Hacking, Suppes, and Strawson. In 2005, he was the subjec... (shrink)