Symbolic Logic (Palgrave Philosophy Today) - Image 1

£45.44

MACMILLAN Symbolic Logic (Palgrave Philosophy Today)

Name: Symbolic Logic (Palgrave Philosophy Today)
Brand: MACMILLAN
Price: 45.44 GBP
Availability: InStock

Logic

This is the usual price. Wait for it to drop, or tell us your number.

£45 today · usual range £0–£0 · best ever £36

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 492 days • 492 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 492 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £40-42 (185 days, 37.6%)

Price range: £36 - £46

Price levels: 5 price ranges over 492 days

Description

This book provides a comprehensive introduction to the essential elements of standard (classical) symbolic logic. Key topics covered include: · The characteristic nature and scope of logic as a discipline · The construction of a series of distinctly named formal languages suitable for formal translation · Semantic models · The construction of decision procedures · The execution of proof-theoretic arrangements like natural deduction and proof-sequent systems The book covers both the semantics and proof theory of the standard sentential (propositional) logic and predicate (first-order) logic. Other topics covered include: parsing trees,extraction of alternative notations (for instance, Polish notation), Fitch-style proof-theory, sequent and ‘tree’ proof systems, comparisons and contrasts with intuitionistic logic, and presentations of predicate logic models. An ancillary chapter on elements of set theory is conveniently placed at the end and includes insights into the Zermelo-Fraenkel systematization of set theory. The philosophy of logic is also explored. Exercises in the text provide instruction on mathematical induction for the construction of formula, tests for the well-formedness of Polish notation, and functional completeness. Symbolic Logic is essential reading for all philosophy students taking intermediate level formal logic courses and will also appeal to diligent first year students of logic. The text is replete with exercises on both the formal machinery and the philosophical aspects of logic.

Product Specifications

Brand: MACMILLAN
Format: paperback
ASIN: 3030673952
Category: Books > Subjects > Politics, Philosophy & Social Sciences > Philosophy > Logic
Domain: Amazon UK
Release Date: 22 February 2022
Listed Since: 05 December 2020

Barcode

No barcode data available

MACMILLAN Symbolic Logic (Palgrave Philosophy Today)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Essentials of Symbolic Logic, Third Edition

Elementary Symbolic Logic: Concepts, Techniques, and Concepts

Introducing Symbolic Logic

Symbolic Logic: Syntax, Semantics, and Proof

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

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

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Simple Formal Logic: With Common-Sense Symbolic Techniques

Logic for Applications (Texts in Computer Science)

Mathematical Logic and Computation

Mathematical Logic: An Introduction (De Gruyter Textbook)

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Mathematical Logic through Python

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

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

A First Journey through Logic (Student Mathematical Library)

Logic for Computer Science and Artificial Intelligence

Logic Colloquium '90: ASL Summer Meeting in Helsinki: 2 (Lecture Notes in Logic, Series Number 2)

Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19

Routledge Logic Works - Introduction to Formal Logic Book

Logic for Mathematicians