Priest holds anti-exceptionalism about logic. That is, he holds that logic, as a theory, does not have any exceptional status in relation to the theories of empirical sciences. Crucial to Priest’s anti-exceptionalism is the existence of ‘data’ that can force the revision of logical theory. He claims that classical logic is inadequate to the available data and, thus, needs to be revised. But what kind of data can overturn classical logic? Priest claims that the data is our (...) intuitions about the validity of inferences. In order to make sense of this claim, I will appeal to the Madhyamaka Buddhist philosopher Candrakīrti. I will then pose a problem for Priest’s anti-exceptionalism. Finally, I will suggest a way out of the problem for Priest. Whether or not he accepts my solution, I will let him decide. (shrink)

Graham Priest's book In Contradiction is a bold defense of the existence of true contradictions. Although Priest's case is impressive, and many of his arguments are correct, his approach is not the only one allowing for true contradictions. As against Priest's, there is at least one contradictorialist approach which establishes a link between true contradictions and degrees of truth. All in all, such an alternative is more conservative, closer to mainstream analytical philosophy. The two approaches differ as (...) regards the floodgate problem. Priest espouses a confinement policy banning contradictions except in a few special domains, particularly those of pure semantics and set-theory , whereas the alternative approach admits two negations -- natural or weak negation and strong negation, the latter being classical; accordingly, the alternative approach prohibits any contradiction involving strong negation, thus providing a syntactic test of what contradictions have to be rejected. (shrink)

In an attempt to determine the epistemic status of computer simulation results, philosophers of science have recently explored the similarities and differences between computer simulations and experiments. One question that arises is whether and, if so, when, simulation results constitute novel empirical data. It is often supposed that computer simulation results could never be empirical or novel because simulations never interact with their targets, and cannot go beyond their programming. This paper argues against this position by examining whether, and under (...) what conditions, the features of empiricality and novelty could be displayed by computer simulation data. I show that, to the extent that certain familiar measurement results have these features, so can some computer simulation results. (shrink)

Graham Priest, ampiamente considerato una figura di tutto rilievo nel panorama filosofico contemporaneo, è conosciuto prevalentemente per i suoi contributi nel campo delle logiche non-classiche, e per essere uno dei fondatori della controversa tesi filosofica denominata dialeteismo. Non sorprende che, come per molti degli autori che vengono comunemente inseriti nella tradizione analitica, due delle aree in cui il suo pensiero è stato più fecondo siano la logica e la metafisica. Ciò che sorprende, invece, è la sua capacità di usare (...) le teorie formali e le tesi metafisiche da lui stesso concepite come via di accesso per terreni filosofici normalmente considerati distanti da quello anglosassone. In particolare, sono numerose le occasioni in cui l’attenzione di Priest si è rivolta ad Oriente, e più nello specifico al Buddismo. The Fifth Corner of Four, il suo ultimo libro, può essere considerato a buon diritto la manifestazione più evidente di questo grande e perdurante interesse. (shrink)

William Lane Craig’s God over All argues against the kind of “divine conceptualism” about abstract objects which I defend. In this conference presentation I note several points of agreement with and appreciation for Craig’s important work. I then turn to five points of critique and response pertaining to: the sovereignty-aseity intuition, the reality of false propositions, God’s having “inappropriate” thoughts, propositions being purely private and incommunicable, and a consistent view of God’s own ontological commitments. I conclude by summarizing our two (...) key differences, indicating that we may have much more in common than first appears. (shrink)

Community has been both celebrated and demonized as a fortress that shelters and defends its members from being exposed to difference. Instead of abandoning community as an antiquated model of relationships that is ill suited for our globalized world, this book turns to the writings of Giorgio Agamben, Roberto Esposito, and Jean-Luc Nancy in search for ways to rethink community in an open and inclusive manner. Greg Bird argues that a central piece of this task is found in how (...) each philosopher rearticulates community not as something that is proper to those who belong and improper to those who are excluded or where inclusion is based on one’s share in common property. We must return to the forgotten dimension of sharing, not as a sharing of things that we can contain and own, but as a process that divides us up and shares us out in community with one another. This book traces this problem through a wide array of fields ranging from biopolitics, communitarianism, existentialism, phenomenology, political economy, radical philosophy, and social theory. (shrink)

The two principal models of design in methodological circles in architecture—analysis/synthesis and conjecture/analysis—have their roots in philosophy of science, in different conceptions of scientific method. This paper explores the philosophical origins of these models and the reasons for rejecting analysis/synthesis in favour of conjecture/analysis, the latter being derived from Karl Popper’s view of scientific method. I discuss a fundamental problem with Popper’s view, however, and indicate a framework for conjecture/analysis to avoid this problem.

In the distribution of resources, persons must be respected, or so many philosophers contend. Unfortunately, they often leave it unclear why a certain allocation would respect persons, while another would not. In this paper, we explore what it means to respect persons in the distribution of scarce, life-saving resources. We begin by presenting two kinds of cases. In different age cases, we have a drug that we must use either to save a young person who would live for many more (...) years or an old person who would only live for a few. In different numbers cases, we must save either one person or many persons from certain death. We argue that two familiar accounts of respect for persons―an equal worth account, suggested by Jeff McMahan, and a Kantian account, inspired by the Formula of Humanity―have implausible implications in such cases. We develop a new, “three-tiered” account: one that, we claim, generates results in such cases that accord better with many people’s considered judgments than those produced by its rivals. (shrink)

In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as “da Costa logic”). The relationship between the superintuitionistic axioms- definable in daC- and extensions of Priest-da Costa logic (sdc-logics) is analyzed and applied to exploring the gap between the maximal si-logic SmL and classical logic in the class of sdc-logics. A sequence of strengthenings of Priest-da Costa logic is examined (...) and employed to pinpoint the maximal non-classical extension of both daC and Heyting-Brouwer logic HB . Finally, the relationship between daC and Logics of Formal Inconsistency is examined. (shrink)

In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the modal vocabulary—is directly motivated in terms (...) of the simple, universal Kripke semantics for S5. The sequent system is cut-free and the circuit proofs are normalising. (shrink)

This is a book review of Michael Almeida, The Metaphysics of Perfect Beings (New York: Routledge, 2008).

Opponents of genetic enhancement technologies often argue that the pursuit of these technologies will lead to self-defeating collective outcomes, massive social inequalities, or other forms of collective harm. They assume that these harms will outweigh individual benefits. Defenders of genetic enhancement technologies counter that individual benefits will outweigh collective harms and there will be no conflict between individual and collective interests. The present contribution tries to advance the debate by providing a more detailed discussion of the conditions under which individual (...) and collective interests may conflict.It presents a simple model that clarifies the conditions in which the use of genetic enhancement technologies may lead to self-defeating collective outcomes and social inequalities. It argues that given current inequalities, these conditions might indeed obtain as new genetic knowledge leads to a transition in population health. If they do, then genetic enhancement will steepen the social gradient in health. Thus, regulating access to enhancement technologies should be a matter of social justice. (shrink)

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

The paper is an examination and critique of the philosophy of science fiction horror of seminal American horror, science fiction and fantasy writer H.P. Lovecraft (1890-1937). Lovecraft never directly offers a philosophy of science fiction horror. However, at different points in his essays and letters, he addresses genres he labels “interplanetary fiction”, “horror”, “supernatural horror”, and “weird fiction”, the last being a broad heading covering both supernatural fiction and science fiction. Taken together, a philosophy of science fiction horror emerges. Central (...) to this philosophy is the juxtaposition of the mysterious, unnatural and alien against a realistic background, in order to produce the emotion that Lovecraft calls “cosmic fear”. This background must not only be scientifically accurate, but must accurately portray human psychology, particularly when humans are faced with the weird and alien. It will be argued that Lovecraft’s prescriptions are overly restrictive and would rule out many legitimate works of science fiction horror art. However, he provides useful insights into the genre. (shrink)

In this paper we offer a new argument for the existence of God. We contend that the laws of logic are metaphysically dependent on the existence of God, understood as a necessarily existent, personal, spiritual being; thus anyone who grants that there are laws of logic should also accept that there is a God. We argue that if our most natural intuitions about them are correct, and if they are to play the role in our intellectual activities that we take (...) them to play, then the laws of logic are best construed as necessarily existent thoughts -- more specifically, as divine thoughts about divine thoughts. We conclude by highlighting some implications for both theistic arguments and antitheistic arguments. (shrink)

Terrence Deacon has constructed a tome in which he unleashes his considerable learning in quest of several answers to the question, ‘What are we?’ He is uniquely qualified to take an approach which details the origin and development of, first, language, then the brain, and, lastly, their ‘co-evolution.’ Described on the jacket as ‘a world-renowned researcher in neuroscience and evolutionary anthropology,’ all of his background is called upon at various times to pull together the mass of data and supposition that (...) Deacon brings to the table. (shrink)

The function or intended use of a device such as a fire escape is escape from fire, whether or not it is ever actually used as such or it acquires other uses. Biological function, on the other hand, depends, in one way or another, on actual use. Philosophical attempts to explain artifact function by analogy with biological function or to build a unified theory of function are nonetheless common. What such attempts routinely overlook, however, is the role of forethought in (...) intentional function. I defend the traditional intended use view of function, emphasize the role of forethought and argue that design intentions are rationally grounded in a design brief, for which there is no obvious natural analogue. (shrink)

Philosophers expend considerable effort on the analysis of concepts, but the value of such work is not widely appreciated. This paper principally analyses some arguments, beliefs, and presuppositions about the nature of design and the relations between design and science common in the literature to illustrate this point, and to contribute to the foundations of design theory.

The review gives a short description of the content of the book and discusses the treatment of conditionals in it.

Louis Charland has argued that the Cluster B personality disorders, including borderline personality disorder, are primarily moral rather than clinical conditions. Part of his argument stems from reflections on effective treatment of borderline personality disorder. In the argument from treatment, he claims that successful treatment of all Cluster B personality disorders requires a positive change in a patient’s moral character. Based on this claim, he concludes (1) that these disorders are, at root, deficits in moral character, and (2) that effective (...) treatment of these disorders requires a sort of moral education rather than clinical intervention. In this paper, I evaluate the argument from treatment through a critical analysis of two psychotherapeutic interventions that have shown recent effectiveness against borderline personality disorder. I suggest that both Dialectical Behaviour Therapy and Mentalization-Based Treatment indicate that borderline personality disorder is, at root, a deficit in non-moral cognitive and emotional capacities. I suggest that these non-moral deficits obscure the expression of an otherwise intact moral character. In light of this, I conclude that effective treatment of borderline personality disorder requires primarily clinical intervention rather than moral edification. (shrink)

Published in the American Journal of Bioethics.

The hypothesis that God supernaturally raised Jesus from the dead is argued by William Lane Craig to be the best explanation for the empty tomb and postmortem appearances of Jesus because it satisfies seven criteria of adequacy better than rival naturalistic hypotheses. We identify problems with Craig’s criteria-based approach and show, most significantly, that the Resurrection hypothesis fails to fulfill any but the first of his criteria—especially explanatory scope and plausibility.

This note calls attention to the fact that efficient causes – the sort of cause that changes something or makes something happen – can play no constitutive role in the immediate, cognitively conscious relation between cognitive subject and a cognit-ive object. It notes that: (1) it is a necessary condition for an efficient causal relation that it alter its relata; and (2) it is a necessary condition for a conscious cognitive relat-ion that it does not alter its relata. This has (...) important implication for the theories of knowledge and consciousness, the “Hard Problem,” and related puzzles. (shrink)

Bernard Lonergan has argued for a theory of cognition that is transcendentally secure, that is, one such that any plausible attempt to refute it must presuppose its correctness, and one that also grounds a correct metaphysics and ontology. His proposal combines an identity theory of knowledge with an intentional relation between knower and known. It depends in a crucial way upon an appropriation of one’s own cognitional motives and acts, that is, upon “knowing one’s own knowing.” I argue that because (...) of conflicts between the identity and intentionality components of the theory, rational self-appropriation cannot, as Lonergan claims, be an iteration of just the same acts by which we acquire other sorts of knowledge. I propose an amended theory in which the relation between intending-subject and intended-object of first-level cognition becomes, in RSA, a numerical identity of knower and known and of the epistemic and the ontological. (shrink)

Responding to an article in a previous issue from Matthew B. O’Brien on the impermissibility of same-sex marriage, this reply corrects a misinterpretation of Rawls’s understanding of political liberalism and a misdirected complaint against the jurisprudence of the U.S. federal courts on civil marriage and other matters. In correcting these interpretations, I seek to demonstrate that a publicly reasonable case for same-sex civil marriage is conceivable in line with political liberalism. I conclude the article by arguing that, although the same-sex (...) civil marriage issue is likely to be a matter of controversy for some time in western societies, a proper understanding of the theoretical issues at stake may contribute to a partial de-escalation of the ‘culture wars’ currently surrounding the issue. (shrink)

David Chalmers argues that consciousness -- authentic, first-person, conscious consciousness -- cannot be reduced to brain events or to any physical event, and that efforts to find a workable mind-body identity theory are, therefore, doomed in principle. But for Chalmers and non-reductionist in general consciousness consists exclusively, or at least paradigmatically, of phenomenal or qualia-consciousness. This results in a seriously inadequate understanding both of consciousness and of the “hard problem.” I describe other, higher-order cognitional events which must be conscious if (...) the “hard problem” is to be solved -- in any sense of ‘solve’ which would make us any the wiser about it -- but whose consciousness is quite different from the qualia and phenomena usually inventoried. Events of this kind are both part of the hard problem and the means by which we will solve it, if we ever do. (shrink)

We respond to Stephen T. Davis’ criticism of our earlier essay, “Assessing the Resurrection Hypothesis.” We argue that the Standard Model of physics is relevant and decisive in establishing the implausibility and low explanatory power of the Resurrection hypothesis. We also argue that the laws of physics have entailments regarding God and the supernatural and, against Alvin Plantinga, that these same laws lack the proviso “no agent supernaturally interferes.” Finally, we offer Bayesian arguments for the Legend hypothesis and against the (...) Resurrection hypothesis. (shrink)

In this paper I call attention to the fact that Lonergan gives two radically opposed accounts of how sense perception relates us to the external world and of how we know that this relation exists. I argue that the position that Lonergan characteristically adopts is not the one implied by what is most fundamental in his theory of cognition. I describe the initial epistemic position with regard to the problem of skepticism about the external material world that is in fact (...) implied by his theory of cognition, and I sort out some confusion about various forms of direct and representative perceptual realism. The paper concludes with a critique of Lonergan’s theory of description and explanation in empirical science that makes evident the difficulties into which he is led by lack of clarity in his theory of perception. (shrink)

Popper's account of refutation is the linchpin of his famous view that the method of science is the method of conjecture and refutation. This thesis critically examines his account of refutation, and in particular the practice he deprecates as avoiding a refutation. I try to explain how he comes to hold the views that he does about these matters; how he seeks to make them plausible; how he has influenced others to accept his mistakes, and how some of the ideas (...) or responses to Popper of such people are thus similarly mistaken. I draw some distinctions necessary to the provision of an adequate account of the so-called practice of avoiding a refutation, and try to rid the debate about this practice of at least one red herring. I analyse one case of 'avoiding' a refutation in detail to show how the rationality of scientific practice eludes both Popper and many of his commentators. Popper's skepticism about contingent knowledge prevents him from providing an acceptable account of contingent refutation, and so his method is really the method of conjecture and conjecture. He cannot do without the concepts of knowledge and refutation, however, if his account of science is to be plausible or persuasive, and so he equivocates between, amongst other things, refutation as disproof and refutation as the weaker notion of discorroboration. I criticise David Stove's account of this matter, in particular to show how he misses this point. An additional advantage Popper would secure from this equivocation is that if refutations were mere discorroborations they would be easier to achieve, and hence more common in science, than is the case. On Popper's weak notion of refutation, it would be possible to refute true theories since corroboration does not entail truth. There are two other related doctrines Popper holds about refutation which, if accepted, make some refutations seem easier to obtain than is the case. I call these doctrines 'Strong Popperian Falsificationism' (SPF) and 'Weak Popperian Falsificationism' (WPF). SPF is the false doctrine that if a prediction from some theory is refuted then that theory is refuted. Popper does not always endorse SPF. In particular, when confronted with a counterexample to it, he retreats to WPF, which is the false doctrine that if a prediction from some theory is refuted then that theory is prima facie refuted. WPF , or even SPF, can seem plausible if one has in mind predictions derived from theories in strong or conclusive tests of those theories, which I suggest Popper characteristically does. v Popper is disposed to describe any such case of predictive failure which does not lead to the refutation of the theory concerned as one in which that refutation has been avoided. To reinforce his portrayal of the refutation, or the attempted refutation, of major scientific theories as the rational core of scientific practice, Popper treats the so-called practice of avoiding a refutation as untypical of science, and much so-called avoidance he dismisses as unscientific or pseudo-scientific. I argue that his notion of avoiding a refutation is incoherent. Popper is further driven to believe that such avoidance is possible, however, because he conflates sentences with propositions and propositions with propositional beliefs. Also, he wishes to avoid being saddled with the relativisim that is a consequence of his weak account of refutation as discorroboration. Popper believes that ad hoc hypotheses are the most important of the unscientific means of avoiding a refutation. I argue that his account of such hypotheses is also incoherent, and that several hypotheses thought to be ad hoc in his sense are not. Such hypotheses appear to be so largely because of Popper's use of rhetoric and partly because these hypotheses are unacceptable for other reasons. I conclude that to know that a hypothesis is ad hoc in Popper's sense does not illuminate scientific practice. Popper has also attempted to explicate ad hocness in terms of some undesirable, or allegedly undesirable, properties of hypotheses or the explanations they would provide. The first such property is circularity, which is undesirable; the second such property is reduction in empirical content, which is not. In the former case I argue that non-circularity is clearly preferable to non-ad hocness as a criterion for a satisfactory explanation or explanans, as the case may be, and in the latter case that Popper is barking up the wrong tree. Some cases of so-called avoidance are obviously not unscientific. The discovery of Neptune from a prediction based on the reasonable belief that there were residual perturbations in the motion of Uranus is an important case in point, and one that is much discussed in the literature. The manifest failure of astronomers to account for Uranus's motion did not lead to the refutation of Newton's law of gravitiation, yet significant scientific progress obviously did result. Retreating to WPF, Popper claims that Newton's law was prima facie refuted. In general, astronomers have never shared this view, and they are correct in not doing so. I argue that the law of gravitation would have been prima facie refuted only if there had been good reason at the time to believe as false what is true, namely, that an unknown trans-Uranian planet was the cause of those Uranian residuals. Knowledge of the trans-Uranian region was then so slight that it was merely a convenient assumption, one which there was little reason to believe was false, that the known influences on Uranus's motion were the only such influences. I conclude that in believing vi or supposing that it was this assumption that was false, rather than the law of gravitation, Leverrier and Adams, the co-predictors of Neptune, were acting rationally and intelligently. Popper's commentators offer a variety of accounts of the alleged practice of avoiding a refutation, and of this case in particular. I analyse a sample of their accounts to show how common is the acceptance of some of Popper's basic mistakes, even amongst those who claim to reject his falsificationism, and to display the effects on their accounts of this acceptance of his mistakes. Many commentators recognize that anomalies are typically dealt with by changes in the boundary conditions or in other of the auxiliary propositions employed. Where many still go wrong, however, is in retaining the presupposition of WPF which encouraged Popper to hold the contradictory view about anomalies in the first place. Thus Imre Lakatos and others, for example, have developed a 'siege mentality' about major scientific theories; they see them as under continual threat of refutation from anomalies, and so come to believe that dogmatism is essential in science if such theories are to survive as they do. I examine various such doomed attempts to reconcile Popper with the history of science. It is a common failure in this literature to conflate or to fail to see the need to distinguish a belief from a supposition, and an epistemic reason from a pragmatic reason. I argue that only if one does draw these distinctions can one give an adequate account of how anomalies are rationally dealt with in science. The other important strand in Popper's thinking about 'avoidance' of refutation which has seriously misled some of his commentators is his unfounded belief in the dangers of ad hoc hypotheses. I examine the accounts that a sample of such commentators provide of the trans-Uranian planet hypotheses of Leverrier and Adams. These commentators imply or assert what Popper only hints at, namely, that there is something fishy about this hypothesis. I provide a further defence of the rationality of entertaining this hypothesis at the time. I conclude with a few remarks about Popper's dilemma in respect of scientific practice and his long standing emphasis on refutations. (shrink)

We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...) We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

In this paper I argue that Bonjour’s claim that empirical beliefs can only be justified by other empirical beliefs and his use of non-normative “spontaneous empirical beliefs” and the “The Doxastic Preumption” fail to solve the problems of coherence theory. I propose a justification of empirical (and other beliefs) based on the work of B. Lonergan.

In this paper I call attention to the fact that Lonergan gives two radically opposed accounts of how sense perception relates us to the external world and of how we know that this relation exists. I argue that the position that Lonergan characteristically adopts is not the one implied by what is most fundamental in his theory of cognition. I describe the initial epistemic position with regard to the problem of skepticism about the external material world that is in fact (...) implied by his theory of cognition, and I sort out some confusion about various forms of direct and representative perceptual realism. The paper concludes with a critique of Lonergan’s theory of description and explanation in empirical science that makes evident the difficulties into which he is led by lack of clarity in his theory of perception. (shrink)

I argue that a certain type of naturalist should not accept a prominent version of the no-miracles argument (NMA). First, scientists (usually) do not accept explanations whose explanans-statements neither generate novel predictions nor unify apparently disparate established claims. Second, scientific realism (as it appears in the NMA) is an explanans that makes no new predictions and fails to unify disparate established claims. Third, many proponents of the NMA explicitly adopt a naturalism that forbids philosophy of science from using any methods (...) not employed by science itself. Therefore, such naturalistic philosophers of science should not accept the version of scientific realism that appears in the NMA. (shrink)

Some 120,000 priests have left the Catholic Church in the past 60 years, a third of these in the United States. This book is a personal account of the life of a man who left the priesthood and transitioned into a successful career as an academic. His case illustrates the reasons for leaving that are fairly typical. But above and beyond these it details some deeper systemic problems that he encountered first in the religious realm and then in the secular (...) world into which he moved. Most of these emanate from disparate views about appropriate exercise of authority. Enhancing the story are some poems and a few career pertinent writings by the author. (shrink)

True contradictions are taken increasingly seriously by philosophers and logicians. Yet, the belief that contradictions are always false remains deeply intuitive. This paper confronts this belief head-on by explaining in detail how one specific contradiction is true. The contradiction in question derives from Priest's reworking of Berkeley's argument for idealism. However, technical aspects of the explanation offered here differ considerably from Priest's derivation. The explanation uses novel formal and epistemological tools to guide the reader through a valid argument (...) with, not just true, but eminently acceptable premises, to an admittedly unusual conclusion: a true contradiction. The novel formal and epistemological tools concern points of view and changes in points of view. The result is an understanding of why the contradiction is true. (shrink)

In this paper we reply to arguments of Kroon (“Characterization and Existence in Modal Meinongianism”. Grazer Philosophische Studien 86, 23–34) to the effect that Modal Meinongianism cannot do justice to Meinongian claims such as that the golden mountain is golden, and that it does not exist.

In the 1951 Gibbs lecture, Gödel asserted his famous dichotomy, where the notion of informal proof is at work. G. Priest developed an argument, grounded on the notion of naïve proof, to the effect that Gödel’s first incompleteness theorem suggests the presence of dialetheias. In this paper, we adopt a plausible ideal notion of naïve proof, in agreement with Gödel’s conception, superseding the criticisms against the usual notion of naïve proof used by real working mathematicians. We explore the connection (...) between Gödel’s theorem and naïve proof so understood, both from a classical and a dialetheic perspective. (shrink)

In this paper, we outline an approach to giving extensional truth-theoretic semantics for what have traditionally been seen as opaque sentential contexts. We outline an approach to providing a compositional truth-theoretic semantics for opaque contexts which does not require quantifying over intensional entities of any kind, and meets standard objections to such accounts. The account we present aims to meet the following desiderata on a semantic theory T for opaque contexts: (D1) T can be formulated in a first-order extensional language; (...) (D2) T does not require quantification over intensional entities­i.e., meanings, propositions, properties, relations, or the like­in its treatment of opaque contexts; (D3) T captures the entailment relations that hold in virtue of form between sentences in the language for which it is a theory; (D4) T has a finite number of axioms. If the approach outlined here is correct, it resolves a longstanding complex of problems in metaphysics, the philosophy of mind and the philosophy of language. (shrink)

The Pessimistic Induction over the history of science argues that because most past theories considered empirically successful in their time turn out to be not even approximately true, most present ones probably aren’t approximately true either. But why did past scientists accept those incorrect theories? Kyle Stanford’s ‘Problem of Unconceived Alternatives’ is one answer to that question: scientists are bad at exhausting the space of plausible hypotheses to explain the evidence available to them. Here, I offer another answer, which I (...) call the ‘Problem of Misleading Evidence.’ I argue that this proposal is, in important respects, superior to Stanford’s. (shrink)

This chapter argues that while quotation marks are polysemous, the thread that runs through all uses of quotation marks that involve reference to expressions is pure quotation, in which an expression formed by enclosing another expression in quotation marks refers to that enclosed expression. We defend a version of the so-called disquotational theory of pure quotation and show how this device is used in direct discourse and attitude attributions, in exposition in scholarly contexts, and in so-called mixed quotation in indirect (...) discourse and attitude attributions. We argue that uses of quotation marks that extend beyond pure quotation have two features in common. First, the expressions appearing in quotation marks are intended to be understood, and that they are intended to be understood is essential to the function that such quotations play in communication, though this does not always involve the expressions contributing their extensional properties to fixing truth conditions for the sentences in which they appear. Second, they appeal to a relation to the expression appearing in quotation marks that plays a role in determining the truth conditions of the sentences in which they appear. (shrink)