The conservation of energy and momentum have been viewed as undermining Cartesian mental causation since the 1690s. Modern discussions of the topic tend to use mid-nineteenth century physics, neglecting both locality and Noether’s theorem and its converse. The relevance of General Relativity has rarely been considered. But a few authors have proposed that the non-localizability of gravitational energy and consequent lack of physically meaningful local conservation laws answers the conservation objection to mental causation: conservation already fails in GR, so there (...) is nothing for minds to violate. This paper is motivated by two ideas. First, one might take seriously the fact that GR formally has an infinity of rigid symmetries of the action and hence, by Noether’s first theorem, an infinity of conserved energies-momenta. Second, Sean Carroll has asked how one should modify the Dirac–Maxwell–Einstein equations to describe mental causation. This paper uses the generalized Bianchi identities to show that General Relativity tends to exclude, not facilitate, such Cartesian mental causation. In the simplest case, Cartesian mental influence must be spatio-temporally constant, and hence 0. The difficulty may diminish for more complicated models. Its persuasiveness is also affected by larger world-view considerations. The new general relativistic objection provides some support for realism about gravitational energy-momentum in GR. Such realism also might help to answer an objection to theories of causation involving conserved quantities, because energies-momenta would be conserved even in GR. (shrink)

Grice and Strawson's 'In Defense of a Dogma is admired even by revisionist Quineans such as Putnam (1962) who should know better. The analytic/synthetic distinction they defend is distinct from that which Putnam successfully rehabilitates. Theirs is the post-positivist distinction bounding a grossly enlarged analytic. It is not, as they claim, the sanctified product of a long philosophic tradition, but the cast-off of a defunct philosophy - logical positivism. The fact that the distinction can be communally drawn does not show (...) that it is based on a real difference. Subcategories that can be grouped together by enumeration will do the trick. Quine's polemical tactic (against which Grice and Strawson protest) of questioning the intelligibility of the distinction is indeed objectionable, but his argument can be revived once it is realized that 'analytic' et al. are theoretic terms, and there is no extant theory to make sense of them. Grice and Strawson's paradigm of logical impossibility is, in fact, possible. Their attempt to define synonymy in Quinean terms is a failure, nor can they retain analyticity along with the Quinean thesis of universal revisability. The dogma, in short, is indefensible. (shrink)

Recent claims, mainly from computer scientists, concerning a largely automated and model-free data-intensive science have been countered by critical reactions from a number of philosophers of science. The debate suffers from a lack of detail in two respects, regarding the actual methods used in data-intensive science and the specific ways in which these methods presuppose theoretical assumptions. I examine two widely-used algorithms, classificatory trees and non-parametric regression, and argue that these are theory-laden in an external sense, regarding the framing of (...) research questions, but not in an internal sense concerning the causal structure of the examined phenomenon. With respect to the novelty of data-intensive science, I draw an analogy to exploratory as opposed to theory-directed experimentation. (shrink)

Abduction is considered the most powerful, but also the most controversially discussed type of inference. Based on an analysis of Peirce’s retroduction, Lipton’s Inference to the Best Explanation and other theories, a new theory of abduction is proposed. It considers abduction not as intrinsically explanatory but as intrinsically conditional: for a given fact, abduction allows one to infer a fact that implies it. There are three types of abduction: Selective abduction selects an already known conditional whose consequent is the given (...) fact and infers that its antecedent is true. Conditional-creative abduction creates a new conditional in which the given fact is the consequent and a defined fact is the antecedent that implies the given fact. Propositional-conditional-creative abduction assumes that the given fact is implied by a hitherto undefined fact and thus creates a new conditional with a new proposition as antecedent. The execution of abductive inferences is specified by theory-specific patterns. Each pattern consists of a set of rules for both generating and justifying abductive conclusions and covers the complete inference process. Consequently, abductive inferences can be formalised iff the whole pattern can be formalised. The empirical consistency of the proposed theory is demonstrated by a case study of Semmelweis' research on puerperal fever. (shrink)

Interdisciplinary research within the field of sustainability studies often faces incompatible ontological assumptions deriving from natural and social sciences. The importance of this fact is often underrated and sometimes leads to the wrong strategies. We distinguish between two broad approaches in interdisciplinarity: unificationism and pluralism. Unificationism seeks unification and perceives disciplinary boundaries as conventional, representing no long-term obstacle to progress, whereas pluralism emphasizes more ephemeral and transient interdisciplinary connections and underscores the autonomy of the disciplines with respect to one another. (...) Both approaches have their merits and pitfalls. Unification runs the risk of scientific imperialism, while pluralism can result in insurmountable barriers between disciplines. We made a comparison of eight distinct interdisciplinary attempts at integration of knowledge across social and natural sciences. The comparison was carried out as four pairwise comparisons: environmental economics versus ecological economics, environmental history versus historical ecology, resilience theory versus political ecology, and socio-biology versus actor-network theory. We conclude by showing that none of these prominent eight interdisciplinary fields in and of itself manages to provide, in a satisfactory way, such an integrated understanding of sustainability. We argue for pluralism and advocate complex ways of articulating divergent ontological assumptions. This is not equivalent to pursuing knowledge unification either through scientific imperialism or by catering to the requirements of narrow practical utility. It means prioritizing interdisciplinary integration by simultaneously acknowledging the role of societal and natural factors in accounting for sustainability issues. (shrink)

Arguments from explanation, i.e. arguments in which the explanatory value of a hypothesis or premise is appealed to, are common in science, and explanatory considerations are becoming more popular in metaphysics. The paper begins by arguing that explanatory arguments in science—even when these are metaphysical explanations— may fail to be explanatory in metaphysics; there is a distinction to be drawn between metaphysical explanation and explanation in metaphysics. This makes it potentially problematic to deploy arguments from explanation in, for instance, metaphysics (...) of science. Part of this problem has its source in that the explanatory concept differs between contexts. The paper discusses a few explanatory concepts and their corresponding arguments from explanation. Towards the end of the paper, I identify two allegedly explanatory arguments in metaphysical discourse by the concluding decisions they give rise to: the rejection of X as a metaphysical fact if X does not explain anything (the argument from explanatory inability) and the rejection of X as a metaphysical fact if X can be non-metaphysically explained (the argument from the non-metaphysically explained). I ask: What kind of concept of explanation do these arguments rely upon, and is that concept suited to the metaphysical task? Two recent examples of these arguments are used as illustration. The preliminary conclusion is that several of the strengths of arguments from explanation in science seem not to be present in metaphysical contexts. (shrink)

In a recent paper Barnes proposes to characterize ontological emergence by identifying the emergent entities with those entities which are both fundamental and dependent. Barnes offers characterizations of the notions of fundamentality and dependence, but is cautious about committing to the specifics of these notions. This paper argues that Barnes’s characterization of emergence is problematic in several ways. Firstly, emergence is a relation, and merely delimiting relata of this relation tells us little about it. Secondly, the group of entities delimited (...) as dependent and fundamental do not appear to be the group of emergent entities. Rather, some entities appear to be dependent and fundamental and not emergent, whilst other entities appear to be emergent and not dependent and fundamental. The moral drawn is that in order to provide a characterization of emergence one must go beyond what Barnes says explicitly. It is also shown that a potentially fruitful way of doing this would be to further specify the notion of dependence at issue revealing it to be asymmetric and perhaps merely nomological. (shrink)

Number theory abounds with conjectures asserting that every natural number has some arithmetic property. An example is Goldbach’s Conjecture, which states that every even number greater than 2 is the sum of two primes. Enumerative inductive evidence for such conjectures usually consists of small cases. In the absence of supporting reasons, mathematicians mistrust such evidence for arithmetical generalisations, more so than most other forms of non-deductive evidence. Some philosophers have also expressed scepticism about the value of enumerative inductive evidence in (...) arithmetic. But why? Perhaps the best argument is that known instances of an arithmetical conjecture are almost always small: they appear at the start of the natural number sequence. Evidence of this kind consequently suffers from size bias. My essay shows that this sort of scepticism comes in many different flavours, raises some challenges for them all, and explores their respective responses. (shrink)

In this article, I aim at showing how powers may ground different types of probability in the universe. In Section 1 I single out several dimensions along which the probability of something can be determined. Each of such dimensions can be further specified at the type-level or at the token-level. In Section 2 I introduce some metaphysical assumptions about powers. In Section 3 I show how powers can ground single-case probabilities and frequency-probabilities in a deterministic setting. Later on, in Section (...) 4, I move to a theoretical framework where the falsity of determinism is assumed. Within such a framework, I first argue that some probabilities are grounded on basic powers. Moreover, in Section 5, I introduce tendencies and suggest that they are endowed with specific degrees of activation that may change over time. Such degrees explain why tendencies are more likely to be activated than non-activated, or vice versa. In Section 6 I compare my account of tendencies with other accounts. Finally, in Section 7, I anticipate some general objections against my account – objections that it shares with propensity-accounts of probability – and against degrees of activation of tendencies. (shrink)

I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I will argue (...) that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects. (shrink)

In this paper I develop a philosophical account of actual mathematical infinity that does not demand ontologically or epistemologically problematic assumptions. The account is based on a simple metaphor in which we think of indefinitely continuing processes as defining objects. It is shown that such a metaphor is valid in terms of mathematical practice, as well as in line with empirical data on arithmetical cognition.

In early analytic philosophy, one of the most central questions concerned the status of arithmetical objects. Frege argued against the popular conception that we arrive at natural numbers with a psychological process of abstraction. Instead, he wanted to show that arithmetical truths can be derived from the truths of logic, thus eliminating all psychological components. Meanwhile, Dedekind and Peano developed axiomatic systems of arithmetic. The differences between the logicist and axiomatic approaches turned out to be philosophical as well as mathematical. (...) In this paper, I will argue that Dedekind’s approach can be seen as a precursor to modern structuralism and as such, it enjoys many advantages over Frege’s logicism. I also show that from a modern perspective, Frege’s criticism of abstraction and psychologism is one-sided and fails against the psychological processes that modern research suggests to be at the heart of numerical cognition. The approach here is twofold. First, through historical analysis, I will try to build a clear image of what Frege’s and Dedekind’s views on arithmetic were. Then, I will consider those views from the perspective of modern philosophy of mathematics, and in particular, the empirical study of arithmetical cognition. I aim to show that there is nothing to suggest that the axiomatic Dedekind approach could not provide a perfectly adequate basis for philosophy of arithmetic. (shrink)

Philosophers of the modern period are often presented as having made an elementary error: that of confounding the attitude one adopts toward a proposition with its content. By examining the works of Locke and the Port-Royalians, I show that this accusation is ill-founded and that Locke, in particular, has the resources to construct a theory of propositional attitudes.

The homeostatic property cluster theory is widely influential for its ability to account for many natural-kind terms in the life sciences. However, the notion of homeostatic mechanism has never been fully explicated. In 2009, Carl Craver interpreted the notion in the sense articulated in discussions on mechanistic explanation and pointed out that the HPC account equipped with such notion invites interest-relativity. In this paper, we analyze two recent refinements on HPC: one that avoids any reference to the causes of the (...) clustering of properties and one that replaces homeostatic mechanisms with causal networks represented by causal graphs. We argue that the former is too slender to account for some inductive inference in science and the latter, thicker account invites interest-relativity, as the original HPC does. This suggests that human interest will be an un-eliminative part of a satisfactory account of natural kindness. We conclude by discussing the implication of interest-relativity to the naturalness, reality, or objectivity of kinds and indicating an overlooked aspect of natural kinds that requires further studies. (shrink)

This paper defends the view that Newtonian forces are real, symmetrical and non-causal relations. First, I argue that Newtonian forces are real; second, that they are relations; third, that they are symmetrical relations; fourth, that they are not species of causation. The overall picture is anti-Humean to the extent that it defends the existence of forces as external relations irreducible to spatio-temporal ones, but is still compatible with Humean approaches to causation (and others) since it denies that forces are a (...) species of causation. (shrink)

A probabilistic and counterfactual theory of causality is developed within the framework of branching time. The theory combines ideas developed by James Fetzer, Donald Nute, Patrick Suppes, Ming Xu, John Pollock, David Lewis and Mellor among others.

It is widely agreed that Hume’s description of human inductive reasoning is inadequate. But many philosophers think that this inadequacy in no way affects the force of Hume’s argument for the unjustifiability of inductive reasoning. I argue that this constellation of opinions contains a serious tension, given that Hume was not merely pointing out that induction is fallible. I then explore a recent diagnosis of where Hume’s sceptical argument goes wrong, due to Elliott Sober. Sober argues that Hume committed a (...) quantifier-shift fallacy, i.e. inferred a statement of ∃∀ form from one of V∀∃ form. The implications of this diagnosis for the traditional problem of induction are briefly examined. The author suggests that, were his philosophy received, we must alter from the foundation the greatest part of the sciences. Hume 1740. (shrink)

Kyle Stanford has recently given substance to the problem of unconceived alternatives, which challenges the reliability of inference to the best explanation (IBE) in remote domains of nature. Conjoined with the view that IBE is the central inferential tool at our disposal in investigating these domains, the problem of unconceived alternatives leads to scientific anti-realism. We argue that, at least within the biological community, scientists are now and have long been aware of the dangers of IBE. We re-analyze the nineteenth-century (...) study of inheritance and development (Stanford’s case study) and extend it into the twentieth century, focusing in particular on both classical Mendelian genetics and the studies by Avery et al. on the chemical nature of the hereditary substance. Our extended case studies show the preference of the biological community for a different methodological standard: the vera causa ideal, which requires that purported causes be shown on non-explanatory grounds to exist and be competent to produce their effects. On this basis, we defend a prospective realism about the biological sciences. (shrink)

Much philosophical attention has been devoted to whether economic models explain, and more generally to how scientific models represent. Yet there is an issue more practically important to economics than either of these, which I label the efficiency question: regardless of how exactly models represent, or of whether their role is explanatory or something else, is current modeling practice an efficient way to achieve these goals – or should research efforts be redirected? In addition to showing how the efficiency question (...) has been relatively neglected, I give two examples of the kind of analysis it requires. (shrink)

Reflexivity is, roughly, when studying or theorising about a target itself influences that target. Fragility is, roughly, when causal or other relations are hard to predict, holding only intermittently or fleetingly. Which is more important, methodologically? By going systematically through cases that do and do not feature each of them, I conclude that it is fragility that matters, not reflexivity. In this light, I interpret and extend the claims made about reflexivity in a recent paper by Jessica Laimann. I finish (...) by assessing the benefits and costs of a focus on reflexivity. (shrink)

Should we insist on prediction, i.e. on correctly forecasting the future? Or can we rest content with accommodation, i.e. empirical success only with respect to the past? I apply general considerations about this issue to the case of economics. In particular, I examine various ways in which mere accommodation can be sufficient, in order to see whether those ways apply to economics. Two conclusions result. First, an entanglement thesis: the need for prediction is entangled with the methodological role of orthodox (...) economic theory. Second, a conditional predictivism: if we are not committed to orthodox economic theory, then we should demand prediction rather than accommodation – against most current practice. (shrink)

In this essay I consider what is meant by the description ‘great’ philosophy and then offer some broadly applicable criteria by which to assess candidate thinkers or works. On the one hand are philosophers in whose case the epithet, even if contested, is not grossly misconceived or merely the product of doctrinal adherence on the part of those who apply it. On the other are those – however gifted, acute, or technically adroit – to whom its application is inappropriate because (...) their work cannot justifiably be held to rise to a level of creative-exploratory thought where the description would have any meaningful purchase. I develop this contrast with reference to Thomas Kuhn’s distinction between ‘revolutionary’ and ‘normal’ science, and also in light of J.L. Austin’s anecdotal remark – à propos Leibniz – that it was the mark of truly great thinkers to make great mistakes, or to risk falling into certain kinds of significant or consequential error. My essay goes on to put the case that great philosophy should be thought of as involving a constant readiness to venture and pursue speculative hypotheses beyond any limits typically imposed by a culture of ‘safe’, well-established, or academically sanctioned debate. At the same time – and just as crucially – it must be conceived as subject to the strictest, most demanding standards of formal assessment, i.e., with respect to basic requirements of logical rigour and conceptual precision. Focusing mainly on the work of Jacques Derrida and Alain Badiou I suggest that these criteria are more often met by philosophers in the broadly ‘continental’ rather than the mainstream ‘analytic’ line of descent. However – as should be clear – the very possibility of meeting them, and of their being jointly met by any one thinker, is itself sufficient indication that this is a false and pernicious dichotomy. (shrink)

In a formal theory of induction, inductive inferences are licensed by universal schemas. In a material theory of induction, inductive inferences are licensed by facts. With this change in the conception of the nature of induction, I argue that the celebrated “problem of induction” can no longer be set up and is thereby dissolved. Attempts to recreate the problem in the material theory of induction fail. They require relations of inductive support to conform to an unsustainable, hierarchical empiricism.

One often chooses to work collaboratively. Given that there is a cost in effort of doing so, it suggests that there also has to be some real advantage in teamwork. The idea that the whole can be greater than the sum of the parts is applied to teams in terms of the non-linear composition of causes. One can thus do things together that one could not do alone or one can do them better. This supports Gaffney’s communitarian approach thereby explaining (...) how the individual can be at their best when part of a collective and indeed how a collective endeavor can be the making of the individual self. (shrink)

We see no grounds for insisting that, because the concept natural number is abstract, its foundations must be innate. It is possible to specify domain general learning processes that feed into more abstract concepts of numerical infinity. By neglecting the messiness of children's slow acquisition of arithmetical concepts, Rips et al. present an idealized, unnecessarily insular, view of number development.

In this paper, we advocate the idea that an adequate explanation of biological systems requires appealing to organizational closure as an emergent causal regime. We first develop a theoretical justification of emergence in terms of relatedness, by arguing that configurations, because of the relatedness among their constituents, possess ontologically irreducible properties, providing them with distinctive causal powers. We then focus on those emergent causal powers exerted as constraints, and we claim that biological systems crucially differ from other natural systems in (...) that they realize a closure of constraints, i.e. a second-order emergent regime of causation such that the constituents, each of them acting as a constraint, realize a mutual dependence among them, and are collectively able to self-maintain. Lastly, we claim that closure can be justifiably taken as an emergent regime of causation, without admitting that it inherently involves whole-parts causation, which would require to commit to stronger ontological and epistemological assumptions. (shrink)

In recent years, emergentism has resurfaced as a possible method by which to secure autonomous mental causation from within a physicalistic framework. Critics argue, however, that emergentism fails, since emergentism entails that effects have sufficient physical causes, so they cannot also have distinct mental causes. In this paper I argue that this objection may be effective against supervenient emergentism, but it is not established that it is effective against mereological emergentism. In fact, after demonstrating that two founding emergentists, Samuel Alexander (...) and C. Lloyd Morgan, are mereological emergentists, I show how mereological emergentism provides fresh responses to the causal exclusion problem. (shrink)

While there are reasons to believe that both component forces and a resultant force operate on a body in combined circumstances, the threat of overdetermination largely prevents adoption of this view. Accordingly, a lively debate has arisen over which force actually exists and which force is eliminated in combined circumstances, the components or the resultant. In this article I present a non-reductive model of resultant force which ensures the existence of both the resultant force and the component forces without overdetermination. (...) According to the non-reductive model, the resultant force is the summation of component forces, where summation is interpreted as meaning that the component forces, when temporally and spatially overlapping, form a superposed mixture which is the resultant force, but which is not identical to the conjunction of component forces taken with temporal and spatial independence. (shrink)

Philosophical accounts of emergence have been explicated in terms of logical relationships between statements (derivation) or static properties (function and realization). Jaegwon Kim is a modern proponent. A property is emergent if it is not explainable by (or reducible to) the properties of lower level components. This approach, I will argue, is unable to make sense of the kinds of emergence that are widespread in scientific explanations of complex systems. The standard philosophical notion of emergence posits the wrong dichotomies, confuses (...) compositional physicalism with explanatory physicalism, and is unable to represent the type of dynamic processes (self-organizing feedback) that both generate emergent properties and express downward causation. (shrink)

Roth's analysis of the Rationalitätstreit (i.e., the debate(s) about rationality) stands as one of the major works on how the debate affects a wide range of issues in the philosophy of science and the social sciences. His principal thesis is that the debate may be seen as a series of Quine-type "translation manuals," exhibiting characteristics of paradigms (following Kuhn 1970) that can be treated as testable scientific theories by adequate empirical tests. The author argues that Roth's notion of empirically testing (...) translation manuals is not possible given his criteria. He suggests a clearer definition of "methods" and develops a case whereby translation manuals can be adequately tested within an inductive model-but with rather severe restrictions. Implications are indicated. (shrink)

The thesis that numbers are ratios of quantities has recently been advanced by a number of philosophers. While adequate as a definition of the natural numbers, it is not clear that this view suffices for our understanding of the reals. These require continuous quantity and relative to any such quantity an infinite number of additive relations exist. Hence, for any two magnitudes of a continuous quantity there exists no unique ratio. This problem is overcome by defining ratios, and hence real (...) numbers, as binary relations between infinite standard sequences. This definition leads smoothly into a new definition of measurement consonant with the traditional view of measurement as the discovery or estimation of numerical relations. The traditional view is further strengthened by allowing that the additive relations internal to a quantity are distinct from relations observed in the behaviour of objects manifesting quantities. In this way the traditional theory can accommodate the theory of conjoint measurement. This is worth doing because the traditional theory has one great strength lacked by its rivals: measurement statements and quantitative laws are able to be understood literally. 1 This paper was completed in 1990-1. while the author was a visiting scholar at the Irvine Research Unit in Mathematical Behavioral Sciences. University of California. Irvine. The author wishes to thank the Director. Professor R. D. Luce, for the generous provision of space and facilities within the Unit and for his critical comments upon some of the ideas expressed herein: Professor L. Narens. for his trenchant criticisms: and the University of Sydney, for granting Special Study Leave and financial assistance to make the visit possible. (shrink)

I present and defend an “indexical” version of the Fine-Tuning Argument. I begin by outlining the dialectic between the Fine-Tuning Argument, the Multiverse Objection, and the This-Universe Reply. Next, I sketch an indexical fine-tuning argument and defend it from two new objections. Then, I show that such an argument is immune to the Multiverse Objection. I explain how a further augmentation to the argument allows it to avoid an objection I call the “Indifference Objection.” I conclude that my indexical version (...) of the Fine-Tuning Argument is no less cogent than the standard version, and yet it is immune to the Multiverse Objection. (shrink)

Is psychopathy born or made? Contemporary psychopathy research shows that there is much wrong with this question. It is increasingly accepted that the development of psychopathy is dependent on multiple causal factors interacting with one another. However, there remains the major theoretical challenge of understanding the relations between these multiple causal factors in the developmental process. In this paper, I argue that the conventional picture of gene-environment interactionism does not offer an adequate account of psychopathy development. Instead, I propose that (...) a theoretical framework from the philosophy of biology, namely developmental systems theory, can facilitate a better understanding of psychopathy development that captures the contingent and dynamic relations between multiple causal factors. Some practical implications of a developmental systems theory approach to psychopathy are also explored. (shrink)

The purpose of this paper is to show how the degree of experimental validity of scientific procedures is crucially involved in determining two typical pragmatic modes in science, namely, the preservation of useful procedures and the disposal of useless ideas. The term 'pragmatic' will here be used following Schurz's characterisation of being internally pragmatic, as referring to that which proves useful for scientific or epistemic goals. The first part of the paper consists in a characterisation of the notion of experimental (...) validity. The second part is focused on several historical examples illustrating how the above pragmatic modes relate to the question of experimental validity. The Michelson-Morley experiment is presented as a case of a highly valid and useful experiment preserved through the development of different theories (like, on the one hand, the ether theory, upheld by Fitzgerald and Lorentz, and, on the other hand, Einstein's special theory of relativity). The concept of caloric will be discussed as an example of an idea that was discarded once it became useless, after heat was understood as a form of energy within the new frame provided by the kinetic theory of heat towards the middle of the 19th century. (shrink)

I first propose to distinguish between two kinds of external validity inferences, predictive and explanatory. I then argue that we have a satisfactory answer to the question of the conditions under which predictive external validity inferences are good. If this claim is correct, then it has two immediate consequences: First, some external validity inferences are deductive, contrary to what is commonly assumed. Second, Steel’s requirement that an account of external validity inference break what he calls the ‘Extrapolator’s Circle’ is misplaced, (...) at least when it comes to predictive external validity inferences. (shrink)

In 1959 Carnap published a probability model that was meant to allow forreasoning by analogy involving two independent properties. Maher (2000)derived a generalized version of this model axiomatically and defended themodel''s adequacy. It is thus natural to now consider how the model mightbe extended to the case of more than two properties. A simple extension waspublished by Hess (1964); this paper argues that it is inadequate. Amore sophisticated one was developed jointly by Carnap and Kemeny in theearly 1950s but never (...) published; this paper gives the first published descriptionof Carnap and Kemeny''s model and argues that it too is inadequate. Since noother way of extending the two-property model is currently known, the conclusionof this paper is that a satisfactory extension to multiple properties requires somenew approach. (shrink)

When we ask what natural kinds are, there are two different things we might have in mind. The first, which I’ll call the taxonomy question, is what distinguishes a category which is a natural kind from an arbitrary class. The second, which I’ll call the ontology question, is what manner of stuff there is that realizes the category. Many philosophers have systematically conflated the two questions. The confusion is exhibited both by essentialists and by philosophers who pose their accounts in (...) terms of similarity. It also leads to misreading philosophers who do make the distinction. Distinguishing the questions allows for a more subtle understanding of both natural kinds and their underlying metaphysics. (shrink)

Philosophers of science today by and large reject the cataclysmic and irrational interpretation of the scientific enterprise claimed by Kuhn. Many computational models have been implemented to rationally study the conceptual change in science. In this recent tradition a key role is played by the concept of abduction as a mechanism by which new explanatory hypotheses are introduced. Nevertheless some problems in describing the most interesting abductive issues rise from the classical computational approach. It describes a cognitive process (and so (...) abduction) by the manipulation of internal symbolic representations of external world. This view assumes a discrete set of representations fixed in discrete time jumps, and cannot adequately account for the issue of anticipation and causation of a new hypothesis. An integration of the traditional computational view with some ideas developed inside the so-called dynamical approach can suggest some important insights. The concept of attractor is very significant. It permits a description of the abductive generation of new hypotheses in terms of a catastrophic rearrangement of the parameters responsible for the behavior of the system. (shrink)