Results for 'Logical omniscience'

1000+ found
Order:
  1. Logical Omniscience and Acknowledged vs. Consequential Commitments.Niels Skovgaard Olsen - 2014 - Questions, Discourse and Dialogue: 20 Years After Making It Explicit, Proceedings of AISB50.
    The purpose of this paper is to consider the explanatory resources that Robert Brandom‟s distinction between acknowledged and consequential commitments affords in relation to the problem of logical omniscience. With this distinction the importance of the doxastic perspective under consideration for the relationship between logic and norms of reasoning is emphasized, and it becomes possible to handle a number of problematic cases discussed in the literature without thereby incurring a commitment to revisionism about logic. 12.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. On logical omniscience.Jacques Dubucs - 1991 - Logique Et Analyse 133 (133-140):41-55.
    Standard epistemic logic actually formalizes folk-psychology. The problem of logical omniscience shows that this logic is not adequate in a cognitivist setting. In order to describe realistic information-processing believers, we need both an ontology of particulars and a hyper-intensional taxonomy of representations. From this point of view, sub-structural logics, which do not overlook the syntaxic details of the processing of information, are an interesting alternative to possible worlds semantics.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Ideal rationality and logical omniscience.Declan Smithies - 2015 - Synthese 192 (9):2769-2793.
    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 omniscience, but also provide a compelling rationale for accepting this thesis in the first place. This paper also defends an account of apriori justification for (...) beliefs that is designed to explain the rational requirement of logical omniscience. On this account, apriori justification for beliefs about logic has its source in logical facts, rather than psychological facts about experience, reasoning, or understanding. This account has important consequences for the epistemic role of experience in the logical domain. In a slogan, the epistemic role of experience in the apriori domain is not a justifying role, but rather an enabling and disabling role. (shrink)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   75 citations  
  4. Fragmentation and logical omniscience.Adam Elga & Agustín Rayo - 2022 - Noûs 56 (3):716-741.
    It would be good to have a Bayesian decision theory that assesses our decisions and thinking according to everyday standards of rationality — standards that do not require logical omniscience (Garber 1983, Hacking 1967). To that end we develop a “fragmented” decision theory in which a single state of mind is represented by a family of credence functions, each associated with a distinct choice condition (Lewis 1982, Stalnaker 1984). The theory imposes a local coherence assumption guaranteeing that as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  5.  63
    Logical omniscience as infeasibility.Sergei Artemov & Roman Kuznets - 2014 - Annals of Pure and Applied Logic 165 (1):6-25.
    Logical theories for representing knowledge are often plagued by the so-called Logical Omniscience Problem. The problem stems from the clash between the desire to model rational agents, which should be capable of simple logical inferences, and the fact that any logical inference, however complex, almost inevitably consists of inference steps that are simple enough. This contradiction points to the fruitlessness of trying to solve the Logical Omniscience Problem qualitatively if the rationality of agents (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6. Impossible worlds and logical omniscience: an impossibility result.Jens Christian Bjerring - 2013 - Synthese 190 (13):2505-2524.
    In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  7. The problem of logical omniscience, the preface paradox, and doxastic commitments.Niels Skovgaard-Olsen - 2017 - Synthese 194 (3):917-939.
    The main goal of this paper is to investigate what explanatory resources Robert Brandom’s distinction between acknowledged and consequential commitments affords in relation to the problem of logical omniscience. With this distinction the importance of the doxastic perspective under consideration for the relationship between logic and norms of reasoning is emphasized, and it becomes possible to handle a number of problematic cases discussed in the literature without thereby incurring a commitment to revisionism about logic. One such case in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8. Hintikka and Cresswell on Logical Omniscience.Mark Jago - 2006 - Logic and Logical Philosophy 15 (3):325-354.
    I discuss three ways of responding to the logical omniscience problems faced by traditional ‘possible worlds’ epistemic logics. Two of these responses were put forward by Hintikka and the third by Cresswell; all three have been influential in the literature on epistemic logic. I show that both of Hintikka's responses fail and present some problems for Cresswell’s. Although Cresswell's approach can be amended to avoid certain unpalatable consequences, the resulting formal framework collapses to a sentential model of knowledge, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  9. The Fundamental Problem of Logical Omniscience.Peter Hawke, Aybüke Özgün & Francesco Berto - 2020 - Journal of Philosophical Logic 49 (4):727-766.
    We 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: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  10. Solving the Problem of Logical Omniscience.Sinan Dogramaci - 2018 - Philosophical Issues 28 (1):107-128.
    This paper looks at three ways of addressing probabilism’s implausible requirement of logical omniscience. The first and most common strategy says it’s okay to require an ideally rational person to be logically omniscient. I argue that this view is indefensible on any interpretation of ‘ideally rational’. The second strategy says probabilism should be formulated not in terms of logically possible worlds but in terms of doxastically possible worlds, ways you think the world might be. I argue that, on (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  11. Dynamic Epistemic Logic and Logical Omniscience.Mattias Skipper Rasmussen - 2015 - Logic and Logical Philosophy 24 (3):377-399.
    Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as moderately logically competent. Many responses to logical omniscience fail to meet this double challenge because the concepts of knowledge and reasoning are not (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  12.  16
    Justification as ignorance and logical omniscience.Daniel Waxman - 2022 - Asian Journal of Philosophy 1 (1):1-8.
    I argue that there is a tension between two of the most distinctive theses of Sven Rosenkranz’s Justification as Ignorance: the central thesis concerning justification, according to which an agent has propositional justification to believe p iff they are in no position to know that they are in no position to know p and the desire to avoid logical omniscience by imposing only “realistic” idealizations on epistemic agents.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13. Sentences, belief and logical omniscience, or what does deduction tell us?Rohit Parikh - 2008 - Review of Symbolic Logic 1 (4):459-476.
    We propose a model for belief which is free of presuppositions. Current models for belief suffer from two difficulties. One is the well known problem of logical omniscience which tends to follow from most models. But a more important one is the fact that most models do not even attempt to answer the question what it means for someone to believe something, and just what it is that is believed. We provide a flexible model which allows us to (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  14. The problem of logical omniscience, I.Robert C. Stalnaker - 1991 - Synthese 89 (3):425 - 440.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   67 citations  
  15. A Dynamic Solution to the Problem of Logical Omniscience.Mattias Skipper & Jens Christian Bjerring - 2019 - Journal of Philosophical Logic 48 (3):501-521.
    The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  16. Fragmentation, metalinguistic ignorance, and logical omniscience.Jens Christian Bjerring & Weng Hong Tang - 2023 - Philosophical Studies 180 (7):2129-2151.
    To reconcile the standard possible worlds model of knowledge with the intuition that ordinary agents fall far short of logical omniscience, a Stalnakerian strategy appeals to two components. The first is the idea that mathematical and logical knowledge is at bottom metalinguistic knowledge. The second is the idea that non-ideal minds are often fragmented. In this paper, we investigate this Stalnakerian reconciliation strategy and argue, ultimately, that it fails. We are not the first to complain about the (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  21
    Epistemic Logic Without Logical Omniscience.Maria Luisa Dalla Chiara - 1991 - In Georg Schurz (ed.), Advances in Scientific Philosophy. pp. 87.
  18. On Epistemic Logic and Logical Omniscience.William J. Rapaport & Moshe Y. Vardi - 1988 - Journal of Symbolic Logic 53 (2):668.
    Review of Joseph Y. Halpern (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference (Los Altos, CA: Morgan Kaufmann, 1986),.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  19.  16
    Dealing with logical omniscience: Expressiveness and pragmatics.Joseph Y. Halpern & Riccardo Pucella - 2011 - Artificial Intelligence 175 (1):220-235.
  20.  8
    Game Semantics, Quantifiers and Logical Omniscience.Bruno Ramos Mendonça - forthcoming - Logic and Logical Philosophy:1-22.
    Logical omniscience states that the knowledge set of ordinary rational agents is closed for its logical consequences. Although epistemic logicians in general judge this principle unrealistic, there is no consensus on how it should be restrained. The challenge is conceptual: we must find adequate criteria for separating obvious logical consequences from non-obvious ones. Non-classical game-theoretic semantics has been employed in this discussion with relative success. On the one hand, with urn semantics [15], an expressive fragment of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  46
    Subjective situations and logical omniscience.Antonio Moreno, Ulises Cortés & Ton Sales - 2002 - Studia Logica 72 (1):7-29.
    The beliefs of the agents in a multi-agent system have been formally modelled in the last decades using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they commit us to model agents that are logically omniscient. We propose a way of avoiding this problem, using a new kind of entities called subjective situations. We define a new doxastic logic based on these entities and we show how the belief operators (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  22.  1
    What is the Play Level of Dialogical Logic and What is it Good for. A Pragmatist Perspective on Logical Omniscience.Shahid Rahman - unknown
    The failure of logical omniscience is perfectly compatible with deductive closure if we link the latter with the strategy level and the failure of logical omniscience with the play level.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  39
    Omnipotence and Logical Omniscience.G. B. Keene - 1987 - Philosophy 62 (242):527 - 528.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24. A pragmatic approach to the problem of logical omniscience.Paul Egré - unknown
     
    Export citation  
     
    Bookmark   1 citation  
  25. Postcripts to "A pragmatic approach to the problem of logical omniscience".Paul Egré - unknown
     
    Export citation  
     
    Bookmark  
  26.  28
    An Externalist Way to Avoid Logical Omniscience Without Getting Logically Ignorant.Stephan Cursiefen - 2006 - In Ingvar Johansson, Bertin Klein & Thomas Roth-Berghofer (eds.), Wspi 2006: Contributions to the Third International Workshop on Philosophy and Informatics.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  8
    A nonstandard approach to the logical omniscience problem.Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1995 - Artificial Intelligence 79 (2):203-240.
  28.  13
    The logic of knowledge-the problem of logical omniscience.Eric Gillet & Paul Gochet - 1993 - Dialectica 47 (2-3):143-171.
  29.  99
    Truth in Evidence and Truth in Arguments without Logical Omniscience.Gregor Betz - 2016 - British Journal for the Philosophy of Science 67 (4):1117-1137.
    Science advances by means of argument and debate. Based on a formal model of complex argumentation, this article assesses the interplay between evidential and inferential drivers in scientific controversy, and explains, in particular, why both evidence accumulation and argumentation are veritistically valuable. By improving the conditions for applying veritistic indicators , novel evidence and arguments allow us to distinguish true from false hypotheses more reliably. Because such veritistic indicators also underpin inductive reasoning, evidence accumulation and argumentation enhance the reliability of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  43
    Divine Omniscience and Human Free Will: A Logical and Metaphysical Analysis.Ciro De Florio & Aldo Frigerio - 2019 - Cham, Switzerland: Springer Verlag.
    This book deals with an old conundrum: if God knows what we will choose tomorrow, how can we be free to choose otherwise? If all our choices are already written, is our freedom simply an illusion? This book provides a precise analysis of this dilemma using the tools of modern ontology and the logic of time. With a focus on three intertwined concepts - God's nature, the formal structure of time, and the metaphysics of time, including the relationship between temporal (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  31. Future Contingents and the Logic of Temporal Omniscience.Patrick Todd & Brian Rabern - 2021 - Noûs 55 (1):102-127.
    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, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  32.  16
    Temporal Omniscience, Free will, and Their Logic.Lifeng Zhang - 2023 - Global Philosophy 33 (1):1-9.
    Taking divine omniscience as including temporal omniscience, which means God exists at all times and knows everything, I point out the fallacies in an incompatibilist argument. Syntactically, due to misapplication of the principle of substitutivity, this incompatibilist argument isn’t valid. Semantically, due to cancelation of a supposition on which God’s earlier belief depends, an agent’s alternative action won’t result in falsification of divine belief. Finally, by appealing to an eternalist conception of truth of proposition about the future, I (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. Logic and Omniscience. Alexander of Aphrodisias and Proclus.Mario Mignucci - 1985 - Oxford Studies in Ancient Philosophy 3:219.
  34.  12
    Omniscience: From a Logical Point of View.Paul Weingartner - 2008 - Ontos.
    The aim of the book is to clarify the concept of omniscience. This is done first by discussing basic questions on omniscience (chs.1-12) and secondly by offering a theory of omniscience as an axiomatic system in which also a definition of omniscience is given (ch.13). The twelve chapters deal with questions like whether everything is true what God knows, whether God's knowledge is bound to time, whether it concerns singular truths or only laws, whether it extends (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  53
    Omniscience in Łukasiewicz’s, Kleene’s and Blau’s Three-Valued Logics.Stamatios Gerogiorgakis - 2011 - Polish Journal of Philosophy 5 (1):59-78.
    In this paper several assumptions concerning omniscience and future contingents on the one side, and omniscience and self-reference on the other, areexamined with respect to a classical and a three-valued semantic setting (the latter pertains especially to Łukasiewicz’s, Kleene’s and Blau’s three-valued logics).Interesting features of both settings are highlighted and their basic assumptions concerning omniscience are explored. To generate a context in which the notion of omniscience does not deviate from some basic intuitions, two special futurity (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36. God's omniscience : a formal analysis in normal and non-normal epistemic logics.Antonino Rotolo & Erica Calardo - 2013 - In Bartosz Brożek, Adam Olszewski & Mateusz Hohol (eds.), Logic in theology. Copernicus Center Press.
     
    Export citation  
     
    Bookmark   1 citation  
  37. Problems of omniscience and infallibility : a temporal-logical approach.Kazimierz Trzęsicki - 2013 - In Bartosz Brożek, Adam Olszewski & Mateusz Hohol (eds.), Logic in theology. Copernicus Center Press.
    No categories
     
    Export citation  
     
    Bookmark  
  38.  52
    Grim on Logic and Omniscience.Selmer Bringsjord - 1989 - Analysis 49 (4):186 - 189.
  39. Logical ignorance and logical learning.Richard Pettigrew - 2021 - Synthese 198 (10):9991-10020.
    According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  40.  19
    God’s Omniscience and Logical Virtue.Mirosław Szatkowski - 2015 - In Miroslaw Szatkowski (ed.), God, Truth, and Other Enigmas. De Gruyter. pp. 97-116.
  41. The Logic of Fast and Slow Thinking.Anthia Solaki, Francesco Berto & Sonja Smets - 2019 - Erkenntnis 86 (3):733-762.
    We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the (...) consequences of such knowledge and beliefs, by paying a cognitive cost. The framework is applied to three instances of limited rationality, widely discussed in cognitive psychology: Stereotypical Thinking, the Framing Effect, and the Anchoring Effect. (shrink)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42. Problems for Omniscience.Patrick Grim - 2013 - In J. P. Moreland, Chad Meister & Khaldoun A. Sweis (eds.), Debating Christian Theism. Oxford Univ. Press. pp. 169-180.
    A survey of logical problems for the concept of omniscience.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  32
    Review of Paul Weingartner, Omniscience: From a Logical Point of View[REVIEW]Daniel J. Hill - 2008 - Notre Dame Philosophical Reviews 2008 (11).
  44. Logical Omnipotence and Two notions of Implicit Belief.Danilo Fraga Dantas - 2019 - In Tiegue Vieira Rodrigues (ed.), Epistemologia Analítica: Debates Contemporâneos. Santa Maria: Editora Fi. pp. 29-46.
    The most widespread models of rational reasoners (the model based on modal epistemic logic and the model based on probability theory) exhibit the problem of logical omniscience. The most common strategy for avoiding this problem is to interpret the models as describing the explicit beliefs of an ideal reasoner, but only the implicit beliefs of a real reasoner. I argue that this strategy faces serious normative issues. In this paper, I present the more fundamental problem of logical (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Epistemic Logic and Epistemology.Wesley H. Holliday - 2018 - In Vincent F. Hendricks & Sven Ove Hansson (eds.), Handbook of Formal Philosophy. Cham: Springer. pp. 351-369.
    This chapter provides a brief introduction to propositional epistemic logic and its applications to epistemology. No previous exposure to epistemic logic is assumed. Epistemic-logical topics discussed include the language and semantics of basic epistemic logic, multi-agent epistemic logic, combined epistemic-doxastic logic, and a glimpse of dynamic epistemic logic. Epistemological topics discussed include Moore-paradoxical phenomena, the surprise exam paradox, logical omniscience and epistemic closure, formalized theories of knowledge, debates about higher-order knowledge, and issues of knowability raised by Fitch’s (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  46. Epistemic logic for rule-based agents.Mark Jago - 2009 - Journal of Logic, Language and Information 18 (1):131-158.
    The logical omniscience problem, whereby standard models of epistemic logic treat an agent as believing all consequences of its beliefs and knowing whatever follows from what else it knows, has received plenty of attention in the literature. But many attempted solutions focus on a fairly narrow specification of the problem: avoiding the closure of belief or knowledge, rather than showing how the proposed logic is of philosophical interest or of use in computer science or artificial intelligence. Sentential epistemic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  47.  1
    Omniscience.George I. Mavrodes - 2010 - In Charles Taliaferro, Paul Draper & Philip L. Quinn (eds.), A Companion to Philosophy of Religion. Oxford, UK: Wiley‐Blackwell. pp. 251–257.
    This chapter contains sections titled: Works cited.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  49
    Restricted Omniscience and Ways of Knowing.T. Ryan Byerly - 2014 - Sophia 53 (4):427-434.
    Recently, several philosophers have moved from a classical account of divine omniscience according to which God knows all truths to a restricted account of divine omniscience according to which God knows all knowable truths. But an important objection offered by Alexander Pruss threatens to show that if God knows all knowable truths, God must also know all truths. In this paper, I show that there is a way out of Pruss’s objection for the advocate of restricted omniscience (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  13
    Omniscience and Semantic Information.Bernardo Alonso - 2017 - Manuscrito 40 (4):77-96.
    ABSTRACT First, I consider a few motivations to idealize epistemic logics1 in such a degree that brings up the problem of logical omniscience [LOP]. I argue that the main motivation to hold omniscience is of a philosophical-scientific2 background, in the sense philosophers have a not so peculiar way of investigating underlying mechanisms, i.e., the interaction of several different components of complex systems may be better understood in isolation, even if such components are not found isolated in a (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  26
    Omniscience Principles and Functions of Bounded Variation.Fred Richman - 2002 - Mathematical Logic Quarterly 48 (1):111-116.
    A very weak omniscience principle is formulated, related omniscience principlesare considered, and the theorem that a function of bounded variation is the difference of two increasing functions is shown to be equivalent to the omniscience principle WLPO. It is a so shown that an arbitrary function with located variation on an interval is the difference of two increasing functions.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 1000