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

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Bobzien, S, Rumfitt, I
स्वरूप:	Journal article
प्रकाशित:	Springer Verlag 2020

समान संसाधन

Vagueness and intuitionistic logic
द्वारा: Rumfitt, I
प्रकाशित: (2020)

From Intuitionism to Brouwer's Modal Logic
द्वारा: Zofia Kostrzycka
प्रकाशित: (2020-12-01)

Intuitionism and Logical Determinism
द्वारा: Surowik Dariusz
प्रकाशित: (2024-12-01)

In defense of true higher-order vagueness
द्वारा: Bobzien, S
प्रकाशित: (2011)

Husserlian and Fichtean Leanings: Weyl on Logicism, Intuitionism, and Formalism
द्वारा: Norman Sieroka
प्रकाशित: (2009-10-01)

Principles of intuitionism /
द्वारा: Troelstra, A. S. (Anne Sjerp)
प्रकाशित: (1969)

Intuitionism : an introduction /
द्वारा: 335238 Heyting, Arend
प्रकाशित: (1966)

Intuitionism disproved?
द्वारा: Williamson, T
प्रकाशित: (1982)

Element of intuitionism /
द्वारा: 345099 Dummett, Micheal
प्रकाशित: (1977)

Higher-Order Vagueness and Borderline Nestings: A Persistent Confusion
द्वारा: Bobzien, S
प्रकाशित: (2013)

Intuitionism and Moral Reasoning
द्वारा: Guillermo Lariguet
प्रकाशित: (2017-11-01)

Gestalt shifts in the liar or why KT4M is the logic of semantic modalities
द्वारा: Bobzien, S
प्रकाशित: (2017)

Intuitionism and proof theory : proceedings /
द्वारा: Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), और अन्य
प्रकाशित: (1970)

Temporal Direction, Intuitionism and Physics
द्वारा: Yuval Dolev
प्रकाशित: (2024-07-01)

At the Heart of Analysis: Intuitionism and Philosophy
द्वारा: Charles McCarty
प्रकाशित: (2006-09-01)

Vagueness, logic, and definite truth
द्वारा: Wall, L
प्रकाशित: (2023)

Rossian Intuitionism without Self-Evidence?
द्वारा: David Kaspar
प्रकाशित: (2022-06-01)

A generic solution to the Sorites paradox based on the normal modal logic qs4m+bf+fin
द्वारा: Bobzien, S
प्रकाशित: (2020)

A generic solution to the Sorites paradox based on the normal modal logic qs4m+bf+fin
द्वारा: Bobzien, S
प्रकाशित: (2020)

On A.A. Markov’s Attitude towards Brouwer’s Intuitionism
द्वारा: Ioannis M. Vandoulakis
प्रकाशित: (2015-03-01)

An Analysis and a Critique of Henry Sidgwick’s Ethical Intuitionism
द्वारा: ali akbar abdol abadi
प्रकाशित: (2011-06-01)

Two versions of minimal intuitionism with the CAP. A note.
द्वारा: Gemma ROBLES, और अन्य
प्रकाशित: (2010-01-01)

Managing uncertainty and vagueness in description logics for the Semantic Web
द्वारा: Lukasiewicz, T, और अन्य
प्रकाशित: (2008)

Managing Uncertainty and Vagueness in Description Logics for the Semantic Web
द्वारा: Lukasiewicz, T, और अन्य
प्रकाशित: (2008)

One hundred years of intuitionism (1907-2007) : the Cerisy conference /
द्वारा: Atten, Mark Van
प्रकाशित: (2008)

Mind the Gap: Reconciling Formalism and Intuitionism in Computational Design Research
द्वारा: Zeynep Mennan
प्रकाशित: (2014-11-01)

Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi
द्वारा: Andréa Loparić
प्रकाशित: (2010-04-01)

Stoic sequent logic and proof theory
द्वारा: Bobzien, S
प्रकाशित: (2019)

Stoic logic and multiple generality
द्वारा: Bobzien, S, और अन्य
प्रकाशित: (2020)

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
द्वारा: Lukasiewicz, T, और अन्य
प्रकाशित: (2007)

Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness
द्वारा: Lukasiewicz, T, और अन्य
प्रकाशित: (2009)

Description logic programs under probabilistic uncertainty and fuzzy vagueness
द्वारा: Lukasiewicz, T, और अन्य
प्रकाशित: (2009)

Designing of 2-Stage CPU Scheduler Using Vague Logic
द्वारा: Supriya Raheja, और अन्य
प्रकाशित: (2014-01-01)

Designing of vague logic based multilevel feedback queue scheduler
द्वारा: Supriya Raheja, और अन्य
प्रकाशित: (2016-03-01)

From philosophical traditions to scientific developments: reconsidering the response to Brouwer’s intuitionism
द्वारा: Kish Bar-On, Kati
प्रकाशित: (2022)

A new intuitionism: Meaning, memory, and development in Fuzzy-Trace Theory
द्वारा: Valerie F. Reyna
प्रकाशित: (2012-05-01)

A new intuitionism: Meaning, memory, and development in Fuzzy-Trace Theory
द्वारा: Valerie F. Reyna
प्रकाशित: (2012-05-01)

La vague / L’autre vague
द्वारा: Florent Hébert
प्रकाशित: (2020-03-01)

2-Layered Architecture of Vague Logic Based Multilevel Queue Scheduler
द्वारा: Supriya Raheja, और अन्य
प्रकाशित: (2014-01-01)

Designing of Vague Logic Based 2-Layered Framework for CPU Scheduler
द्वारा: Supriya Raheja
प्रकाशित: (2016-01-01)