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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Bobzien, S, Rumfitt, I
Format:	Journal article
Udgivet:	Springer Verlag 2020

Lignende værker

Vagueness and intuitionistic logic
af: Rumfitt, I
Udgivet: (2020)

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

Intuitionism and Logical Determinism
af: Surowik Dariusz
Udgivet: (2024-12-01)

In defense of true higher-order vagueness
af: Bobzien, S
Udgivet: (2011)

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

Principles of intuitionism /
af: Troelstra, A. S. (Anne Sjerp)
Udgivet: (1969)

Intuitionism : an introduction /
af: 335238 Heyting, Arend
Udgivet: (1966)

Intuitionism disproved?
af: Williamson, T
Udgivet: (1982)

Element of intuitionism /
af: 345099 Dummett, Micheal
Udgivet: (1977)

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

Intuitionism and Moral Reasoning
af: Guillermo Lariguet
Udgivet: (2017-11-01)

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

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

Temporal Direction, Intuitionism and Physics
af: Yuval Dolev
Udgivet: (2024-07-01)

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

Vagueness, logic, and definite truth
af: Wall, L
Udgivet: (2023)

Rossian Intuitionism without Self-Evidence?
af: David Kaspar
Udgivet: (2022-06-01)

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

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

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

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

Two versions of minimal intuitionism with the CAP. A note.
af: Gemma ROBLES, et al.
Udgivet: (2010-01-01)

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

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

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

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

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

Stoic sequent logic and proof theory
af: Bobzien, S
Udgivet: (2019)

Stoic logic and multiple generality
af: Bobzien, S, et al.
Udgivet: (2020)

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

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

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

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

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

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

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

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

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

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

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