I articulate and defend a new theory of what it is for a physical system to implement an abstract computational model. According to my descriptivist theory, a physical system implements a computational model just in case the model accurately describes the system. Specifically, the system must reliably transit between computational states in accord with mechanical instructions encoded by the model. I contrast my theory with an influential approach to computational implementation espoused by Chalmers, Putnam, and others. I deploy my theory (...) to illuminate the relation between computation and representation. I also rebut arguments, propounded by Putnam and Searle, that computational implementation is trivial. (shrink)

This paper addresses the definition and the operational use of intuitions in philosophical methods in the form of a research study encompassing several regions of the globe, involving 282 philosophers from a wide array of academic backgrounds and areas of specialisation. The authors tested whether philosophers agree on the conceptual definition and the operational use of intuitions, and investigated whether specific demographic variables and philosophical specialisation influence how philosophers define and use intuitions. The results obtained point to a number of (...) significant findings, including that philosophers distinguish between intuitions used to formulate (discovery) and to test (justification) philosophical theory. The survey results suggest that strategies implemented to characterise philosophical intuition are not well motivated since, even though philosophers do not agree on a single account of intuition, they fail to capture a preferred usage of intuitions as aspects of discovery. The quantitative summary of survey findings informs the debate on this topic, and advances more defined routes for subsequent approaches to the study of intuitions. (shrink)

What is the best account of process reliabilism about epistemic justification, especially epistemic entitlement? I argue that entitlement consists in the normal functioning (proper operation) of the belief-forming process when the process has forming true beliefs reliably as an etiological function. Etiological functions involve consequence explanation: a belief-forming process has forming true beliefs reliably as a function just in case forming-true beliefs reliably partly explains the persistence of the process. This account paves the way for avoiding standard objections to process (...) reliabilism and situations epistemic entitlement within a normative framework of functions and functional norms. (shrink)

Philosophers tend to presuppose a close relationship between language and thought. They express and defend this conviction in different ways. I shall focus on the relation between the thinkable and the expressible, as stated in the Inexpressibility Thesis.

I begin by defending condition (i) against five objections (section 2). Following this, I show that the theory that laws obtain contingently encounters three problems that are solved by the theory that laws are metaphysically necessary (section 3). In section 3, I criticize the regularity theory of natural laws and the universals theory of Armstrong, Dretske and Tooley, and also show how the metaphysical theory solves the “inference problem” that Van Fraassen (1989) posed for any theory of natural laws.

There is overwhelming agreement amongst naturalists that a naturalistic ontology should not allow for the possibility of supernatural entities. I argue, against this prevailing consensus, that naturalists have no proper basis to oppose the existence of supernatural entities. Naturalism is characterized, following Leiter and Rea, as a position which involves a primary commitment to scientific methodology and it is argued that any naturalistic ontological commitments must be compatible with this primary commitment. It is further argued that properly applied scientific method (...) has warranted the acceptance of the existence of supernatural entities in the past and that it is plausible to think that it will do so again in the future. So naturalists should allow for the possibility of supernatural entities. (shrink)

El realismo estructural, como respuesta a la crítica de la llamada “metainducción pesimista”, postula la persistencia de la estructura matemática de las teorías en algunos casos cuando se producen cambios en la evolución de éstas, de tal modo que el éxito de las teorías posteriores se explica por la retención estructural de las teorías anteriores. Aunque en el estructuralismo metateórico no existe un punto de vista monolítico con relación al debate realismo/anti-realismo, en este trabajo se analizarán y discutirán, desde esta (...) propuesta modelística, la validez de los argumentos centrales del realismo estructural como alternativa al realismo científico estándar. Siguiendo la distinción trazada por Ladyman entre realismo estructural epistémico y realismo estructural óntico, en este trabajo se hará una caracterización general del primero, pero el análisis se focalizará principalmente en el análisis y la crítica del segundo. Para ello se echará mano de las herramientas teórico-conceptuales que proporciona la meta-teoría estructuralista en filosofía de la ciencia y, particularmente, de la identificación que en ella se hace de las teorías como clases o conjuntos de modelos y/o estructuras conjuntistas, a fin de clarificar, desde esta propuesta meta-teórica, los presupuestos básicos de lo que Sneed denomina el “realismo científico mínimo” y su variante, el realismo estructural epistemológico, en particular lo que se refiere a su noción de continuidad estructural y a la propuesta de algunos autores de apelar a la sentencia de Ramsey como justificación del realismo estructural sin referencia. (shrink)

How should biological behaviour be modelled? A relatively new approach is to investigate problems in neuroethology by building physical robot models of biological sensorimotor systems. The explication and justification of this approach are here placed within a framework for describing and comparing models in the behavioural and biological sciences. First, simulation models – the representation of a hypothesis about a target system – are distinguished from several other relationships also termed “modelling” in discussions of scientific explanation. Seven dimensions on which (...) simulation models can differ are defined and distinctions between them discussed: 1. Relevance: whether the model tests and generates hypotheses applicable to biology. 2. Level: the elemental units of the model in the hierarchy from atoms to societies. 3. Generality: the range of biological systems the model can represent. 4. Abstraction: the complexity, relative to the target, or amount of detail included in the model. 5. Structural accuracy: how well the model represents the actual mechanisms underlying the behaviour. 6. Performance match: to what extent the model behaviour matches the target behaviour. 7. Medium: the physical basis by which the model is implemented. No specific position in the space of models thus defined is the only correct one, but a good modelling methodology should be explicit about its position and the justification for that position. It is argued that in building robot models biological relevance is more effective than loose biological inspiration; multiple levels can be integrated; that generality cannot be assumed but might emerge from studying specific instances; abstraction is better done by simplification than idealisation; accuracy can be approached through iterations of complete systems; that the model should be able to match and predict target behaviour; and that a physical medium can have significant advantages. These arguments reflect the view that biological behaviour needs to be studied and modelled in context, that is, in terms of the real problems faced by real animals in real environments. Key Words: animal behaviour; levels; models; neuroethology; realism; robotics; simulation. (shrink)

According to quasi-empiricism, mathematics is very like a branch of natural science. But if mathematics is like a branch of science, and science studies real objects, then mathematics should study real objects. Thus a quasi-empirical account of mathematics must answer the old epistemological question: How is knowledge of abstract objects possible? This paper attempts to show how it is possible.The second section examines the problem as it was posed by Benacerraf in Mathematical Truth and the next section presents a way (...) of looking at abstract objects that purports to demythologize them. In particular, it shows how we can have empirical knowledge of various abstract objects and even how we might causally interact with them. (shrink)

If a parsimony criterion may be used to choose between theories that make different predictions, may the same criterion be used to choose between theories that are predictively equivalent? The work of the statistician H. Akaike (1973) is discussed in connection with this question. The results are applied to two examples in which parsimony has been invoked to choose between philosophical theories-Shoemaker's (1969) discussion of the possibility of time without change and the discussion by Smart (1959) and Brandt and Kim (...) (1967) of mind/body dualism and the identity theory. (shrink)

Kripkean examples of necessary a posteriori truths clearly provide a challenge to attempts to connect facts about possibility to facts about what people can conceive. The paper argues for a general principle connecting imaginability under certain special circumstances to possibility; it also discusses some of the issues raised by the resulting position.

I begin with an explication of "thought experiment". I then clarify the role that intuitions play in thought experiments by addressing two important issues: (1) the informativeness of thought experiments and (2) the legitimacy of the method of thought experiments in philosophy and the natural sciences. I defend a naturalistic account of intuitions that provides a plausible explanation of the informativeness of thought experiments, which, in turn, allows thought experiments to be reconstructed as arguments. I also specify criteria for distinguishing (...) bad "intuition pumps" from legitimate thought experiments. These criteria help us to avoid being seduced by the dangerous suggestive power of misleading intuitions. (shrink)

In a situation in which several explanations compete, is the one that is better qua explanation also the one we should regard as the more likely to be true? Realists usually answer in the affirmative. They then go on to argue that since realism provides the best explanation for the success of science, realism can be inferred to. Nonrealists, on the other hand, answer the above question in the negative, thereby renouncing the inference to realism. In this paper I separate (...) the two issues. In the first section it is argued that a rationale can be provided for the inference to the best explanation; in the second, that this rationale cannot justify an inference to realism. The defence of the inference rests on the claim that our standards of explanatory power are subject to critical examination, which, in turn, should be informed by empirical considerations. By means of a comparison of the realist's explanation for the success of science with that of conventionalism and instrumentalism it is then shown that realism does not offer a superior explanation and should not, therefore, be inferred to. (shrink)

A set of hypotheses is formulated for a connectionist approach to cognitive modeling. These hypotheses are shown to be incompatible with the hypotheses underlying traditional cognitive models. The connectionist models considered are massively parallel numerical computational systems that are a kind of continuous dynamical system. The numerical variables in the system correspond semantically to fine-grained features below the level of the concepts consciously used to describe the task domain. The level of analysis is intermediate between those of symbolic cognitive models (...) and neural models. The explanations of behavior provided are like those traditional in the physical sciences, unlike the explanations provided by symbolic models. (shrink)

In a survey of his views in the philosophy of mind, David Lewis criticizes much recent work in the field by attacking an imaginary opponent, Strawman. His case against Strawman focuses on four central theses which Lewis takes to be widely accepted among contemporary philosophers of mind. These theses concern (1) the language of thought hypothesis and its relation to folk psychology, (2) narrow content, (3) de se content, and (4) rationality. We respond to Lewis, arguing that he underestimates Strawman’s (...) theoretical resources in a variety of important ways. (shrink)

One would have thought that Fodor's justly famous computational views about the mind and his covariation approaches to content owed a lot to the twentieth century that he now reviles. On the other hand, a number of lines he pursues in the target article make one wonder whether he hasn’t perhaps changed his mind about those famous views. Specifically, I argue that his own theory of content is open to the very same objections he raises against ‘sorting’ theories, and that (...) the supposed circularity in implicit definitions of logical particles can easily be avoided by the very functional/computational definitions that he fathered decades ago. Fodor's rejection here of sorting and implicit definition does make one worry that he is now opting for what seems the only atomistic alternative that would seem to be left, the first‐person meaning mysticism of the very Cartesian sort he now claims to favor, but from which I would have thought twentieth century role and discrimination views were a welcome relief. Despite all these worries, however, I concede that one could probably do worse than assume for the nonce that meaning is atomic, or, anyway, unanalyzed, and get on with investigating the mind on that basis—but keeping the options open. (shrink)

The anti?Cartesian idea that a person's thoughts are not entirely fixed by what goes on inside that person's head is suggested by Hegel, and echoed in Wittgenstein and Frege. An argument for the view has recently been given by Tyler Burge. This paper claims that Burge's data can be explained better by an individualistic theory. The basic idea is that an individual's thoughts are specified analogically, in ordinary discourse, through the model of a language. Though the modelling?sentences are public, the (...) thoughts of the individual are inner states whose identity does not depend upon those sentences. They have content naturally, whether or not content happens to be ascribed to them. (shrink)

Some eliminativists have predicted that a developed neuroscience will eradicate the principles and theoretical kinds (belief, desire, etc.) implicit in our ordinary practices of mental state attribution. Prevailing defenses of common-sense psychology infer its basic integrity from its familiarity and instrumental success in everyday social commerce. Such common-sense defenses charge that eliminativist arguments are self-defeating in their folk psychological appeal to the belief that eliminativism is true. I argue that eliminativism is untouched by this simple charge of inconsistency, and introduce (...) a different dialectical strategy for arguing against the eliminativist. In keeping with the naturalistic trend in the sociology and philosophy of science, I show that neuroscientists routinely rely on folk psychological procedures of intentional state attribution in applying epistemically reliable standards of scientific evaluation. These scientific contexts place ordinary procedures of attribution under greater stress, producing evidence of folk psychological success that is less equivocal than the evidence in mundane settings. Therefore, the dependence of science on folk psychology, when combined with an independently plausible explanatory constraint on reduction and an independently motivated notion of theoretical stress, allows us to reconstitute the charge of (neurophilic) eliminativist inconsistency in a more sophisticated form. (shrink)

I contend there exists a platonistic good that all other good (excellent) things must resemble, supplementing this theory with Aristotelian features. Something’s goodness holds in virtue of the thing’s own properties being such as to satisfy its kind-based standards, and those K-standards resembling the platonic good. As for the latter condition, the K-standards resemble it firstly with respect to requiring activities, and secondly also at the level of what teleology those activities are directed towards.

Sometimes speakers within a linguistic community use a term that they do not conceptualize as a slur, but which other members of that community do. Sometimes these speakers are ignorant or naïve, but not always. This article explores a puzzle raised when some speakers stubbornly maintain that a contested term t is not derogatory. Because the semantic content of a term depends on the language, to say that their use of t is semantically derogatory despite their claims and intentions, we (...) must individuate languages in a way that counts them as speaking our language L, assigns t a determinately derogatory content in L, and still accommodates the other features of slurs’ linguistic profile. Given the difficulty of doing this, there is some reason to give a non-semantic analysis of the derogatory aspect of slurs. The author suggests that rather than dismissing the stubborn as semantically incompetent, we would do better to appeal to expected uptake as moral reasons for the stubborn to adjust their linguistic practices. (shrink)

According to a defense of scientific realism known as the “divide et impera move”, mature scientific theories enjoying predictive success are partially true. This paper investigates a paradigmatic historical case: the prediction, based on Fresnel’s wave theory of light, that a bright spot should figure in the shadow of a disc. Two different derivations of this prediction have been given by both Poisson and Fresnel. I argue that the details of these derivations highlight two problems of indispensability arguments, which state (...) that only the indispensable constituents of this success are worthy of belief and retained through theory-change. The first problem is that, contrary to a common claim, Fresnel’s integrals are not needed to predict the bright spot phenomenon. The second problem is that the hypotheses shared by to these two derivations include problematic idealizations. I claim that this example leads us to be skeptical about which aspects of our current theories are worthy of belief. (shrink)

ABSTRACT: The article examines the controversial relation of scientific realism with quantum mechanics. To this end, two distinct discussions are invoked: the discussion about ‘realism’ in the context of quantum mechanics and the discussion about ‘scientific realism’ in the context of the general philosophy of science. The aim is to distinguish them in order, first, to argue that the former—revolving around ‘local realism’ and the theorems of Bell and Kochen–Specker—unjustifiably identifies realism with features of a particular worldview, and thereby fosters (...) the impression that the failure of ‘local realism’ in quantum experiments constitutes a failure of scientific realism too; and, second, in light of the latter discussion, to claim that scientific realism and quantum mechanics can be compatible—there is ground for dealing with quantum measurement simply as a physical mind-independent interaction. Therefore, a realist approach to the theory is possible despite its notorious measurement problem, even if th... (shrink)

Externalism is the view that the contents of many of a person’s propositional attitudes and perhaps sensory experiences are extrinsic properties of the person’s brain: they involve relations between the person’s brain and properties instantiated in his or her present or past environment. Privileged self-knowledge is the view that every human being is able to know directly or non-inferentially, in a way unavailable to anybody else, what he or she thinks or experiences. Now, if what I think is not in (...) my brain, then it seems indeed as if I cannot have any privileged authoritative first-personal access to the content of what I think. Hence, externalism seems inconsistent with privileged self-knowledge. The purpose of this paper is to provide a road towards a conciliation between self-knowledge and externalism. (shrink)

It is fundamental assumption in nursing theory that it is important for nurses to understand how patients experience states of ill health. This assumption is often related to aims of empathic understanding, but normative principles of social interpretation can have an important action‐guiding role whenever nurses seek to understand patients’ subjective horizons on the basis of active or passive expressions of meaning. The aim of this article is to present a philosophical theory of concept possession and to argue that it (...) can shed light on how nurses should seek to understand patients’ subjective perspectives on the meaning of illness. The two basic ideas in the theory are that patients’ beliefs and thoughts about their experiences involve concepts and that concepts can be communicated on the basis of shared implicit conceptions of what they mean. These conditions of understanding have a striking application: nurse‐patient communication is limited by many contextual factors, but it is often possible for nurses to detect shared implicit conceptions of the meaning of concepts of disease and illness. Furthermore, by acting as sympathetic linguistic experts and creating an atmosphere for dialogue, nurses can make patients feel comfortable about deferring to medical explanations of meaning that can constitute a communicative platform. The last part of the article uses a number of cases studies to show how these implications can be implemented as conceptual tools for securing meaningful communication about illness experiences in patient dialogue. (shrink)

There is good reason to suppose that our best physical theories, quantum mechanics and special relativity, are false if taken together and literally. If they are in fact false, then how should they count as providing knowledge of the physical world? One might imagine that, while strictly false, our best physical theories are nevertheless in some sense probably approximately true. This paper presents a notion of local probable approximate truth in terms of descriptive nesting relations between current and subsequent theories. (...) This notion helps explain how false physical theories might nevertheless provide physical knowledge of a variety that is particularly salient to diachronic empirical inquiry. (shrink)

In On Certainty, Wittgenstein addressed the issue of beliefs that are not to be argued for, either because any grounds we could produce are less certain than the belief they are supposed to ground, or because our interlocutors would not accept our reasons. However, he did not address the closely related issue of justifying a conclusion to interlocutors who do not see that it follows from premises they accept. In fact, Wittgenstein had discussed the issue in the Remarks on the (...) Foundations of Mathematics; his view had been that certain inferential practices are constitutive of our notions of thinking and inferring. I argue that his treatment of unfounded beliefs in On Certainty essentially replicates, mutatis mutandis, his treatment of basic logical inference. (shrink)

In this paper, I present the case of the discovery of complex numbers by Girolamo Cardano. Cardano acquires the concepts of (specific) complex numbers, complex addition, and complex multiplication. His understanding of these concepts is incomplete. I show that his acquisition of these concepts cannot be explained on the basis of Christopher Peacocke’s Conceptual Role Theory of concept possession. I argue that Strong Conceptual Role Theories that are committed to specifying a set of transitions that is both necessary and sufficient (...) for possession of mathematical concepts will always face counterexamples of the kind illustrated by Cardano. I close by suggesting that we should rely more heavily on resources of Anti-Individualism as a framework for understanding the acquisition and possession of concepts of abstract subject matters. (shrink)

The ArgumentRecent studies in the philosophy of mathematics have increasingly stressed the social and historical dimensions of mathematical practice. Although this new emphasis has fathered interesting new perspectives, it has also blurred the distinction between mathematics and other scientific fields. This distinction can be clarified by examining the special interaction of thebodyandimagesof mathematics.Mathematics has an objective, ever-expanding hard core, the growth of which is conditioned by socially and historically determined images of mathematics. Mathematics also has reflexive capacities unlike those of (...) any other exact science. In no other exact science can the standard methodological framework usedwithinthe discipline also be used to study the nature of the discipline itself.Although it has always been present in mathematical research, reflexive thinking has become increasingly central to mathematics over the past century. Many of the images of the discipline have been dictated by the increase in reflexive thinking which has also determined a great portion of the contemporary philosophy and historiography of mathematics. (shrink)

A set of hypotheses is formulated for a connectionist approach to cognitive modeling. These hypotheses are shown to be incompatible with the hypotheses underlying traditional cognitive models. The connectionist models considered are massively parallel numerical computational systems that are a kind of continuous dynamical system. The numerical variables in the system correspond semantically to fine-grained features below the level of the concepts consciously used to describe the task domain. The level of analysis is intermediate between those of symbolic cognitive models (...) and neural models. The explanations of behavior provided are like those traditional in the physical sciences, unlike the explanations provided by symbolic models.Higher-level analyses of these connectionist models reveal subtle relations to symbolic models. Parallel connectionist memory and linguistic processes are hypothesized to give rise to processes that are describable at a higher level as sequential rule application. At the lower level, computation has the character of massively parallel satisfaction of soft numerical constraints; at the higher level, this can lead to competence characterizable by hard rules. Performance will typically deviate from this competence since behavior is achieved not by interpreting hard rules but by satisfying soft constraints. The result is a picture in which traditional and connectionist theoretical constructs collaborate intimately to provide an understanding of cognition. (shrink)

In the on-going debate between scientific realism and its various opponents, a crucial role in challenging the realist claim that success of scientific theories must be attributed to their approximate truth is played by the so-called pessimistic meta-induction: Arguing that the history of science boils down to a succession of theories which, though successful at a time, were eventually discarded only to be replaced by alternative theories which in turn met with the same fate, it purports to show that the (...) empirical success of scientific theories cannot have any bearing on claims about their truth-likeness. Yet, the same historical record suggests a possible strategy to counter this argument. Far from being a barren wasteland, it contains cases which point to the need of adopting a selective attitude when passing judgments about truth-likeness of theories. In this vein, Psillos has proposed the so-called divide et impera move. It consists in pointing out that responsibility for the success of a theory should be attributed to an indispensable core element in it, acting in unison with other elements reflecting the concrete historical conditions under which the theory was formulated. In what follows it is argued that the discovery of Kepler's first two laws and the transition to Newtonian mechanics provides a notable case to exhibit the divide et impera move. All the more so, since—as will be shown—Kepler himself employs a variant of this move, a fact that sheds light on the philosophical implications of his theories. As a result, it will be argued that the appropriate selective attitude towards theories becomes solidly warranted if wedded to the diachronic element in the process of a theory's development. (shrink)

In this paper I argue that an important notion of reduction depends on a four-place relation holding between expressions, concepts, properties, and events or states of affairs. I define this notion and argue against alternative accounts that are based on syntactic features of theories. Whilst these latter attempts fail to deliver a satisfactory explanation of why a certain theory or a certain expression reduces to another, the former can give a complete explanation of why, say, ‛human pain’ reduces to ‛C-fiber (...) stimulation’ or why the mind reduces to the physical. I briefly sketch the difference between the semantic approach that I favor, which is based on a particular notion of hyper-intensions, and classical model-theoretic versions of reduction. (shrink)

(1988). Understanding, truth, and explanation. International Studies in the Philosophy of Science: Vol. 3, No. 1, pp. 19-34. doi: 10.1080/02698598808573322.

A scientific theory is successful, according to Stanford (2000), because it is suficiently observationally similar to its corresponding true theory. The Ptolemaic theory, for example, is successful because it is sufficiently similar to the Copernican theory at the observational level. The suggestion meets the scientific realists' request to explain the success of science without committing to the (approximate) truth of successful scientific theories. I argue that Stanford's proposal has a conceptual flaw. A conceptually sound explanation, I claim, respects the ontological (...) order between properties. A dependent property is to be explained in terms of its underlying property, not the other way around. The applicability of this point goes well beyond the realm of the debate between scientific realists and antirealists. Any philosophers should keep the point in mind when they attempt to give an explanation of a property in their field whatever it may be. (shrink)

‘Water is H 2 O’ is naturally construed as an equivalence. What are the things to which the two predicates ‘is water’ and ‘is H 2 O’ apply? The equivalence presupposes that substance properties are distinguished from phase properties. A substance like water (H 2 O) exhibits various phases (solid, liquid, gas) under appropriate conditions, and a given (say liquid) phase may comprise several substances. What general features distinguish substance from phase properties? I tackle these questions on the basis of (...) an interpretation of a theorem of thermodynamics known as Gibbs' phase rule which systematically relates these two kinds of feature of matter. The interpretation develops the idea that the things substance and phase predicates apply to are quantities of matter which sustain mereological relations and operations and exploits these mereological features in distinguishing the two kinds of property. Gibbs' phase rule is a macroscopic principle applicable for macroscopic intervals of time. Bringing intervals of time into the picture calls for a more detailed consideration of the relation between macroscopic equilibria and the corresponding dynamic equilibria at the microlevel and throws into question the simple idea that quantities can always be regarded as collections of molecules. The account provides some insight into how the continuous, macroscopic conception of matter (‘gunk’) is reconciled with the discrete microscopic conception and illuminates the interpretation of substances present in mixtures. (shrink)

The paper argues that the use of epistemic terms, prominently “… knows” and even “… knows a priori/a posteriori” is context-sensitive along several dimensions. Besides the best known dimension of quality of evidence (lower quality for less demanding context, and higher one for more demanding), there is a dimension of depth (shallow justification for superficial evaluation, and deeper justification for deeper probing evaluation contexts). This claim is illustrated by context-dependent ascription of apriority and aposteriority. The argument proposed here focuses upon (...) the status of propositions that are analytic in empirical concepts (like “Whales are animals”). It is a commonplace in epistemology that any analytic proposition (including e-analytic ones) is a priori. The paper claims that propositions analyzing empirical concepts are an interesting counterexample. It develops the following argument: Many such propositions have empirical counterparts that are expressed by the same form-of-words. (E.g., the form of words “Whales are mammals” can express both an e-analytic proposition and an empirical statement.) They normally derive from their empirical counterparts. Beliefs in such propositions, can be explicitly justified either a priori, by pointing out their conceptual, analytic status, or by reverting to their empirical counterparts. In contexts of very superficial evaluation, one may justify such an analytic belief in the first, conceptual way. In most contexts a belief in a proposition analyzing an empirical concept is being justified by appeal to its empirical counterparts. The empirical justification is normally taken as being ultimate. Empirical counterparts are derivationally deeper than the corresponding analytic propositions, and empirical justification is deeper than a priori one as well. Therefore, propositions analyzing empirical concepts are deeply a posteriori and superficially a priori. (shrink)

It has been argued that most truths about macroscopic states of affairs are entailed by a (hypothetical) complete descriptionPof the world in microscopic terms. In principle, micro-reductive explanations of non-microphysical truths could be constructeda priori.Against this claim, I show that reductive explanation requires knowledge about the phenomena to be reduced which cannot bea prioriextracted from microphysical information alone. Such reductions proceed in two steps: a “reductionR0” (“role-occupant”) establishes that a macroproperty M plays a certain causal role (specified in macro-terms), while (...) a “reductionMM” (“micro-macro”) establishes that some microproperty gives rise toM. (shrink)

It will be the thesis of this paper that there are among our mental acts some which fall into the category of real material relations. That is: some acts are necessarily such as to involve a plurality of objects as their relata or fundamenta. Suppose Bruno walks into his study and sees a cat. To describe the seeing, here, as a relation, is to affirm that it serves somehow to tie Bruno to the cat. Bruno's act of seeing, unlike his (...) feeling depressed, his putative thinking-about-Santa-Claus or his musing, abstractedly, about the tallest spy, has at least two fundamenta: it is, as a matter of necessity, dependent for its existence upon both Bruno himself and the cat that he sees. This idea will naturally raise echoes of Russell's doctrine of knowledge by acquaintance. 'I am acquainted with an object', Russell tells us, 'when I have a direct cognitive relation to that object, i. e. when I am directly aware of the object itself' (1918, p. 209). And indeed a distinction in many ways like that between acquaintance and description will find a place within the theory here projected, but there are crucial differences. (shrink)