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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Bobzien, S, Rumfitt, I
Fformat:	Journal article
Cyhoeddwyd:	Springer Verlag 2020

Eitemau Tebyg

Vagueness and intuitionistic logic
gan: Rumfitt, I
Cyhoeddwyd: (2020)

From Intuitionism to Brouwer's Modal Logic
gan: Zofia Kostrzycka
Cyhoeddwyd: (2020-12-01)

Intuitionism and Logical Determinism
gan: Surowik Dariusz
Cyhoeddwyd: (2024-12-01)

In defense of true higher-order vagueness
gan: Bobzien, S
Cyhoeddwyd: (2011)

Husserlian and Fichtean Leanings: Weyl on Logicism, Intuitionism, and Formalism
gan: Norman Sieroka
Cyhoeddwyd: (2009-10-01)

Principles of intuitionism /
gan: Troelstra, A. S. (Anne Sjerp)
Cyhoeddwyd: (1969)

Intuitionism : an introduction /
gan: 335238 Heyting, Arend
Cyhoeddwyd: (1966)

Intuitionism disproved?
gan: Williamson, T
Cyhoeddwyd: (1982)

Element of intuitionism /
gan: 345099 Dummett, Micheal
Cyhoeddwyd: (1977)

Higher-Order Vagueness and Borderline Nestings: A Persistent Confusion
gan: Bobzien, S
Cyhoeddwyd: (2013)

Intuitionism and Moral Reasoning
gan: Guillermo Lariguet
Cyhoeddwyd: (2017-11-01)

Gestalt shifts in the liar or why KT4M is the logic of semantic modalities
gan: Bobzien, S
Cyhoeddwyd: (2017)

Intuitionism and proof theory : proceedings /
gan: Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), et al.
Cyhoeddwyd: (1970)

Temporal Direction, Intuitionism and Physics
gan: Yuval Dolev
Cyhoeddwyd: (2024-07-01)

At the Heart of Analysis: Intuitionism and Philosophy
gan: Charles McCarty
Cyhoeddwyd: (2006-09-01)

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

Rossian Intuitionism without Self-Evidence?
gan: David Kaspar
Cyhoeddwyd: (2022-06-01)

A generic solution to the Sorites paradox based on the normal modal logic qs4m+bf+fin
gan: Bobzien, S
Cyhoeddwyd: (2020)

A generic solution to the Sorites paradox based on the normal modal logic qs4m+bf+fin
gan: Bobzien, S
Cyhoeddwyd: (2020)

On A.A. Markov’s Attitude towards Brouwer’s Intuitionism
gan: Ioannis M. Vandoulakis
Cyhoeddwyd: (2015-03-01)

An Analysis and a Critique of Henry Sidgwick’s Ethical Intuitionism
gan: ali akbar abdol abadi
Cyhoeddwyd: (2011-06-01)

Two versions of minimal intuitionism with the CAP. A note.
gan: Gemma ROBLES, et al.
Cyhoeddwyd: (2010-01-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)

One hundred years of intuitionism (1907-2007) : the Cerisy conference /
gan: Atten, Mark Van
Cyhoeddwyd: (2008)

Mind the Gap: Reconciling Formalism and Intuitionism in Computational Design Research
gan: Zeynep Mennan
Cyhoeddwyd: (2014-11-01)

Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi
gan: Andréa Loparić
Cyhoeddwyd: (2010-04-01)

Stoic sequent logic and proof theory
gan: Bobzien, S
Cyhoeddwyd: (2019)

Stoic logic and multiple generality
gan: Bobzien, S, et al.
Cyhoeddwyd: (2020)

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)

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)

From philosophical traditions to scientific developments: reconsidering the response to Brouwer’s intuitionism
gan: Kish Bar-On, Kati
Cyhoeddwyd: (2022)

A new intuitionism: Meaning, memory, and development in Fuzzy-Trace Theory
gan: Valerie F. Reyna
Cyhoeddwyd: (2012-05-01)

A new intuitionism: Meaning, memory, and development in Fuzzy-Trace Theory
gan: Valerie F. Reyna
Cyhoeddwyd: (2012-05-01)

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)