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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Rumfitt, I
Rannpháirtithe:	Miller, A
Formáid:	Book section
Teanga:	English
Foilsithe / Cruthaithe:	Oxford University Press 2020

Míreanna comhchosúla

Intuitionism and the modal logic of vagueness
de réir: Bobzien, S, et al.
Foilsithe / Cruthaithe: (2020)

Vagueness, logic, and definite truth
de réir: Wall, L
Foilsithe / Cruthaithe: (2023)

Models for intuitionistic logic
de réir: Cuckle, H, et al.
Foilsithe / Cruthaithe: (1975)

Copies of Classical Logic in Intuitionistic Logic
de réir: Jaime Gaspar
Foilsithe / Cruthaithe: (2014-10-01)

Managing uncertainty and vagueness in description logics for the Semantic Web
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2008)

Managing Uncertainty and Vagueness in Description Logics for the Semantic Web
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2008)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
de réir: Williamson, T
Foilsithe / Cruthaithe: (1992)

Philosophical Foundations of Intuitionistic Logic
de réir: L Nabavi, et al.
Foilsithe / Cruthaithe: (2013-03-01)

Philosophical Foundations of Intuitionistic Logic
de réir: L Nabavi, et al.
Foilsithe / Cruthaithe: (2013-02-01)

Description logic programs under probabilistic uncertainty and fuzzy vagueness
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2009)

Designing of 2-Stage CPU Scheduler Using Vague Logic
de réir: Supriya Raheja, et al.
Foilsithe / Cruthaithe: (2014-01-01)

Designing of vague logic based multilevel feedback queue scheduler
de réir: Supriya Raheja, et al.
Foilsithe / Cruthaithe: (2016-03-01)

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2007)

Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2009)

Should the logic of set theory be intuitionistic?
de réir: Paseau, A
Foilsithe / Cruthaithe: (2001)

Intuitionistic Implication and Logics of Formal Inconsistency
de réir: Janusz Ciuciura
Foilsithe / Cruthaithe: (2024-10-01)

On Combining Intuitionistic and S4 Modal Logic
de réir: João Rasga, et al.
Foilsithe / Cruthaithe: (2024-06-01)

Merging Intuitionistic and De Morgan Logics
de réir: Minghui Ma, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Functional Interpretations of Intuitionistic Linear Logic
de réir: Gilda Ferreira, et al.
Foilsithe / Cruthaithe: (2011-03-01)

The intuitionistic temporal logic of dynamical systems
de réir: David Fernández-Duque
Foilsithe / Cruthaithe: (2018-07-01)

Note on the Intuitionistic Logic of False Belief
de réir: Tomasz Witczak
Foilsithe / Cruthaithe: (2022-03-01)

Admissible Tools in the Kitchen of Intuitionistic Logic
de réir: Andrea Condoluci, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Algebraic axiomatization of tense intuitionistic logic
de réir: Chajda Ivan
Foilsithe / Cruthaithe: (2011-10-01)

The ILLTP Library for Intuitionistic Linear Logic
de réir: Carlos Olarte, et al.
Foilsithe / Cruthaithe: (2019-04-01)

Proof methods for modal and intuitionistic logics /
de réir: Fitting, Melvin, 1942-
Foilsithe / Cruthaithe: (1983)

THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC
de réir: Leigh, G, et al.
Foilsithe / Cruthaithe: (2012)

Intuitionistic logic model theory and forcing /
de réir: Fitting, Melvin, 1942-
Foilsithe / Cruthaithe: (1969)

La vague / L’autre vague
de réir: Florent Hébert
Foilsithe / Cruthaithe: (2020-03-01)

2-Layered Architecture of Vague Logic Based Multilevel Queue Scheduler
de réir: Supriya Raheja, et al.
Foilsithe / Cruthaithe: (2014-01-01)

Designing of Vague Logic Based 2-Layered Framework for CPU Scheduler
de réir: Supriya Raheja
Foilsithe / Cruthaithe: (2016-01-01)

Classical propositional logic and decidability of variables in intuitionistic propositional logic
de réir: Hajime Ishihara
Foilsithe / Cruthaithe: (2014-08-01)

Vagueness
de réir: David Perley
Foilsithe / Cruthaithe: (2005-10-01)

On intuitionistic branching tense logic with weak induction
de réir: Romas Alonderis
Foilsithe / Cruthaithe: (1998-12-01)

On decidability of a fragment of intuitionistic predicate logic
de réir: Jolanta Kaušilaitė, et al.
Foilsithe / Cruthaithe: (1999-12-01)

Remarks on a Temporal Intuitionistic Fuzzy Logic
de réir: Krassimir Atanassov
Foilsithe / Cruthaithe: (2016-03-01)

Two Variants of Intuitionistic Fuzzy Modal Logics
de réir: Krassimir Atanassov
Foilsithe / Cruthaithe: (2016-03-01)

On the Mints Hierarchy in First-Order Intuitionistic Logic
de réir: Aleksy Schubert, et al.
Foilsithe / Cruthaithe: (2017-04-01)

On density of truth of the intuitionistic logic in one variable
de réir: Zofia Kostrzycka
Foilsithe / Cruthaithe: (2008-01-01)

Remarks on a Temporal Intuitionistic Fuzzy Logic
de réir: Krassimir Atanassov
Foilsithe / Cruthaithe: (2016-03-01)

Intuitionistic quantum logic of an n−level system
de réir: Caspers, M, et al.
Foilsithe / Cruthaithe: (2009)