Results 61 to 70 of about 14,300 (195)
Bad Practices: Unintended Consequences of Practice‐Based Theories of Reference
Analytic Philosophy, EarlyView.ABSTRACT Practice theories are a genus of causal theories of reference. They claim that the semantic referent of an utterance of a name is determined by features of a practice of using that name to speaker‐refer to, or coordinate actions around, a certain object.
Hugo Heagren
wiley +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
A New Arithmetically Incomplete First- Order Extension of Gl All Theorems of Which Have Cut Free Proofs [PDF]
, 2016 Reference [12] introduced a novel formula to formula translation tool (“formulators”) that enables syntactic metatheoretical investigations of first-order modal logics, bypassing a need to convert them first into Gentzen style logics in order to rely on ...
Tourlakis, George
core +1 more source
Philosophical Perspectives, EarlyView.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
Winged horses, rascals and discourse referents
Theoria, EarlyView.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
On Combining Intuitionistic and S4 Modal Logic
Bulletin of the Section of LogicWe address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic.
João Rasga, Cristina Sernadas
doaj +1 more source
Formal Semantics: Origins, Issues, Early Impact
The Baltic International Yearbook of Cognition, Logic and Communication, 2010 Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments ...
Barbara H. Partee
doaj +1 more source
Decidability of quantified propositional intuitionistic logic and S4 on trees
, 2002 Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers \forall p, \exists p over propositions.
D. Gabbay +9 more
core +1 more source
Modal Logic and Modal Metaphysics: An Avicennian Division of Labour
Theoria, EarlyView.ABSTRACT This paper argues that Avicenna was both a necessitarian and a realist about contingency. The two aspects of his modal metaphysics are reconciled by arguing that Avicenna's modal metaphysics is founded on realism about essences: strictly speaking, an individual has no contingent properties, but a modal distinction can be made between the ...
Jari Kaukua
wiley +1 more source