In lieu of an abstract, here is a brief excerpt of the content:Ignorance, Knowledge, and Omniscience: At and Beyond the Limits of Faith and Reason after Shinran:Reflections on The Boundaries of Knowledge in Buddhism, Christianity, and Science, with Special Attention to Dennis HirotaAmos YongAlthough published in the series Religion, Theologie und Naturwissenschaft, Paul Numrich's edited volume is really about epistemology in religion and science, in particular about human knowing in Buddhist and Christian traditions shaped by the world (...) of science on the one hand, and how such knowing might also inform scientific knowledge on the other hand.1 The panoply of positions is presented by both Buddhist and Christian thinkers.From the Buddhist side, the following arguments are sketched:• that religion and science are complementary modes of knowing and that "understanding the true nature of the physical world" opens up "the way to enlightenment" (Trinh Xuan Thuan).2• that Buddhism is both continuous with (and hence deserving of serious consideration amidst) the epistemic discourses of modernity in many respects and yet also discontinuous with (and hence capable for critically interrogating) modernity's epistemology in other respects as well (David L. McMahan).3• that a Shin Buddhist approach to human knowledge—which in this chapter is brought into dialogue with Martin Heidegger's (1889-1976) notion of truth—opens up to a Kuhnian philosophy of science that emphasizes how paradigmatic shifts occur when new perspectives replace older frameworks (Dennis Hirota).4• that the questions raised by theoretical and quantum physics provide a scientific framework for discussing fundamental epistemological, ontological, and metaphysical questions that Buddhists and Christians might otherwise disagree about (Mark T. Unno).5From the Christian side, the following theses are explored: [End Page 201]• that boundary constraints confront not only working scientists but also Buddhists and Christians, and that these constraints can thus serve as a springboard for a science and religion "trilogue" (Paul O. Ingram).6• that the mystery of creative becoming (God, in traditional Christian terms) is the dynamic backdrop to the ongoing human quest for knowledge (Gordon D. Kaufman).7• that it is at the boundaries of knowledge that genuine creativity occurs (not only scientific creativity but also theological creativity emerges, i.e., the apophatic tradition of Eastern Orthodoxy or the theory of coincidentia oppositorum of Nicholas of Cusa [1401-1464]), and where, as a result of such creative approaches, distinct fields of inquiry open up and different domains of knowledge emerge (Antje Jackelén).8• that theological discourse is paradoxical precisely because such discourse marks the fluid boundaries demarcating sense and nonsense (Tom Christenson).9And, befitting a volume on the encounter between religion (i.e., Buddhism and Christianity) and science, there is a concluding chapter from a physicist on the limits of scientific knowledge that both is encouraged by the gains made by science (presuming a critical realist approach to science's modeling of reality) and yet also is honest about there being much more to learn on small and big questions (John R. Albright).10The foregoing summaries do not do justice to the complexity and sophistication of the chapters in the book. However, they provide a broader context for my interactions with Dennis Hirota's chapter on Shinran's (1173-1263) epistemology and its implications for both religious and scientific knowledge. As an evangelical Christian, I am particularly intrigued by the challenges confronting a Shin Buddhist approach to the sciences, even as I am hopeful that such a consideration will precipitate creative insights both for the Buddhist-Christian encounter and for the religion-science dialogue. I am all the more motivated since I have long been convinced that the religion-science dialogue has been dominated by generically religious approaches and that it is time for more particularistic or even confessional positions to be registered in the discussion.11 I am optimistic that the specificity of the Shin tradition will provide both complementary and contrasting perspectives to the contemporary Buddhist encounter with science that has so far been dominated by the broadly Tibetan approaches of His Holiness the Fourteenth Dalai Lama (1935-) and those in his circle of dialogue partners,12 and that this will in turn open up new trajectories—even initiate new paradigms, as Hirota suggests—for the Buddhist... (shrink)

The great Buddhist writer Santaraksita (725-88) was central to the Buddhist traditions spread into Tibet. He and his disciple Kamalasila were among the most influential thinkers in classical India. They debated ideas not only within the Buddhist tradition but also with exegetes of other Indian religions, and they both traveled and nurtured Buddhism in Tibet during its infancy there. Their views, however, have been notoriously hard to classify. The present volume examines Santaraksita's encyclopedic Tattvasamgraha and Kamalasila's detailed commentary on that (...) text in his Panjika, two works that have historically been presented together. The works cover all conceivable problems in Buddhist thought and portray Buddhism as a supremely rational faith. One hotly debated topic of their time was omniscience -- infinite, all-compassing knowledge -- whether it was possible and whether one could defensibly claim it as a quality of the Buddha. (shrink)

Traditionally, Christians have hold the two following beliefs: the belief that God is omniscient, omnipotent, and perfectly good on the one hand and the belief that God has actualized a possible world in which some people freely reject Christ and are damned eternally, while others freely accept Him and are saved on the other. The combination of these two beliefs seems to result in a contradiction. This serious and well-known problem is called the soteriological problem of evil. In this article (...) the author, on the basis of William Lane Craig's Molinist theory, argues that there is no contradiction between these beliefs and that, therefore, there is no soteriological problem of evil, unless one adds two premises. The theory of middle knowledge shows that there is no good reason to accept the second of these. Therefore, there is no contradiction between belief in a perfectly good, omniscient, and omnipotent God and the eternal damnation of some people in this world. This Molinist account is defended against some philosophical and theological objections that have been raised against it. Finally, the author tries to show that, although Craig's concept of transworld damnation is helpful to offer a defense of the compatibility of the two traditional Christian beliefs mentioned above, it does not help us to offer a theodicy of post-mortem evil. (shrink)

Traditionally, Christians have hold the two following beliefs: the belief that God is omniscient, omnipotent, and perfectly good on the one hand and the belief that God has actualized a possible world in which some people freely reject Christ and are damned eternally, while others freely accept Him and are saved on the other. The combination of these two beliefs seems to result in a contradiction. This serious and well-known problem is called the soteriological problem of evil. In this article (...) the author, on the basis of William Lane Craig's Molinist theory, argues that there is no contradiction between these beliefs and that, therefore, there is no soteriological problem of evil, unless one adds two premises. The theory of middle knowledge shows that there is no good reason to accept the second of these. Therefore, there is no contradiction between belief in a perfectly good, omniscient, and omnipotent God and the eternal damnation of some people in this world. This Molinist account is defended against some philosophical and theological objections that have been raised against it. Finally, the author tries to show that, although Craig's concept of transworld damnation is helpful to offer a defense of the compatibility of the two traditional Christian beliefs mentioned above, it does not help us to offer a theodicy of post-mortem evil.ZusammenfassungIn der christlichen Tradition finden wir die folgenden beiden Überzeugungen: einerseits, dass Gott allwissend, allmächtig und vollkommen gut ist und anderseits, dass er eine mögliche Welt aktualisiert hat, in der einige Menschen Christus freiwillig ablehnen und ewig verloren gehen, während andere ihn freiwillig annehmen und gerettet werden. Es hat den Anschein, dass die Kombination dieser beiden Überzeugungen in einen Widerspruch mündet. Aufgrund der Molinistischen Theorie William Lane Craigs sucht Verfasser zu erweisen, dass diese beiden Überzeugungen sich nicht widersprechen – es sei denn, dass zwei fragwürdige Prämissen hinzugefügt würden. Die Theorie der scientia media zeigt, dass es keine guten Gründe gibt, um die zweite dieser Prämissen zu akzeptieren. Es besteht also kein Widerspruch zwischen der Überzeugung, dass Gott allwissend, allmächtig und vollkommen gut ist, und der Überzeugung, dass einige Menschen ewig verloren gehen. Diese Molinistische Theorie wird gegenüber einigen philosophischen und theologischen Einsprüchen verteidigt. Schliesslich versucht der Verfasser nachzuweisen, dass, obwohl Craigs Konzept der transworld damnation für eine Verteidigung des christlichen Glaubens gebraucht werden kann, es nicht gebraucht werden kann für eine Theodizee hinsichtlich postmortalem Übel. (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)

In this paper I examine an argument that has been made by Patrick Grim for the claim that de se knowledge is incompatible with the existence of an omniscient being. I claim that the success of the argument depends upon whether it is possible for someone else to know what I know in knowing (F), where (F) is a claim involving de se knowledge. I discuss one reply to this argument, proposed by Edward Wierenga, that appeals to first-person (...) propositions and argue that this response is unsuccessful. I then consider David Lewis’s theory of de se attitudes involving the self-ascription of properties. I claim that, according to this theory, there are two senses in which someone else can know what I know in knowing (F). I then argue that the second sense allows for the compatibility of de se knowledge with the existence of an omniscient being. (shrink)

A combination of epistemic logic and dynamic logic of programs is presented. Although rich enough to formalize some simple game-theoretic scenarios, its axiomatization is problematic as it leads to the paradoxical conclusion that agents are omniscient. A cut-free labelled Gentzen-style proof system is then introduced where knowledge and action, as well as their combinations, are formulated as rules of inference, rather than axioms. This provides a logical framework for reasoning about games in a modular and systematic way, and to (...) give a step-by-step reconstruction of agents omniscience. In particular, its semantic assumptions are made explicit and a possible solution can be found in weakening the properties of the knowledge operator. (shrink)

This collection of papers in epistemic logic is oriented towards applications to game theory and individual decision theory. Most of these papers were presented at the inaugural conference of the LOFT (Logic for the Theory and Games and Decisions) conference series, which took place in 1994 in Marseille. Among the notions dealt with are those of common knowledge and common belief, infinite hierarchies of beliefs and belief spaces, logical omniscience, positive and negative introspection, backward induction (...) and rationalizable equilibria in game theory. (shrink)

This volume explores the early Jewish understanding of divine knowledge as divine presence, which is embodied in major biblical exemplars, such as Adam, Enoch, Jacob, and Moses. The study treats the concept of divine knowledge as the embodied divine presence in its full historical and interpretive complexity by tracing the theme through a broad variety of ancient Near Eastern and Jewish sources, including Mesopotamian traditions of cultic statues, creational narratives of the Hebrew Bible, and later Jewish mystical testimonies. (...) Orlov demonstrates that some biblical and pseudepigraphical accounts postulate that the theophany expresses the unique, corporeal nature of the deity that cannot be fully grasped or conveyed in some other non-corporeal symbolism, medium, or language. The divine presence requires another presence in order to be transmitted. To be communicated properly and in its full measure, the divine iconic knowledge must be "written" on a new living "body" which can hold the ineffable presence of God through a newly acquired ontology. Embodiment of Divine Knowledge in Early Judaism will provide an invaluable research to students and scholars in a wide range of areas within Jewish, Near Eastern, and Biblical Studies, as well as those studying religious elements of anthropology, philosophy, sociology, psychology, and gender studies. Through the study of Jewish mediatorial figures, this book also elucidates the roots of early Christological developments, making it attractive to Christian audiences. (shrink)

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 also to contingent future events ...etc. The book is neither a book about the existence of God nor about proofs for his existence. It is a book about the possibility of a consistent concept of omniscience which can be attributed to God. And it invalidates opposite claims and shows that they are based on wrong or very doubtful premises. The pros and cons at the beginning of each chapter represent different positions and objections which are clarified and discussed in the answer to the objections. (shrink)

In this paper, I defend the metalinguistic solution to the problem of mathematical omniscience for the possible-worlds account of propositions by combining it with a computational model of knowledge and belief. The metalinguistic solution states that the objects of belief and ignorance in mathematics are relations between mathematical sentences and what they express. The most pressing problem for the metalinguistic strategy is that it still ascribes too much mathematical knowledge under the standard possible-worlds model of knowledge (...) and belief on which these are closed under entailment. I first argue that Stalnaker's fragmentation strategy is insufficient to solve this problem. I then develop an alternative, computational strategy: I propose a model of mathematical knowledge and belief adapted from the algorithmic model of Halpern et al. which, when combined with the metalinguistic strategy, entails that mathematical knowledge and belief require computational abilities to access metalinguistic information, and thus aren't closed under entailment. As I explain, the computational model generalizes beyond mathematics to a version of the functionalist theory of knowledge and belief that motivates the possible-worlds account in the first place. I conclude that the metalinguistic and computational strategies yield an attractive functionalist, possible-worlds account of mathematical content, knowledge, and inquiry. (shrink)

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 is to be maintained. (...) We provide a quantitative solution to the problem compatible with the two important facets of the reasoning agent: rationality and resource boundedness. More precisely, we provide a test for the logical omniscience problem in a given formal theory of knowledge. The quantitative measures we use are inspired by the complexity theory. We illustrate our framework with a number of examples ranging from the traditional implicit representation of knowledge in modal logic to the language of justification logic, which is capable of spelling out the internal inference process. We use these examples to divide representations of knowledge into logically omniscient and not logically omniscient, thus trying to determine how much information about the reasoning process needs to be present in a theory to avoid logical omniscience. (shrink)

On Omniscience, the theory of knowledge based on Indic philosophy.

This article argues that theism entails a species of pantheism on the grounds that there is simply no discernible difference between the God's knowledge of the world and the world that God knows. The case against this thesis begins with the traditional theory of distinctions. But since God is necessarily omniscient there is not even the possibility that these might be considered apart and thus distinguished in that way. But neither is it possible to do this by means (...) of Leibnitz's law, that is, by finding some feature possessed by the one but not the other. Three potential areas of difference are considered but rejected, first, that knowledge unlike the world is representational, and second, that knowledge unlike the world is phenomenal – there is something that it is like to have. Both of these features, though able to distinguish ordinary knowledge from its objects, cease to provide the difference we require when extended to the case of divine knowledge. A final area of potential difference lies in the transcendent nature of God over the world, especially with respect to time, finitude and possibility. But this, in the end, is found no more able to distinguish God's knowledge from its object than the previous two suggestions. (shrink)

In 'A Coherence Theory of Truth and Knowledge', Donald Davidson argues that it is not possible for us to be massively mistaken in our beliefs. The argument is based on the possibility of an omniscient interpreter who uses the method of radical interpretation to attribute beliefs, since an omniscient interpreter who uses this method will attribute largely true beliefs to those he is inteipreting. In this paper we investigate some of the assumptions behind this argument, and we argue (...) that these assumptions are incompatible with Davidson's view that the object of a belief is its cause. If Davidson wants to keep his interpretationist theory of mind, he should therefore abandon that view. (shrink)

It would be very difficult to discuss the question concerning the hypothesis of omniscience in microeconomics without relating this hypothesis to the more fundamental hypothesis of rationality (usually referred to as rationality principle or postulate) which is at the base of the very idea of an economic theory and even social sciences. Indeed omniscience is a quality which was typically attributed to homo oeconomicus whose essential characteristic is to be perfectly "rational". This association between omniscience and (...) rationality goes back to the marginalist revolution which progressively brought economists to model economic agents as rational calculators who make each decision by systematically maximizing their utility through the standard application of more or less sophisticated mathematical methods. But since the very idea of such a maximization has no meaning if all relevant parameters and variables are not carefully taken into account, it became relatively common to associate omniscience (the required knowledge of such parameters and variables) and rationality (the disposition to make decisions which tend to maximize the degree of success in reaching a goal). (shrink)

God is omniscient; therefore, He knows that ‘the flower in my hand is red.’ If God knows that ‘the flower in my hand is red,’ then He knows it perceptually. God does not know anything perceptually. It is clear that the set of propositions – form an inconsistent triad. This is one of four problems with which Avicenna was engaged concerning God's knowledge of particulars, which I call the problem of perceptual knowledge. In order to solve PPK and (...) three other problems, Avicenna has developed a theory concerning God’s knowledge of particulars. Secondary literature around Avicenna’s theory of God’s knowledge of particulars has mostly directed its attention to give an account of Avicenna’s positive theory rather than the problems which that theory was designed to solve. But this paper will not do the same thing as this secondary literature. In contrast, in this paper, I will concentrate on the characterization of one of the problems, i.e., PPK, because of which Avicenna has presented his positive theory of God’s knowledge of particulars. In short, this paper aims to show why Avicenna deems explaining God’s knowledge of, say, the redness of a flower, via his accepted theory of perception as problematic. In this regard, I will extract three versions of PPK based on Avicenna's philosophy and through it will shed some light on Avicenna’s theory of God’s knowledge of particulars. (shrink)

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 Stalnakerian strategy. But in contrast to existing complaints, we want to cause trouble for the strategy directly on its home turf. That is, we will advance our objection while granting both the plausibility of the fragmentation component—save for an extreme version of it—and that of the metalinguistic component. Once our central objection to the Stalnakerian strategy is in place, we will show how it negatively affects Adam Elga and Augustín Rayo’s recent attempt to apply the Stalnakerian strategy in the context of Bayesian decision theory. (shrink)

In this paper, we have analyzed a number of solutions to the antinomy between divine foreknowledge and human freedom. If we assume that God is temporal, then a sort of backwards causation of past divine beliefs by future human acts must be acknowledged. Since this solution runs into difficulties, we consider the prospects of the view according to which God is outside time. A timeless and omniscient God seems to imply a B-theory of time and, at least at first (...) glance, seems to jeopardize human freedom. Therefore, we have examined what happens when a non-standard A-theory of time like Fragmentalism is assumed. We demonstrate that in this case the prospects of a timeless view of God are much better: both human freedom and divine knowledge of the results of human choices are preserved if this metaphysics of time is adopted. The costs of this solution are, however, very high. From the logical point of view, it rejects bivalence; from the metaphysical point of view, the world is regarded as fragmentary and incoherent. However, if one is ready to accept these costs, this solution is one of the most successful in the search for a solution to the centuries-old problem of the conciliation between divine foreknowledge and human freedom. (shrink)

ABSTRACT. Thought experiments about de se attitudes and Jackson’s original Knowledge Argument are compared with each other and discussed from the perspective of a computational theory of mind. It is argued that internal knowledge, i.e. knowledge formed on the basis of signals that encode aspects of their own processing rather than being intentionally directed towards external objects, suffices for explaining the seminal puzzles without resorting to acquaintance or phenomenal character as primitive notions. Since computationalism is ontologically (...) neutral, the account also explains why neither Lewis’s two gods nor Mary’s surprise in the Knowledge Argument violate physicalism. (shrink)

Recent anthologizing of Davidson’s articles from the 1980s and 1990s encourages us to reconsider arguments contained in them. One such argument is Davidson’s omniscient-interpreter argument (“OIA”) in “A Coherence Theory of Truth and Knowledge,” first published 20 years ago. The OIA allegedly establishes that it is necessary that most beliefs are true. Thus the omniscient interpreter, now 20 years old, was born to answer the skeptic. In §1 of this paper, I consider charges that the OIA establishes only (...) that it is possible that most beliefs are true; if correct, then it is also possibly the case that most beliefs are false—the skeptic’s very position. Next, I consider two responses on Davidson’s behalf, showing that each fails. In §2, I show that the OIA establishes neither that it is necessarily nor possibly but actually the case that most beliefs are true. I then conclude that this is enough to answer the skeptic. (shrink)

: In this paper I attempt to defuse a set of epistemic worries commonly raised against ideal observer theories. The worries arise because of the omniscience often attributed to ideal observers – how can we, as finite humans, ever have access to the moral judgements or reactions of omniscient beings? I argue that many of the same concerns arise with respect to other moral theories (and that these concerns do not in fact reveal genuine flaws in any of these (...) theories), and further, that we can and often do have knowledge of the reactions of ideal observers (according to standard, prominent theories in the domain of epistemology). (shrink)

The paradox of knowability is a logical result suggesting that, necessarily, if all truths are knowable in principle then all truths are in fact known. The contrapositive of the result says, necessarily, if in fact there is an unknown truth, then there is a truth that couldn't possibly be known. More specifically, if p is a truth that is never known then it is unknowable that p is a truth that is never known. The proof has been used to argue (...) against versions of anti-realism committed to the thesis that all truths are knowable. For clearly there are unknown truths; individually and collectively we are non-omniscient. So, by the main result, it is false that all truths are knowable. The result has also been used to draw more general lessons about the limits of human knowledge. Still others have taken the proof to be fallacious, since it collapses an apparently moderate brand of anti-realism into an obviously implausible and naive idealism. (shrink)

In this article, I argue that Ibn Rushd’s view of God’s causal omniscience (and attendant ideas of God's knowledge as neither universal nor particular) is not a ruse but is rather defensible. I consider the primary problematic evidence in The Decisive Treatise and the Long Commentary on Metaphysics, but suggest it must be understood in light of other passages in the Incoherence of the Incoherence and also a strong doctrine of divine simplicity. In fact, Averroes's view is in (...) substantial agreement with Aquinas’s later appropriation of it, despite Aquinas's conclusions to the contrary. I also argue that both thinkers are keen to marry their philosophical theory seamlessly with a more-or-less literal reading of scripture. (shrink)

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 (...) paradox. The references and recommended readings provide gateways for further exploration. (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)

In his book Knowledge and Belief, Jaakko Hintikka uses a model-theoretic approach of modal semantics as a theoretical basis for investigating the principles of epistemic logic. I shall first summarize the main points of Hintikka’s classic work and then address the most disputed themes raised by it in the 60s and later, such as logical omniscience and the KK-thesis, as well as Hintikka’s modifying his views on the basis of criticism. The last part of the book treats quantified (...) epistemic logic, particularly quantifying into “intensional” or “referentially opaque” epistemic contexts defended against Quine’s objections. I deal with this topic in Sect. 17.3 and add some relevant comparisons with John Buridan’s medieval approach in Sect. 17.4. A survey of Hintikka’s later theory of modelling knowledge acquisition is presented in Sect. 17.5; this includes the semantics of questions and inquiry in terms of game-theoretical semantics and their application to the logic of epistemology and scientific reasoning in the interrogative model of inquiry. Combining these results with the theory of independence friendly logic provides, Hintikka argues, a promising improvement of general epistemology which he calls a second-generation epistemic logic. The subject of the last section is “knowing who” in the sense of a basic epistemic attitude associated with identification which is the key notion in Hintikka’s epistemic theory of questions and answers, reference, and quantification. A central issue in this context is Hintikka’s discovery of the duality of cross-identification methods, the public or descriptive and the perspective ones. (shrink)

The epistemology of religion is the branch of epistemology concerned with the rationality, the justificatory status and the knowledge status of religious beliefs – most often the belief in the existence of an omnipotent, omniscient and loving God as conceived by the major monotheistic religions. While other sorts of religious beliefs – such as belief in an afterlife or in disembodied spirits or in the occurrence of miracles – have also been the focus of considerable attention from epistemologists, I (...) shall concentrate here on belief in God. There were a number of significant works in the epistemology of religion written during the early and mid Twentieth Century. The late Twentieth Century, however, saw a surge of interest in this area, fuelled by the work of philosophers such as William Alston, Alvin Plantinga and Linda Zagzebski amongst others. Alston, Plantinga and Zagzebski succeeded in importing, into the epistemology of religion, various new ideas from mainstream epistemology – in particular, externalist approaches to justification, such as reliabilism, and virtue theoretic approaches to knowledge (see, for instance, Alston, 1986, 1991, Plantinga, 1988, 2000, Zagzebski, 1993a, 1993b). This laid fertile ground for new research – questions about the justificatory and knowledge status of belief in God begin to look very different when viewed through the lens of theories such as these. I will begin by surveying some of this groundbreaking work in the present article, before moving on to work from the last five years – a period in which the epistemology of religion has again received impetus from a number of ideas from mainstream epistemology; ideas such as pragmatic encroachment, phenomenal conservatism and externalist theories of evidence. (shrink)

This article explores the dream of the universal library in Gottfried Wilhelm Leibniz’s Theodicy, Jorge Luis Borges’s “The Library of Babel,” and Wim Wenders’s Wings of Desire. This is a story that, though often mentioned, is underexplored in both literary and intellectual histories. Scholars have overlooked the dream of the total library perhaps because this theme appears in works that transcend literary, aesthetic, and philosophical genres. I argue that the dream of the total library morphs from Leibniz’s assured hierarchy of (...) knowledge in which God is at the apex to Borges’s and Wenders’s more anxious post-enlightened epistemic regimes in which knowledge, decentered and leveled, becomes data, or worse, noise. The fantasies of textual omniscience can change our understanding of our European genealogies of knowledge and information theory more broadly. Taken together, their dreams of a total library constitute a central episode in the great romance of the pursuit of encyclopedic knowledge. In a world awash in a superabundance of signs and symbols and systems, they ask: How does the human mind orient itself? What Ariadne’s thread can it grasp? What possibilities of free will lie therein its imaginary infinite stacks? (shrink)

A logical argument known as Fitch’s Paradox of Knowability, starting from the assumption that every truth is knowable, leads to the consequence that every truth is also actually known. Then, given the ordinary fact that some true propositions are not actually known, it concludes, by modus tollens, that there are unknowable truths. The main literature on the topic has been focusing on the threat the argument poses to the so called semantic anti-realist theories, which aim to epistemically characterize the notion (...) of truth; according to those theories, every true proposition must be knowable. But the paradox seems to be a problem also for epistemology and philosophy of science: the conclusion of the paradox – the claim that there are unknowable truths – seems to seriously narrow our epistemic possibilities and to constitute a limit for knowledge. This fact contrasts with certain views in philosophy of science according to which every scientific truth is in principle knowable and, at least at an ideal level, a perfected, “all-embracing”, omniscient science is possible. The main strategies proposed in order to avoid the paradoxical conclusion, given their effectiveness, are able to address only semantic problems, not epistemological ones. However, recently Bernard Linsky (2008) proposed a solution to the paradox that seems to be effective also for the epistemological problems. In particular, he suggested a possible way to block the argument employing a type-distinction of knowledge. In the present paper, firstly, we introduce the paradox and the threat it represents for a certain views in epistemology and philosophy of science; secondly, we show Linsky’s solution; thirdly, we argue that this solution, in order to be effective, needs a certain kind of justification, and we suggest a way of justifying it in the scientific field; fourthly, we show that the effectiveness of our proposal depends on the degree of reductionism adopted in science: it is available only if we do not adopt a complete reductionism. (shrink)

ExcerptDrawing on the quasi-legal human experimentation programs designed and implemented by the CIA between the 1950s and 1970s, the television series Severance envisions the possible corporate uses of brainwashing and mind control. The narrative centers on employees of a technology company, Lumon Industries, who agree to undergo a medical procedure (“severance”) that separates non-work memories from work memories by implanting a microchip into the brain. Unfolding like a science fiction psychological thriller, the narration falls somewhere between omniscient and restricted. Viewers (...) at the outset know only slightly more about the non-work lives and histories of the characters than the characters’ work-day versions, while the gradual increase of viewer knowledge parallels that of the characters’ paths toward self-discovery. (shrink)

This article examines how the historian deals with ‘information’ broadly conceived, especially its acquisition, retention and loss. Ammianus details a complex interplay between those who control information and those who must work with an information deficit. Just as this dialogue plays out within the text, however, so too does it with respect to the author's methodology, which dances between the poles of incomplete and complete information depending on circumstance. Ammianus thus becomes an author as hard to pin down as many (...) of his characters, by turns the omniscient narrator and the dumbfounded participant. (shrink)

Current evolutionary and cognitive theories of religion posit that supernatural agent concepts emerge from cognitive systems such as theory of mind and social cognition. Some argue that these concepts evolved to maintain social order by minimizing antisocial behavior. If these theories are correct, then people should process information about supernatural agents’ socially strategic knowledge more quickly than non-strategic knowledge. Furthermore, agents’ knowledge of immoral and uncooperative social behaviors should be especially accessible to people. To examine these (...) hypotheses, we measured response-times to questions about the knowledge attributed to four different agents—God, Santa Claus, a fictional surveillance government, and omniscient but non-interfering aliens—that vary in their omniscience, moral concern, ability to punish, and how supernatural they are. As anticipated, participants respond more quickly to questions about agents’ socially strategic knowledge than non-strategic knowledge, but only when agents are able to punish. (shrink)

This study is a new look at the question of how God can act upon the world, and whether the world can affect God, examining contemporary work on the metaphysics of causation and laws of nature, and current work in the theory of knowledge and mysticism. It has been traditional to address such questions by appealing to God’s omnipotence and omniscience, but this book claims that this is useless unless it can be shown how these two powers (...) "work." Instead of treating the familiar problems associated with omnipotence and omniscience, this book asks directly whether, and how, causal interactions between God and His world could occur: both between God and the physical world and between God and other minds, as well as between the world and God. Fales examines current thinking about the very nature of causation, laws of nature, and agency. (shrink)

Epistemic closure has been a central issue in epistemology over the last forty years. According to versions of the relevant alternatives and subjunctivist theories of knowledge, epistemic closure can fail: an agent who knows some propositions can fail to know a logical consequence of those propositions, even if the agent explicitly believes the consequence (having “competently deduced” it from the known propositions). In this sense, the claim that epistemic closure can fail must be distinguished from the fact that agents (...) do not always believe, let alone know, the consequences of what they know—a fact that raises the “problem of logical omniscience” that has been central in epistemic logic. This paper, part I of II, is a study of epistemic closure from the perspective of epistemic logic. First, I introduce models for epistemic logic, based on Lewis’s models for counterfactuals, that correspond closely to the pictures of the relevant alternatives and subjunctivist theories of knowledge in epistemology. Second, I give an exact characterization of the closure properties of knowledge according to these theories, as formalized. Finally, I consider the relation between closure and higher-order knowledge. The philosophical repercussions of these results and results from part II, which prompt a reassessment of the issue of closure in epistemology, are discussed further in companion papers. As a contribution to modal logic, this paper demonstrates an alternative approach to proving modal completeness theorems, without the standard canonical model construction. By “modal decomposition” I obtain completeness and other results for two non-normal modal logics with respect to new semantics. One of these logics, dubbed the logic of ranked relevant alternatives, appears not to have been previously identified in the modal logic literature. More broadly, the paper presents epistemology as a rich area for logical study. (shrink)

Nāgārjuna’s Middle Way (Madhyamaka) doctrine met with the objection that it is a mere verbal attack (vitaṇḍā) against other philosophical positions. As one of the Madhyamaka critics pointed out: because Nāgārjuna does not hold own position, he is not able to justify his criticism of the essence (svabhāva). The article is an answer to the question whether, in the context of Indian philosophy, it is possible to know things devoid of essences. Theory of knowledge of this kind, i.e. (...) the concept of omniscience (sarvajña) was presented in Aṣṭasāhasrikāprajñāpāramitā sutra. Associations between Nāgārjuna’s texts and the sutra suggest that omniscience could be a substrate for epistemological position of the Middle Way. (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)

DENOTATIONAL IDENTITY OF INADEQUATE IDEA OF GOD WITH THE IDEA OF FINITE HUMAN MIND IN THE PHILOSOPHY OF DESCARTES In the conception of Descartes, the human mind is vested with the idea of God held to be innate. This idea, being adapted to human cognitive powers, must be limited, although it applies for the infinite being. Therefore, it has to be inadequate still at the same time sufficient. The idea represents God as the omniscient being who created the human mind (...) along with the knowledge which it is able to cognize. The idea of God embodied in the mind of that kind is identical with knowledge, which the mind may get to know when realizing thoroughly its true nature. To the finite mind “God” is a collective concept for a reliable knowledge of which he is the author and which he guarantees. The innate ideas belonging to the nature of mind are the components of the idea of God, which is the source of the deductive theory of knowledge. Responding to a question of how the mind received this idea, we provide thereby an answer to the question from where the mind received itself, along with the contents adherent to it. (shrink)

This paper argues that the logical coherence of classical theism can be defended through the traditional free-will defense and argument from divine omniscience and human finitude, but only at the cost of moral scepticism. The above two-pronged defense entails moral scepticism because it demands that we construe clear and undeniable cases of morally unjustifiable evil as merely apparently unjustifiable evils which can be morally justified from some moral point of view. The paper argues that justification is impossible because such (...) basic evils can never be justified from any "moral" perspective. The very conditions necessary for having a moral perspective demand that one recognize certain evils as unjustifiable from any moral point of view. This is the case because moral theories are designed to give us insight into such evils. Moreover, I argue that even if one rejects the above argument, moral scepticism still follows because any intelligible account of moral knowledge requires that its proponents be able at least to point to certain cases of unjustifiable evil if their theory is to have any purchase in the real world and avoid the charge of moral irrelevance and moral scepticism. But this is precisely what the classical theist cannot do. If, however, the classical theist rejects this moral scepticism, then real cases of morally unjustifiable evil must be admitted to exist and a single one of these is sufficient to undermine the logical coherence of classical theism. (shrink)

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 (...) paradox. The references and recommended readings provide gateways for further exploration. (shrink)

L’article présente une étude critique des fondements méthodologiques de l’analyse économique du droit traditionnelle dans laquelle le droit est conçu comme le résultat optimal d’une comparaison de coûts et d’avantages sociaux. Cette procédure judiciaire qui vise en fait à simuler des solutions de marché “socialement efficientes” présuppose inévitablement l’omniscience du juge. Cependant dans le contexte de l’équilibre général, l’analyse économique du droit traditionnelle n’a pas de raison d’être, alors qu’elle s’avère impraticable dans le monde réel où elle serait pourtant (...) nécessaire afin de résoudre des problèmes de coordination entre les individus. A cet égard la théorie économique de l’Ecole Autrichienne qui insiste sur les problèmes informationnels de la société et qui décrit le droit comme une procédure de coordination fondée sur des règles abstraites de juste conduite, semble fournir des fondements plus appropriés pour une approche économique du droit. L’article utilise la méthodologie Autrichienne pour reconsidérer l’analyse économique du droit tout en insistant à la fois sur la dimension institutionnelle et la dimension éthique du droit. Le problème central est l’interdépendance entre le droit et l’ordre de marché, mais il est analysé dans des termes fondamentalement différents de ceux de l’analyse traditionnelle.The paper presents a critical analysis of the methodological foundations of conventional law and economics, where law is generally described as the optimal outcome ot a judicial balancing of social costs and benefits. This law making procedure which aims at simulating “socially efficient” market outcomes inevitably presupposes Judges’ omniscience. Nevertheless, in this context of full coordination, this type of law has no raison d’être, whereas it turns out to be infeasible in the real world where it would be necessary in order to solve information and coordination problems. In this respect, Austrian economic and legal theory which focuses on the knowledge problem of society and which describes law as a coordination procedure built on abstract rules of just conduct, seems to provide more appropriate foundations for an economic analysis of law. This paper uses the Austrian approach to reconsider economic analysis of law in a way that allows for both the institutional and the ethical dimensions of law. The central problem seems to lie in the interdependance of law and the ethical dimensions of law. The central problem seems to lie in the interdependancc of law and the market order but it is conceived in a very different way than it is in conventional analysis. (shrink)

In this paper, the theory of necessity proposed by Robert Grosseteste is presented. After showing the wide range of various kinds of determination discussed by him (connected with: (1) one’s knowledge about the future, (2) predestination, (3) fate, (4) grace, (5) sin and temptation), a different context of Grosseteste’s use of the notion of necessity is analyzed (within logical and metaphysical approaches). At the heart of his theory lie: the definition of necessity, which is that something lacks (...) the capacity (posse) for its opposite, and the distinction between two perspectives within which we can consider necessity: (1) the one according to which the truthfulness of a dictum determines that it cannot be the opposite, (2) a pre- or atemporal one, as if something had not yet begun. On these grounds, Robert explains that God’s omniscience is compatible with contingency, including human free decisions. Robert’s theory is still relevant and useful in contemporary debates, as it can provide strong arguments and enrich discussions, thanks to the twoperspectives approach, which generates nine kinds of positions on the spectrum of determinism and indeterminism. (shrink)

Recently, it has become a custom to treat questions as a game between two subjects. Unfortunately, one rarely goesbeyond the scheme of Questioner-Scientist and Answerer-Nature, althoughthe Interlocutor so conceived displays some undesirable features. This paperargues for the idea that logic of questions can be build as a logic of the gamebetween “knowledge resources” persons or theories, rather than errant Scientist and omniscient Nature. To this end the concept of epistemically-possibleworlds is discussed, which is conceived as analogous to that of (...) possible worldsin modal logic. And, furthermore, the concepts of relation of epistemic alternativeness and of epistemically-alternative worlds are introduced. On thisbasis a version of semantics for propositional, three-valued logic of questionsis offered and semantic proofs of some theses are given. (shrink)

This is a wide-ranging 2004 book about arguments for and against beliefs in God. The arguments for the belief are analysed in the first six chapters and include ontological arguments from Anselm to Gödel, the cosmological arguments of Aquinas and Leibniz, and arguments from evidence for design and miracles. The next two chapters consider arguments against belief. The last chapter examines Pascalian arguments for and against belief in God. There are discussions of Cantorian problems for omniscience, of challenges to (...) divine omnipotence, and of the compatibility of everlasting complete knowledge of the world with free-will. There are appendices that present formal proofs in a system for quantified modal logic, a theory of possible worlds, notes on Cantorian set theory, and remarks concerning non-standard hyperreal numbers. This book will be a valuable resource for philosophers of religion and theologians and will interest logicians and mathematicians as well. (shrink)

Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science, and as a means of reasoning about the knowledge and belief of agents. This book provides a broad introduction to the subject, along with many exercises and their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the context of distributed systems (...) and artificial intelligence. These include the notions of common knowledge, distributed knowledge, explicit and implicit belief, the interplays between knowledge and time, and knowledge and action, as well as a graded (or numerical) variant of the epistemic operators. The authors also discuss extensively the problem of logical omniscience. They cover Halpern & Moses' theory of honest formulas, and they make a digression into the realm of nonmonotonic reasoning and preferential entailment. They discuss Moore's autoepistemic logic, together with Levesque's related logic of "all I know". Furthermore, they show how one can base default and counterfactual reasoning on epistemic logic. Graduate students in philosophy or in computer science, especially those with an interest in AI, will find this book useful. (shrink)