Results 151 to 160 of about 2,948 (196)
Some of the next articles are maybe not open access.
A Note on Kripke’s Observation
2006In an unpublished manuscript [1], Kripke argues against the usual view on the presupposition of too, according to which too induces a presupposition that there is an object different from the referent of the focus which satisfies the unfocused part of the sentence to which too applies.
openaire +1 more source
The Bulletin of Symbolic Logic
Saul Aaron Kripke, the most influential philosopher and logician of his generation, died on September 15, 2022, at the age of 81.
Sergei Artemov +3 more
openaire +2 more sources
Saul Aaron Kripke, the most influential philosopher and logician of his generation, died on September 15, 2022, at the age of 81.
Sergei Artemov +3 more
openaire +2 more sources
How to Lewis a Kripke–Hintikka
Synthese, 2012zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
A Note on Linear Kripke Models
Journal of Logic and Computation, 2005Summary: Gödel logics correspond to linear models with constant domains. In this paper other truth-value logics, Scott logics, are defined, that correspond to linear models with possibly non-constant domains. An extension of intuitionistic logic with an existence predicate is discussed, and it is shown that this provides a natural translation of Scott ...
openaire +2 more sources
Mind, 1983
Kripke derives his puzzle from these principles. Applied in a story about a native French speaker, Pierre, who learns English by the direct method, the principles leave us uncertain whether Pierre believes that London is pretty or that London is not pretty.
openaire +1 more source
Kripke derives his puzzle from these principles. Applied in a story about a native French speaker, Pierre, who learns English by the direct method, the principles leave us uncertain whether Pierre believes that London is pretty or that London is not pretty.
openaire +1 more source
Some Remarks on the Role of Essence in Kripke's “Naming and Necessity”
Theoria (Stockholm), 2022Kit Fine
exaly
Kripke-Style Models for Logics of Evidence and Truth
Axioms, 2020Abilio Rodrigues Filho +2 more
exaly