Free logic : a generalization / Greg Frost Arnold, Hobart and William Smith Colleges.

Format:

Book

Author/Creator:

Frost-Arnold, Greg, author.

Series:

Cambridge elements. Elements in philosophy and logic, 2516‐418X.

Cambridge elements. Elements in philosophy and logic, 2516‐418X

Language:

English

Subjects (All):

Free logic.

Physical Description:

1 online resource (101 pages) : digital, PDF file(s).

Edition:

First edition.

Place of Publication:

Cambridge, United Kingdom ; New York, NY, USA : Cambridge University Press, 2024.

Summary:

Classical logic assumes that names are univocal: every name refers to exactly one existing individual. This Principle of Univocality has two parts: an existence assumption and a uniqueness assumption. The existence assumption holds that every name refers to at least oneindividual, and the uniqueness assumption states that every name refers to at most one individual. The various systems of free logic which have been developed and studied since the 1960s relax the existence assumption, but retain the uniqueness assumption. The present work investigates violations of both halves of the Principle of Univocality. That is, whereas the free logics developed from the 1960s are called 'free' because they are free of existential assumptions, the current Element generalizes this idea, to study logics that are free of uniqueness assumptions. We explore several versions of free logic, comparing their advantages and disadvantages. Applications of free logic to other areas of philosophy are explored.

Notes:

Title from publisher's bibliographic system (viewed on 10 Jan 2025).

Includes bibliographical references.

ISBN:

9781009640084

1009640089

9781009640091

1009640097

9781009122764

1009122762