Results 41 to 50 of about 16,014 (243)
Kripke’s Wittgenstein and Semantic Factualism
Journal for the History of Analytical Philosophy, 2021 Recently, two new portrayals of Kripke’s Wittgenstein (KW) have emerged. Both understand KW as targeting the Tractarian picture of semantic fact as a speaker’s mental representation of the truth-conditions of the sentences he uses. According to the factualist interpretation, KW holds that meaning ascriptions are legitimate descriptions because semantic
openaire +2 more sources
Merging Intuitionistic and De Morgan Logics
MathematicsWe introduce De Morgan Heyting logic for Heyting algebras with De Morgan negation (DH-algebras). The variety DH of all DH-algebras is congruence distributive. The lattice of all subvarieties of DH is distributive.
Minghui Ma, Juntong Guo
doaj +1 more source
De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory [PDF]
, 2019 We prove that the propositional logic of intuitionistic set theory IZF is intuitionistic propositional logic IPC. More generally, we show that IZF has the de Jongh property with respect to every intermediate logic that is complete with respect to a class
Passmann, Robert
core +3 more sources
Exposition of two forms of semantic skepticism: Wittgenstein’s paradox of rule following and Kripke’s semantic paradox [PDF]
Filozofija i Društvo, 2014 Despite persistent attempts to defend Kripke’s argument (Kripke 1982), analyses of this argument seem to be reaching a consensus that it is characterized by fatal flaws in both its interpretation of Wittgenstein and its argument of meaning ...
Shigeta Ken
doaj +1 more source
Some Logics in the Vicinity of Interpretability Logics
Bulletin of the Section of Logic, 2023 In this paper we shall define semantically some families of propositional modal logics related to the interpretability logic \(\mathbf{IL}\). We will introduce the logics \(\mathbf{BIL}\) and \(\mathbf{BIL}^{+}\) in the propositional language with a ...
Sergio A. Celani
doaj +1 more source
Embedding mental files in the world
Mind &Language, EarlyView.Cognitive scientific explanations can take either a mechanistic or design perspective. Some recent philosophical works propose to apply the mechanistic perspective to the influential mental file framework. The design perspective, however, remains underexplored.
Zhengxi Jin
wiley +1 more source
Explicit Evidence Systems with Common Knowledge
, 2010 Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge.
Alberucci L. +26 more
core +5 more sources
Symmetry lost: A modal ontological argument for atheism?
Noûs, EarlyView.Abstract The modal ontological argument for God's existence faces a symmetry problem: a seemingly equally plausible reverse modal ontological argument can be given for God's nonexistence. Here, we argue that there are significant asymmetries between the modal ontological argument and its reverse that render the latter more compelling than the former ...
Peter Fritz +2 more
wiley +1 more source
A Monadic Formalization of ML5 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 ML5 is a programming language for spatially distributed computing, based on a Curry-Howard correspondence with the modal logic S5. Despite being designed by a correspondence with S5 modal logic, the ML5 programming language differs from the logic in ...
Daniel R. Licata, Robert Harper
doaj +1 more source
Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study
, 2010 The logics of knowledge are modal logics that have been shown to be effective in representing and reasoning about knowledge in multi-agent domains. Relatively few computational frameworks for dealing with computation of models and useful transformations ...
C. BARAL +5 more
core +1 more source