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- Quantificational Logic- Sentential Modal Logic- Quantification and Modality- Set Theory- Incompleteness- An Introduction to Term Logic- Modal Term Logic

In addition, the book includes a list of symbols and a glossary of terms for ease of reference and exercises throughout help students master the topics covered in the book. Philosophical Logic is an essential, student-friendly guide for anyone studying these difficult topics as part of their Logic course.

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.

While post-Fregean logicians tend to ignore or even denigrate the traditional logic of Aristotle and the Scholastics, new work in recent years has shown the viability of a renewed, extended, and strengthened logic of terms that shares fundamental features of the old syllogistic. A number of logicians, following the lead of Fred Sommers, have built just such a term logic. It is a system of formal logic that not only matches the expressive and inferential powers of today's standard logic, but surpasses it and is far simpler and more natural. This book aims to substantiate this claim by exhibiting just how the term logic can shed need 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 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 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."

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.

The very idea of truth as a substantial and meaningful concept has been under attack recently from advocates of New Age and postmodern theories. In this book Englebretsen defends the notions of truth and objectivity as key to the scientific view of the natural world and presents an original defence of the 'commonsense' correspondence theory of truth. Englebretsen's approach overcomes the traditional difficulties of correspondence theories of truth with providing adequate and convincing accounts of truth-bearers, truth-makers and the correspondence relation between them by taking truth-bearers to be propositions and facts as constitutive properties of the world. This accessibly written book surveys all of the major competing theories of truth (coherence, pragmatic, redundancy, semantic, deflationary, disquotational, minimalist) 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.

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.

By delving into the history and envelopment of logic from its beginnings to the modern era, George Englebretsen rehabilitates the 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.

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- Quantificational Logic- Sentential Modal Logic- Quantification and Modality- Set Theory- Incompleteness- An Introduction to Term Logic- Modal Term Logic

In addition, the book includes a list of symbols and a glossary of terms for ease of reference and exercises throughout help students master the topics covered in the book. Philosophical Logic is an essential, student-friendly guide for anyone studying these difficult topics as part of their Logic course.

The very idea of truth as a substantial and meaningful concept has been under attack recently from advocates of New Age and postmodern theories. In this book Englebretsen defends the notions of truth and objectivity as key to the scientific view of the natural world and presents an original defence of the 'commonsense' correspondence theory of truth. Englebretsen's approach overcomes the traditional difficulties of correspondence theories of truth with providing adequate and convincing accounts of truth-bearers, truth-makers and the correspondence relation between them by taking truth-bearers to be propositions and facts as constitutive properties of the world. This accessibly written book surveys all of the major competing theories of truth (coherence, pragmatic, redundancy, semantic, deflationary, disquotational, minimalist) 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.