Vagueness and intuitionistic logic

Vagueness and intuitionistic logic

This chapter considers the question: should we employ intuitionistic logic, not classical logic, when reasoning with vague concepts? In his commentary on Michael Dummett’s “Wang’s Paradox,” Crispin Wright presents an apparently powerful argument in favour of an affirmative answer to this question. T...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Rumfitt, I
Tác giả khác:	Miller, A
Định dạng:	Book section
Ngôn ngữ:	English
Được phát hành:	Oxford University Press 2020

Những quyển sách tương tự

Intuitionism and the modal logic of vagueness
Bằng: Bobzien, S, et al.
Được phát hành: (2020)

Vagueness, logic, and definite truth
Bằng: Wall, L
Được phát hành: (2023)

Models for intuitionistic logic
Bằng: Cuckle, H, et al.
Được phát hành: (1975)

Copies of Classical Logic in Intuitionistic Logic
Bằng: Jaime Gaspar
Được phát hành: (2014-10-01)

Managing uncertainty and vagueness in description logics for the Semantic Web
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2008)

Managing Uncertainty and Vagueness in Description Logics for the Semantic Web
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2008)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
Bằng: Williamson, T
Được phát hành: (1992)

Philosophical Foundations of Intuitionistic Logic
Bằng: L Nabavi, et al.
Được phát hành: (2013-03-01)

Philosophical Foundations of Intuitionistic Logic
Bằng: L Nabavi, et al.
Được phát hành: (2013-02-01)

Description logic programs under probabilistic uncertainty and fuzzy vagueness
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2009)

Designing of 2-Stage CPU Scheduler Using Vague Logic
Bằng: Supriya Raheja, et al.
Được phát hành: (2014-01-01)

Designing of vague logic based multilevel feedback queue scheduler
Bằng: Supriya Raheja, et al.
Được phát hành: (2016-03-01)

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2007)

Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2009)

Should the logic of set theory be intuitionistic?
Bằng: Paseau, A
Được phát hành: (2001)

Intuitionistic Implication and Logics of Formal Inconsistency
Bằng: Janusz Ciuciura
Được phát hành: (2024-10-01)

On Combining Intuitionistic and S4 Modal Logic
Bằng: João Rasga, et al.
Được phát hành: (2024-06-01)

Merging Intuitionistic and De Morgan Logics
Bằng: Minghui Ma, et al.
Được phát hành: (2024-01-01)

Functional Interpretations of Intuitionistic Linear Logic
Bằng: Gilda Ferreira, et al.
Được phát hành: (2011-03-01)

The intuitionistic temporal logic of dynamical systems
Bằng: David Fernández-Duque
Được phát hành: (2018-07-01)

Note on the Intuitionistic Logic of False Belief
Bằng: Tomasz Witczak
Được phát hành: (2022-03-01)

Admissible Tools in the Kitchen of Intuitionistic Logic
Bằng: Andrea Condoluci, et al.
Được phát hành: (2018-10-01)

Algebraic axiomatization of tense intuitionistic logic
Bằng: Chajda Ivan
Được phát hành: (2011-10-01)

The ILLTP Library for Intuitionistic Linear Logic
Bằng: Carlos Olarte, et al.
Được phát hành: (2019-04-01)

Proof methods for modal and intuitionistic logics /
Bằng: Fitting, Melvin, 1942-
Được phát hành: (1983)

THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC
Bằng: Leigh, G, et al.
Được phát hành: (2012)

Intuitionistic logic model theory and forcing /
Bằng: Fitting, Melvin, 1942-
Được phát hành: (1969)

La vague / L’autre vague
Bằng: Florent Hébert
Được phát hành: (2020-03-01)

2-Layered Architecture of Vague Logic Based Multilevel Queue Scheduler
Bằng: Supriya Raheja, et al.
Được phát hành: (2014-01-01)

Designing of Vague Logic Based 2-Layered Framework for CPU Scheduler
Bằng: Supriya Raheja
Được phát hành: (2016-01-01)

Classical propositional logic and decidability of variables in intuitionistic propositional logic
Bằng: Hajime Ishihara
Được phát hành: (2014-08-01)

Vagueness
Bằng: David Perley
Được phát hành: (2005-10-01)

On intuitionistic branching tense logic with weak induction
Bằng: Romas Alonderis
Được phát hành: (1998-12-01)

On decidability of a fragment of intuitionistic predicate logic
Bằng: Jolanta Kaušilaitė, et al.
Được phát hành: (1999-12-01)

Remarks on a Temporal Intuitionistic Fuzzy Logic
Bằng: Krassimir Atanassov
Được phát hành: (2016-03-01)

Two Variants of Intuitionistic Fuzzy Modal Logics
Bằng: Krassimir Atanassov
Được phát hành: (2016-03-01)

On the Mints Hierarchy in First-Order Intuitionistic Logic
Bằng: Aleksy Schubert, et al.
Được phát hành: (2017-04-01)

On density of truth of the intuitionistic logic in one variable
Bằng: Zofia Kostrzycka
Được phát hành: (2008-01-01)

Remarks on a Temporal Intuitionistic Fuzzy Logic
Bằng: Krassimir Atanassov
Được phát hành: (2016-03-01)

Intuitionistic quantum logic of an n−level system
Bằng: Caspers, M, et al.
Được phát hành: (2009)