An Invitation to Formal Reasoning: The Logic of Terms - Image 1

£133.40

Routledge An Invitation to Formal Reasoning: The Logic of Terms

Name: An Invitation to Formal Reasoning: The Logic of Terms
Brand: Routledge
Price: 133.4 GBP
Availability: InStock

Logic

This is the most expensive it has ever been. Walk away.

£133 today · previous high £133 · all-time low £97

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 612 days • 612 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 612 days • 8 price levels

Days at Price

Current Price

Price Analysis

Most common price: £120 (260 days, 42.5%)

Price range: £97 - £133

Price levels: 8 different prices over 612 days

Description

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.

Product Specifications

Brand: Routledge
Format: Hardcover
ASIN: 0754613666
Category: Books > Subjects > Politics, Philosophy & Social Sciences > Philosophy > Logic
Domain: Amazon UK
Release Date: 28 July 2000
Listed Since: 14 December 2006

Barcode

No barcode data available

Routledge An Invitation to Formal Reasoning: The Logic of Terms

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles

Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Introduction to Mathematical Logic: Extended Edition

Studies and Exercises in Formal Logic (Languages and Linguistics)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Routledge Logic Works - Introduction to Formal Logic Book

Logic Works: A Rigorous Introduction to Formal Logic

Logic with Trees: An Introduction to Symbolic Logic

Problem of Plurality of Logics, The: Understanding the Dynamic Nature of Philosophical Logic

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Logic with Trees: An Introduction to Symbolic Logic

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Lectures on the Curry-Howard Isomorphism

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Modern Logic ― A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic and its Applications: 149 (Synthese Library, 149)

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Modern Logic ― A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic and its Applications: 149 (Synthese Library, 149)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Meaning in Dialogue: An Interactive Approach to Logic and Reasoning: 33 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 33)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)