Results 51 to 60 of about 39,273,340 (170)
ABSTRACT Joint inquiry requires agents to exchange public content about some target domain, which in turn requires them to track which content a linguistic form contributes to a conversation. But, often, the inquiry delivers a necessary truth. For example, if we are inquiring whether a particular bird, Tweety, is a woodpecker, and discover that it is ...
Una Stojnić, Matthew Stone
wiley +1 more source
The Question of Referentiality
ABSTRACT Most theorists have offered different accounts of reference fixing for names, demonstratives, and indexicals. Indeed, this variety can seem an inevitable response to a certain class of hard cases. Here, I will offer a unified account of reference fixing equally capable of handling these cases.
Eliot Michaelson
wiley +1 more source
On the Limits of Intransitive Coordination
ABSTRACT A growing number of authors suggest that concept coordination—the kind of relation we pick out when we say that the concepts of one or more individuals represent something as the same—is not a transitive relation. Here we consider global features of representational systems to break new ground in the assessment of the intransitivity view. From
Víctor M. Verdejo, Joost J. Joosten
wiley +1 more source
ABSTRACT Descartes' cogito argument is perhaps the most well‐known philosophical argument, the conclusion of which is supposed to be a form of rationalism that allows for contingent a priori knowledge of the world. In this short note, I argue that, in fact, the all important statement, ‘I am, I exist’, should be analysed through the lens of (classical)
Tom Schoonen
wiley +1 more source
Kripke semantics for provability logic GLP [PDF]
A well-known polymodal provability logic GLP due to Japaridze is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in arithmetic.
Beklemishev, Lev D.
core +1 more source
Abstract This paper argues for the significance of Kaplan's logic LD in two ways: first, by looking at how logic got along before we had LD, and second, by using it to bring out the similarity between David Hume's thesis that one cannot deduce claims about the future on the basis of premises only about the past, and the so‐called "essentiality" of the ...
Gillian Russell
wiley +1 more source
The Challenge of the K-Principle in Deontic Logic (and Well Beyond)
I go through various arguments why the K-principle (aka Distributivity Axiom), O(p→q)→(Op→Oq), a cornerstone of all deontic logic as the latter is standardly conceived, is of little use for the logical analysis of real-life deontic discourse.
Wojciech Żełaniec
doaj +1 more source
Winged horses, rascals and discourse referents
Abstract This paper discusses some remarks Kaplan made in ‘Bob and Carol and Ted and Alice’ concerning empty names. I show how his objections to a particular view involving descriptions derived from Ramsification can be avoided by a nearby alternative framed in terms of discourse reference.
Andreas Stokke
wiley +1 more source
Two-dimensional Kripke Semantics II:Stability and Completeness [PDF]
We revisit the duality between Kripke and algebraic semantics of intuitionistic and intuitionistic modal logic. We find that there is a certain mismatch between the two semantics, which means that not all algebraic models can be embedded into a Kripke ...
Kavvos, G. A.
core +1 more source
Truth as a Mathematical Object
In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some
Jean-Yves Béziau
doaj

