Results 41 to 50 of about 2,891 (195)

On the Definability Problem of First-Order Sentences by Propositional Intuitionistic Formulas

Axioms
We consider restricted forms of the algorithmic problem of definability of first-order sentences by propositional formulas with intuitionistic Kripke frames semantics.
Grigor Kolev, Tinko Tinchev
doaj   +1 more source

ENTENDER LA PRESUPOSICIÓN COMO ANÁFORA Ciertos inconvenientes de la propuesta de Kripke

Praxis Filosófica, 2011
Según Kripke, las aproximaciones tradicionales acerca de la presuposición no funcionan en ciertos casos de oraciones compuestas porque habitualmente se ha considerado que las partes antecedentes de las mismas asignan presuposiciones a cada una de sus ...
Juan José Colomina Almiñana
doaj   +1 more source

Pulling Down the Hierarchy

Pacific Philosophical Quarterly, EarlyView.
ABSTRACT This paper is about the hierarchy view: that each word has infinitely many meanings, arranged into levels, with the level n meaning serving as its semantic value when it occurs embedded to degree n in indirect or attitude reporting verbs. Departing from the famous debates over the bare tenability of the hierarchy view, I focus on whether there
Mark McCullagh
wiley   +1 more source

Nomes próprios e identidade em Frege e Kripke

Inquietude, 2020
Neste artigo, apresento as formulações e respostas ao problema da identidade entre nomes desenvolvidas por Gottlob Frege e Saul Kripke. O problema da identidade entre nomes próprios ocorre em sentenças de identidade que envolvem dois nomes próprios ...
Francisco Rafael da Silva Gomes
doaj  

Model Checking Social Network Models [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
A social network service is a platform to build social relations among people sharing similar interests and activities. The underlying structure of a social networks service is the social graph, where nodes represent users and the arcs represent the ...
Raúl Pardo, Gerardo Schneider
doaj   +1 more source

Now, Again and Again: The Metaphysics of Many Presents

Pacific Philosophical Quarterly, EarlyView.
ABSTRACT This paper discusses whether there can be multiple present moments. After presenting some reasons for thinking that the question is worthwhile, I challenge several objections to its possibility: worries about the exclusivity of tense; the nature of change, tense logic and semantics; and the apparent tension between multiple presents and an ...
Nikk Effingham
wiley   +1 more source

Teria o Metro-Padrão um metro?

Principia: An International Journal of Epistemology, 2015
Saul Kripke (1972) defende a existência de proposições conhecíveis \textit{a priori} que são contingentemente verdadeiras. Kripke usa como exemplo um caso apresentado por Wittgenstein (1953) sobre o Metro-Padrão de Paris. O Metro-Padrão é um objeto cuja
Kherian Gracher
doaj   +1 more source

Contingent Grounding Physicalism

Analytic Philosophy, EarlyView.
ABSTRACT It is widely held that physicalism is incompatible with the metaphysical possibility of zombies, i.e., beings physically just like us yet lacking in phenomenal consciousness. The present paper argues that this orthodoxy is mistaken. As against the received wisdom, physicalism is perfectly compatible with the possibility of zombies and zombie ...
Alex Moran
wiley   +1 more source

Room for Improvement: Why Finitist Arguments Do Not Check Out

Analytic Philosophy, EarlyView.
ABSTRACT We examine several new and underexplored arguments for the finitude of the past and the impossibility of Hilbert's Hotel. The first argument concludes that Hilbert's Hotel is impossible due to an alleged contradiction arising from the causal powers of infinitely many guests.
Joseph C. Schmid, Troy Dana
wiley   +1 more source

How Many Worlds Could There Be? David Lewis and Advanced Modalizing

Analytic Philosophy, EarlyView.
ABSTRACT Advanced modalizing, namely, possibilities and necessities concerning modal space itself, is problematic for a Lewis‐style analysis of modality. A popular solution, proposed by Divers, postulates explicit semantic clauses for a collapse of advanced modalizing, to the conclusion that all such matters are, if true in the first place, both ...
Lorenzo Azzano, Ciro De Florio, Aldo Frigerio   +2 more
wiley   +1 more source