First-Order Modal Logic: 480 (Synthese Library, 480) - Image 1

£88.84

Springer First-Order Modal Logic: 480 (Synthese Library, 480)

Name: First-Order Modal Logic: 480 (Synthese Library, 480)
Brand: Springer
Price: 90.26 GBP
Availability: InStock

Mathematical Logic

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 27 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £90 (19 days, 70.4%)

Price range: £89 - £91

Price levels: 3 different prices over 27 days

Description

This revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments. Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems. The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; non-rigid constants and function symbols; predicate abstraction, which abstracts a predicate from a formula, in effect providing a scoping function for constants andfunction symbols, leading to a clarification of ambiguous readings at the heart of several philosophical problems; the distinction between nonexistence and nondesignation; and definite descriptions, borrowing from both Fregean and Russellian paradigms. Review of the First Edition: "This Text is an excellent and most useful volume. It is pitched correctly: the exercises are just right... It sets a high standard for anything following. It is to be highly recommended." (Bulletin of Symbolic Logic, 8:3)

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 303140713X
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 19 October 2023
Listed Since: 05 July 2023

Barcode

No barcode data available

Springer First-Order Modal Logic: 480 (Synthese Library, 480)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Modal Logic: An Introduction to its Syntax and Semantics

First-Order Modal Logic: 277 (Synthese Library)

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

Introduction to Mathematical Logic: Extended Edition

Oxford University Press - Fragments of First-Order Logic

First-Order Logic: 43 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 43)

FOUNDATIONS OF MODALITY:FROM PROPOSITIONS TO POSSIBLE WORLDS

Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153

Logic for Applications (Texts in Computer Science)

Handbook of Philosophical Logic: Volume 8

The Logic of Sortals: A Conceptualist Approach: 408 (Synthese Library, 408)

Toward Predicate Approaches to Modality: 44 (Trends in Logic, 44)

Semantic Relationism: 1 (The Blackwell / Brown Lectures in Philosophy)

Logic with Trees: An Introduction to Symbolic Logic

Handbook of Philosophical Logic: 11

A Formalization of Set Theory without Variables (Colloquium Publications)

Handbook of Philosophical Logic: 4

Logic with Trees: An Introduction to Symbolic Logic

Springer Handbook of Philosophical Logic: Volume 12

Handbook of Philosophical Logic: 2

Studies and Exercises in Formal Logic (Languages and Linguistics)

Eliminating The Universe: Logical Properties Of Natural Language

Aristotle's Modal Proofs: Prior Analytics A8-22 in Predicate Logic: 68 (The New Synthese Historical Library, 68)

A Course in Mathematical Logic for Mathematicians: 53 (Graduate Texts in Mathematics, 53)