Identifying the necessary and sufficient conditions for individuating and classifying diseases is a matter of great importance in the fields of law, ethics, epidemiology, and of course, medicine. In this paper, I first propose a means of achieving this goal, ensuring that no two distinct disease-types could correctly be ascribed to the same disease-token. I then posit a metaphysical ontology of diseases—that is, I give an account of what a disease is. This is essential to providing the most effective means (...) of interfering with disease processes. Following existing work in the philosophy of medicine and epidemiology (primarily Christopher Boorse; Caroline Whitbeck; Alexander Broadbent), philosophy of biology (Joseph LaPorte; D.L. Hull), conditional analyses of causation (J.L. Mackie; David Lewis), and recent literature on dispositional essentialism (Stephen Mumford and Rani Anjum; Alexander Bird), I endorse a dispositional conception of disease. Following discussion of various conceptions of disease-identity, their relations to the clinical and pathological effects of the diseases in question, and how diseases are treated, I conclude (i) that diseases should be individuated by their causes, and (ii) that diseases are causal processes best seen as simultaneously acting sequences of mutually manifesting dispositions. (shrink)

Many necessitarians about cause and law (Armstrong 1983; Mumford 2004; Bird 2007) have argued that Humeans are unable to justify their inductive inferences, as Humean laws are nothing but the sum of their instances. In this paper I argue against these necessitarian claims. I show that Armstrong is committed to the explanatory value of Humean laws (in the form of universally quantified statements), and that contra Armstrong, brute regularities often do have genuine explanatory value. I finish with a Humean attempt (...) at a probabilistic justification of induction, but this fails due to its assumption that the proportionality syllogism is justified. Although this attempt fails, I nonetheless show that the Humean is at least as justified in reasoning inductively as Armstrong. (shrink)

The verbs cause, enable, and prevent express beliefs about the way the world works. We offer a theory of their meaning in terms of the structure of those beliefs expressed using qualitative properties of causal models, a graphical framework for representing causal structure. We propose that these verbs refer to a causal model relevant to a discourse and that “A causes B” expresses the belief that the causal model includes a link from A to B. “A enables/allows B” entails that (...) the model includes a link from A to B, that A represents a category of events necessary for B, and that an alternative cause of B exists. “A prevents B” entails that the model includes a link from A to B and that A reduces the likelihood of B. This theory is able to account for the results of four experiments as well as a variety of existing data on human reasoning. (shrink)

Criticisms have been aired before about the fear of certain Platonic abstract objects, propositions. That criticism extends to the widespread preference for an operator analysis of expressions like ‘It is true, known, obligatory that p’ as opposed to the predicative analysis in their equivalents ‘That p is true, known, obligatory’. The criticism in the present work also concerns Prior’s attitude to Platonic entities of a certain kind: not propositions, i.e., the referents of ‘that’-clauses, but individuals, i.e., the referents of Russell’s (...) ‘logically proper names’. Prior had a close knowledge of theories of individuals, including that of Russell. However, when Prior formulated his tense logic Q he presumed a non-Russellian, pre-suppositional account of individuals, such that they might exist at one time but not at another, and when they did not exist no statement could be made about them. This paper examines the correctness of such a pre-suppositional account of individuals, showing there are features of natural language it cannot account for. It is shown that the required features can be formalised in Hilbert’s epsilon calculus, and that using that calculus substantiates a Russellian understanding of ‘logically proper names’. (shrink)

My aim of this paper is to clarify, and in a certain very limited way to defend, historical theories of property rights (and their associated theories of social or distributive justice). It is important, I think, to better understand historical rights for several reasons: first, because of the extent to which historical theories capture commonsense, unphilosophical views about property and justice; then, because historical theories have fallen out of philosophical fashion, and are consequently not much scrutinized anymore; and finally, because (...) of (what I see as) the continuing need to better understand the historical components of our society's responsibilities to the descendants of victims of systematic injustice in our own past. The case I will have in mind throughout is that of the property claims of Native American tribes, claims based on their historical standing as the original owners of certain lands and resources. And while I will concentrate here only on the question of rectifying past violations of property rights, this will constitute at least a start to answering more general questions about just rectification, which includes the more serious and less compensable wrongs of violence against persons. (shrink)

In this paper, the meanings of sentences containing the word or and a modal verb are used to arrive at a novel account of the meaning of or coordinations. It is proposed that or coordinations denote sets whose members are the denotations of the disjuncts; and that the truth conditions of sentences containing or coordinations require the existence of some set made available by the semantic environment which can be ‘divided up’ in accordance with the disjuncts. The relevant notion of (...) ‘dividing things up’ is made explicit in the paper. Detailed attention is given to the question of how the proposed truth conditions are derived from the syntactic input. The account offered allows for the derivation of both the disjunctive and the nondisjunctive readings of modal/or sentences, including the much-discussed free choice readings of may/or sentences. (shrink)

In this essay I enter into a recently published debate between Stephen Schiffer and Jerry Fodor concerning whether adequate sense can be made of the ceteris paribus conditions in special science laws, much of their focus being on the case of putative psychological laws. Schiffer argues that adequate sense cannot be made of ceteris paribus clauses, while Fodor attempts to overcome Schiffer's arguments, in defense of special science laws. More recently, Peter Mott has attempted to show that Fodor's response to (...) Schiffer fails, and furthermore that further study shows that the logical framework in which Schiffer and Fodor address their issue is susceptible to inconsistency.In this essay I argue that adequate sense can be made of ceteris paribus conditions. Against Mott, I argue that recent work in the model theory of non-monotonic logic indicates how his problem involving logical inconsistencies can be overcome. Against Schiffer, I argue that the claims that he makes against ceteris paribus clauses would lead to a fatal skepticism concerning indefinitely many of the claims we make about the world (and indeed that his claims would be destructive of the view of the special sciences that Schiffer himself presents in his paper), and that the semantical considerations from non-monotonic logic that I present provide a suitable framework for dealing with his complaints. Thus I come out on the whole on Fodor's side of this debate, although for my own reasons, as I argue against much of Fodor's own argumentation. (shrink)

This paper develops a contextualist account of certain recalcitrant embedding phenomena with epistemic modals. I focus on three prominent objections to contextualism from embedding: first, that contextualism mischaracterizes subjects’ states of mind; second, that contextualism fails to predict how epistemic modals are obligatorily linked to the subject in attitude ascriptions; and third, that contextualism fails to explain the persisting anomalousness of so-called “epistemic contradictions” in suppositional contexts. Contextualists have inadequately appreciated the force of these objections. Drawing on a more general (...) framework for implementing a contextualist theory, I argue that we can derive the distinctive embedding behavior of epistemic modals from a particular contextualist interpretation of a standard semantics for modals, general mechanisms of local interpretation, and typical features of discourse contexts. Examining embedding phenomena with epistemic modals raises difficult broader issues about conventionalization and pragmatic reasoning, the varieties of context-sensitive language, and the roles of context in interpretation. The paper concludes by briefly examining how the proposed contextualist account compares with certain relativist/expressivist accounts. (shrink)

Expressivism promises an illuminating account of the nature of normative judgment. But worries about the details of expressivist semantics have led many to doubt whether expressivism's putative advantages can be secured. Drawing on insights from linguistic semantics and decision theory, I develop a novel framework for implementing an expressivist semantics that I call ordering expressivism. I argue that by systematically interpreting the orderings that figure in analyses of normative terms in terms of the basic practical attitude of conditional weak preference, (...) the expressivist can explain the semantic properties of normative sentences in terms of the logical properties of that attitude. Expressivism's problems with capturing the logical relations among normative sentences can be reduced to the familiar, more tractable problem of explaining certain coherence constraints on preferences. Particular attention is given to the interpretation of wide-scope negation. The proposed solution is also extended to other types of embedded contexts—most notably, disjunctions. (shrink)

Kolodny and MacFarlane have made a pioneering contribution to our understanding of how the interpretation of deontic modals can be sensitive to evidence and information. But integrating the discussion of information-sensitivity into the standard Kratzerian framework for modals suggests ways of capturing the relevant data without treating deontic modals as “informational modals” in their sense. I show that though one such way of capturing the data within the standard semantics fails, an alternative does not. Nevertheless I argue that we have (...) good reasons to adopt an information-sensitive semantics of the general type Kolodny and MacFarlane describe. Contrary to the standard semantics, relative deontic value between possibilities sometimes depends on which possibilities are live. I develop an ordering semantics for deontic modals that captures this point and addresses various complications introduced by integrating the discussion of information-sensitivity into the standard semantic framework. By attending to these complexities, we can also illuminate various roles that information and evidence play in logical arguments, discourse, and deliberation. (shrink)

Contextualists and relativists about predicates of personal taste, epistemic modals, and so on (“CR-expressions”) agree that the interpretation of these expressions depends, in some sense, on context. Relativists claim that the sort of context-sensitivity exhibited by CR-expressions is importantly different from that exhibited by paradigm context-sensitive expressions. This bifurcation is often motivated by the claim that the two classes of expressions behave differently in patterns of agreement and disagreement. I provide cases illustrating that the same sorts of discourse phenomena that (...) have been thought problematic for contextualists can arise with paradigm context-sensitive expressions. These cases motivate a more unified treatment of paradigm context-sensitive expressions and the expressions that have figured in recent contextualism/relativism debates. (shrink)

Statues and lumps of clay are said by some to coincide - to be numerically distinct despite being made up of the same parts. They are said to be numerically distinct because they differ modally. Coincident objects would be non-modally indiscernible, and thus appear to violate the supervenience of modal properties on nonmodal properties. But coincidence and supervenience are in fact consistent if the most fundamental modal features are not properties, but are rather relations that are symmetric as between coincident (...) entities, relations such as "opposite-possibly surviving being squashed". (shrink)

In response to various shortcomings of regularity theories of natural law, some philosophers of a realist bent have recently been drawn to the view that a law of nature is a relation between universals. Heading this group are Michael Tooley and D. M. Armstrong.

According to Timothy Williamson, we should accept the simplest and most powerful second-order modal logic, and as a result accept an ontology of "bare possibilia". This general method for extracting ontology from logic is salutary, but its application in this case depends on a questionable assumption: that modality is a fundamental feature of the world.

Most facts of grounding involve nonfundamental concepts, and thus must themselves be grounded. But how? The leading approaches—due to Bennett, deRosset, and Dagupta—are subject to objections. The way forward is to deny a presupposition common to the leading approaches, that there must be some simple formula governing how grounding facts are grounded. Everyone agrees that facts about cities might be grounded in some complex way about which we know little; we should say the same about the facts of grounding themselves. (...) The kinds of facts that might enter into the grounds of the facts of grounding are explored at length. (shrink)

Humeans and anti-Humeans agree that laws of nature should explain scientifically particular matters of fact. One objection to Humean accounts of laws contends that Humean laws cannot explain particular matters of fact because their explanations are harmfully circular. This article distinguishes between metaphysical and semantic characterizations of the circularity and argues for a new semantic version of the circularity objection. The new formulation suggests that Humean explanations are harmfully circular because the content of the sentences being explained is part of (...) the content of the sentences doing the explaining. I describe the nature of partial content and demonstrate how this account of partial content renders Humean explanations ineffective while sparing anti-Humean explanations from the same fate. 1Introduction2Standard Formulations of the Circularity Charge3Humean Responses4Semantic Characterizations of the Circularity Worry 4.1Hempel and Oppenheim’s semantic circularity concern4.2A new version of the semantic circularity charge4.3Partial content as a guide to circularity5Humean Responses to the Semantic Circularity Charge 5.1Smuggling in metaphysics through the back door?5.2Do anti-Humean laws fare any better?5.3The over-generalization concern6ConclusionAppendix. (shrink)

Byrne's criteria for considering imagination rational do not accord with standard notions of rationality. A different criterion is offered and illustrated with recent work on possibility judgment. This analysis suggests that, although imagination can be put to rational purposes, imagination itself should not be considered rational.

H.P. Stapp has proposed a number of demonstrations of a Bell-type theorem which dispensed with an assumption of hidden variables, but relied only upon locality together with an assumption that experimenters can choose freely which of several incompatible observables to measure. In recent papers his strategy has centered upon counterfactual conditionals. Stapp’s paper in American Journal of Physics, 2004, replies to objections raised against earlier expositions of this strategy and proposes a simplified demonstration. The new demonstration is criticized, several subtleties (...) in the logic of counterfactuals are pointed out, and the proofs of J.S. Bell and his followers are advocated. (shrink)

Causal necessity typically receives only oblique attention. Causal relations, laws of nature, counterfactual conditionals, or dispositions are usually the immediate subject(s) of interest. All of these, however, have a common feature. In some way, they involve the causal modality, some form of natural or physical necessity. In this paper, causal necessity is discussed with the purpose of determining whether a completely general empiricist theory can account for the causal in terms of the noncausal. Based on an examination of causal relations, (...) laws of nature, counterfactual conditionals, and dispositions, it is argued that no reductive program devoid of essentialist commitments can account for all the phenomena that involve causal necessity. Hence, neo-Humean empiricism fails to provide a framework adequate for understanding causal necessity. (shrink)

Christian List and Peter Menzies 2009 have looked to interventionist theories of causation for an answer to Jaegwon Kim's causal exclusion problem. Important to their response is the idea of realization-insensitivity. However, this idea becomes mired in issues concerning multiple realization, leaving it unable to fulfil its promise to block exclusion. After explaining why realization-insensitivity fails as a solution to Kim's problem, I look to interventionism to describe a different kind of solution.

Przedmiotem prezentowanego artykułu jest spor o wartości logiczne kontrfaktycznych okresów warunkowych z niemożliwym poprzednikiem. Zgodnie z rozpowszechnionymi analizami każdy taki okres warunkowy jest prawdziwy. Pogląd ten określany jest mianem ortodoksyjnego i przeciwstawiany jest mu pogląd nieortodoksyjny, który uznaje, że tylko niektóre spośród kontrmożliwych okresów warunkowych są prawdziwe, a inne są fałszywe. W jednym ze swoich ostatnich tekstów Timothy Williamson argumentował na rzecz tezy, że konsekwencje poglądu nieortodoksyjnego są niespójne z motywacjami leżącymi u podstaw tego poglądu. Celem artykułu jest polemika z (...) krytyką Williamsona oraz wskazanie na możliwość spójnego odczytania postulatów zwolenników stanowiska nieortodoksyjnego. (shrink)

What is the proper way to draw the semantics-pragmatics distinction, and is what is said by a speaker ever enriched by pragmatics? An influential but controversial answer to the latter question is that the inputs to semantic interpretation contains representations of every contribution from context that is relevant to determining what is said, and that pragmatics never enriches the output of semantic interpretation. The proposal is bolstered by a controversial argument from syntactic binding designed to detect hidden syntactic structure. The (...) following contains an exposition and consideration of the argument. (shrink)

Nina Emery and Christopher Hill proposed a pragmatic approach toward the debate about counterpossibles—i.e., counterfactuals with impossible antecedents. The core of this approach is to move the burden of the problem from the notion of truth value into the notion of assertion. This is meant to explain our pre-theoretical intuitions about counterpossibles while claiming that each and every counterpossible is vacuously true. The aim of this paper is to indicate a problematic aspect of this view.

Celem tego artykułu było wykazanie, że ortodoksyjna analiza kontrmożliwych okresów warunkowych prowadzi do niepokojącej konsekwencji. Jest nią niemożność odróżnienia poszczególnych, z konieczności fałszywych teorii. Problem ten opiera się w dużej mierze na związku pomiędzy okresami warunkowymi oraz analizą wyrażeń zawierających operator opowieści. Nie musi to oznaczać, że zwolennik analizy ortodoksyjnej nie może dostarczyć alternatywnego sformułowania różnic pomiędzy teoriami z konieczności fałszywymi. Tym niemniej, nie może on tego dokonać poprzez użycie okresów warunkowych. Te natomiast – jak wskazują zarówno filozofowie oraz psycholodzy (...) rozwoju poznawczego – stanowią naturalny środek wyrazu wnioskowania o konsekwencjach zajścia tego, co faktycznie nie zaszło. Niezależnie od tego, czy jest to konsekwencja zajścia czysto możliwego, czy niemożliwego stanu rzeczy. Podczas gdy analizy prezentowane w ramach podejścia nieortodoksyjnego dostarczają wyjaśnienia tego zjawiska, stanowisko ortodoksyjne nakazuje podważenie moż- liwości takich rozumowań. Stąd można uznać, że w kwestii sporu o adekwatną analizę okresów warunkowych przewaga znajduje się po stronie nieortodoksyjnej. (shrink)

We elucidate the conditions under which any hypothesis is explanatorily relevant by analyzing several tests of explanatory relevance and explanations based on those tests. A new causal criterion of explanatory relevance is developed and defended. We show how the causal criterion succeeds in establishing, at the very least, a very strong presumption against moral facts.

The aim of this paper is to argue in favor of the view that some counterpossibles are false. This is done indirectly by showing that accepting the opposite view, i.e., one that ascribes truth to each and every counterpossible, results in the claim that every necessarily false theory has exactly the same consequences. Accordingly, it is shown that taking every counterpossible to be true not only undermines the value of debates over various alternative theories and their consequences, but also puts (...) into question the very possibility of such debates. In order to explicate this thesis, the close bond between counterpossibles and the so-called story prefix is explored. A number of possible responses to this criticism are also presented, and it is argued that none of them address the main problem. (shrink)

According to the most popular theories, counterfactuals with impossible antecedents are vacuously true. Critiques of this view argue that contrary to this, we tend to consider only some of them true and others to be false. In his recent paper Timothy Williamson has ingeniously explained the motivations for the orthodox view and argued that although there are some heuristic reasons that may suggest the plausibility of the unorthodox view, they are fallible. The most important of Williamson’s arguments is that the (...) unorthodox interpretation is inconsistent with the heuristic assumption that supposedly motivates this very view. The aim of this paper is to consider Williamson’s critique and to support the unorthodox approach towards counterpossibles. In order to do so, we argue in favor of the modified version of the heuristic assumption. (shrink)

The success of the AGM paradigmn, Gis remarkable, as even a quick look at the literature it has generated will testify. But it is also remarkable, at least in hindsight, how limited was the original effort. For example, the theory concerns the beliefs of just one agent; all incoming information is accepted; belief change is uniquely determined by the new information; there is no provision for nested beliefs. And perhaps most surprising: there is no analysis of iterated change.

This paper consists of some lecture notes in which conditional logic is treated as an extension of modal logic. Completeness and filtration theorems are provided for some basis systems.

This paper suggests that it should be possible to develop dynamic deontic logic as a counterpart to the very successful development of dynamic doxastic logic (or dynamic epistemic logic, as it is more often called). The ambition, arrived at towards the end of the paper, is to give formal representations of agentive concepts such as “the agent is about to do (has just done) α ” as well as of deontic concepts such as “it is obligatory (permissible, forbidden) for the (...) agent to do α ”, where α stands for an action (event). (shrink)

This paper explores the possibility of supplementing the suppositional view of indicative conditionals with a corresponding view of epistemic modals. The most striking feature of the suppositional view consists in its claim that indicative conditionals are to be evaluated by conditional probabilities. On the basis of a natural link between indicative conditionals and epistemic modals, a corresponding thesis about the probabilities of statements governed by epistemic modals can be derived. The paper proceeds by deriving further consequences of this thesis, in (...) particular, the logic of epistemic modals and their logical interaction with indicative conditionals are studied. (shrink)

The expansion or revision of false theories by true evidence does not always increase their verisimilitude. After a comparison of different notions of verisimilitude the relation between verisimilitude and belief expansion or revision is investigated within the framework of the relevant element account. We are able to find certain interesting conditions under which both the expansion and the revision of theories by true evidence is guaranteed to increase their verisimilitude.

This paper concerns anti-Humean intuitions about connections in nature. It argues for the existence of a de re link that is not necessity.Some anti-Humeans tacitly assume that metaphysical necessity can be used for all sorts of anti-Humean desires. Metaphysical necessity is thought to stick together whatever would be loose and separate in a Hume world, as if it were a kind of universal superglue.I argue that this is not feasible. Metaphysical necessity might connect synchronically co-existent properties—kinds and their essential features, (...) for example—but it is difficult to see how it could also serve as the binding force for successions of events. That is, metaphysical necessity seems not to be fit for diachronic, causal affairs in which causal laws, causation, or dispositions are involved. A different anti-Humean connection in nature has to do that job.My arguments focus mainly on a debate which has been the battleground for Humean vs. anti-Humean intuitions for many decades—namely, the analysis of dispositional predicates—yet I believe (but do not argue here) that the arguments generalise to causation and causal laws straightforwardly. (shrink)

The better best system account, short BBSA, is a variation on Lewis’s theory of laws. The difference to the latter is that the BBSA suggests that best system analyses can be executed for any fixed set of properties. This affords the possibility to launch system analyses separately for the set of biological properties yielding the set of biological laws, chemical properties yielding chemical laws, and so on for the other special sciences. As such, the BBSA remains silent about possible interrelations (...) between these freestanding sets of laws. In this paper, I explicate an emergence relation between them which preserves the autonomy or novelty of each special science’s laws but also shows their dependence: the autonomy of each level’s generalisations is given because nomicity is conferred to them system intrinsic, their dependence is established via their supervenience on lower level laws. As will be shown, the autonomy of special science laws is further strengthened by their ceteris paribus character. (shrink)

There seem to be two ways of supposing a proposition: supposing “indicatively” that Shakespeare didn’t write Hamlet, it is likely that someone else did; supposing “subjunctively” that Shakespeare hadn’t written Hamlet, it is likely that nobody would have written the play. Let P be the probability of B on the subjunctive supposition that A. Is P equal to the probability of the corresponding counterfactual, A □→B? I review recent triviality arguments against this hypothesis and argue that they do not succeed. (...) On the other hand, I argue that even if we can equate P with P, we still need an account of how subjunctive conditional probabilities are related to unconditional probabilities. The triviality arguments reveal that the connection is not as straightforward as one might have hoped. (shrink)

Systems of logico-probabilistic reasoning characterize inference from conditional assertions that express high conditional probabilities. In this paper we investigate four prominent LP systems, the systems _O, P_, _Z_, and _QC_. These systems differ in the number of inferences they licence _. LP systems that license more inferences enjoy the possible reward of deriving more true and informative conclusions, but with this possible reward comes the risk of drawing more false or uninformative conclusions. In the first part of the paper, we (...) present the four systems and extend each of them by theorems that allow one to compute almost-tight lower-probability-bounds for the conclusion of an inference, given lower-probability-bounds for its premises. In the second part of the paper, we investigate by means of computer simulations which of the four systems provides the best balance of reward versus risk. Our results suggest that system _Z_ offers the best balance. (shrink)

Is the relation between properties and the causal powers they confer necessary, or contingent? Necessary, says Sydney Shoemaker, on pain of skepticism about the properties. Contingent, says David Lewis, swallowing the skeptical conclusion. I shall argue that Lewis is right about the metaphysics, but that Shoemaker and Lewis are wrong about the epistemology. Properties have intrinsic natures (quiddities), which we can know.

In this paper an approach to the exhaustive interpretation of answers is developed. It builds on a proposal brought forward by Groenendijk and Stokhof (1984). We will use the close connection between their approach and McCarthy's (1980, 1986) predicate circumscription and describe exhaustive interpretation as an instance of interpretation in minimal models, well-known from work on counterfactuals (see for instance Lewis (1973)). It is shown that by combining this approach with independent developments in semantics/pragmatics one can overcome certain limitations of (...) Groenenedijk and Stokhof's (1984) proposal. In the last part of the paper we will provide a Gricean motivation for exhaustive interpretation building on work of Schulz (to appear) and van Rooij and Schulz (2004). (shrink)

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to ‘possible worlds’. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact apervasive symmetrybetween the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical features situate (...) the reference of terms as near, far or ‘further’ from the actual or from a reported speech act. We outline various directions in which a program ofontological symmetrycould be developed, and we offer in theAppendixa symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (shrink)

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to 'possible worlds'. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact a pervasive symmetry between the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical (...) features situate the reference of terms as near, far or 'further' from the actual or from a reported speech act. We outline various directions in which a program of ontological symmetry could be developed, and we offer in the Appendix a symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (shrink)

I argue that none of the usual interpretations of probability provide an adequate interpretation of probabilistic theories in science. Assuming that the aim of such theories is to capture noisy relationships in the world, I suggest that we do not have to give them classical truth-conditional content at all: their probabilities can remain uninterpreted. Indirectly, this account turns out to explain what is right about the frequency interpretation, the best-systems interpretation, and the epistemic interpretation.

Normic Laws and the Significance of Nonmonotonic Reasoning for Philosophy of Science. Normic laws have the form ‘if A then normally B’. They have been discovered in the explanation debate, but were considered as empirically vacuous (§1). I argue that the prototypical (or ideal) normality of normic laws implies statistical normality (§2), whence normic laws have empirical content. In §3–4 I explain why reasoning from normic laws is nonmonotonic, and why the understanding of the individual case is so important here. (...) After sketching some foundations of nonmonotonic reasoning as developed by AI-researchers (§5), Iargue that normic laws are also the best way to understand ceteris paribus laws (§6). §7 deals with the difference between physical and non-physical disciplines and §9 with the difference between normicity and approximation. In §8 it is shown how nonmonotonic reasoning provides a new understanding of the protection of theories against falsification by auxiliary hypotheses. §10, finally, gives a system- and evolution-theoretical explanation of the deeper reason for the omnipresence of normic laws in practice and science, and forthe connection between ideal and statistical normality. (shrink)

There is a renewed debate about modus ponens. Strikingly, the recent counterexamples in Cantwell, Dreier and MacFarlane and Kolodny are generated by restricted readings of the ‘if’-clause. Moreover, it can be argued on general grounds that the restrictor view of conditionals developed in Kratzer and Lewis leads to counterexamples to modus ponens. This paper provides a careful analysis of modus ponens within the framework of the restrictor view. Despite appearances to the contrary, there is a robust sense in which modus (...) ponens is valid, owing to the fact that conditionals do not only allow for restricted readings but have bare interpretations, too. (shrink)