Intuitionism and the modal logic of vagueness

Intuitionism and the modal logic of vagueness

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been give...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Bobzien, S, Rumfitt, I
Formáid:	Journal article
Foilsithe / Cruthaithe:	Springer Verlag 2020

Míreanna comhchosúla

Vagueness and intuitionistic logic
de réir: Rumfitt, I
Foilsithe / Cruthaithe: (2020)

From Intuitionism to Brouwer's Modal Logic
de réir: Zofia Kostrzycka
Foilsithe / Cruthaithe: (2020-12-01)

Intuitionism and Logical Determinism
de réir: Surowik Dariusz
Foilsithe / Cruthaithe: (2024-12-01)

In defense of true higher-order vagueness
de réir: Bobzien, S
Foilsithe / Cruthaithe: (2011)

Husserlian and Fichtean Leanings: Weyl on Logicism, Intuitionism, and Formalism
de réir: Norman Sieroka
Foilsithe / Cruthaithe: (2009-10-01)

Principles of intuitionism /
de réir: Troelstra, A. S. (Anne Sjerp)
Foilsithe / Cruthaithe: (1969)

Intuitionism : an introduction /
de réir: 335238 Heyting, Arend
Foilsithe / Cruthaithe: (1966)

Intuitionism disproved?
de réir: Williamson, T
Foilsithe / Cruthaithe: (1982)

Element of intuitionism /
de réir: 345099 Dummett, Micheal
Foilsithe / Cruthaithe: (1977)

Higher-Order Vagueness and Borderline Nestings: A Persistent Confusion
de réir: Bobzien, S
Foilsithe / Cruthaithe: (2013)

Intuitionism and Moral Reasoning
de réir: Guillermo Lariguet
Foilsithe / Cruthaithe: (2017-11-01)

Gestalt shifts in the liar or why KT4M is the logic of semantic modalities
de réir: Bobzien, S
Foilsithe / Cruthaithe: (2017)

Intuitionism and proof theory : proceedings /
de réir: Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), et al.
Foilsithe / Cruthaithe: (1970)

Temporal Direction, Intuitionism and Physics
de réir: Yuval Dolev
Foilsithe / Cruthaithe: (2024-07-01)

At the Heart of Analysis: Intuitionism and Philosophy
de réir: Charles McCarty
Foilsithe / Cruthaithe: (2006-09-01)

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

Rossian Intuitionism without Self-Evidence?
de réir: David Kaspar
Foilsithe / Cruthaithe: (2022-06-01)

A generic solution to the Sorites paradox based on the normal modal logic qs4m+bf+fin
de réir: Bobzien, S
Foilsithe / Cruthaithe: (2020)

A generic solution to the Sorites paradox based on the normal modal logic qs4m+bf+fin
de réir: Bobzien, S
Foilsithe / Cruthaithe: (2020)

On A.A. Markov’s Attitude towards Brouwer’s Intuitionism
de réir: Ioannis M. Vandoulakis
Foilsithe / Cruthaithe: (2015-03-01)

An Analysis and a Critique of Henry Sidgwick’s Ethical Intuitionism
de réir: ali akbar abdol abadi
Foilsithe / Cruthaithe: (2011-06-01)

Two versions of minimal intuitionism with the CAP. A note.
de réir: Gemma ROBLES, et al.
Foilsithe / Cruthaithe: (2010-01-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)

One hundred years of intuitionism (1907-2007) : the Cerisy conference /
de réir: Atten, Mark Van
Foilsithe / Cruthaithe: (2008)

Mind the Gap: Reconciling Formalism and Intuitionism in Computational Design Research
de réir: Zeynep Mennan
Foilsithe / Cruthaithe: (2014-11-01)

Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi
de réir: Andréa Loparić
Foilsithe / Cruthaithe: (2010-04-01)

Stoic sequent logic and proof theory
de réir: Bobzien, S
Foilsithe / Cruthaithe: (2019)

Stoic logic and multiple generality
de réir: Bobzien, S, et al.
Foilsithe / Cruthaithe: (2020)

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)

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)

From philosophical traditions to scientific developments: reconsidering the response to Brouwer’s intuitionism
de réir: Kish Bar-On, Kati
Foilsithe / Cruthaithe: (2022)

A new intuitionism: Meaning, memory, and development in Fuzzy-Trace Theory
de réir: Valerie F. Reyna
Foilsithe / Cruthaithe: (2012-05-01)

A new intuitionism: Meaning, memory, and development in Fuzzy-Trace Theory
de réir: Valerie F. Reyna
Foilsithe / Cruthaithe: (2012-05-01)

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)