An Invitation to Formal Reasoning

The Logic of Terms

Nonfiction, Religion & Spirituality, Philosophy
Cover of the book An Invitation to Formal Reasoning by Fred Sommers, George Englebretsen, Taylor and Francis
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Fred Sommers, George Englebretsen ISBN: 9781351958608
Publisher: Taylor and Francis Publication: March 2, 2017
Imprint: Routledge Language: English
Author: Fred Sommers, George Englebretsen
ISBN: 9781351958608
Publisher: Taylor and Francis
Publication: March 2, 2017
Imprint: Routledge
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Taylor and Francis

Cover of the book Mohammed and Charlemagne by Fred Sommers, George Englebretsen
Cover of the book Translation and Web Searching by Fred Sommers, George Englebretsen
Cover of the book Exploring New Monastic Communities by Fred Sommers, George Englebretsen
Cover of the book Heterotopia and the City by Fred Sommers, George Englebretsen
Cover of the book Bilingualism in Schools and Society by Fred Sommers, George Englebretsen
Cover of the book Financial Services Management by Fred Sommers, George Englebretsen
Cover of the book Kosovo, Intervention and Statebuilding by Fred Sommers, George Englebretsen
Cover of the book Books, Bytes and Business by Fred Sommers, George Englebretsen
Cover of the book The Routledge Handbook of Systemic Functional Linguistics by Fred Sommers, George Englebretsen
Cover of the book Turkey and the Global Economy by Fred Sommers, George Englebretsen
Cover of the book Psychology of Education by Fred Sommers, George Englebretsen
Cover of the book Embedded Sustainability by Fred Sommers, George Englebretsen
Cover of the book The Archaeology of Lucanian Cult Places by Fred Sommers, George Englebretsen
Cover of the book Revival: Beethoven (1933) by Fred Sommers, George Englebretsen
Cover of the book What Is Right for Children? by Fred Sommers, George Englebretsen
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy