Many concepts are inadequate for serious inquiry, so theorists often seek to engineer new concepts. The method of explication, which involves replacing concepts with more fruitful alternatives, is a model of this process. In this paper, I develop an account of fruitfulness, the Relevant-Goals Account of Fruitfulness. The account is in the spirit of extant proposals, but develops and extends them in important ways. In particular, while it applies to explications in general, the account allows us to derive substantive details (...) for specific explications. This is achieved through a supplementary view, Contextualism, that specifies which theoretical goals are relevant in any given case. I close by discussing how the Relevant-Goals Account fits into the dynamic nature of inquiry. (shrink)

This book argues for the need to put into practice a profound and comprehensive intellectual revolution, affecting to a greater or lesser extent all branches of scientific and technological research, scholarship and education. This intellectual revolution differs, however, from the now familiar kind of scientific revolution described by Kuhn. It does not primarily involve a radical change in what we take to be knowledge about some aspect of the world, a change of paradigm. Rather it involves a radical change in (...) the fundamental, overall intellectual aims and methods of inquiry. At present inquiry is devoted to the enhancement of knowledge. This needs to be transformed into a kind of rational inquiry having as its basic aim to enhance personal and social wisdom. This new kind of inquiry gives intellectual priority to the personal and social problems we encounter in our lives as we strive to realize what is desirable and of value – problems of knowledge and technology being intellectually subordinate and secondary. For this new kind of inquiry, it is what we do and what we are that ultimately matters: our knowledge is but an aspect of our life and being. (shrink)

A formal theory of quantity T Q is presented which is realist, Platonist, and syntactically second-order (while logically elementary), in contrast with the existing formal theories of quantity developed within the theory of measurement, which are empiricist, nominalist, and syntactically first-order (while logically non-elementary). T Q is shown to be formally and empirically adequate as a theory of quantity, and is argued to be scientifically superior to the existing first-order theories of quantity in that it does not depend upon empirically (...) unsupported assumptions concerning existence of physical objects (e.g. that any two actual objects have an actual sum). The theory T Q supports and illustrates a form of naturalistic Platonism, for which claims concerning the existence and properties of universals form part of natural science, and the distinction between accidental generalizations and laws of nature has a basis in the second-order structure of the world. (shrink)

We inquire into the question whether the Aristotelean or classical \emph{ideal} of science has been realised by the Model Revolution, initiated at Stanford University during the 1950ies and spread all around the world of philosophy of science --- \emph{salute} P.\ Suppes. The guiding principle of the Model Revolution is: \emph{a scientific theory is a set of structures in the domain of discourse of axiomatic set-theory}, characterised by a set-theoretical predicate. We expound some critical reflections on the Model Revolution; the conclusions (...) will be that the philosophical problem of what a \emph{scientific theory} is has \emph{not} been solved yet --- \emph{pace} P.\ Suppes. While reflecting critically on the Model Revolution, we also explore a proposal of how to complete the Revolution and briefly address the intertwined subject of \emph{scientific representation}, which has come to occupy center stage in philosophy of science over the past decade. (shrink)

The symmetries of a physical theory are often associated with two things: conservation laws and representational redundancies. But how can a physical theory's symmetries give rise to interesting conservation laws, if symmetries are transformations that correspond to no genuine physical difference? In this article, I argue for a disambiguation in the notion of symmetry. The central distinction is between what I call "analytic" and "synthetic" symmetries, so called because of an analogy with analytic and synthetic propositions. "Analytic" symmetries are the (...) turning of idle wheels in a theory's formalism, and correspond to no physical change; "synthetic" symmetries cover all the rest. I argue that analytic symmetries are distinguished because they act as fixed points or constraints in any interpretation of a theory, and as such are akin to Poincaré's conventions or Reichenbach's 'axioms of co-ordination', or 'relativized constitutive a priori principles'. (shrink)

This paper outlines a theory and computer implementation of causal meanings and reasoning. The meanings depend on possibilities, and there are four weak causal relations: A causes B, A prevents B, A allows B, and A allows not‐B, and two stronger relations of cause and prevention. Thus, A causes B corresponds to three possibilities: A and B, not‐A and B, and not‐A and not‐B, with the temporal constraint that B does not precede A; and the stronger relation conveys only the (...) first and last of these possibilities. Individuals represent these relations in mental models of what is true in the various possibilities. The theory predicts a number of phenomena, and, contrary to many accounts, it implies that the meaning of causation is not probabilistic, differs from the meaning of enabling conditions, and does not depend on causal powers or mechanisms. The theory also implies that causal deductions do not depend on schemas or rules. (shrink)

I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to (...) make the concept of a theory more precise. Rather, it is meant as a generalizable framework for explicating specific theories. (shrink)

The numerical representations of measurement, geometry and kinematics are here subsumed under a general theory of representation. The standard theories of meaningfulness of representational propositions in these three areas are shown to be special cases of two theories of meaningfulness for arbitrary representational propositions: the theories based on unstructured and on structured representation respectively. The foundations of the standard theories of meaningfulness are critically analyzed and two basic assumptions are isolated which do not seem to have received adequate justification: the (...) assumption that a proposition invariant under the appropriate group is therefore meaningful, and the assumption that representations should be unique up to a transformation of the appropriate group. A general theory of representational meaningfulness is offered, based on a semantic and syntactic analysis of representational propositions. Two neglected features of representational propositions are formalized and made use of: (a) that such propositions are induced by more general propositions defined for other structures than the one being represented, and (b) that the true purpose of representation is the application of the theory of the representing system to the represented system. On the basis of these developments, justifications are offered for the two problematic assumptions made by the existing theories. (shrink)

‘Epistemic structural realism’ (ESR) insists that all that we know of the world is its structure, and that the ‘nature’ of the underlying elements remains hidden. With structure represented via Ramsey sentences, the question arises as to how ‘hidden natures’ might also be represented. If the Ramsey sentence describes a class of realisers for the relevant theory, one way of answering this question is through the notion of multiple realisability. We explore this answer in the context of the work of (...) Carnap, Hintikka and Lewis. Both Carnap and Hintikka offer clear structuralist perspectives which, crucially, accommodate the openness inherent in theory change. Unfortunately there is little purchase for a viable form of realism in either case. Lewis’s approach, on the other hand, offers more scope for realism but, as we shall see, concerns arise as to whether a relevant form of structuralism can be maintained. In particular his thesis of Ramseyan humility undermines certain conceptions of scientific laws that the structural realist might naturally cleave to. Our overall conclusion is that the representational device of Ramsey sentence plus multiple realisability can accommodate either the structuralist or realist aspects of ESR but has difficulties capturing both. (shrink)

Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap's developed view on theoretical terms, which attempts to stake out a neutral position between realism and instrumentalism. I argue that Carnap's mature conception of a scientific theory as the conjunction of its Ramsey sentence and Carnap sentence can indeed achieve this neutral position. To see this, however, we need to see why the Newman problem raised in the context of recent work on structural realism is no (...) problem for Carnap's conception; and we also need to locate Carnap's work on theoretical terms within his wider program of Wissenschaftslogik or the logic of science. (shrink)

This article develops an analogy proposed by Stachel between general relativity (GR) and quantum mechanics (QM) as regards permutation invariance. Our main idea is to overcome Pooley's criticism of the analogy by appeal to paraparticles. In GR, the equations are (the solution space is) invariant under diffeomorphisms permuting spacetime points. Similarly, in QM the equations are invariant under particle permutations. Stachel argued that this feature—a theory's ‘not caring which point, or particle, is which’—supported a structuralist ontology. Pooley criticizes this analogy: (...) in QM the (anti-)symmetrization of fermions and bosons implies that each individual state (solution) is fixed by each permutation, while in GR a diffeomorphism yields in general a distinct, albeit isomorphic, solution. We define various versions of structuralism, and go on to formulate Stachel's and Pooley's positions, admittedly in our own terms. We then reply to Pooley. Though he is right about fermions and bosons, QM equally allows more general types of particle symmetry, in which states (vectors, rays, or density operators) are not fixed by all permutations (called ‘paraparticle states’). Thus Stachel's analogy is revived. (shrink)

Experimental investigation of mechanisms seems to make use of causal relations that cut across levels of composition. In bottom-up experiments, one intervenes on parts of a mechanism to observe the whole; in top-down experiments, one intervenes on the whole mechanism to observe certain parts of it. It is controversial whether such experiments really make use of interlevel causation, and indeed whether the idea of causation across levels is even conceptually coherent. Craver and Bechtel have suggested that interlevel causal claims can (...) be analysed in a causal and a non-causal component. I accept this idea but argue that their account should be modified so as to account of cases of apparent downward causation. First, constitution must be distinguished from identity; second, the analysis of downward causation requires the concept of a partial constraint. An analysis along these lines shows that the possibility of downward causation is not refuted by Kim's argument according to which it is incompatible with the completeness of physics. (shrink)

Based on archival material from the Carnap and FeiglArchives, this paper re-examines Carnap's approach tothe issue of scientific realism in the 1950s and theearly 1960s. It focuses on Carnap's re-invention ofthe Ramsey-sentence approach to scientific theoriesand argues that Carnap wanted to entertain a genuineneutral stance in the realism-instrumentalism debate.Following Grover Maxwell, it claims that Carnap'sposition may be best understood as a version of`structural realism'. However, thus understood,Carnap's position faces the challenge that Newmanraised against Russell's structuralism: the claim thatthe knowledge of (...) the unobservable is limited to itspurely structural characteristics is eitheruninformative or unsustainable. (shrink)

Rudolf Carnap's Der logische Aufbau der Welt (The Logical Structure of the World) is generally conceived of as being the failed manifesto of logical positivism. In this paper we will consider the following question: How much of the Aufbau can actually be saved? We will argue that there is an adaptation of the old system which satisfies many of the demands of the original programme. In order to defend this thesis, we have to show how a new 'Aufbau-like' programme may (...) solve or circumvent the problems that affected the original Aufbau project. In particular, we are going to focus on how a new system may address the well-known difficulties in Carnap's Aufbau concerning abstraction, dimensionality, and theoretical terms. (shrink)

We compare Carnap's and Kuhn's views on science. Although there are important differences between them, the similarities are striking. The basis for the latter is a pragmatically oriented semantic conventionalist picture of science, which suggests that the view that post-positivist philosophy of science constitutes a radical revolution which has no interesting affinities with logical positivism must be seriously mistaken.

Lately, philosophers of mathematics have been exploring the notion of mathematical explanation within mathematics. This project is supposed to be analogous to the search for the correct analysis of scientific explanation. I argue here that given the way philosophers have been using “ explanation,” the term is not applicable to mathematics as it is in science.

Measurement is a process aimed at acquiring and codifying information about properties of empirical entities. In this paper we provide an interpretation of such a process comparing it with what is nowadays considered the standard measurement theory, i.e., representational theory of measurement. It is maintained here that this theory has its own merits but it is incomplete and too abstract, its main weakness being the scant attention reserved to the empirical side of measurement, i.e., to measurement systems and to the (...) ways in which the interactions of such systems with the entities under measurement provide a structure to an empirical domain. In particular it is claimed that (1) it is on the ground of the interaction with a measurement system that a partition can be induced on the domain of entities under measurement and that relations among such entities can be established, and that (2) it is the usage of measurement systems that guarantees a degree of objectivity and intersubjectivity to measurement results. As modeled in this paper, measurement systems link the abstract theory of measuring, as developed in representational terms, and the practice of measuring, as coded in standard documents such as the International Vocabulary of Metrology. (shrink)

Within post - Kuhnian, philosophy of science, much effort has been devoted to issues related to conceptual change, such as incommensurability, scientific progress and realism, but mostly in terms of reference, without a fine - grained theory of scientific concepts/senses. Within the philosophy of language and of mind tradition, there is a large body of work on concepts, but the application to scientific concepts has been very tentative. The aim of this paper is to propose a general framework for a (...) theory for the individuation of scientific concepts. The general view about the individuation of concepts favored here is the possession - condition approach: to individuate a concept is to identify its possession conditions. The general metascientific tools for the analysis of scientific theories are model - theoretic, more specifically, structuralist: scientific theories, the entities to which scientifc concepts belong, are model - theoretic theory - nets. The general idea about the content of scientific concepts that inspires this proposal comes from: (i) our grandfathers’ "laws - plus - correspondence rules", (ii) Kuhns "laws applied to exemplars" views and (iii) moderate operationalism. The aim is to show that some clarification can be gained applying the possesion condition appproach to (an expansion of) these three elements using structuralist metascientific tools. First, I briefly present the two main structuralist ideas I shall use: the difference between observability and non - theoreticity, and the notion of theory - net. Second, I informally introduce the five components that come from my reading of the three traditional elements; these components are, or are not, plausible independently of how they will be integrated within a theory of concept - identity. Third, I present the kore of the theory of possession conditions for concept - identity that we shall use for the integration of such components. Finally, I propose the general traits of the possession condition that corresponds to each of these five components, I present some problems and point out some possible ways of dealing with them. (shrink)

The Ramsey-sentence H* of any hypothesis H is shown to be a synthetic proposition containing mathematics as a finite component. Far from being quasi-tautological, H* proves to have as much physical content as H itself.

For Jerry Fodor, Hume’sTreatise of Human Natureis “the foundational document of cognitive science” whose significance transcends mere historical interest: it is a source of theoretical inspiration in cognitive psychology. Here I am going to argue that those reading Hume along Fodor’s lines rely on a problematic, albeit inspiring, construction of Hume’s science of mind. My strategy in this paper is to contrast Fodor’s understanding of the Humean mind (consonant with the widely received view of Hume in both cognitive science and (...) much of Hume scholarship) with an alternative understanding that I propose. I thereby intend to show that the received view of Hume’s science of mind can be fruitfully revised while critically engaging with Fodor’s contemporary appropriation. Consequently, I use this occasion to put forward a rather unorthodox interpretation of Hume’s theory in dialogue with Fodor as my guide. (shrink)

This paper examines whether, and in what contexts, Duhem’s and Poincaré’s views can be regarded as conventionalist or structural realist. After analysing the three different contexts in which conventionalism is attributed to them – in the context of the aim of science, the underdetermination problem and the epistemological status of certain principles – I show that neither Duhem’s nor Poincaré’s arguments can be regarded as conventionalist. I argue that Duhem and Poincaré offer different solutions to the problem of theory choice, (...) differ in their stances towards scientific knowledge and the status of scientific principles, making their epistemological claims substantially different. (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)

The foundations of systematics lie in ontology, not in subjective epistemology. Systems and their elements should be distinguished from classes; only the latter are constructed from similarities. The term classification should be restricted to ordering into classes; ordering according to systematic relations may be called systematization.The theory of organization levels portrays the real world as a hierarchy of open systems, from energy quanta to ecosystems; followingHartmann these systems as extended in time are considered the primary units of reality. Organization levels (...) should be distinguished from levels of differentiation within each organization level.Certain biological systems, such as species, continue to be misinterpreted as classes, particularly by logicians unfamiliar with modern biological theory. Replacement of Aristotelian definitions of species by “polytypic” definitions achieves nothing, because species are individual systems which can be defined from an ontological viewpoint only as wholes. The dispute whether classes are real per se or only in individuals is of no scientific importance; irrespective of which view is taken, any ordering of physical objects into classes constitutes an hypothesis about the structure of the real world.The distinction between essential and contingent characters is relevant only to classification. There are no universal rules for evaluating characters for purposes of systematization. Character statements do not form separate linear sequences. The search for “unit characters” in an absolute sense is futile. All real characters are reducible to relations and are in principle measurable, although there are limitations on the extent to which this can be presently achieved.The concept of the sexual species is fundamental to theories of biosystematics. Sexual species may be defined as lineages consisting at any given time of series of populations between which genetic exchange can occur and delimited in time by two successive processes of speciation. Linnaean nomenclature needs modification; in its traditional form it is appropriate only to non-truncated hierarchies, whereas real phylogenies form truncated hierarchies. In consequence of the distinction between systematization and classification it is concluded that, while taxa may be classified into age classes or evolutionary grades, their limits as taxa can be no different in either case. Classification into evolutionary grades remains an imprecise endeavour, since no general measure of evolutionary differentiation has been devised.The spatial and temporal extent of ecosystems, the postulated basic units of ecosystematics, remains unclarified. Nevertheless there are grounds for expecting progress in this field as the energetic relations between organisms become better understood. Biotic communities are not “abstract” classes, but systematic units. Physiognomic classification should not be confused with systematization of plant communities; both approaches contribute to an understanding of vegetational structure. (shrink)

There is a venerable position in the philosophy of space and time that holds that the geometry of spacetime is conventional, provided one is willing to postulate a “universal force field.” Here we ask a more focused question, inspired by this literature: in the context of our best classical theories of space and time, if one understands “force” in the standard way, can one accommodate different geometries by postulating a new force field? We argue that the answer depends on one’s (...) theory. In Newtonian gravitation the answer is yes; in relativity theory, it is no. (shrink)

We construct an extension P of the standard language of classical propositional logic by adjoining to the alphabet of a new category of logical-pragmatic signs. The well formed formulas of are calledradical formulas (rfs) of P;rfs preceded by theassertion sign constituteelementary assertive formulas of P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf of P is endowed with atruth value defined classically, (...) and everyaf is endowed with ajustification value, defined in terms of the intuitive notion of proof and depending on the truth values of its radical subformulas. In this framework, we define the notion ofpragmatic validity in P and yield a list of criteria of pragmatic validity which hold under the assumption that only classical metalinguistic procedures of proof be accepted. We translate the classical propositional calculus (CPC) and the intuitionistic propositional calculus (IPC) into the assertive part of P and show that this translation allows us to interpret Intuitionistic Logic as an axiomatic theory of the constructive proof concept rather than an alternative to Classical Logic. Finally, we show that our framework provides a suitable background for discussing classical problems in the philosophy of logic. (shrink)

Abstract This essay will argue systematically and from a historical perspective that there is something to be said for the traditional claim that the human and natural sciences are distinct epistemic practices. Yet, in light of recent developments in contemporary philosophy of science, one has to be rather careful in utilizing the distinction between understanding and explanation for this purpose. One can only recognize the epistemic distinctiveness of the human sciences by recognizing the epistemic centrality of reenactive empathy for our (...) understanding of rational agency, that is, by emphasizing the psychological component in the concept of understanding that nineteenth-century philosophers like Droysen, in contrast to twentieth-century hermeneutic philosophers, still acknowledged. In addition, the essay will show in detail that merely pointing to the fact that narratives have a cognitive function in the domain of the human sciences, as is common among philosophers of history, does not provide us with a sufficient demarcation criterion for distinguishing between the human and natural sciences. (shrink)

Paul Thompson, John Beatty, and Elisabeth Lloyd argue that attempts to resolve certain conceptual issues within evolutionary biology have failed because of a general adherence to the received view of scientific theories. They maintain that such issues can be clarified and resolved when one adopts a semantic approach to theories. In this paper, I argue that such conceptual issues are just as problematic on a semantic approach. Such issues arise from the complexity involved in providing formal accounts of theoretical laws (...) and scientific explanations. That complexity is due to empirical and pragmatic considerations, not one's adherence to a particular formal approach to theories. This analysis raises a broader question. How can any formal account properly represent the complex nature of empirical phenomena? (shrink)

In this paper, a modest version of the Semantic View is motivated as both tenable and potentially fruitful for philosophy of science. An analysis is proposed in which the Semantic View is characterized by three main claims. For each of these claims, a distinction is made between stronger and more modest interpretations. It is argued that the criticisms recently leveled against the Semantic View hold only under the stronger interpretations of these claims. However, if one only commits to the modest (...) interpretation for all the claims, then the view obtained, the Modest Semantic View, is tenable and fruitful for the philosophy of science. (shrink)

And this paper is an attempt to say precisely how, thus addressing a philosophical problem which is commonly taken to be a serious one. It does so, however, in quite an idiosyncratic way. It is based on the account of inductive schemes I have given in (1988) and (1990a) and on the conception of causation I have presented in (1980), (1983), and (1990b), and it intends to fill one of many gaps which have been left by these papers. Still, I (...) have tried to make this paper self-contained. Section 1 explains the philosophical question this paper is about; in more general terms it asks what might be meant by objectifying epistemic states or features of them and to which extent epistemic states can be objectified. The next sections introduce the basis I rely on with formal precision and some explanation; section 2 deals with induction and section 3 with causation. Within these confines, section 4 attempts to give an explication of the relevant sense of objectification and section 5 investigates the extent to which various features of epistemic states are objectifiable. The two most salient results are roughly that the relation "A is a reason for B" cannot be objectified at all and that the relation "A is a cause of B" can be objectified only under substantial, though reasonable restrictions. What has all of this to do with probability? A lot. The paper trades on a pervasive duality between probabilistic and deterministic epistemology, between a probabilistic representation of epistemic states together with a theory of probabilistic causation and another representation of epistemic states which I call deterministic because it lends itself, in a perfectly parallel fashion, to a theory of deterministic causation. Here I explicitly deal only with the deterministic side, but the duality should pave the way for further conclusions concerning objective probabilities and statistical laws. This outlook is briefly expanded in the final section 6. (shrink)

In this paper I shall adopt a possible reading of the notions of ‘explanatory indispensability’ and ‘genuine mathematical explanation in science’ on which the Enhanced Indispensability Argument proposed by Alan Baker is based. Furthermore, I shall propose two examples of mathematical explanation in science and I shall show that, whether the EIA-partisans accept the reading I suggest, they are easily caught in a dilemma. To escape this dilemma they need to adopt some account of explanation and offer a plausible answer (...) to the following ‘question of evidence’: What is a genuine mathematical explanation in empirical science and on what basis do we consider it as such? Finally, I shall suggest how a possible answer to the question of evidence might be given through a specific account of mathematical explanation in science. Nevertheless, the price of adopting this standpoint is that the genuineness of mathematical explanations of scientific facts turns out to be dependent on pragmatic constraints and therefore cannot be plugged in EIA and used to establish existential claims about mathematical objects. (shrink)

Günther PATZIG: Gesammelte Schriften, Wallstein Verlag, Göttingen, 4 vols: I, Grundlagen der Ethik, pp. 303; II, Angewandte Ethik, pp. 191; III, Aufsätze zur antiken Philosophie, pp.319; IV, Theoretische Philosophie, pp. 278.

Carl Hempel introduced what he called "Craig's theorem" into the philosophy of science in a famous discussion of the "problem of theoretical terms." Beginning with Hempel's use of 'Craig's theorem," I shall bring out some of the key differences between Hempel's treatment of the "problem of theoretical terms" and Carnap's in order to illuminate the peculiar function of Wissenschaftslogik in Carnap's mature philosophy. Carnap's treatment, in particular, is fundamentally antimetaphysical—he aims to use the tools of mathematical logic to dissolve rather (...) solve traditional philosophical problems—and it is precisely this point that is missed by his logically-minded contemporaries such as Hempel and Quine. (shrink)

Assuming that the qualities of immediate experience ('sentience') are the subjective aspect of the neurophysiological cerebral processes, And assuming that all behavior is ultimately susceptible to physical explanation, There are a number of ways in which mind-Body monism can be stated. But there are also a number of serious difficulties for a logically coherent formulation of the identity thesis of the mental and the physical.

Abstract Artificial language philosophy (also called ‘ideal language philosophy’) is the position that philosophical problems are best solved or dissolved through a reform of language. Its underlying methodology—the development of languages for specific purposes—leads to a conventionalist view of language in general and of concepts in particular. I argue that many philosophical practices can be reinterpreted as applications of artificial language philosophy. In addition, many factually occurring interrelations between the sciences and philosophy of science are justified and clarified by the (...) assumption of an artificial language methodology. (shrink)

This essay examines Friedman's recent approach to the analysis of physical theories. Friedman argues against Quine that the identification of certain principles as ‘constitutive’ is essential to a satisfactory methodological analysis of physics. I explicate Friedman's characterization of a constitutive principle, and I evaluate his account of the constitutive principles that Newtonian and Einsteinian gravitation presuppose for their formulation. I argue that something close to Friedman's thesis is defensible.

The aim of this paper is to apply inductive logic to the field that, presumably, Carnap never expected: legal causation. Legal causation is expressible in the form of singular causal statements; but it is distinguished from the customary concept of scientific causation, because it is subjective. We try to express this subjectivity within the system of inductive logic. Further, by semantic complement, we compensate a defect found in our application, to be concrete, the impossibility of two-place predicates (for causal relationship) (...) in inductive logic. (shrink)

Comparative concepts such as greener than or higher than are ways of ordering objects. They are fundamental to our grasp of gradable concepts, that is, the type of meanings expressed by gradable general terms, such as "is green" or "is high", which are embeddable in comparative constructions in natural language. Some comparative concepts seem natural, whereas others seem gerrymandered. The aim of this paper is to outline a theoretical approach to comparative concepts that bears both on the account of naturalness (...) for comparative concepts and on the theory of gradable concepts. The approach is novel in that it carries some basic assumptions from Peter Gärdenfors' conceptual spaces account of categorical concepts over to comparative concepts. The offered approach is more general than Gärdenfors' account in that it supplies a framework of graded categorisation that includes his categorisation rule as a limiting case. Importantly, it provides also a new argument for adopting Gärdenfors' particular model of categorisation. (shrink)

This paper describes the development of theories of scientific explanation since Hempel's earliest models in the 1940ies. It focuses on deductive and probabilistic whyexplanations and their main problems: lawlikeness, explanation-prediction asymmetries, causality, deductive and probabilistic relevance, maximal specifity and homogenity, the height of the probability value. For all of these topic the paper explains the most important approaches as well as their criticism, including the author's own accounts. Three main theses of this paper are: (1) Both deductive and probabilistic explanations (...) are important in science, not reducible to each other. (2) One must distinguish between (cause giving) explanations and (reason giving) justifications and predictions. (3) The adequacy of deductive as well as probabilistic explanations is relative to a pragmatically given background knowledge-which does not exclude, however, the possibility of purely semantic models. (shrink)

In the first part of my paper I discuss eight arguments in favour of the theory-dependence of observation: realistic content, guidance function of theories, perception as cognitive construction, expectation-dependence of perception, theory-dependence of scientific data, continuity between observational and theoretical concepts, language-dependence, and meaning holism. I argue that although these arguments make correct points, they do not exclude the existence of observations that are weakly theory-neutral in the sense that they don’t depend on acquired background knowledge. In the second part (...) I suggest an experimental method, the method of ostensive learning experiments, by which the degree of theory- and language-independence of a concept can be tested. (shrink)

Most scholars who presently deal with the Mind-Body problem consider themselves monist materialists. Nevertheless, many of them also assume that there exist (in some sense of existence) mental entities. But since these two positions do not harmonize quite well, the literature is full of discussions about how to reconcile the positions. In this paper, I will defend a materialist theory that avoids all these problems by completely rejecting the existence of mental entities. This is Quine's repudiation theory. According to the (...) theory, there are no mental entities, and the behavioral or physiological phenomena that have been attributed to mental entities, or that point to the existence of these entities, are exclusively caused by physiological factors. To be sure, several objections have been raised to materialist theories that do not assign some role to mental entities. But we will see that Quine is able to give convincing replies to these objections. (shrink)