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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur:	Rumfitt, I
Awduron Eraill:	Miller, A
Fformat:	Book section
Iaith:	English
Cyhoeddwyd:	Oxford University Press 2020

Eitemau Tebyg

Intuitionism and the modal logic of vagueness
gan: Bobzien, S, et al.
Cyhoeddwyd: (2020)

Vagueness, logic, and definite truth
gan: Wall, L
Cyhoeddwyd: (2023)

Models for intuitionistic logic
gan: Cuckle, H, et al.
Cyhoeddwyd: (1975)

Copies of Classical Logic in Intuitionistic Logic
gan: Jaime Gaspar
Cyhoeddwyd: (2014-10-01)

Managing uncertainty and vagueness in description logics for the Semantic Web
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2008)

Managing Uncertainty and Vagueness in Description Logics for the Semantic Web
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2008)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
gan: Williamson, T
Cyhoeddwyd: (1992)

Philosophical Foundations of Intuitionistic Logic
gan: L Nabavi, et al.
Cyhoeddwyd: (2013-03-01)

Philosophical Foundations of Intuitionistic Logic
gan: L Nabavi, et al.
Cyhoeddwyd: (2013-02-01)

Description logic programs under probabilistic uncertainty and fuzzy vagueness
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2009)

Designing of 2-Stage CPU Scheduler Using Vague Logic
gan: Supriya Raheja, et al.
Cyhoeddwyd: (2014-01-01)

Designing of vague logic based multilevel feedback queue scheduler
gan: Supriya Raheja, et al.
Cyhoeddwyd: (2016-03-01)

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2007)

Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2009)

Should the logic of set theory be intuitionistic?
gan: Paseau, A
Cyhoeddwyd: (2001)

Intuitionistic Implication and Logics of Formal Inconsistency
gan: Janusz Ciuciura
Cyhoeddwyd: (2024-10-01)

On Combining Intuitionistic and S4 Modal Logic
gan: João Rasga, et al.
Cyhoeddwyd: (2024-06-01)

Merging Intuitionistic and De Morgan Logics
gan: Minghui Ma, et al.
Cyhoeddwyd: (2024-01-01)

Functional Interpretations of Intuitionistic Linear Logic
gan: Gilda Ferreira, et al.
Cyhoeddwyd: (2011-03-01)

The intuitionistic temporal logic of dynamical systems
gan: David Fernández-Duque
Cyhoeddwyd: (2018-07-01)

Note on the Intuitionistic Logic of False Belief
gan: Tomasz Witczak
Cyhoeddwyd: (2022-03-01)

Admissible Tools in the Kitchen of Intuitionistic Logic
gan: Andrea Condoluci, et al.
Cyhoeddwyd: (2018-10-01)

Algebraic axiomatization of tense intuitionistic logic
gan: Chajda Ivan
Cyhoeddwyd: (2011-10-01)

The ILLTP Library for Intuitionistic Linear Logic
gan: Carlos Olarte, et al.
Cyhoeddwyd: (2019-04-01)

Proof methods for modal and intuitionistic logics /
gan: Fitting, Melvin, 1942-
Cyhoeddwyd: (1983)

THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC
gan: Leigh, G, et al.
Cyhoeddwyd: (2012)

Intuitionistic logic model theory and forcing /
gan: Fitting, Melvin, 1942-
Cyhoeddwyd: (1969)

La vague / L’autre vague
gan: Florent Hébert
Cyhoeddwyd: (2020-03-01)

2-Layered Architecture of Vague Logic Based Multilevel Queue Scheduler
gan: Supriya Raheja, et al.
Cyhoeddwyd: (2014-01-01)

Designing of Vague Logic Based 2-Layered Framework for CPU Scheduler
gan: Supriya Raheja
Cyhoeddwyd: (2016-01-01)

Classical propositional logic and decidability of variables in intuitionistic propositional logic
gan: Hajime Ishihara
Cyhoeddwyd: (2014-08-01)

Vagueness
gan: David Perley
Cyhoeddwyd: (2005-10-01)

On intuitionistic branching tense logic with weak induction
gan: Romas Alonderis
Cyhoeddwyd: (1998-12-01)

On decidability of a fragment of intuitionistic predicate logic
gan: Jolanta Kaušilaitė, et al.
Cyhoeddwyd: (1999-12-01)

Remarks on a Temporal Intuitionistic Fuzzy Logic
gan: Krassimir Atanassov
Cyhoeddwyd: (2016-03-01)

Two Variants of Intuitionistic Fuzzy Modal Logics
gan: Krassimir Atanassov
Cyhoeddwyd: (2016-03-01)

On the Mints Hierarchy in First-Order Intuitionistic Logic
gan: Aleksy Schubert, et al.
Cyhoeddwyd: (2017-04-01)

On density of truth of the intuitionistic logic in one variable
gan: Zofia Kostrzycka
Cyhoeddwyd: (2008-01-01)

Remarks on a Temporal Intuitionistic Fuzzy Logic
gan: Krassimir Atanassov
Cyhoeddwyd: (2016-03-01)

Intuitionistic quantum logic of an n−level system
gan: Caspers, M, et al.
Cyhoeddwyd: (2009)