Results 41 to 50 of about 39,273,340 (170)
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 Logic for Quantum Register Measurements
Axioms, 2019 We know that quantum logics are the most prominent logical systems associated to the lattices of closed Hilbert subspaces. However, what happen if, following a quantum computing perspective, we want to associate a logic to the process of quantum ...
Andrea Masini, Margherita Zorzi
doaj +1 more source
Toward an Epistemic-Logical Theory of Categorization [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes.
Willem Conradie +5 more
doaj +1 more source
Toward a New Theory of Moderate Contingentism: Individuals just are Realized Essences
Problemos, 2022 In this paper, we propose a new actualist and contingentist modal metaphysics – fundamental essentialism – according to which individuals just are realized essences.
Pranciškus Gricius
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 +2 more
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
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications [PDF]
International Journal of Computational Intelligence Systems, 2015 This paper deals with propositional fuzzy modal logic with evaluated syntax based on MV-algebras. We focus on its semantical theory from the viewpoint of Pavelka's graded semantics of propositional fuzzy logic, investigate the L-tautologies based on ...
Xiaodong Pan, Yang Xu
doaj +1 more source
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
Kripke Semantics for Intuitionistic Lukasiewicz Logic [PDF]
, 2020 This paper proposes a generalization of the Kripke semantics of intuitionistic logic IL appropriate for intuitionistic Łukasiewicz logicIŁL —a logic in the intersection between IL and (classical) Łukasiewicz logic.
Andrew, L-S, Oliva, P, Robinson, E
core +1 more source
Two-dimensional Kripke Semantics I:Presheaves [PDF]
The study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in programming languages and type theory have led to a second way of studying modalities, namely through their ...
Kavvos, G. A.
core +3 more sources