Results 51 to 60 of about 1,478 (181)

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

Proof Translations between Label-free and Labeled Sequent Calculi in ISCI

Bulletin of the Section of Logic
In this paper we consider the Intuitionistic Sentential Calculus with Identity (ISCI). We study two main families of sequent calculi. The first one, called G3ISCI, is based on a label-free multi-succedent sequent calculus that is sound and complete w.r ...
Didier Galmiche, Brandon Hornbeck, Daniel Méry   +2 more
doaj   +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

Flexible Counterparts

Analytic Philosophy, EarlyView.
ABSTRACT Counterpart theories are powerful thanks to their flexibility: counterpart relations are not symmetrical or transitive, and one can apply more than one counterpart relation to one object. This is used to analyze metaphysical puzzles, but it also gives rise to an objection: this flexibility forces one to deny that the phenomena analyzed using ...
Florian Gatignon
wiley   +1 more source

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras [PDF]

Logical Methods in Computer Science
A distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and when $\cdot$ is associative then $(A,\vee,\cdot)$ is an idempotent semiring.
Natanael Alpay, Peter Jipsen, Melissa Sugimoto   +2 more
doaj   +1 more source

Inquiry and Logical Form

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

Visual Icons

Philosophy and Phenomenological Research, EarlyView.
ABSTRACT Philosophers often characterize perception as image‐like. There is little agreement, however, about what constitutes an imagistic or iconic representation. This article identifies five signature properties of iconic representations endorsed in the philosophical and scientific literature: item‐richness, feature‐richness, spatiotemporal ...
Jake Quilty‐Dunn
wiley   +1 more source

Kripke Models and Intermediate Logics

Publications of the Research Institute for Mathematical Sciences, 1970
In [10], Kripke gave a definition of the semantics of the intuitionistic logic. Fitting [2] showed that Kripke's models are equivalent to algebraic models (i.e., pseudo-Boolean models) in a certain sense. As a corollary of this result, we can show that any partially ordered set is regarded as a (characteristic) model of a intermediate logic ^ We shall ...
openaire   +2 more sources

Notes on Models of (Partial) Kripke–Feferman Truth

Studia Logica, 2022
AbstractThis article investigates models of axiomatizations related to the semantic conception of truth presented by Kripke (J Philos 72(19):690–716, 1975), the so-called fixed-point semantics. Among the various proof systems devised as a proof-theoretic characterization of the fixed-point semantics, in recent years two alternatives have received ...
openaire   +1 more source