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.

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)

Se discute el argumento del intérprete omnisciente formulado por DonaldDavidson, en relación con otros dos aspectos de la filosofía davidsoniana:el principio de caridad y la concepción externalista del significado. Se busca mostrar que el argumento ha funcionado antes como una consecuenciade la caracterización davidsoniana de la interpretación radical que como unelemento de fortalecimiento de la misma, o bien presupone la metodologíadavidsoniana de interpretación basada en el principio de caridad, cuyos problemas trataba de solucionar, o bien presupone la concepción externalista delsignificado, (...) lo que le quita utilidad.The omniscient interpreter argument laid by Donald Davidson isdiscussed, in relation to two other aspects of the davidsonian philosophy: theprinciple of charity and the externalist conception of meaning. It’s attemptedto show that the argument has worked rather as a result of the davidsoniancharacterization of the radical interpretation, than as a building factor of thatone, in so far as, either presupposes the davidsonian interpretation methodologybased on the principle of charity, whose problems tried to solve, or presupposesthe externalist conception of meaning, what it takes away its utility. (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)

Donald Davidson has argued that attention to the necessarily public character of language shows that we cannot be massively mistaken about the world around us, and that consequently skeptical doubts about empirical knowledge are misplaced. The arguments Davidson advances rely on taking as the fundamental methodological standpoint for investigating meaning and related concepts the standpoint of the interpreter of another speaker, on the grounds that it is from the interpreter’s standpoint that we discover what constraints are placed on (...) meaning by the public character of language. In this paper, I argue that although Davidson’s arguments reveal important conceptual connections between meaning and belief on the one hand, and truth and interpretation on the other, they do not show that it is impossible that we are massively mistaken about the external world. (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)

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)

The author analyzes the interpretation of Boethius’ “timelessness solution” developed in contemporary Analytic Philosophy of Religion, and the main objections that have been moved to it, trying to draw some conclusions about its effectiveness (a) in solving the antinomy between omniscience and human freedom; (b) in weakening the argument of Open Theism. La nuova prospettiva teoretica proposta dall’Open Theism impone un approfondimento e una rivalutazione delle soluzioni “classiche” all’antinomia tra onniscienza divina e libertà umana. Tra queste “soluzioni” vi è, com’è (...) noto, quella di Boezio, ripresa e resa più sofisticata da molti autori nel dibattito contemporaneo, all’interno della filosofia analitica della religione. L’Autore intende analizzare, quindi, l’interpretazione della timelessness solution sviluppata in tale contesto e le principali obiezioni che le sono mosse, cercando di tracciare alcune conclusioni circa la sua efficacia nel risolvere l’antinomia e nell’indebolire le tesi dell’Open Theism. (shrink)

In the recent debate on Christian theism, the position called Open Theism (OT) tries to solve the dilemma of omniscience and human freedom. In OT, the key word of the human-divine relationship is “risk”: in his relationship with us, God is a risk-taker in that he adapts his plan to human decisions and to the situations that arise from them. “Risk” is the fundamental characteristic of any true love relationship. According to OT, God has no exhaustive knowledge of how humans (...) will use their will, and the divine plan for this world is not seen as fixed for eternity. OT distinguishes between meticulous providence and general providence and denies that the former can exist. After illustrating these positions and a particular view of OT called essential kenosis, I highlight some of their weaknesses and conclude by asking whether the concept of mystery (at least in some of its possible interpretations: I outline four “solutions”) can enable a reconciliation between classical theism and OT. By applying an approach to the notion of mystery usually connected to the Trinity, I show that the dilemma of omniscience, human freedom and providence does not compromise the plausibility of theism. (shrink)

Some philosophers advance the claim that the phenomena of logical omniscience and of the indiscernibility of metaphysical statements, which arise in (certain) interpretations of normal modal logic, provide strong reasons in favour of impossible world approaches. These two specific lines of argument will be presented and discussed in this paper. Contrary to the recent much-held view that the characteristics of these two phenomena provide us with strong reasons to adopt impossible world approaches, the view defended here is that no such (...) ‘knock-down arguments’ do emanate on those grounds. This is not to rule out that there cannot be any other good reasons for assuming impossible world semantics. However, the discussion of a further argument for impossible worlds will suggest that different attempts to argue for them likely present intertwined problems. (shrink)

Is Divine Knowledge Incompatible with Human Freedom? An Analysis of Some Arguments The problem that divine omniscience or divine foreknowledge makes free will impossible belongs to notoriously difficult to solve. In XX century one of the most important interpretation of this difficulty was provided by Nelson Pike. If God believes infallibly and in advance how Smith will act, this fact about the past excludes out all alternatives for Smith. But libertarian account of free will requires alternatives possibilities, so, it could (...) be argue that God’s foreknowledge is incompatible with our free will. This paper carefully criticizes Pike’s argumentation and suggests that because God’s foreknowledge doesn’t eliminate future alternatives through causal means, it is compatible with free will and that Pike’s argument and two briefly analyzed standard arguments for fatalism presented by Zagzebski failed. (shrink)

All reasoners described in the most widespread models of a rational reasoner exhibit logical omniscience, which is impossible for finite reasoners (real reasoners). The most common strategy for dealing with the problem of logical omniscience is to interpret the models using a notion of beliefs different from explicit beliefs. For example, the models could be interpreted as describing the beliefs that the reasoner would hold if the reasoner were able reason indefinitely (stable beliefs). Then the models would describe maximum rationality, (...) which a finite reasoner can only approach in the limit of a reasoning sequence. This strategy has important consequences for epistemology. If a finite reasoner can only approach maximum rationality in the limit of a reasoning sequence, then the efficiency of reasoning is epistemically (and not only pragmatically) relevant. In this paper, I present an argument to this conclusion and discuss its consequences, as, for example, the vindication of the principle 'no rationality through brute-force'. (shrink)

The subject of this article is Modal-Epistemic Arithmetic (MEA), a theory introduced by Horsten to interpret Epistemic Arithmetic (EA), which in turn was introduced by Shapiro to interpret Heyting Arithmetic. I will show how to interpret MEA in EA such that one can prove that the interpretation of EA is MEA is faithful. Moreover, I will show that one can get rid of a particular Platonist assumption. Then I will discuss models for MEA in light of the problems of logical (...) omniscience and logical competence. Awareness models, impossible worlds models and syntactical models have been introduced to deal with the first problem. Certain conditions on the accessibility relations are needed to deal with the second problem. I go on to argue that those models are subject to the problem of quantifying in, for which I will provide a solution. (shrink)

World semantics for relevant logics include so-called non-normal or impossible worlds providing model-theoretic counterexamples to such irrelevant entailments as (A ∧ ¬A) → B, A → (B∨¬B), or A → (B → B). Some well-known views interpret non-normal worlds as information states. If so, they can plausibly model our ability of conceiving or representing logical impossibilities. The phenomenon is explored by combining a formal setting with philosophical discussion. I take Priest’s basic relevant logic N4 and extend it, on the syntactic (...) side, with a representation operator, (R), and on the semantic side, with particularly anarchic non-normal worlds. This combination easily invalidates unwelcome “logical omniscience” in- ferences of standard epistemic logic, such as belief-consistency and closure under entailment. Some open questions are then raised on the best strategies to regiment (R) in order to express more vertebrate kinds of conceivability. (shrink)

A number of philosophers and theologians have argued that if God has knowledge of future human actions then human agents cannot be free. This argument rests on the assumption that, since God is essentially omniscient, God cannot be wrong about what human agents will do. It is this assumption that I challenge in this paper. My aim is to develop an interpretation of God’s essential omniscience according to which God can be wrong even though God never is wrong. If (...) this interpretation of essential omniscience is coherent, as I claim it is, then there is a logically consistent position according to which God is essentially omniscient, God foreknows what human agents will do, and yet it is possible for human agents to do otherwise. Thus, the argument for theological fatalism fails. (shrink)

Wittgenstein's paradoxical theses that unproved propositions are meaningless, proofs form new concepts and rules, and contradictions are of limited concern, led to a variety of interpretations, most of them centered on rule-following skepticism. We argue, with the help of C. S. Peirce's distinction between corollarial and theorematic proofs, that his intuitions are better explained by resistance to what we call conceptual omniscience, treating meaning as fixed content specified in advance. We interpret the distinction in the context of modern epistemic logic (...) and semantic information theory, and show how removing conceptual omniscience helps resolve Wittgenstein's paradoxes and explain the puzzle of deduction, its ability to generate new knowledge and meaning. (shrink)

Let us imagine an ideal ethical agent, i.e., an agent who (i) holds a certain ethical theory, (ii) has all factual knowledge needed for determining which action among those open to her is right and which is wrong, according to her theory, and who (iii) is ideally motivated to really do whatever her ethical theory demands her to do (even when she speaks). If we grant that the notions of omniscience and ideal motivation both make sense, we may ask: Could (...) there possibly be an ideal utilitarian, that is, an ideal ethical agent whose ethical theory says that our only moral obligation consists in maximizing utility? I claim that an ideal agent cannot be utilitarian. An ideal utilitarian cannot entertain or communicate the beliefs necessary to being a utilitarian. For if every speech act from her mouth maximizes utility, she cannot be interpreted to utter assertions at all. Her very moral theory undermines the conditions necessary for entertaining it. (shrink)

Enjoying great popularity in decision theory, epistemology, and philosophy of science, Bayesianism as understood here is fundamentally concerned with epistemically ideal rationality. It assumes a tight connection between evidential probability and ideally rational credence, and usually interprets evidential probability in terms of such credence. Timothy Williamson challenges Bayesianism by arguing that evidential probabilities cannot be adequately interpreted as the credences of an ideal agent. From this and his assumption that evidential probabilities cannot be interpreted as the actual credences of human (...) agents either, he concludes that no interpretation of evidential probabilities in terms of credence is adequate. I argue to the contrary. My overarching aim is to show on behalf of Bayesians how one can still interpret evidential probabilities in terms of ideally rational credence and how one can maintain a tight connection between evidential probabilities and ideally rational credence even if the former cannot be interpreted in terms of the latter. By achieving this aim I illuminate the limits and prospects of Bayesianism. (shrink)

It is well known in contemporary Madhyamaka studies that the seventh century Indian philosopher Candrakīrti rejects the foundationalist Abhidharma epistemology. The question that is still open to debate is: Does Candrakīrti offer any alternative Madhyamaka epistemology? One possible way of addressing this question is to find out what Candrakīrti says about the nature of buddha’s epistemic processes. We know that Candrakīrti has made some puzzling remarks on that score. On the one hand, he claims buddha is the pramāṇabhūta-puruṣa (person of (...) epistemic and moral authority), sarvākārajñatājñānaṃ (omniscient, wise), pratyakṣalakṣaṇam (exclusively perceptual in characteristic) [Candrakīrti (MABh VI.214)], and claims that there are clearly four pramāṇas—epistemic warrants—direct perception (pratyakṣa), inference (anumāna), testimony (āgama) and analogy (upamāna) [Candrakīrti (Pp I.3), cf. MacDonald 2015, pp. 287–288]. On the other hand, somewhat paradoxically, Candrakīrti claims that buddhahood is an embodiment of a complete cessation of “mind and mental processes” [Candrakīrti (MABh XI.1, 155a; MAB XI.17d)] Now how are we to make sense of these two seemingly contradictory statements? Do these statements reflect any deeper conflicts within Candrakīrti’s system or is there a coherent way to interpret these statements? The Tibetan Prāsaṅgika interpreters of Candrakīrti’s Madhyamaka largely agree that there is no internal contradiction in Candrakīrti’s system, and agree there is a way to make coherent sense of these statements. Nevertheless, the Tibetans exegetes bring to the table two radically conflicting proposals to approach Candrakīrti’s Mādhyamaka; both claiming to successfully address the apparent tension arising from Candrakīrti’s statements. One proposal is made by Tsongkhapa Losang Dakpa (Tsong kha pa bLo bzang grags pa, 1357–1419), who maintains the tension can be plausibly resolved by demonstrating that Candrakīrti’s unique non-foundationalist epistemological program renders him an epistemological coherentist. In contrast Taktsang Lotsawa Sherap Rinchen (sTag tshang Lo tsā ba Shes rab rin chen, 1405–1477) argues that according to Candrakīrti buddha is a global agnostic, on the ground of the nonexistence of mind and mental processes for those who have attained fully awakening. Taktsang instead proposes the no-mind thesis as a more plausible way to resolve the tension in Candrakīrti’s philosophy, categorically refusing to attribute to buddha any cognitive processes and epistemic warrants. This paper is an analysis of Taktsang’s no-mind thesis—the claim that buddhas utterly lack any knowledge of the world because they do not have epistemic processes and warrants to perceive the world—in what follows a rational reconstruction of his arguments is developed in order to evaluate his thesis. We shall then assess the implications of accepting Taktsang’s no-mind thesis. (shrink)

In this paper we will give a critical account of Plantinga’s well-known argument to the effect that the existence of an omnipotent and morally perfect God is consistent with the actual presence of evil. After presenting Plantinga’s view, we critically discuss both the idea of divine knowledge of conditionals of freedom and the concept of transworld depravity. Then, we will sketch our own version of the Free-Will Defence, which maintains that moral evil depends on the misuse of human freedom. However, (...) our argument does not hinge on problematic metaphysical assumptions, but depends only on a certain definition of a free act and a particular interpretation of divine omniscience. (shrink)

According to the “paradox of knowability”, the moderate thesis that all truths are knowable – ... – implies the seemingly preposterous claim that all truths are actually known – ... –, i.e. that we are omniscient. If Fitch’s argument were successful, it would amount to a knockdown rebuttal of anti-realism by reductio. In the paper I defend the nowadays rather neglected strategy of intuitionistic revisionism. Employing only intuitionistically acceptable rules of inference, the conclusion of the argument is, firstly, not (...) ..., but .... Secondly, even if there were an intuitionistically acceptable proof of ..., i.e. an argument based on a different set of premises, the conclusion would have to be interpreted in accordance with Heyting semantics, and read in this way, the apparently preposterous conclusion would be true on conceptual grounds and acceptable even from a realist point of view. Fitch’s argument, understood as an immanent critique of verificationism, fails because in a debate dealing with the justification of deduction there can be no interpreted formal language on which realists and anti-realists could agree. Thus, the underlying problem is that a satisfactory solution to the “problem of shared content” is not available. I conclude with some remarks on the proposals by J. Salerno and N. Tennant to reconstruct certain arguments in the debate on anti-realism by establishing aporias. (shrink)

Following an Open conception of Divine Foreknowledge, that holds that man is endowed with genuine freedom and so the future is not definitely determined, it will be claimed that human freedom does not limit the divine power, but rather enhances it and presents us with a barrier against arbitrary use of that power. This reading will be implemented to reconcile a well-known quarrel between two important interpreters of Duns Scotus, Allan B. Wolter and Thomas Williams, each of whom supports a (...) different interpretation of the way God acts according to right reason. (shrink)

In the present paper a new semantic framework for modelling the distinction between implicit and explicit belief is proposed and contrasted with the currently standard framework based on the idea that explicit belief can be construed as implicit belief accompanied by awareness. It is argued that within this new framework it is possible to get both a more intuitive interpretation of the aforementioned distinction and a straightforward solution to two critical problems to which the standard view is subjected. A system (...) of logic for belief is introduced and proved to be complete with respect to the class of all frames for implicit and explicit belief constructed in accord to the new view. (shrink)

The recent trend among many philosophers of religion has been to interpret divine eternity as an everlasting temporality in which an omnitemporal God exists in and throughout the whole of time. This is in contrast to the classical account of divine eternity as atemporal, immutable existence. In this paper, Aquinas' use of Boethius's definition of eternity as “the whole, perfect, and simultaneous possession of endless life” is analyzed and explained in contradistinction to Aristotle's definition of time. This analysis is then (...) used to respond to Nicholas Wolterstroff's argument in "God Everlasting" that God's knowledge of temporal events infects God with temporality and mutability. The argument concludes by introducing an important distinction between absolute simultaneity and temporal simultaneity, which allows us to hold God is omniscient because he is absolutely simultaneous with all events but is not temporally simultaneous with any event. (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)

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

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)

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 epistemicist theory aims to explain ignorance due to vagueness by semantic plasticity: the shiftiness of intensions across close possible worlds resulting from shiftiness in usage. This explanation is challenged by the Omniscient Speaker Puzzle (Sennet in Philos Stud 161(2):273–285, 2012). Suppose that an omniscient speaker, Barney, who knows all the facts about usage and how these facts determine the intensions of expressions, cooks up a scheme to stabilise the intension of a normally semantically plastic term like ‘rich’. (...) It seems that ‘rich’ would display all the phenomena associated with vagueness without being semantically plastic, thus making the epistemicist explanation of ignorance due to vagueness insufficient. In this paper, I present a few choice points for epistemicism that arise as a result of the puzzle. (shrink)

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)

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)

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)

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

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)

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.

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)

In a beautiful recent essay, the philosopher Walter Sinnott-Armstrong explains the reasons for his departure from evangelical Christianity, the religious culture in which he was brought up. Sinnot-Armstrong contrasts the interpretive methods used by good philosophers and fundamentalist believers: Good philosophers face objections and uncertainties. They follow where arguments lead, even when their conclusions are surprising and disturbing. Intellectual honesty is also required of scholars who interpret philosophical texts. If I had distorted Kant’s view to make him reach a conclusion (...) that I preferred, then my philosophy professor would have failed me. The contrast with religious reasoning is stark. My Christian friends seemed happy to hide serious problems in the Bible and in their arguments. They preferred comfort to intellectual honesty. I couldn’t. To what extent can we, historians of philosophy, claim the virtue of intellectual honesty? Speaking frankly, I do not find the practice criticized by Sinnot-Armstrong’s philosophy professor rare or unusual at all. We very frequently distort the views of past philosophers in order to reach the conclusions we prefer. We just call it “Charitable Interpretation.” In this essay, I discuss and criticize the logic behind so-called charitable interpretations in the history of philosophy. This phenomenon is ubiquitous and is not at all restricted to a particular philosophical strand or ideology. Analytic philosophers and post-modernists, Marxists, liberals, secularists, and fundamentalists, we all engage in the very same domestication project. Even more disturbing than the sheer ideological pervasiveness of this phenomenon is the fact that, on many occasions, superb philosophers and historians take part in this fairly childish endeavor. In the first part of this essay, I discuss the general logic of charitable interpretations in the history of philosophy, mostly by addressing discussions in metaphysics and epistemology. In the second part, I focus on the somewhat less noticed use of charitable interpretations in the study of political philosophy, and point out the quintessential role ideology plays in these discussions. In both parts, I concentrate mostly on the interpretation of Spinoza’s thought. I do so not because I have special fondness for Spinoza (“guilty as charged,” I admit), but because Spinoza is such a beast (and may I add, an enchanting beast) and attracts a disproportionate share of the domestication efforts from historians and philosophers of all creeds and persuasions. In the third and final part of the paper, I will begin to outline an alternative methodology, which suggests that past philosophers can be most relevant to our current philosophical discussion, to the extent that they provide us with well-motivated challenges to our common-sense beliefs. Such challenges have the invaluable virtue of being able to undermine our most fundamental and secure beliefs, and force us to engage with the most fundamental questions. What more can we expect from good philosophy? (shrink)

A survey of logical problems for the concept of omniscience.

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.

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)

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)

Introspection is the capacity by which we know our own conscious mental states. Several theories aim to explain it. According to acquaintance theory, we know our experiences by being acquainted with them. Acquaintance is non-causal, non-inferential, and non-observational. I present a dilemma for the acquaintance theory of introspection. Either subjects are always acquainted with all their experiences; or some attentional mechanism selects the relevant experiences (or aspects of experiences) for introspection. The first option is implausible: it implies that subjects are (...) omniscient about their own experiences. The second option is also implausible: if acquaintance is a non-causal relation, introspection cannot target specific (aspects of) experiences without violating the principle of causal closure of the physical. (shrink)

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.

The paper that follows continues a discussion with Tomis Kapitan in the pages of this journal over the compatibility of divine agency with divine foreknowledge. I had earlier argued against two premises in Kapitan's case for omniscient impotence: (i) that intentionally A-ing presupposes prior acquisition of the intention to A, and (ii) that acquiring the intention to A presupposes prior ignorance whether one will A. In response to my criticisms, Kapitan has recently offered new defences for these two premises. (...) I show in reply why neither defence succeeds in rehabilitating the case against omniscient agency. (Note that the very first sentence of the published version has a misprint: instead of "To claim that divine foreknowledge is inconsistent with divine agency has been pressed with increasing frequency of late . . .", it should read, "_The_ claim . . ."!). (shrink)