Results 41 to 50 of about 12,748 (219)

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

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

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

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

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

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

Redeeming Relative Value: Indexicality and Consequentializing Agent‐Centered Norms

Noûs, EarlyView.
ABSTRACT Robert Nozick doubted forms of consequentialism that employ so‐called “agent‐relative value” because he found them “gimmicky.” This doubt has been sharpened by Don Regan, Mark Schroeder, and others into the objection that agent‐relative value lacks the practical importance we associate with good simpliciter.
Nathan Robert Howard
wiley   +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

A Distributed Kripke Semantics

, 2004
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [10]. We extend the Kripke semantics of intuitionistic logic, enriching each possible Kripke state with a set of places, and show that this ...
Chadha, R., Macedonio, D., Sassone, V.
core   +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