Results 1 to 10 of about 282 (143)
Some of the next articles are maybe not open access.
The Fundamental Problem of Logical Omniscience [PDF]
Journal of Philosophical Logic, 2019 AbstractWe propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: (i) an intension, taking care of truth ...
Peter Hawke +2 more
exaly +4 more sources
Ideal rationality and logical omniscience [PDF]
SynthÈse, 2015 Does rationality require logical omniscience? Our best formal theories of rationality imply that it does, but our ordinary evaluations of rationality seem to suggest otherwise. This paper aims to resolve the tension by arguing that our ordinary evaluations of rationality are not only consistent with the thesis that rationality requires logical ...
Declan Smithies, Smithies Declan
exaly +2 more sources
Logical omniscience and classical logic [PDF]
, 2005 In all respectable logics a form of Leibniz's Law holds which says that logically equivalent expressions can be interchanged salva veritate. On the other hand, in ordinary language syntactically different expressions in general are not intersubstitutable in the scope of verbs of propositional attitude.
Reinhard Muskens, Muskens Reinhard
exaly +4 more sources
A Dynamic Solution to the Problem of Logical Omniscience [PDF]
Journal of Philosophical Logic, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jens Christian Bjerring +2 more
exaly +2 more sources
Dealing with logical omniscience: Expressiveness and pragmatics
Artificial Intelligence, 2011 24 pages.
Joseph Halpern
exaly +4 more sources
A Formal Approach to the Problem of Logical Non-Omniscience [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We present the logical induction criterion for computable algorithms that assign probabilities to every logical statement in a given formal language, and refine those probabilities over time.
Scott Garrabrant +4 more
doaj +4 more sources