Results 1 to 10 of about 14,864 (160)
Logical omniscience at the laboratory [PDF]
This paper investigates the ability of individuals to make complex chains of reasoning, similar to those underlying the logic of iterated deletion of dominated strategies.
Ralph-Christopher Bayer, Ludovic Renou
exaly +6 more sources
The Fundamental Problem of Logical Omniscience [PDF]
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]
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
exaly +2 more sources
Future Contingents and the Logic of Temporal Omniscience [PDF]
At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie,
Belnap Nuel +51 more
core +6 more sources
A Dynamic Solution to the Problem of Logical Omniscience [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jens Christian Bjerring, Mattias Skipper
exaly +2 more sources
Dealing with logical omniscience: Expressiveness and pragmatics
24 pages.
Joseph Y. Halpern, Riccardo Pucella
exaly +4 more sources
Logical omniscience and classical logic [PDF]
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
exaly +4 more sources
A Formal Approach to the Problem of Logical Non-Omniscience [PDF]
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
Logical omniscience as infeasibility
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sergei Artemov, Roman Kuznets
exaly +4 more sources
A nonstandard approach to the logical omniscience problem
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ronald Fagin +2 more
exaly +2 more sources

