Results 31 to 40 of about 2,891 (195)

Términos de género natural e identidades teóricas

Arbor: Ciencia, Pensamiento y Cultura, 2011
Kripke afirma en Naming and Necessity que existen ciertas similitudes entre los nombres propios y los términos de género natural. Una de ellas radica en que ambos tipos de expresiones figuran en enunciados de identidad que, en caso de ser verdaderos, son
Luis Fernández Moreno
doaj   +1 more source

Variations on the Kripke Trick

Studia Logica
Abstract In the early 1960s, to prove undecidability of monadic fragments of sublogics of the predicate modal logic $$\textbf{QS5}$$ QS 5 that include the classical ...
Mikhail N. Rybakov, Dmitry Shkatov
openaire   +2 more sources

Embedding mental files in the world

Mind &Language, EarlyView.
Cognitive scientific explanations can take either a mechanistic or design perspective. Some recent philosophical works propose to apply the mechanistic perspective to the influential mental file framework. The design perspective, however, remains underexplored.
Zhengxi Jin
wiley   +1 more source

Ruh, Bilinç ve Zombiler: Metafizik Çıkmazlar ve Alternatif Yollar

Felsefe Dünyası
Bu makale, zombiler örneği üzerinden metafizik ve fiziksel hakikat arasındaki ilişkiyi ele almaktadır. Felsefede zombi, fiziksel tüm açılardan insana benzeyen ancak bilinci olmayan bir organizmadır.
Kayhan Özaykal
doaj   +1 more source

Respuestas disposicionalistas al problema Wittgensteiniano-Kripkeano sobre el significado y el seguimiento de reglas

Crítica, 2018
Kripke formula cuatro objeciones en contra de una solución disposicionalista simple al enigma wittgensteiniano sobre seguir una regla. En este trabajo presento dos propuestas parcialmente disposicionalistas diferentes a la teoría disposicionalista ...
Manuel Pérez Otero
doaj   +1 more source

Semantical Considerations on Modal Logic

Problemos, 2023
Iš anglų kalbos vertė ir pratarmę parašė Pranciškus Gricius, Vilniaus ...
Saul A. Kripke
doaj   +1 more source

The determination of what is said and what is implied

Mind &Language, EarlyView.
Is what is said determined by syntax, conventional meaning, and select aspects of context? This thesis—semanticity—seems plausible because what is said can diverge from both what the speaker means and what the addressee understands, and because ordinary speakers know what is said when presented with a novel sentence‐context pair.
Victor Tamburini
wiley   +1 more source

The expressive power of modal logic with inclusion atoms [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
Modal inclusion logic is the extension of basic modal logic with inclusion atoms, and its semantics is defined on Kripke models with teams. A team of a Kripke model is just a subset of its domain. In this paper we give a complete characterisation for the
Lauri Hella, Johanna Stumpf
doaj   +1 more source

Axiomatizing Kripke's theory of truth

Journal of Symbolic Logic, 2006
AbstractWe investigate axiomatizations of Kripke's theory of truth based on the Strong Kleene evaluation scheme for treating sentences lacking a truth value. Feferman's axiomatization KF formulated in classical logic is an indirect approach, because it is not sound with respect to Kripke's semantics in the straightforward sense: only the sentences that
Halbach, Volker, Horsten, Leon
openaire   +3 more sources

Perceiving Particulars

Noûs, EarlyView.
ABSTRACT Causalists contend that you see a specific object (rather than a lookalike, or no object at all) because that object sits at the beginning of an appropriate causal chain that terminates in your visual experience. We argue that neither standard causalists nor their non‐causalist opponents can adequately accommodate a striking asymmetry between ...
Dominic Alford‐Duguid, Umrao Sethi
wiley   +1 more source