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)

In the late nineteenth century there were two very active lines of research in the field of formal logic. First, logicians (mostly in English-speaking countries) were engaged in formulating a generally traditional logic as an algebra, a part of mathematics; second, logicians (mostly on the continent) were busy building a non-traditional logic that could serve, not as a part of, but as the foundation of, mathematics. By the end of the First World War the former line had been pretty well (...) abandoned while the second continued to expand. However, that old abandoned line, stretching from Aristotle, through the Scholastics and then Leibniz to the nineteenth century algebraists, had not been completely forgotten. One of those logicians who has recently worked on the restoration (and, importantly, the extension) of that line is Fred Sommers. His Term Logic preserves a number of traditional insights (especially involving the theory of logical syntax), while also enjoying a power to account for formal inference at least comparable to that of the standard logic now in place. (shrink)

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.

Hume's Reception in Early America: Expanded Edition brings together the original American responses to one of Britain's greatest men of letters, David Hume. Now available as a single volume paperback, this new edition includes updated further readings suggestions and dozens of additional primary sources gathered together in a completely new concluding section. From complete pamphlets and booklets, to poems, reviews, and letters, to extracts from newspapers, religious magazines and literary and political journals, this book's contents come from a wide variety (...) of sources published in colonial America and the early United States between 1758 and 1850. As well as classics by Thomas Jefferson, John Adams and Alexander Hamilton, it contains scores of unknown and hard-to-locate items, many of which have not been reprinted since their original publication. These responses are divided into four parts covering Hume's Essays; his Philosophical Writings; his History of England; and his Character and Death. Each of those parts has a separate introductory essay, and every selection is introduced by a short headnote that sets the piece in its historical context and provides bibliographical references. Packed with new insights into Hume and American thought and culture, Hume's Reception in Early America reveals the relevance and impact of Hume on American political, philosophical, historical, religious, and aesthetic debates. (shrink)

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.

"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.

This is a welcome reprint of a book that continues to grow in importance.

This essay argues that propositions are made true by facts. A proposition is the sense expressed by a statement (sentence token used to make a truth claim). Facts are positive or negative constitutive properties of the domain of discourse (usually the actual world). The presence of horses is a positive constitutive property of the world; the absence of unicorns is a negative one. This notion of constitutive properties accords well with the Hume-Kant claim that existence is not a property of (...) any individual said to exist. While Frege held existence to be a property of concepts and Russell held it to be a property of propositional functions, our view sees existence as a property of a domain of discourse. To say that Native Dancer exists is simply to say that the world is characterized by the presence of Native Dancer; to say that Pegasus does not exist is to say the world is characterized by the absence of Pegasus. Such properties of presence and absence are facts. Facts make true propositions true; nothing makes false propositions false (they simply fail to be made true). Facts are not items in the world; they are (constitutive) properties of the world. (shrink)

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.".