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 logical 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)

An exchange between Patrick Grim and Alvin Plantinga regarding Cantorian arguments against the possibility of an omniscient being.

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 an (...) agent's attention shifts, successive batches of "obvious" logical information become available to her. A rule of expected utility maximization can then be applied to the decision of what to attend to next during a train of thought. On the resulting theory, rationality requires ordinary agents to be logically competent and to often engage in trains of thought that increase the unification of their states of mind. But rationality does not require ordinary agents to be logically omniscient. (shrink)

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 agents (...) that are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

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 particular (...) is the preface paradox, which will receive an extensive treatment. As we shall see, the problem of logical omniscience not only arises within theories based on deductive logic; but also within the recent paradigm shift in psychology of reasoning. So dealing with this problem is important not only for philosophical purposes but also from a psychological perspective. (shrink)

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.

The text published below is the translation of a part of this published article: "Il Dio che rischia e che cambia: introduzione all’Open Theism". The issue of omniscience is one of the most debated in contemporary Analytical Philosophy of Religion. However, what is often lacking in this discussion is a deep understanding of the dilemma of omniscience and human freedom within a complete epistemological (what can we really say about the divine and the world), metaphysical and theological framework. (...) For example, it is often forgotten to frame some issues within a clear definition of the notion of mystery. (shrink)

One set of neglected problems consists of paradoxes of omniscience clearly recognizable as forms of the Liar, and these I have never seen raised at all. Other neglected problems are difficulties for omniscience posed by recent work on belief de se and essential indexicals. These have not yet been given the attention they deserve.

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 another, violate the (...) laws of logic. In this paper, we argue that existing impossible-worlds models of belief fail to describe agents who are both logically non-omniscient and logically competent. To model such agents, we argue, we need to ‘dynamize’ the impossible-worlds framework in a way that allows us to capture not only what agents believe, but also what they are able to infer from what they believe. In light of this diagnosis, we go on to develop the formal details of a dynamic impossible-worlds framework, and show that it successfully models agents who are both logically non-omniscient and logically competent. (shrink)

Let us sum up. The paradox of the Knower poses a direct and formal challenge to the coherence of common notions of knowledge and truth. We've considered a number of ways one might try to meet that challenge: propositional views of truth and knowledge, redundancy or operator views, and appeal to hierarchy of various sorts. Mere appeal to propositions or operators, however, seems to be inadequate to the task of the Knower, at least if unsupplemented by an auxiliary recourse to (...) hierarchy. But the cost of hierarchy appears to be an abandonment of any notion of all truth or of omniscience. What the contradictions of the Knower seem to demand, then, is at least an abandonment of these. As noted in the introduction, the argument is complicated enough that one must be wary of dogmatic and precipitate conclusions. One may legitimately wonder whether some new response, or some variation on an old one, will yet offer a way out.Far too often, however, it is asked what has gone wrong with paradox rather than what paradox may have to teach us. What the Knower may have to teach us, I think, is that there really can be no coherent notion of all truth and really can be no coherent notion of omniscience. In its own way that conclusion is perhaps as humbling as is any traditional notion of God. (shrink)

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 (...) that, looking backwards, it was the case that there would be a sea battle? This tension forms, in large part, what might be called the problem of future contingents. A dominant trend in temporal logic and semantic theorizing about future contingents seeks to validate both intuitions. Theorists in this tradition--including some interpretations of Aristotle, but paradigmatically, Thomason (1970), as well as more recent developments in Belnap, et. al (2001) and MacFarlane (2003, 2014)--have argued that the apparent tension between the intuitions is in fact merely apparent. In short, such theorists seek to maintain both of the following two theses: (i) the open future: Future contingents are not true, and (ii) retro-closure: From the fact that something is true, it follows that it was the case that it would be true. It is well-known that reflection on the problem of future contingents has in many ways been inspired by importantly parallel issues regarding divine foreknowledge and indeterminism. In this paper, we take up this perspective, and ask what accepting both the open future and retro-closure predicts about omniscience. When we theorize about a perfect knower, we are theorizing about what an ideal agent ought to believe. Our contention is that there isn’t an acceptable view of ideally rational belief given the assumptions of the open future and retro-closure, and thus this casts doubt on the conjunction of those assumptions. (shrink)

A survey of logical problems for the concept of omniscience.

A knowledge argument is offered that presents unique difficulties for Christians who wish to assert that God is essentially omniscient. The difficulties arise from the doctrine of the incarnation. Assuming that God the Son did not necessarily have to become incarnate, then God cannot necessarily have knowledge de se of the content of a non-divine mind. If this is right, then God’s epistemic powers are not fixed across possible worlds and God is not essentially omniscient. Some options for Christian theists (...) are discussed, including rejecting traditional theism in favour of some version of pantheism or panentheism. (shrink)

Arguments against our free will pose a serious problem. Although there are not very many philosophers who call themselves fatalists, quite a few are convinced that fatalism follows from common assumptions. Assuming that most believe themselves to be free, identifying ways to avoid the conclusion of such fatalist arguments is quite an important task. I begin by dealing specifically with theological fatalism. I present many versions of theological fatalism, but come to the conclusion that only one version constitutes a genuine (...) problem. That version, I argue, is reducible to a deeper fatalist dilemma that follows from assumptions so common that it must be faced by even the atheist: the mutually incompatibility of human freedom, the principle of alternate possibilities and bi-valance. After considering other objections to my argument, I conclude that the only way to avoid the fatalist conclusion is to either deny the principle of alternate possibilities or deny bi-valance. I argue that, although each option is somewhat problematic, denying bivalence is the more defensible of the two options. (shrink)

Alexander Rosenberg (1994) claims that the omniscient viewpoint of the evolutionary process would have no need for the concept of random drift. However, his argument fails to take into account all of the processes which are considered to be instances of random drift. A consideration of these processes shows that random drift is not eliminable even given a position of omniscience. Furthermore, Rosenberg must take these processes into account in order to support his claims that evolution is deterministic and (...) that evolutionary biology is an instrumental science. (shrink)

A simple argument against Lewisian modal realism as portrayed in On the Plurality of World arises from its treatment of doxastic modalities. It is easily shown that if it is true, it is impossible to doubt the theory on ontological grounds, or, that, if it is possible to maintain doubt about modal realism’s existential postulate, it has to be false. The argument hinges on the fact that modal realism’s main ontological hypothesis, if true, is necessarily true.

Famously, the Church–Fitch paradox of knowability is a deductive argument from the thesis that all truths are knowable to the conclusion that all truths are known. In this argument, knowability is analyzed in terms of having the possibility to know. Several philosophers have objected to this analysis, because it turns knowability into a nonfactive notion. In addition, they claim that, if the knowability thesis is reformulated with the help of factive concepts of knowability, then omniscience can be avoided. In (...) this article we will look closer at two proposals along these lines :557–568, 1985; Fuhrmann in Synthese 191:1627–1648, 2014a), because there are formal models available for each. It will be argued that, even though the problem of omniscience can be averted, the problem of possible or potential omniscience cannot: there is an accessible state at which all truths are known. Furthermore, it will be argued that possible or potential omniscience is a price that is too high to pay. Others who have proposed to solve the paradox with the help of a factive concept of knowability should take note :53–73, 2010; Spencer in Mind 126:466–497, 2017). (shrink)

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 the logic (...) of knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

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 properly separated. In (...) this paper, I present a dynamic logic of knowledge that models an agent’s epistemic state as it evolves over the course of reasoning. I show that the logic does not sacrifice logical competence on the altar of logical non- omniscience. (shrink)

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 the (...) interpretation of this approach that lifts the requirement of certainty in all logical truths, the view becomes vacuous, issuing no requirements on rational believers at all. Finally, I develop and endorse a new solution to the problem. This view proposes dynamic norms for reasoning with credences. The solution is based on an old proposal of Ian Hacking’s that says you’re required to be sensitive to logical facts only when you know they are logical facts. (shrink)

According to egalitarians, there is no privileged now-possible history. Egalitarianism seems to provide an attractive way to reconcile openness and omniscience, but, I argue, it does not.

An attempt to defend Davidson's omniscient interpreter argument against various attempts to show that it does not succeed in showing that most of our beliefs must be true. It doesn't argue that this is a good answer to skepticism.

In this paper I present two new arguments against the possibility of an omniscient being. My new arguments invoke considerations of cardinality and resemble several arguments originally presented by Patrick Grim. Like Grim, I give reasons to believe that there must be more objects in the universe than there are beliefs. However, my arguments will rely on certain mereological claims, namely that Classical Extensional Mereology is necessarily true of the part-whole relation. My first argument is an instance of a problem (...) first noted by Gideon Rosen and requires an additional assumption about the mereological structure of certain beliefs. That assumption is that an omniscient being’s beliefs are mereological simples. However, this assumption is dropped when I present my second argument. Thus, I hope to show that if Classical Extensional Mereology is true of the part-whole relation, there cannot be an omniscient being. (shrink)

Is God a timeless God? One standard argument against the supposition that He is is that it appears to be incompatible with God’s posited omniscience. If God is timeless, He cannot know truths involving temporal indexicals, such as the one I express right now by ”I am sitting now”. In this article, I discuss this argument and consider some replies to it. I focus on the denial of the view according to which knowledge expressed with temporally indexical true statements (...) is relevantly different from knowledge expressed with corresponding statements without indexicals. (shrink)

Review of Joseph Y. Halpern (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference (Los Altos, CA: Morgan Kaufmann, 1986),.

Aptamimamsa by Ācārya Samantabhadra (2nd century CE) starts with a discussion, in a philosophical-cum-logical manner, on the Jaina concept of omniscience and the attributes of the Omniscient. The Ācārya questions the validity of the attributes that are traditionally associated with a praiseworthy deity and goes on to establish the logic of accepting the Omniscient as the most trustworthy and praiseworthy Supreme Being. Employing the doctrine of conditional predications (syādvāda) – the logical expression of reality in light of the foundational (...) principle of non-absolutism (anekāntavāda) – he faults certain conceptions based on absolutism. He finally elucidates correct perspectives on issues including fate and human-effort, and bondage of meritorious (punya) or demeritorious (pāpa) karmas. (shrink)

The article analyzes and criticizes the assumptions of Peter Van Inwagen’s argument for the alleged contradiction of the foreknowledge of God and human freedom. The argument is based on the sine qua non condition of human freedom defined as access to possible worlds containing such a continuation of the present in which the agent implements a different action than will be realized de facto in the future. The condition also contains that in every possible continuation of the present state of (...) affairs, the same propositions about the ‘present past’ (the past before the present moment) are true as are true in the present state of affairs. The paper argues that Van Inwagen’s reasoning is inconclusive, it contains the type of mistake of confusing conditional impossibility with unconditional and presents a methodologically wrong method of solving a philosophical problem. It is because in the very construction of the problem determining the available solution. The article points to the possibility that the human freedom of some action is not excluded by the fact that specific past facts logically entail that this event will occur. (shrink)

As the journal is effectively defunct, I am uploading a full-text copy, but only of my abstract and article, and some journal front matter. -/- Note that the pagination in the PDF version differs from the official pagination because A4 and 8.5" x 11" differ. -/- Note also that this is not a mere repetition of the argument in /Mind/, nor merely an application of it; there are subtle differences. -/- Finally, although Christians are likely to take this as applicable (...) to a God who can enter time, Jewish readers who wish a full understanding of its intent are referred to M.R. II:13:3. Note that /some/ free will, however miniscule, must remain, exactly as argued. Also, Maimonides speaks differently, albeit metaphorically, elsewhere, and nothing here contradicts his statements. (shrink)

The philosophy of mind is traditionally concerned with the study of mental processes, language, the representation of knowledge and the relation of the mind shares with the body; computational complexity theory is related to the classification of computationally solvable problems (be it via execution time, storage requirements, etc...). While there are well-established links between computer science in general & the philosophy of mind, many possible solutions to traditional problems in the philosophy of mind have not yet been analyzed from the (...) more specific lens of computational complexity theory. In his paper "Why Philosophers Should Care about Computational Complexity", Scott Aaronson argues that many conventional theories of epistemology & mind implicitly make the presupposition of omniscience (by supposing that knowing base facts means a knower necessarily understands derivative facts) - he proposes that computational complexity theory could explain why this is not the case. In this paper, I argue for a theory of mental representation & epistemology compatible with Aaronson's observations on complexity theory, overcoming that presupposition of omniscience. (shrink)

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 any given (...) time; an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

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 logical 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)

Choices confront us with questions. How we act depends on our answers to those questions. So the way our beliefs guide our choices is not just a function of their informational content, but also depends systematically on the questions those beliefs address. This paper gives a precise account of the interplay between choices, questions and beliefs, and harnesses this account to obtain a principled approach to the problem of deduction. The result is a novel theory of belief-guided action that explains (...) and predicts the decisions of agents who, like ourselves, fail to be logically omniscient: that is, of agents whose beliefs may not be deductively closed, or even consistent. (Winner of the 2021 Isaac Levi Prize.). (shrink)

Orthodox Bayesianism is a highly idealized theory of how we ought to live our epistemic lives. One of the most widely discussed idealizations is that of logical omniscience: the assumption that an agent’s degrees of belief must be probabilistically coherent to be rational. It is widely agreed that this assumption is problematic if we want to reason about bounded rationality, logical learning, or other aspects of non-ideal epistemic agency. Yet, we still lack a satisfying way to avoid logical (...) class='Hi'>omniscience within a Bayesian framework. Some proposals merely replace logical omniscience with a different logical idealization; others sacrifice all traits of logical competence on the altar of logical non-omniscience. We think a better strategy is available: by enriching the Bayesian framework with tools that allow us to capture what agents can and cannot infer given their limited cognitive resources, we can avoid logical omniscience while retaining the idea that rational degrees of belief are in an important way constrained by the laws of probability. In this paper, we offer a formal implementation of this strategy, show how the resulting framework solves the problem of logical omniscience, and compare it to orthodox Bayesianism as we know it. (shrink)

The topic of divine omniscience is well-trodden ground, with philosophers and theologians having asked virtually every question there is to ask about it. The questions regarding God's omniscience to be addressed here are as follows. First, is omniscience best understood as maximal propositional knowledge along with maximal experiential knowledge? I argue that it is. Second, is it possible for God to be essentially omniscient? I argue that it is not.

John Abbruzzese has recently attempted a defense of omniscience against a series of my attacks. This affords me a welcome occasion to clarify some of the arguments, to pursue some neglected subtleties, and to re-think some important complications. In the end, however, I must insist that at least three of four crucial arguments really do show an omniscient being to be impossible. Abbruzzese sometimes misunderstands the forms of the argument themselves, and quite generally misunderstands their force.

Whereas Bayesians have proposed norms such as probabilism, which requires immediate and permanent certainty in all logical truths, I propose a framework on which credences, including credences in logical truths, are rational because they are based on reasoning that follows plausible rules for the adoption of credences. I argue that my proposed framework has many virtues. In particular, it resolves the problem of logical omniscience.

We propose a dynamic hyperintensional logic of belief revision for non-omniscient agents, reducing the logical omniscience phenomena affecting standard doxastic/epistemic logic as well as AGM belief revision theory. Our agents don’t know all a priori truths; their belief states are not closed under classical logical consequence; and their belief update policies are such that logically or necessarily equivalent contents can lead to different revisions. We model both plain and conditional belief, then focus on dynamic belief revision. The key idea (...) we exploit to achieve non-omniscience focuses on topic- or subject matter-sensitivity: a feature of belief states which is gaining growing attention in the recent literature. (shrink)

Patrick Grim advances arguments meant to show that the doctrine of divine omniscience—the classical doctrine according to which God knows all truths—is false. In particular, we here have in mind to focus on two such arguments: the set theoretic argument and the semantic argument. These arguments due to Grim run parallel to, respectively, familiar paradoxes in set theory and naive truth theory. It is beyond the purview of this article to adjudicate whether or not these are successful arguments against (...) the classical doctrine of omniscience. What we are here interested in is a way in which these arguments can be generalized. In particular, we show how generalizations of those arguments can target, explicitly, alternatives to the classical doctrine of omniscience, including what we here call 'restricted omniscience' and 'open future open theism'. As a corollary, considerations of Grim-style arguments do not support these alternatives to the classical doctrine of omniscience over the classical doctrine. We conclude that what is paradoxical is not the classical doctrine of omniscience just as such; rather, what is paradoxical is a core commitment shared by the classical doctrine and its more modest alternatives, namely, the thesis that God is a perfectly logical reasoner. (shrink)

An organizing theme of the dissertation is the issue of how to make philosophical theories useful for scientific purposes. An argument for the contention is presented that it doesn’t suffice merely to theoretically motivate one’s theories, and make them compatible with existing data, but that philosophers having this aim should ideally contribute to identifying unique and hard to vary predictions of their theories. This methodological recommendation is applied to the ranking-theoretic approach to conditionals, which emphasizes the epistemic relevance and the (...) expression of reason relations as part of the semantics of the natural language conditional. As a first step, this approach is theoretically motivated in a comparative discussion of other alternatives in psychology of reasoning, like the suppositional theory of conditionals, and novel approaches to the problems of compositionality and accounting for the objective purport of indicative conditionals are presented. In a second step, a formal model is formulated, which allows us to derive quantitative predictions from the ranking-theoretic approach, and it is investigated which novel avenues of empirical research that this model opens up for. Finally, a treatment is given of the problem of logical omniscience as it concerns the issue of whether ranking theory (and other similar approaches) makes too idealized assumptions about rationality to allow for interesting applications in psychology of reasoning. Building on the work of Robert Brandom, a novel solution to this problem is presented, which both opens up for new perspectives in psychology of reasoning and appears to be capable of satisfying a range of constraints on bridge principles between logic and norms of reasoning, which would otherwise stand in a tension. (shrink)

Over the past four decades, the issue of the relationship between divine omniscience and human freedom has been the subject of a great debate in the context of Analytic Philosophy of Religion. Many authors have contributed to the debate by formulating some ‘solutions’, taking inspiration from the thought of classical authors (e.g. Boethius, Aquinas, Ockham). One of these, is inspired by Luis de Molina’s thought. The Author, therefore, aims to present the main theoretical thesis of this solution, following the (...) development in the various publications about this question. The Author also tries to show how the thought of Molina has beeen “translated” in contemporary discourse, the limits of the solution, and make understandable the transition occurred within the debate, which led to the Molinist solution and then to the Open Theism. (shrink)

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 omnipotence, which (...) highlights the normative content of the problem of logical omniscience. I introduce two developments of the notion of implicit belief (accessible and stable belief ) and use them in two versions of the most common strategy applied to the problem of logical omnipotence. (shrink)

A Cantorian argument that there is no set of all truths. There is, for the same reason, no possible world as a maximal set of propositions. And omniscience is logically impossible.

Over the past three decades, the issue of the relationship between divine omniscience and human freedom has been the subject of great debate. Inside it, were compared many authors and many “solutions”. One of these is the one that is inspired by Ockham’s thought. The author, therefore, aims to present the main theoretical nodes of this solution, following the development that it has had in the various publications about this question. The author also tries to show its limits, to (...) make understandable the transition occurred within the debate, which led to the Molinist solution and then to the open theism. (shrink)

The new theoretical perspective proposed by the Open Theism theologians, compels us to study in depth and to evaluate the “classic” argumentative tools used to solve the ancient antinomy between divine omniscience and human freedom, to which the thesis of the Open Theism try to give an innovative solution. Among these tools – invoked by many authors in the contemporary debate about omniscience, in analytic philosophy of religion – several ones are part of Thomas Aquinas’ thought: the division (...) in primary and secondary causes, the division of God’s knowledge, the distinction between propositions understood in sensu composito or in sensu diviso, the division between necessity de dicto or de re, and others. This paper aims to analyze the interpretation of these tools developed in the contemporary context and tries to draw some conclusions on the overall efficacy of the “Thomistic Solution” that we can build starting from these tools. La nuova prospettiva teoretica proposta dai sostenitori dell’Open Theism ha reso necessario un approfondimento e una valutazione degli strumenti argomentativi “classici” utilizzati per risolvere l’antica antinomia tra onniscienza divina e libertà umana, alla quale le tesi dell’Open Theism cercano di dare una soluzione innovativa. Tra questi strumenti – recuperati da molti autori nel contemporaneo dibattito sull’onniscienza, all’interno della filosofia analitica della religione – ve ne sono molti attribuiti a Tommaso d’Aquino: la divisione in causa prima e cause seconde, la suddivisione della conoscenza di Dio, la distinzione tra proposizioni intese in senso composto o in senso diviso, quella tra necessità de dicto e necessità de re, e altri. Il presente contributo si propone di analizzarne l’interpretazione sviluppata nel contesto contemporaneo e trarre alcune conclusioni sull’efficacia complessiva della “soluzione tomistica” che si può delineare a partire da questi strumenti. (shrink)

Many theories of rational belief give a special place to logic. They say that an ideally rational agent would never be uncertain about logical facts. In short: they say that ideal rationality requires "logical omniscience." Here I argue against the view that ideal rationality requires logical omniscience on the grounds that the requirement of logical omniscience can come into conflict with the requirement to proportion one’s beliefs to the evidence. I proceed in two steps. First, I rehearse (...) an influential line of argument from the "higher-order evidence" debate, which purports to show that it would be dogmatic, even for a cognitively infallible agent, to refuse to revise her beliefs about logical matters in response to evidence indicating that those beliefs are irrational. Second, I defend this "anti-dogmatism" argument against two responses put forth by Declan Smithies and David Christensen. Against Smithies’ response, I argue that it leads to irrational self-ascriptions of epistemic luck, and that it obscures the distinction between propositional and doxastic justification. Against Christensen’s response, I argue that it clashes with one of two attractive deontic principles, and that it is extensionally inadequate. Taken together, these criticisms will suggest that the connection between logic and rationality cannot be what it is standardly taken to be—ideal rationality does not require logical omniscience. (shrink)

According to traditional Western theism, God is maximally great (or perfect). More explicitly, God is said to have the following divine attributes: omnipotence, omniscience, and omnibenevolence. In this paper, I present three puzzles about this conception of a maximally great (or perfect) being. The first puzzle about omniscience shows that this divine attribute is incoherent. The second puzzle about omnibenevolence and omnipotence shows that these divine attributes are logically incompatible. The third puzzle about perfect rationality and omnipotence shows (...) that these divine attributes are logically incompatible. (shrink)