I identify the special sort of stability (invariance, resilience, etc.) that distinguishes laws from accidental truths. Although an accident can have a certain invariance under counterfactual suppositions, there is no continuum between laws and accidents here; a law's invariance is different in kind, not in degree, from an accident's. (In particular, a law's range of invariance is not "broader"--at least in the most straightforward sense.) The stability distinctive of the laws is used to explicate what it would mean for there (...) to be multiple grades (or degrees) of physical necessity. Whether there are is for science to discover. (shrink)

The Church-Turing thesis makes a bold claim about the theoretical limits to computation. It is based upon independent analyses of the general notion of an effective procedure proposed by Alan Turing and Alonzo Church in the 1930''s. As originally construed, the thesis applied only to the number theoretic functions; it amounted to the claim that there were no number theoretic functions which couldn''t be computed by a Turing machine but could be computed by means of some other kind of effective (...) procedure. Since that time, however, other interpretations of the thesis have appeared in the literature. In this paper I identify three domains of application which have been claimed for the thesis: (1) the number theoretic functions; (2) all functions; (3) mental and/or physical phenomena. Subsequently, I provide an analysis of our intuitive concept of a procedure which, unlike Turing''s, is based upon ordinary, everyday procedures such as recipes, directions and methods; I call them mundane procedures. I argue that mundane procedures can be said to be effective in the same sense in which Turing machine procedures can be said to be effective. I also argue that mundane procedures differ from Turing machine procedures in a fundamental way, viz., the former, but not the latter, generate causal processes. I apply my analysis to all three of the above mentioned interpretations of the Church-Turing thesis, arguing that the thesis is (i) clearly false under interpretation (3), (ii) false in at least some possible worlds (perhaps even in the actual world) under interpretation (2), and (iii) very much open to question under interpretation (1). (shrink)

This paper aims to answer the question: what does the realism of laws of nature consist of? To achieve this, in the first part, three philosophical accounts of laws of nature are presented and examined: the universalist, the dispositionalist and the counter-factualist. The presentation and examination focuses on the answer given by each of these accounts to the question: what is a law of nature? Later, in the second part, convergences and divergences between these three accounts are shown. Finally, in (...) the third section, the points of agreement between them are put together to advance the fundamental thesis that encompasses each of these accounts as realist accounts of laws of nature. This thesis, I argue, is at the end the core of the general realist stance on laws of nature that I name “Realism of Laws of Nature”. (shrink)

This paper aims to explain why the laws of nature are held fixed in counterfactual reasoning. I begin by highlighting three salient features of counterfactual reasoning: it is conservative, nomically guided, and it uses hindsight. I then present a rationale for our engagement in counterfactual reasoning that aims to make sense of these features. In particular, I argue that counterfactual reasoning helps us evaluate the evidential relations between unanticipated pieces of evidence and various hypotheses of interest about the history of (...) the actual world. Given this goal, it makes a great deal of sense that counterfactual reasoning would have the aforementioned features. Additionally, it turns out that this account of counterfactual reasoning is nicely congruent with Humean views of laws. Specifically, it can explain, in a Humean-friendly way, both why the laws are counterfactually resilient, and why we may be inclined to have anti-Humean intuitions in the first place, even if some form of Humeanism is correct. (shrink)

This paper is concerned with Sir Peter Strawson’s critical discussion of Paul Grice’s defence of the material implication analysis of conditionals. It argues that although Strawson’s own ‘consequentialist’ suggestion concerning the meaning of conditionals cannot be correct, a related and radically contextualist account is able to both account for the phenomena that motivated Strawson’s consequentialism, and to undermine the material implication analysis by providing a simpler account of the processes that we go through when interpreting conditionals.

Arthur Pap’s work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact that Pap’s views of dispositional and modal concepts were influential. As a sympathetic critic of logical empiricism, Pap, like Quine, saw a deep tension in logical empiricism at its very best in the work of Carnap. But Pap’s critique of Carnap is quite different from Quine’s, and represents the discovery of limits beyond which empiricism cannot go, where there (...) lies nothing other than intuitive knowledge of logic itself. Pap’s arguments for this intuitive knowledge anticipate Etchemendy’s recent critique of the model-theoretic account of logical consequence. Pap’s work also anticipates prominent developments in the contemporary neo-Fregean philosophy of mathematics championed by Wright and Hale. Finally, Pap’s major philosophical preoccupation, the concepts of necessity and possibility, provides distinctive solutions and perspectives on issues of contemporary concern in the metaphysics of modality. In particular, Pap’s account of modality allows us to see the significance of Kripke’s well-known arguments on necessity and apriority in a new light. (shrink)

A contextualist account of modal assertions is sketched that makes their truth sensitive to the presuppositions of the conversation. Support for the account is mustered by considering its application to the context-sensitivity of assertions of subjunctive conditional sentences, explanation sentences, and knowledge sentences.

I discuss three observations about backtracking counterfactuals not predicted by existing theories, and then motivate a theory of counterfactuals that does predict them. On my theory, counterfactuals quantify over a suitably restricted set of historical possibilities from some contextually relevant past time. I motivate each feature of the theory relevant to predicting our three observations about backtracking counterfactuals. The paper concludes with replies to three potential objections.

I argue that to know that a proposition is true one must have justification for being certain that the proposition is true. That is, one must have infallible epistemic justification for believing the proposition. It is widely accepted among epistemologists that we rarely, if ever, have such strong justification for our beliefs. It follows that there is precious little that we know. That conclusion is unacceptable to many philosophers. I argue that the positions that lead to the skeptical conclusion are (...) well-motivated and that the skeptical conclusion is implicitly accepted by ordinary speakers. My dissertation has three main components: a metaphilosophical position, an epistemological position, and an error theory. First, the metaphilosophical position. One very important part of philosophy is the analysis of our ordinary concepts. Analysis of our concepts begins with reflecting on what we are inclined to say about various actual and possible cases when considered under specific descriptions. This traditional method has recently come under attack, due in part to the rise of semantic externalism. I agree with externalists that if ‘meaning is reference’ then there is little reason to think reflecting on our concepts from the armchair will provide insight to the nature of the concepts we investigate. I defend a version of semantic internalism which grounds meaning in factors with which subjects are directly acquainted. That view supports the traditional methodology. Furthermore, as the goal of philosophical analysis is to accurately describe concepts of philosophical interest, the only kind of objection that could be decisive against a proposed analysis is that it does not correctly describe our concept. That opens the door to a skeptical analysis of knowledge. Second, the epistemological position. I argue that the unacceptability of sentences of the form “S knows that p but it is possible for S that not-p” is best explained by the hypothesis that our concept of knowledge requires having justification for being certain that what one believes is true. I offer as a criterion of justified certainty the idea that when one knows a proposition is true, one is in a position to decisively answer questions about one’s knowledge of that proposition. I survey a number of competing theories of knowledge and show that they allow for the possibility of knowledge when one fails my criterion of decisive answerability. Those views fail my criterion because according to those views there is nothing the subject is aware of that guarantees for the subject that the allegedly known proposition is true. On that basis, I contend that knowledge is direct awareness of the factors that constitute the truth of the proposition one believes. Third, the error theory. Of course, we rarely have direct awareness of the factors that constitute the truth of the propositions we believe. So, our knowledge attributions are generally false. Yet, they are overwhelmingly natural to make. I argue that competent speakers are often quick to recognize knowledge attributions as a kind of ‘loose talk’ akin to the way we loosely ascribe geometric properties to ordinary objects. We regularly call objects ‘square’ that are not even close to being square, and we are quick to recognize this when challenged. I argue that we do this because we are so accustomed to communicating using strict language to make false claims that we often do not attend to the literal falsity of what we are saying. While we accept very demanding standards for knowledge, the phenomenon of recognizing that our knowledge claims are regularly false is as pervasive as our use of loose speech. (shrink)