The paper offers a new understanding of induction in the empirical sciences, one which assimilates it to induction in geometry rather than to statistical inference. To make the point a system of notions, essential to logically sound induction, is defined. Notable among them are arbitrary object and particular property. A second aim of the paper is to bring to light a largely neglected set of assumptions shared by both induction and deduction in the empirical sciences. This is made possible by (...) appealing to the logic of common nouns and applying it to the logic of natural-kind terms.This strategy yields a new insight into the concept of natural kinds. While the strategy reveals deep affinity between empirical induction and deduction it also reveals two problems peculiar to induction. This helps to explain the intuition that induction is the more problematic of the two. The paper does not set out ‘to solve the problem of induction’. 1The paper has benefited from the support and critical comments of several friends: Steven Davis, Kevin Dunbar, Anil Gupta, Michael Hallett, Ray Jackendoff and Storrs McCall. Two friends, however, deserve special thanks, Michael Makkai and Gonzalo Reyes. Many of the points made in the paper, otherwise unacknowledged, are due to their generosity and patience. In fact, the paper can be seen as an application of the logic of kinds on which Gonzalo Reyes has been working for several years. (shrink)

In this paper a dialogical account of begging the question is applied to various contexts which are not obviously dialogues: - reading prose, working through a deductive system, presenting a legal case, and thinking to oneself. The account is then compared with that in chapter eight of D. Walton'sBegging the Question (New York; Greenwood, 1991).

In cognitive psychology, concepts are those data structures that are stored in long-term memory and are used by default in human beings.

There are two primary arguments against scientific realism, one pertaining to underdetermination, the other to the history of science. While these arguments are usually treated as altogether distinct, P. Kyle Stanford's ‘problem of unconceived alternatives’ constitutes one kind of synthesis: I propose that Stanford's argument is best understood as a broad modus ponens underdetermination argument, into which he has inserted a unique variant of the historical pessimistic induction. After articulating three criticisms against Stanford's argument and the evidence that he offers, (...) I contend that, as it stands, Stanford's argument poses no threat to contemporary scientific realism. Nonetheless, upon identifying two useful insights present in Stanford's general strategy, I offer an alternative variant of the modus ponens underdetermination argument, one that, although historically informed by science, requires no inductive premises. I contend that this non-inductive but historically informed variant of the modus ponens clarifies and considerably strengthens the case against scientific realism. (shrink)

Philosophers have recently expressed interest in accounting for the usefulness of mathematics to science. However, it is certainly not a new concern. Putnam and Quine have each worked out an argument for the existence of mathematical objects from the indispensability of mathematics to science. Were Quine or Putnam to disregard the applicability of mathematics to science, he would not have had as strong a case for platonism. But I think there must be ways of parsing mathematical sentences which account for (...) applicability of mathematics and also do not require us to believe in entities we have no evidence for, other than through reading these sentences literally. We will explore a particular way to interpret sentences of arithmetic which promises to account for their applicability without bringing in metaphysics not also brought in by science. The investigation will be limited to the arithmetic of cardinal numbers. The general strategy is to argue for the analogy between arithmetic and science, rather than to argue for one case having a particular characteristic independently of the other. (shrink)

In recent years, the term experimental phenomenology has come to refer to the work of various researchers, mainly Italian, of whom Gaetano Kanizsa and Paolo Bozzi are the most representative. Their work is well presented in this article by Bianchi and Burro (2022). My objection is to what I consider to be the misnomer and misleading name “experimental phenomenology,” which gives the impression that we are dealing with a homogeneous group following a unified approach. However, this is not the case. (...) The phenomenological view is not the same for everyone, ranging from borrowings from Gestalt theory, as in Kanizsa, to Gibsonian ecologism, as in Bozzi. And, most importantly, the research designs of these researchers are only sometimes experimental, sometimes quasi-experimental, but more often non-experimental. (shrink)

Philosophers have made numerous and varied attempts to analyse the concept of a miracle. To the end, an assortment of necessary and sufficient conditions for the truth an instantiation of a miracle have been offered. In this paper we discuss one of the most common of these conditions - the violation restriction. This restriction holds that all miracles involve a violation of a law of nature.

The paper discusses the evolving concept of causationin epidemiology and its potential interaction with logic and scientific philosophy. Causes arecontingent but the necessity which binds them totheir effects relies on contrary-to-fact conditionals,i.e. conditional statements whose antecedent is false.Chance instead of determinism plays a growing role inscience and, although rarely acknowledged yet, inepidemiology: causes are multiple and chancy; a priorevent causes a subsequent event if the probabilitydistribution of the subsequent event changesconditionally upon the probability of the prior event.There are no known (...) sufficient causes in epidemiology.We merely observe tendencies toward sufficiency ortendencies toward necessity: cohort studies evaluatethe first tendencies, and case-control studies thelatter.In applied sciences, such as medicine andepidemiology, causes are intrinsically connected withgoals and effective strategies: they are recipewhich have a potential harmful or sucessful use; theyare contrastive since they make a differencebetween circumstances in which they are present andthose in which they are absent: causes do notexplain Event E but event E rather thaneven F. Causation is intrinsically linked with thenotion of ``what is pathological''.Any definition of causation will inevitably collapseinto the use made of epidemiologic methods. Theprogressive methodological sophistication of the lastforty years is in perfect alignment with a gradualimplicit overhaul of our concept of causation. (shrink)

ABSTRACTThis article, which summarises some of the main arguments of Analogical Investigations [Lloyd 2015], undertakes a comparative cross-cultural critique of the dominant Western view that downgrades analogy especially when that is contrasted unfavourably with a notion of axiomatic-deductive demonstration aiming to secure incontrovertible conclusions. It draws on materials from ancient Greece, ancient China and modern social anthropology and philosophy of science to explore the problems of translation and mutual intelligibility. It develops the idea of semantic stretch to qualify the literal/metaphorical (...) dichotomy and the notion of the multidimensionality of reality to clarify aspects of the controversy between realism and relativism. (shrink)

I first give a brief summary of a critique of the traditional theories of approximation and idealization; and after identifying one of the major roles of idealization as detaching component processes or systems from their joints, a detailed analysis is given of idealized laws – which are discoverable and/or applicable – in such processes and systems (i.e., idealized model systems). Then, I argue that dispositional properties should be regarded as admissible properties for laws and that such an inclusion supplies the (...) much needed connection between idealized models and the laws they `produce'' or `accommodate''. And I then argue that idealized law-statements so produced or accommodated in the models may be either true simpliciter or true approximately, but the latter is not because of the idealizations involved. I argue that the kind of limiting-case idealizations that produce approximate truth is best regarded as approximation; and finally I compare my theory with some existing theories of laws of nature.We seem to trace [in KingLear] ... the tendency of imagination toanalyse and abstract, to decomposehuman nature into its constituentfactors, and then to construct beings in whomone or more of these factors isabsent or atrophied or only incipient. (shrink)

In this paper, a criticism of the traditional theories of approximation and idealization is given as a summary of previous works. After identifying the real purpose and measure of idealization in the practice of science, it is argued that the best way to characterize idealization is not to formulate a logical model – something analogous to Hempel's D-N model for explanation – but to study its different guises in the praxis of science. A case study of it is then made (...) in thermostatistical physics. After a brief sketch of the theories for phase transitions and critical phenomena, I examine the various idealizations that go into the making of models at three difference levels. The intended result is to induce a deeper appreciation of the complexity and fruitfulness of idealization in the praxis of model-building, not to give an abstract theory of it. (shrink)

According to a causal model of explanation, we explain phenomena by giving their causes or, where the phenomena are themselves causal regularities, we explain them by giving a mechanism linking cause and effect. If we explain why smoking causes cancer, we do not give the cause of this causal connection, but we do give the causal mechanism that makes it. The claim that to explain is to give a cause is not only natural and plausible, but it also avoids many (...) of the objections to other accounts of explanation, such as the views that to explain is to give a reason to believe the phenomenon occurred, to somehow make the phenomenon familiar, or to give a Deductive-Nomological argument. Unlike the reason for belief account, a causal model makes a clear distinction between understanding why a phenomenon occurs and merely knowing that it does, and the model does so in a way that makes understanding unmysterious and objective. Understanding is not some sort of super-knowledge, but simply more knowledge: knowledge of the phenomenon and knowledge of its causal history. A causal model makes it clear how something can explain without itself being explained, and so avoids the regress of whys, since we can know a phenomenon's cause without knowing the cause of the cause. It also accounts for legitimate self-evidencing explanations, explanations where the phenomenon is an essential part of the evidence that the explanation is correct, so the explanation can not supply a non-circular reason for believing the phenomenon occurred. There is no barrier to knowing a cause through its effects and also knowing that it is their cause. The speed of recession of a star explains its observed red-shift, even though the shift is an essential part of the evidence for its speed of recession. The model also avoids the most serious objection to the familiarity view, which is that some phenomena are familiar yet not understood, since a phenomenon can be perfectly familiar, such as the blueness of the sky or the fact that the same side of the moon always faces the earth, even if we do not know its cause. Finally, a causal model avoids many of the objections to the Deductive-Nomological model. Ordinary explanations do not have to meet the requirements of the Deductive-Nomological model, because one does not need to give a law to give a cause, and one does not need to know a law to have good reason to believe that a cause is a cause. As for the notorious over-permissiveness of the Deductive-Nomological model, the reason recession explains red-shift but not conversely, is simply that causes explain effects but not conversely, and the reason a conjunction of laws does not explain its conjuncts is that conjunctions do not cause their conjuncts. (shrink)

Science depends on judgments of the bearing of evidence on theory. Scientists must judge whether an observation or the result of an experiment supports, disconfirms, or is simply irrelevant to a given hypothesis. Similarly, scientists may judge that, given all the available evidence, a hypothesis ought to be accepted as correct or nearly so, rejected as false, or neither. Occasionally, these evidential judgments can be made on deductive grounds. If an experimental result strictly contradicts a hypothesis, then the truth of (...) the data deductively entails the falsity of the hypothesis. In the great majority of cases, however, the connection between evidence and hypothesis is non-demonstrative, or inductive. In particular, this is so whenever a general hypothesis is inferred to be correct on the basis of the available data, since the truth of the data will not deductively entail the truth of the hypothesis. It always remains possible that the hypothesis is false even though the data are correct. (shrink)

This article presents the promising framework for educational decision makers developed by Brighouse, Ladd, Loeb, and Swift. The framework consists of an account of the educational goods, distributional principles and independent values at stake in education, and a method for making policy decisions on the basis of these and solid social science. I present three criticisms of this approach. The first says that the derivation of educational goods proceeds on the basis of a too narrow conception of values. I suggest (...) that this foundation should consist of an overlapping consensus, rather than flourishing. The second criticism has to do with the way that the distributive principles are characterized. I argue that BLLS’s characterization of distributive principles should be complemented with accounts of what domains of social life these principles regulate and a specification of whether the distributive principles should be understood as applying over time or at specific instances. The final criticism is that BLLS’s conception of independent values focuses solely on values that constrain the pursuit of educational goods. I claim that this part of the framework should be revised to include aspects of values that also support this pursuit. I conclude arguing that the BLLS frameworks should be further developed rather than rejected. (shrink)

A standard problem in empirical inquiry is how to adjudicate between contending theories when they work from different fundamental assumptions. In the field of political sociology, several strategies are adopted, from metatheoretical and comparative historical approaches to the recent formal models of scientific growth proposed by Imre Lakatos and Larry Laudan. After considering the limitations of these approaches, I develop an alternative strategy—"second—order empiricism"—based on the idea that successor theories have an onus to explain the apparent success of their rivals, (...) not only their own and their rivals' anomalies. Such a strategy, I argue, underscores some of the most effective analysis and argument in political sociology, yet is obscured by the appeal to other methodologies. (shrink)

David Armstrong once argued that to solve the problem of induction with inference to the best explanation we need an anti-Humean conception of law. Some Humeans have argued that this argument begs the question against Humeanism. In this paper, I propose a new argument for the same conclusion which is not vulnerable to this criticism. In particular, I argue that explanationist approaches to the problem of induction that are combined with Humeanism is internally incoherent.

This paper primarily argues that Epidemiology is Ecosystem Science. It will not only explore this notion in detail but will also relate it to the argument that Classical Chinese Medicine was/is Ecosystem Science. Ecosystem Science and Ecosystem Science share these characteristics: they do not subscribe to the monogenic conception of disease; they involve multi variables; the model of causality presupposed is multi-factorial as well as non-linear.

In a series of papers published in the sixties and seventies, Jaakko Hintikka, drawing upon Kant’s conception, defines an argument to be analytic whenever it does not introduce new individuals into the discussion and argues that there exists a class of arguments in polyadic first-order logic that are to be synthetic according to this sense. His work has been utterly overlooked in the literature. In this paper, I claim that the value of Hintikka’s contribution has been obscured by his formalisation (...) of the original definition. Therefore, I provide (i) a brief reconstruction of the historical framework of the problem and the revolutionary import of Hintikka’s contribution, (ii) a clarification of the most complicated steps of Hintikka’s elaboration of his insight, (iii) a criticism of several features that play a fundamental role in Hintikka’s formalisation and (iv) a selection from Hintikka’s own material of some valuable suggestions towards a clear and workable formalisation. As for the pars construens, I isolate in the approach of depth-bounded first-order logics (D'Agostino et al. 2021) an alternative formalisation of the notion of syntheticity as the introduction of new individuals in the reasoning, and I show that it is not affected by the same difficulties as Hintikka’s proposal. In so doing, I hope to have contributed to the realisation of the project of rehabilitating Kant’s analytic–synthetic distinction in the context of modern first-order logic with the purpose of showing, against the logical empiricist movement, that logic is not analytic. (shrink)

Ceteris-paribus clauses are nothing to worry about; aceteris-paribus qualifier is not poisonously indeterminate in meaning. Ceteris-paribus laws teach us that a law need not be associated straightforwardly with a regularity in the manner demanded by regularity analyses of law and analyses of laws as relations among universals. This lesson enables us to understand the sense in which the laws of nature would have been no different under various counterfactual suppositions — a feature even of those laws that involve no ceteris-paribus (...) qualification and are actually associated with exceptionless regularities. Ceteris-paribus generalizations of an‘inexact science’ qualify as laws of that science in virtue of their distinctive relation to counterfactuals: they form a set that is stable for the purposes of that field. (Though an accident may possess tremendous resilience under counterfactual suppositions, the laws are sharply distinguished from the accidents in that the laws are collectively as resilient as they could logically possibly be.) The stability of an inexact science's laws may involve their remaining reliable even under certain counterfactual suppositions violating fundamental laws of physics. The ceteris-paribus laws of an inexact science may thus possess a kind of necessity lacking in the fundamental laws of physics. A nomological explanation supplied by an inexact science would then be irreducible to an explanation of the same phenomenon at the level of fundamental physics. Island biogeography is used to illustrate how a special science could be autonomous in this manner. (shrink)

Rosenberg has recently argued that explanations supplied by (what he calls) functional biology are mere promissory notes for macromolecular adaptive explanations. Rosenberg's arguments currently constitute one of the most substantial challenges to the autonomy, irreducibility, and indispensability of the explanations supplied by functional biology. My responses to Rosenberg's arguments will generate a novel account of the autonomy of functional biology. This account will turn on the relations between counterfactuals, scientific explanations, and natural laws. Crucially, in their treatment of the laws' (...) relation to counterfactuals, Rosenberg's arguments beg the question against the autonomy of functional biology. This relation is considerably more subtle than is suggested by familiar slogans such as Laws support counterfactuals; accidents don't. (shrink)

In a situation of peer disagreement, peers are usually assumed to share the same evidence. However they might not share the same evidence for the epistemic system used to process the evidence. This synchronic complication of the peer disagreement debate suggested by Goldman (In Feldman R, Warfield T (eds) (2010) Disagreement. Oxford University Press, Oxford, pp 187–215) is elaborated diachronically by use of a simulation. The Hegselmann–Krause model is extended to multiple epistemic systems and used to investigate the role of (...) consensus and difference splitting in peer disagreement. I find that the very possibility of multiple epistemic systems downgrades the epistemic value of consensus and makes difference splitting a suboptimal strategy. (shrink)

Unlike explanation in science, explanation in mathematics has received relatively scant attention from philosophers. Whereas there are canonical examples of scientific explanations, there are few examples that have become widely accepted as exhibiting the distinction between mathematical proofs that explain why some mathematical theorem holds and proofs that merely prove that the theorem holds without revealing the reason why it holds. This essay offers some examples of proofs that mathematicians have considered explanatory, and it argues that these examples suggest a (...) particular account of explanation in mathematics. The essay compares its account to Steiner's and Kitcher's. Among the topics that arise are proofs that exploit symmetries, mathematical coincidences, brute-force proofs, simplicity in mathematics, merely clever proofs, and proofs that unify what other proofs treat as separate cases. (shrink)

Emotions normally include elements of feeling, motivation, and also intentionality; but the argument of this essay is that there can be emotion without feeling, emotion without corresponding motivation, and emotion without an intentional relation to an object such that the emotion is (among other things) a belief about or construal of it. Many recent writers have claimed that some form of intentionality is essential to emotion, and then have created lines of defence for this thesis. Thus, what look like troublesome (...) cases of emotions can be regarded as having a global intentionality or as being “mood-like”. Alternatively surges of non-intentional joy or ecstasy can be regarded as merely feelings rather than as emotions, and what people experience in response to absolute music can be treated similarly. A clear view of how we normally talk about moods, emotions, and feelings however undermines these defences; and in particular we can understand the role of emotions in relation to absolute music once we become clear about the way in which musical content stands in for intentional objects. (shrink)

Mill is a detractor of the view that proper names have meanings, defending in its place the view that names are nothing more than (meaningless) marks. Because of this, Mill is often regarded as someone who anticipated the theory of direct reference for names: the view that the only contribution a name makes to propositions expressed through its use is the name's referent. In this paper I argue that the association is unfair. With some gentle interpretation, Mill can be portrayed (...) as someone who is a Millian in the sense he most cares about (names are meaningless marks) but a descriptivist in so far as he takes the determinants of reference to be properties in the possession of speakers. I contend that this view is not only one that Mill comes close to holding, but, in light of the reasons that (nearly) led him to such a view, one that is worth taking seriously on its own terms. (shrink)

This paper considers whether incompatibilism, the view that negation is to be explained in terms of a primitive notion of incompatibility, and Fregeanism, the view that arithmetical truths are analytic according to Frege’s definition of that term in §3 of Foundations of Arithmetic, can both be upheld simultaneously. Both views are attractive on their own right, in particular for a certain empiricist mind-set. They promise to account for two philosophical puzzling phenomena: the problem of negative truth and the problem of (...) epistemic access to numbers. For an incompatibilist, proofs of numerical non-identities must appeal to primitive incompatibilities. I argue that no analytic primitive incompatibilities are forthcoming. Hence incompatibilists cannot be Fregeans. (shrink)

This paper distinguishes between causal isolation robustness analysis and independent determination robustness analysis and suggests that the triangulation of the results of different epistemic means or activities serves different functions in them. Circadian clock research is presented as a case of causal isolation robustness analysis: in this field researchers made use of the notion of robustness to isolate the assumed mechanism behind the circadian rhythm. However, in contrast to the earlier philosophical case studies on causal isolation robustness analysis (Weisberg and (...) Reisman in Philos Sci 75:106–131, 2008 ; Kuorikoski et al. in Br J Philos Sci 61:541–567, 2010 ), robustness analysis in the circadian clock research did not remain in the level of mathematical modeling, but it combined it with experimentation on model organisms and a new type of model, a synthetic model. (shrink)

Lecture notes from Husserl's logic lectures published during the last 20 years offer a much better insight into his doctrine of the forms of meaning than does the fourth Logical Investigation or any other work published during Husserl's lifetime. This paper provides a detailed reconstruction, based on all the sources now available, of Husserl's system of logical grammar. After having explained the notion of meaning that Husserl assumes in his later logic lectures as well as the notion of form of (...) meaning as it features in ‘doctrine of the forms of meaning’, I present a system of rules that describes all the various forms of meaning that Husserl singles out in his lectures. (shrink)

There is a lively ongoing debate among philosophers and social scientists about the reality of race and among social scientists about the reality of caste and ethnicity. This paper tries to sort out what the issues are and makes some preliminary suggestions about what the evidence shows. Standard philosophical analyses try to find the necessary and sufficient conditions of our concept of race. I argue that this is not the best way to approach the issue and that the reality of (...) these concepts should be taken as a scientific realism question; that is, do our best social scientific accounts of these phenomena show that appealing to the concepts of race, caste, and ethnicity is essential to successful social science explanation? I argue that in some cases that is the case and lay out the empirical issues involved. (shrink)

Paul Horwich is aware of the fact that his theory as stated in his works is directly applicable only to a language in which a word, understood as a syntactic type, is connected with exactly one literal meaning. Yet he claims that the theory is expandable to include homonymy and indexicality and thus may be considered as applicable to natural language. My concern in this paper is with yet another kind of ambiguity—systematic polysemy—that assigns multiple meanings to one linguistic type. (...) I want to combine the characteristics of systematic polysemy with the Kaplanian insight that meanings of expressions may be defined by semantic rules which assign content in context and to ask the question if minimalism about truth and meaning is compatible with such rule-based systematic polysemy. I will first explain why the expressions that exhibit rule-based systematic polysemy are difficult to combine with a truth theory that is based on a use theory of meaning before proceeding to argue that indexicals and proper names are such expressions. (shrink)

This paper offers an analysis of indexical expressions and proper names as they are used in proverbs. Both indexicals and proper names contribute properties rather than objects to the propositions expressed when they are used in sentences interpreted as proverbs. According to the proposal, their contribution is accounted for by the mechanism of descriptive anaphora. Indexicals with rich linguistic meaning, such as ‘I’, ‘you’ or ‘today’, turn out to be cases of the attributive uses of indexicals, i.e. uses whose contribution (...) relies on the linguistic meaning of the word. Third person pronouns, names of locations as well as surnames are analyzed as non-attributive descriptive uses. (shrink)

In this paper I offer a unified causal account of natural kinds. Using as a starting point the widely held view that natural kind terms or predicates are projectible, I argue that the ontological bases of their projectibility are the causal properties and relations associated with the natural kinds themselves. Natural kinds are not just concatenations of properties but ordered hierarchies of properties, whose instances are related to one another as causes and effects in recurrent causal processes. The resulting account (...) of natural kinds as clusters of core causal properties that give rise to clusters of derivative properties enables us to distinguish genuine natural kinds from non-natural kinds. For instance, it enables us to say why some of the purely conventional categories derived from the social domain do not correspond to natural kinds, though other social categories may. (shrink)

I interpret Mill?s view on logic as the instrumentalist view that logical inferences, complex statements, and logical operators are not necessary for reasoning itself, but are useful only for our remembering and communicating the results of the reasoning. To defend this view, I first show that we can transform all the complex statements in the language of classical first-order logic into what I call material inference rules and reduce logical inferences to inferences which involve only atomic statements and the material (...) inference rules. Then I explain why we introduce logical operators and logical inference rules into a system of the latter kind. In the end I determine what kind of negation is justified from this point of view. (shrink)

What exactly is a genetic disease? For a phrase one hears on a daily basis, there has been surprisingly little analysis of the underlying concept. Medical doctors seem perfectly willing to admit that the etiology of disease is typically complex, with a great many factors interacting to bring about a given condition. On such a view, descriptions of diseases like cancer as geneticseem at best highly simplistic, and at worst philosophically indefensible. On the other hand, there is clearly some practical (...) value to be had by classifying diseases according to theirpredominant cause when this can be accomplished in a theoretically satisfactory manner. The question therefore becomes exactly how one should go about selecting a single causal factor among many to explain the presence of disease. When an attempt to defend such causal selection is made at all, the standard accounts offered (Koch's postulates, Hill's epidemiological criteria, manipulability) are all clearly inadequate. I propose, however, an epidemiological account of disease causation which walks the fine line between practical applicability and theoretical considerations of causal complexity and attempts to compromise between patient-centered and population-centered concepts of disease. The epidemiological account is the most basic framework consistent with our strongly held intuitions about the causal classification of disease, yet it avoids the difficulties encountered by its competitors. (shrink)

Much scientific thinking and thinking about science involves assumptions that there is a deep and pervasive order to the world that it is the business of science to disclose. A paradigmatic statement of such a view can be found in a widely discussed paper by a prominent economist, Milton Friedman (a paper which will be discussed in more detail shortly): A fundamental hypothesis of science is that appearances are deceptive and that there is a way of looking at or interpreting (...) or organizing the evidence that will reveal superficially disconnected and diverse phenomena to be manifestations of a more fundamental and relatively simple structure. (1953/1984, p.231) On the other hand, the person sometimes described as the father of modern science, Francis Bacon, wrote: The human understanding is of its own nature prone to suppose the existence of more order and regularity in the world than it finds. And though there be many things in nature which are singular and unmatched, yet it devises for them conjugates and relatives which do not exist. (1620/1960, p. 50). (shrink)

Logical psychologism is the position that logic is a special branch of psychology, that logical laws are descriptíons of experience to be arrived at through observation, and are a posteriori.The accepted arguments against logical psychologism are effective only when directed against this extreme version. However, the clauses in the above characterization are independent and ambiguous, and may be considered separately. This separation permits a reconsideration of less extreme attempts to tie logic to psychology, such as those defended by Mill and (...) Boole. It also provides the basis for a reexamination of the relationship between logic and psychology, and raises the possibility of a deeper investigation into the nature of logic itself. (shrink)

I raise two objections against Christian List and Peter Menzies' influential account of high-level causation. Improving upon some of Stephen Yablo's earlier work, I develop an alternative theory which evades both objections. The discussion calls into question List and Menzies' main contention, namely, that the exclusion principle, applied to difference-making, is false.