Atheists have tacitly conceded the field to theists in the area of philosophical cosmology, specifically, in the enterprise of explaining why the universe exists. The theistic hypothesis is that the reason the universe exists lies in God’s creative choice, but atheists have not proposed any reason why the universe exists. I argue that quantum cosmology proposes such an atheistic reason, namely, that the universe exists because it has an unconditional probability of existing based on a functional law of nature. This (...) law of nature (“the wave function of the universe”) is inconsistent with theism and implies that God does not exist. I criticize the claims of Alston, Craig, Deltete and Guy, Oppy and Plantinga that theism is consistent with quantum cosmology. (shrink)

With his bestselling publication, A Brief History of Time, Stephen Hawking introduced in 1988 a new genre by connecting modern science with the question of the existence of God. In the posthumous publication Brief Answers to the Big Questions, he continues with his quest for the ultimate truth. The current study presents a philosophical analysis of this search in terms of the classical philosophy of Aristotle and Aquinas. Causality is the central concept employed by Hawking. However, its (...) meaning, in the modern scientific and philosophical literature, is limited to temporal causality in contrast to the view of classical philosophy. Only the latter one accepts causality from outside space and time, with other words, a reality transcending the material world. In a quote presented in the discussion, Hawking defines himself as an atheist. After a careful reading of his writings, however, doubts arise about his unbelief. (shrink)

This book is a record of my dialogues with Stephen Hawking, his graduate assistants and his nurses during a four city public lecture tour I organized for Hawking, including Portland, Eugene, Seattle, Vancouver, BC. We discussed 20th century science and philosophy of science. Since I was often the one being questioned, much of the contents reflect my PhD research at the University of London. My focus was on understanding the limits of science, as represented by quantum theory (...) and relativity. My mentors had been Paul Feyerabend and Imre Lakatos, and I was strongly influenced by Karl Popper and Thomas Kuhn. In one in depth presentation to Hawking I suggested that Newtonian space-time and Maxwellian space-time were complementary, were defined by complementary symmetry principles. I had opportunity to present the same arguments to Kip Thorne and Freeman Dyson. Hawking simply remarked that I 'may be right'. Thorne confirmed that practitioners of General Relativity use both depending on the problem at hand. Dyson was emphatic – "Yes. Definitely. Absolutely.". (shrink)

Kalam cosmological arguments have recently been the subject of criticisms, at least inter alia, by physicists---Paul Davies, Stephen Hawking---and philosophers of science---Adolf Grunbaum. In a series of recent articles, William Craig has attempted to show that these criticisms are “superficial, iII-conceived, and based on misunderstanding.” I argue that, while some of the discussion of Davies and Hawking is not philosophically sophisticated, the points raised by Davies, Hawking and Grunbaum do suffice to undermine the dialectical efficacy of (...) kalam cosmological arguments. (shrink)

The continuing interest in the book of S. Hawking "A Brief History of Time" makes a philosophical evaluation of the content highly desirable. As will be shown, the genre of this work can be identified as a speciality in philosophy, namely the proof of the existence of God. In this study an attempt is given to unveil the philosophical concepts and steps that lead to the final conclusions, without discussing in detail the remarkable review of modern physical theories. In (...) the first place the concept of causality used by Hawking is analyzed in terms of the classical four aspects of cause, that is causa formalis, materialis, efficiens and finalis. Thereafter the classical Aristotelian-Thomistic proof of the existence of God is presented and compared with Hawking's approach. In his argumentation he uses a concept of causality, which in contrast to the classical philosophy neglects completely an ontological dependence and is reduced to only temporal aspects. On the basis of this temporal causality and modern physical theories and speculations, Hawking arrives at his conclusions about a very restricted role of a possible creator. It is shown, that neither from the philosophical nor the scientific view his conclusions about the existence of God are strictly convincing, a position Hawking himself seems to be aware of. (shrink)

The concept and usage of the word 'metric' within General Relativity is briefly described. The early work of Roy Kerr led to his original 1963 algebraic, rotating metric. This discovery and his subsequent recollection in 2008 are summarised as the motivation for this article. Computer algebra has confirmed that nominal transformations of this early metric can generate further natural algebraic metrics. The algebra is not abstract, nor advanced, and these metrics have been overlooked for many years. The 1916 metric due (...) to Schwarzschild misled Kerr into seeking a similar metric for rotation. The philosophy of astrophysics for Penrose, Hawking and others would have been very different had they used the two lost metrics. (shrink)

In [3], Quentin Smith claims that `the Hartle-Hawking cosmology' is inconsistent with classical theism in a way which redounds to the discredit of classical theism; and, moreover, that the truth of `the Hartle- Hawking cosmology' would undermine reasonsed belief in any other varieties of theism which hold that the universe is created.

自史蒂芬·霍金(Stephen Hawking) 的暢銷科普著作《時間簡史》(以下簡稱《簡史》) 在上世紀八十年代末問世以來，至今天二十一世紀，華人基督教界就他宇宙無起點的論述仍有相當之評論，但可惜對評論未有綜合分析。評論者因寫作目的，也甚少交代霍金宇宙學的來龍去脈。故本文嘗試略述霍金宇宙學的歷史 背景及發展經過，繼而舉出華人基督教界的評論，帶出其獨特性，並提出商確的地方，以反省未來可行路向。.

Stephen Hawking claims: Philosophy is dead! Natural scientists use terms like 'natural law', 'matter', 'nature' and 'theories'. Often these terms are taken for granted without reflection. The task of philosophy of science as a metatheory of science is to clarify these terms. In doing so, philosophy of science is confronted with epistemological, ontological and metaphysical questions. But it also deals with questions such as "How do we define the boundaries between different scientific disciplines?" or "How do we distinguish (...) science from pseudoscience?". In addition, philosophy of science deals with ethical problems of modern technology, with methodological issues, with reconstructing the structure and development of scientific theories, and with exposing ideological paternalism of science. The optimistic conclusion is: Philosophy is not dead - but philosophers must discuss with scientists on an equal footing. (shrink)

Stephen Hawking’s caution against messaging extraterrestrial intelligence is a claim of universal biology and is probably false.

In his book "A Brief History of Time", Stephen Hawking says "If a complete unified theory was discovered, it would only be a matter of time before it was digested and simplified - and taught in schools, at least in outline. We should then all be able to have some understanding of the laws that govern the universe and are responsible for our existence." If complete, a unified theory would be physical and embrace all the space, matter and (...) time of the entire universe. It could not be partial and, as often interpreted, restricted to mathematics. -/- A complete unified theory that includes everything in space-time has practical applications for the matter called children who live today or in the past. They'd have "some understanding of the laws that govern the universe" at least from conception and associations formed at childhood would not always be "simpler". Pruning of nerve connections deprives us, in an intuitive sense, of "some understanding of the laws that govern the universe". Pruning prepares us for this part of existence - to attend school and university, and to develop the physics and maths that leads to discovery of the complete unified theory which, in their earliest years, children have some intuitive knowledge of. (shrink)

Book Review of The Future of Spacetime, by Stephen Hawking et al.

In dialogue with Stephen Hawking, Martin Heidegger, and Thomas Aquinas, I argue that there are three different and compatible ways to understand the question, “Why is there something rather than nothing?” (1) The scientific way asks about the origin of the cosmos. (2) The transcendental way asks about the origin of experience. (3) The metaphysical way asks about the origin of existence. The questions work independent of each other, so that answering one version of the question does not (...) affect the other two versions. Hawking and Heidegger are therefore mistaken to think that the scientific and transcendental questions render otiose the metaphysical question concerning the origin of existence. (shrink)

In their attempt to defend philosophy from accusations of uselessness made by prominent scientists, such as Stephen Hawking, some philosophers respond with the charge of ‘scientism.’ This charge makes endorsing a scientistic stance, a mistake by definition. For this reason, it begs the question against these critics of philosophy, or anyone who is inclined to endorse a scientistic stance, and turns the scientism debate into a verbal dispute. In this paper, I propose a different definition of scientism, and (...) thus a new way of looking at the scientism debate. Those philosophers who seek to defend philosophy against accusations of uselessness would do philosophy a much better service, I submit, if they were to engage with the definition of scientism put forth in this paper, rather than simply make it analytic that scientism is a mistake. (shrink)

Die Übernahme des KI-Unternehmens DeepMind durch Google für rund eine halbe Milliarde US-Dollar signalisierte vor einem Jahr, dass von der KI-Forschung vielversprechende Ergebnisse erwartet werden. Spätestens seit bekannte Wissenschaftler wie Stephen Hawking und Unternehmer wie Elon Musk oder Bill Gates davor warnen, dass künstliche Intelligenz eine Bedrohung für die Menschheit darstellt, schlägt das KI-Thema hohe Wellen. Die Stiftung für Effektiven Altruismus (EAS, vormals GBS Schweiz) hat mit der Unterstützung von Experten/innen aus Informatik und KI ein umfassendes Diskussionspapier zu (...) den Chancen und Risiken der künstlichen Intelligenz verfasst und geht darin auf aktuelle, mittel- und langfristige Herausforderungen im Bereich der KI-Entwicklung ein. (shrink)

In a recent Analysis article, Quentin Smith argues that classical theism is inconsistent with certain consequences of Stephen Hawking's quantum cosmology.1 Although I am not a theist, it seems to me that Smith's argument fails to establish its conclusion. The purpose of this paper is to show what is wrong with Smith's argument. According to Smith, Hawking's cosmological theory includes what Smith calls "Hawking's wave function law." Hawking's wave function law (hereafter, "HL") apparently has, among (...) its consequences, the following claim. (1) The unconditional probability that a universe like this one - i.e., a universe with the metric hij and matter field Φ - should begin to exist is 95%.2 Smith then argues that the theist who accepts HL must also accept that the following sentence was once true.3.. (shrink)

In the past, philosophers, scientists, and even the general opinion, had no problem in accepting the existence of consciousness in the same way as the existence of the physical world. After the advent of Newtonian mechanics, science embraced a complete materialistic conception about reality. Scientists started proposing hypotheses like abiogenesis (origin of first life from accumulation of atoms and molecules) and the Big Bang theory (the explosion theory for explaining the origin of universe). How the universe came to be what (...) it is now is a key philosophical question. The hypothesis that it came from Nothing (as proposed by Stephen Hawking, among others), proves to be dissembling, since the quantum vacuum can hardly be considered a void. In modern science, it is generally assumed that matter existed before the universe came to be. Modern science hypothesizes that the manifestation of life on Earth is nothing but a mere increment in the complexity of matter — and hence is an outcome of evolution of matter (chemical evolution) following the Big Bang. After the manifestation of life, modern science believed that chemical evolution transformed itself into biological evolution, which then had caused the entire biodiversity on our planet. The ontological view of the organism as a complex machine presumes life as just a chance occurrence, without any inner purpose. This approach in science leaves no room for the subjective aspect of consciousness in its attempt to know the world as the relationships among forces, atoms, and molecules. On the other hand, the Vedāntic view states that the origin of everything material and nonmaterial is sentient and absolute (unconditioned). Thus, sentient life is primitive and reproductive of itself – omne vivum ex vivo – life comes from life. This is the scientifically verified law of experience. Life is essentially cognitive and conscious. And, consciousness, which is fundamental, manifests itself in the gradational forms of all sentient and insentient nature. In contrast to the idea of objective evolution of bodies, as envisioned by Darwin and followers, Vedānta advocates the idea of subjective evolution of consciousness as the developing principle of the world. In this paper, an attempt has been made to highlight a few relevant developments supporting a sentient view of life in scientific research, which has caused a paradigm shift in our understanding of life and its origin. (shrink)

When this article was first planned, writing was going to be exclusively about two things - the origin of life and human evolution. But it turned out to be out of the question for the author to restrict himself to these biological and anthropological topics. A proper understanding of them required answering questions like “What is the nature of the universe – the home of life – and how did it originate?”, “How can time travel be removed from fantasy and (...) science fiction, to be made scientific and practical?”, and “How can the proposed young age of genus Homo be made to actually be reasonable – when simply stating it would be solid ground for instant rejection and dismissal?” The result is that the article also talks about subjects like Artificial Intelligence, General Relativity, and cosmology. -/- From where did life originate? God? Evolution? Panspermia? If the tendency of humans and scientists to regard undiscovered science as pseudoscience can be overcome, Einstein gave another alternative to consider when he introduced General Relativity. Time isn’t linear – progressing in a straight line from past to present to future. That assumption ignores Relativity which states that space AND TIME are curved. Where did life and the genetic code come from? Can the answer build AI? -/- The first question can be answered by the section of this article titled SETI, Evolution, and Time which says life (possibly multicellular and intelligent) and the genetic code came from humans acquiring knowledge of these things over the centuries, then applying that knowledge – via terraforming, accumulation of raw materials like amino acids and nucleic acids, genetic engineering - to a time in the past when life didn’t exist. From that origin, life evolved through innumerable mutations and adaptations, with humans once again acquiring knowledge of it in cyclic (nonlinear) time. -/- The second question is answered by saying artificial intelligence (AI) as the product of life is only half of the equation. The other half refers to Relativity’s curved space-time and violation of the notion that time always travels from past to future. We have always lived in an artificially intelligent, non-probabilistic universe where everything in time and space is connected into one thing by quantum entanglement – making the brain and genes products of binary-digit activity or artificial intelligence (life is not merely dependent on biology’s “lock and key” mechanisms but also possesses AI). -/- The earliest documented representative of the genus Homo is Homo habilis, which evolved around 2.8 million years ago. Scientists used to believe there was a straight line from H. habilis to us, Homo sapiens. This article will use the “advanced” waves loved by Physics Nobel laureate Richard Feynman, view the history of science through the lens of Conic Sections applied to Relativity’s curved space-time, and incorporate the necessity of so-called imaginary time * – popularized by Prof. Stephen Hawking. While the evolutionary proposals are more in agreement with this early straight line than with modern theories, Albert Einstein’s General Relativity is used to transform the straight line into a curved line, ultimately concluding that Homo habilis (H. habilis) originated only (and unbelievably, as far as today’s science and technology is concerned) ~250,000 years ago. Other branches and dead ends of Homo – e.g. Neanderthals – are the result of mutations and adaptations, with the resultant modifications to anatomy and physiology. The surprisingly young age of H. habilis allows nearly 200,000 years for habilis, or one of its descendants, to reach Australia … if this country’s indigenous Aboriginal population did, as claimed, reach this “island continent” 60,000 years ago. -/- * The ultraviolet catastrophe, also called the Rayleigh–Jeans catastrophe, is a failure of classical physics to predict observed phenomena: it can be shown that a blackbody - a hypothetical perfect absorber and radiator of energy - would release an infinite amount of energy, contradicting the principles of conservation of energy and indicating that a new model for the behaviour of blackbodies was needed. At the start of the 20th century, physicist Max Planck derived the correct solution by making some strange (for the time) assumptions. In particular, Planck assumed that electromagnetic radiation can only be emitted or absorbed in discrete packets, called quanta. Albert Einstein postulated that Planck's quanta were real physical particles (what we now call photons), not just a mathematical fiction. From there, Einstein developed his explanation of the photoelectric effect (when quanta or photons of light shine on certain metals, electrons are released and can form an electric current). So it appears entirely possible that another supposed mathematical trickery (imaginary time and the y-axis of Wick rotation) will find practical application in the future. -/- The article includes mathematical references to cosmology (spoiler alert – you’ll read about things like Vector-Tensor-Scalar Geometry, topology, the “eternal present”, Einstein’s Unified Field, the inverse-square law, and there being no Big Bang and no multiverse - but there will also be no equations). -/- The other subheadings in this essay are – -/- NONLINEAR TIME AND ELECTRICAL ENGINEERING (about a 2009 electrical engineering experiment at America’s Yale University, and cosmic wormholes) -/- BITS AND TOPOLOGY (base-2 maths aka Binary digiTS, Mobius strips, and figure-8 Klein bottles) -/- WICK ROTATION, CAUSALITY, AND UNITING TIME (do past, present and future co-exist in an “eternal present”?) -/- DIGITAL BRAIN, DIGITAL UNIVERSE (if the brain and the universe are ultimately composed of binary digits, we'll someday be able to do the same things with the brain and universe that we now do with computers) -/- PROPOSAL: HUMAN AND ANIMAL INSTINCTS ARE THE RESULT OF THE UNIVERSE BEING UNIFIED BY BINARY DIGITS (AND TOPOLOGY) (If everything in the universe is ultimately composed of electronic BITS, then the universe must possess Artificial Intelligence - some prefer the term Cosmic Consciousness) -/- INFORMATION THEORY CONQUERS A RED GIANT (preserving Earth by keeping the Sun near today’s level of activity forever). (shrink)

How the universe came to be what it is now is a key philosophical question. The hypothesis that it came from nothing or śūnya (as proposed by Stephen Hawking, among others) proves to be dissembling, since the quantum vacuum can hardly be considered a void (śūnya). In modern science, it is generally assumed that matter existed before the universe came to be. Modern science hypothesizes that the manifestation of life on earth is nothing but a mere increment in (...) the complexity of matter – and hence is an outcome of evolution of matter (chemical evolution) following the Big Bang. After the manifestation of life, modern science believed that chemical evolution transformed itself into biological evolution, which then had caused the entire biodiversity on our planet. In the framework of materialism, the major attention is to find general organizational laws stimulated by physical sciences, ignoring the uniqueness of life. The main goal of materialism is to reduce consciousness to natural processes, which in turn can be translated into the language of math, physics, and chemistry. Following this approach, scientists have made several attempts to deny the living organism of its veracity as an immortal soul, in favor of genes, molecules, atoms, and so on. However, advancement in various fields of biology has repeatedly given rise to questions against such a denial and has supplied more and more evidence against the completely misleading ideological imposition that living entities are particular states of matter. In the recent past, however, the realization has arisen that cognitive nature of life at all levels has begun presenting significant challenges to the views of materialism in biology and has created a more receptive environment for the soul hypothesis (Shanta BN. Commun Integr Biol 8(5):e1085138, 2015). Therefore, instead of adjudicating different aprioristic claims, the development of an authentic theory of origin of life and universe needs both proper scientific knowledge and the appropriate tools of philosophical analysis of life. This talk will highlight the uniqueness of biological systems that offers a considerable challenge to the mainstream materialism and proposes the Vedāntic philosophical view as a viable alternative for development of a theory worthy of origin of life and universe. (shrink)

'If a complete unified theory was discovered, it would only be a matter of time before it was digested and simplified - and taught in schools, at least in outline. We should then all be able to have some understanding of the laws that govern the universe and are responsible for our existence.' ('A Brief History of Time' by Stephen Hawking, Introduction by Carl Sagan) So let's see what can be written when we we throw away everyday tradition (...) and conformity, let our imaginations fly (while trying to stay grounded in science and technology), and all gain "... some understanding of the laws that govern the universe and are responsible for our existence. (This tries to focus on the outlines of the workings of Nature, including how science will be reconciled with philosophy and religion. Also, this latest version suggests Particle spin, F=ma and black holes revise gravity, unify gravitation with electromagnetism and matter, and eliminate the two nuclear forces.). (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...) the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) issue-based theory—a novel and natural entry in the atom-based tradition that meets our constraints. In a coda, I categorize a recent theory from Fine as atom-based, and contrast it to the issue-based theory, concluding that they are evenly matched, relative to our main criteria of adequacy. I offer tentative reasons to nevertheless favour the issue-based theory. (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)

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes it canonically serves (...) to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (shrink)

We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and present six (...) different ways of extending this semantics with a conditional knowledge operator, drawing on notions of implication and content that are prominent in Fine’s work. We demonstrate that different logics are thereby generated, bearing on the aforementioned epistemic principles. Finally, we offer preliminary observations about the prospects for each logic. (shrink)

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

I construe Relevant Alternatives Theory (RAT) as an abstract combination of anti-skepticism and epistemic modesty, then re-evaluate the challenge posed to it by the missed clue counterexamples of Schaffer. The import of this challenge has been underestimated, as Schaffer’s specific argument invites distracting objections. I offer a novel formalization of RAT, accommodating a suitably wide class of concrete theories of knowledge. Then, I introduce ‘abstract missed clue cases’ and prove that every RA theory, as formalized, admits such a case. This (...) yields an argument—in Schaffer’s spirit—that resists easy dismissal. (shrink)

We examine a prominent naturalistic line on the method of cases, exemplified by Timothy Williamson and Edouard Machery: MoC is given a fallibilist and non-exceptionalist treatment, accommodating moderate modal skepticism. But Gettier cases are in dispute: Williamson takes them to induce substantive philosophical knowledge; Machery claims that the ambitious use of MoC should be abandoned entirely. We defend an intermediate position. We offer an internal critique of Macherian pessimism about Gettier cases. Most crucially, we argue that Gettier cases needn’t exhibit (...) ‘disturbing characteristics’ that Machery posits to explain why philosophical cases induce dubious judgments. It follows, we show, that Machery’s central argument for the effective abandonment of MoC is undermined. Nevertheless, we engineer a restricted variant of the argument—in harmony with Williamsonian ideology–that survives our critique, potentially limiting philosophy’s scope for establishing especially ambitious modal theses, despite traditional MoC’s utility being partially preserved. (shrink)

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

My topic is moderate modal skepticism in the spirit of Peter van Inwagen. Here understood, this is a conservative version of modal empiricism that severely limits the extent to which an ordinary agent can reasonably believe “exotic” possibility claims. I offer a novel argument in support of this brand of skepticism: modal skepticism grounds an attractive (and novel) reply to Humean skepticism. Thus, I propose that modal skepticism be accepted on the basis of its theoretical utility as a tool for (...) dissolving philosophical paradox. (shrink)

Drawing on the puzzling behavior of ordinary knowledge ascriptions that embed an epistemic (im)possibility claim, we tentatively conclude that it is untenable to jointly endorse (i) an unfettered classical logic for epistemic language, (ii) the general veridicality of knowledge ascription, and (iii) an intuitive ‘negative transparency’ thesis that reduces knowledge of a simple negated ‘might’ claim to an epistemic claim without modal content. We motivate a strategic trade-off: preserve veridicality and (generalized) negative transparency, while abandoning the general validity of contraposition. (...) We criticize various approaches to incorporating veridicality into domain semantics, a paradigmatic ‘information-sensitive’ framework for capturing negative transparency and, more generally, the non-classical behavior of sentences with epistemic modals. We then present a novel information-sensitive semantics that successfully executes our favored strategy: stable acceptance semantics, extending a vanilla bilateral state-based semantics for epistemic modals with a knowledge operator loosely inspired by the defeasibility theory of knowledge. (shrink)

When one thinks—knows, believes, imagines—that something is the case, one’s thought has a topic: it is about something, towards which one’s mind is directed. What is the logic of thought, so understood? This book begins to explore the idea that, to answer the question, we should take topics seriously. It proposes a hyperintensional account of the propositional contents of thought, arguing that these are individuated not only by the set of possible worlds at which they are true, but also by (...) their topic: what they are about. The book then builds epistemic, doxastic, probabilistic, and conditional logics based on this view. It applies them to issues ranging from dogmatism, scepticism, and epistemic fallibilism, to imagination and suppositional reasoning, belief revision, framing effects, and the acceptability of indicative conditionals. (shrink)

The goal of the current paper is to provide an introduction to and survey of the diverse landscape of relevant alternatives theories of knowledge. Emphasis is placed throughout both on the abstractness of the relevant alternatives approach and its amenability to formalization through logical techniques. We present some of the important motivations for adopting the relevant alternatives approach; briefly explore the connections and contrasts between the relevant alternatives approach and related developments in logic, epistemology and philosophy of science; provide a (...) schema for classifying and studying relevant alternatives theories at different levels of abstraction; and present a sample of relevant alternatives theories (contrasting what we call question-first and topic-first theories) that tie our discussion to on-going debates in the philosophical literature, as well as showcasing techniques for formalizing some of the important positions in these debates. (shrink)

Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents move (...) simultaneously, opening the possibility that an agent cannot foresee the concurrent choices of other agents. In this paper we introduce a variant of CL we call Two-Player Strategic Coordination Logic (SCL2). The key novelty of this framework is an operator for capturing coalitional ability when the cooperating agents cannot share strategic information. We identify significant differences in the expressive power and validities of SCL2 and CL2, and present a sound and complete axiomatization for SCL2. We briefly address conceptual challenges when shifting attention to games with more than two players and stronger notions of rationality. (shrink)

According to content-relativist theories of moral language, different speakers use the same moral sentences to say different things. Content-relativism faces a well-known problem of lost disagreement. Recently, numerous content-relativists (including the author) have proposed to solve this problem by appeal to various kinds of non-content-based, or broadly pragmatic, disagreement. This presents content-relativists with a new problem—of found agreement. Which (if any) of these newly identified kinds of conflict is correctly identified as the lost moral disagreement we were looking for? This (...) paper offers a critical comparison of different content-relativist proposals. It divides them into two broad categories, quasi-expressivist theories (QED) and metalinguistic theories (MLD). Objections to each are considered, and QED is tentatively found to be superior. (shrink)

Sufferers of eating disorders often hold false beliefs about their own body size. Such beliefs appear to violate norms of rationality, being neither grounded by nor responsive to appropriate forms of evidence. I defend the rationality of these beliefs. I argue that they are in fact supported by appropriate evidence, emanating from proprioceptive misperception of bodily boundaries. This argument has far‐reaching implications for the explanation and treatment of eating disorders, as well as debates over the relationship between rationality and human (...) psychology. (shrink)

Holmes exists is false. How can this be, when there is no one for the sentence to misdescribe? Part of the answer is that a sentence’s topic depends on context. The king of France is bald, normally unevaluable, is false qua description of the bald people. Likewise Holmes exists is false qua description of the things that exist; it misdescribes those things as having Holmes among them. This does not explain, though, how Holmes does not exist differs in cognitive content (...) from, say, Vulcan does not exist. Our answer builds on an observation of Kripke’s: even if Holmes exists, he is not in this room, for we were all born too late. (shrink)

This paper focuses on the fact that AI is predominantly portrayed as white—in colour, ethnicity, or both. We first illustrate the prevalent Whiteness of real and imagined intelligent machines in four categories: humanoid robots, chatbots and virtual assistants, stock images of AI, and portrayals of AI in film and television. We then offer three interpretations of the Whiteness of AI, drawing on critical race theory, particularly the idea of the White racial frame. First, we examine the extent to which this (...) Whiteness might simply reflect the predominantly White milieus from which these artefacts arise. Second, we argue that to imagine machines that are intelligent, professional, or powerful is to imagine White machines because the White racial frame ascribes these attributes predominantly to White people. Third, we argue that AI racialised as White allows for a full erasure of people of colour from the White utopian imaginary. Finally, we examine potential consequences of the racialisation of AI, arguing it could exacerbate bias and misdirect concern. (shrink)

Levy (2021 Levy, N. (2021). Bad beliefs: Why they happen to good people. Oxford University Press.[Crossref], [Google Scholar]) argues that bad beliefs predominately stem from automatic (albeit rational) updating in response to testimonial evidence. To counteract such beliefs, then, we should focus on ridding our epistemic environments of misleading testimony. This paper responds as follows. First, I argue that the suite of automatic processes related to bad beliefs extends well beyond the deference-based processes that Levy identifies. Second, I push back (...) against Levy’s claim that bad beliefs stem from wholly rational processes, suggesting that, in many cases, such processes are better characterized as arational. Finally, I note that Levy is too quick to dismiss the role that individuals can play in cleaning up their own epistemic environments, and I suggest one route through which this is possible. (shrink)

Tracing the leading role of emotions in the evolution of the mind, a philosopher and a psychologist pair up to reveal how thought and culture owe less to our faculty for reason than to our capacity to feel. Many accounts of the human mind concentrate on the brain’s computational power. Yet, in evolutionary terms, rational cognition emerged only the day before yesterday. For nearly 200 million years before humans developed a capacity to reason, the emotional centers of the brain were (...) hard at work. If we want to properly understand the evolution of the mind, we must explore this more primal capability that we share with other animals: the power to feel. Emotions saturate every thought and perception with the weight of feelings. The Emotional Mind reveals that many of the distinctive behaviors and social structures of our species are best discerned through the lens of emotions. Even the roots of so much that makes us uniquely human—art, mythology, religion—can be traced to feelings of caring, longing, fear, loneliness, awe, rage, lust, playfulness, and more. From prehistoric cave art to the songs of Hank Williams, Stephen T. Asma and Rami Gabriel explore how the evolution of the emotional mind stimulated our species’ cultural expression in all its rich variety. Bringing together insights and data from philosophy, biology, anthropology, neuroscience, and psychology, The Emotional Mind offers a new paradigm for understanding what it is that makes us so unique. (shrink)

[Stephen Yablo] The usual charge against Carnap's internal/external distinction is one of 'guilt by association with analytic/synthetic'. But it can be freed of this association, to become the distinction between statements made within make-believe games and those made outside them-or, rather, a special case of it with some claim to be called the metaphorical/literal distinction. Not even Quine considers figurative speech committal, so this turns the tables somewhat. To determine our ontological commitments, we have to ferret out all traces (...) of nonliterality in our assertions; if there is no sensible project of doing that, there is no sensible project of Quinean ontology. /// [Andre Gallois] I discuss Steve Yablo's defence of Carnap's distinction between internal and external questions. In the first section I set out what I take that distinction, as Carnap draws it, to be, and spell out a central motivation Carnap has for invoking it. In the second section I endorse, and augment, Yablo's response to Quine's arguments against Carnap. In the third section I say why Carnap's application of the distinction between internal and external questions runs into trouble. In the fourth section I spell out what I take to be Yablo's version of Carnap. In the last I say why that version is especially vulnerable to the objection raised in the second. (shrink)

This paper investigates whether different philosophers’ claims about “normativity” are about the same subject or (as recently argued by Derek Parfit) theorists who appear to disagree are really using the term with different meanings, in order to cast disambiguating light on the debates over at least the nature, existence, extension, and analyzability of normativity. While I suggest the term may be multiply ambiguous, I also find reasons for optimism about a common subject-matter for metanormative theory. This is supported partly by (...) sketching a special kind of hybrid view of normative judgment, perspectivism, that occupies a position between cognitivism and noncognitivism, naturalism and nonnaturalism, objectivism and subjectivism, making it more plausible that radically different metanormative theories could be about the same thing. I explore three main fissures: between (i) the “normativity” of language/thought versus that of facts and properties, (ii) abstract versus substantive senses, and (iii) formal versus robust senses. (shrink)

Stephen Davies taught philosophy at the University of Auckland, Auckland, New Zealand. His research specialty is the philosophy of art. He is a former President of the American Society for Aesthetics. His books include Definitions of Art (Cornell UP, 1991), Musical Meaning and Expression (Cornell UP, 1994), Musical Works and Performances (Clarendon, 2001), Themes in the Philosophy of Music (OUP, 2003), Philosophical Perspectives on Art (OUP, 2007), Musical Understandings and Other Essays on the Philosophy of Music (OUP, 2011), The (...) Artful Species: Aesthetics, Art, and Evolution (OUP, 2012), The Philosophy of Art (Wiley-Blackwell, 2016 second ed.), and Adornment: What Self-decorations Tells Us about Who We Are, (Bloomsbury Academic, 2020). (shrink)

Many intelligent, capable, and successful individuals believe that their success is due to luck and fear that they will someday be exposed as imposters. A puzzling feature of this phenomenon, commonly referred to as imposter syndrome, is that these same individuals treat evidence in ways that maintain their false beliefs and debilitating fears: they ignore and misattribute evidence of their own abilities, while readily accepting evidence in favour of their inadequacy. I propose a novel account of imposter syndrome as an (...) instance of self-deception, whereby biased evidence treatment is driven by the motivational benefit of negative self-appraisal. This account illuminates a number of interconnected philosophical and scientific puzzles related to the explanation, definition, and value of imposter syndrome. (shrink)