This article analyses three basic concepts of Ludwik Fleck’s Genesis and Development of a Scientific Fact. It shows first that Fleck’s notion of „directed perception“ is closely linked to Jakob von Uexküll’s writings on the „Umwelt“ of animals and humans. The article then proposes to regard the epistemological debates surrounding parapsychology as an important testing ground for the Fleckian concept of „mood“ and his concomitant hypotheses about „the tenacity of systems of opinion and the harmony of illusions“. It finally (...) argues that Fleck’s modification of Wilhelm Jerusalem’s idea of the „social consolidation“ of knowledge helps us to understand the indebtedness of Fleck towards early functionalist sociology as well as his strong belief in „specific historical laws governing the development of ideas“. The historical semantics of Fleck’s works hence proves that his insights are neither marginal nor revolutionary but rather deeply rooted within scientific traditions from the late 19th and early 20th centuries. (shrink)

In the last two sections of Structure, Thomas Kuhn first develops his famous threefold conception of the incommensurability of scientific paradigms and, subsequently, a conception of scientific progress as growth of empirical strength. The latter conception seems to be at odds with the former in that semantic incommensurability appears to imply the existence of situations where scientific progress in Kuhns sense can no longer exist. In contrast to this seeming inconsistency of Kuhns conception, we will try to (...) show in this study that the semantic incommensurability of scientific terms appears to be fully compatible with scientific progress. Our argumentation is based on an improved version of the formalization of Kuhns conception as developed in the 1970s by Joseph Sneed and Wolfgang Stegmüller: In order to be comparable, incommensurable theories need the specification of relations that refer to the concrete ontologies of these theories and involve certain truth claims. The original structuralist account of reduction fails to provide such relations, because (1) it is too structural and (2) it is too wide. Moreover, the original structuralist account also fails to cover important cases of incommensurable theories in being too restrictive for them. In this paper, we develop an improved notion of “reduction” that allows us to avoid these shortcomings by means of a more flexible device for the formalization of (partially reductive) relations between theories. For that purpose, we use a framework of rigid logic, i.e., logic that is based on a fixed collection of objects. (shrink)

The paper examines the role played by the notion of truth in the version of scientific realism known as scientific entity realism. Scientific entity realism is the thesis that the unobservable entities postulated by scientific theories are real. As such, it is an ontological thesis about the existence of certain entities. By contrast, scientific realism is often characterised as a thesis primarily involving the truth of theories. Sometimes scientific realism is expressed as the thesis (...) that theoretical statements are intended as true descriptions of reality. Another favoured theme is that theoretical statements are objectively true or false in virtue of the way the world is independently of us. To such formulations it is usually added that the sense of 'true' required by scientific realism is the correspondence sense. To mark the contrast with scientific entity realism, I shall say that a formulation of scientific realism in terms of truth is a semantic version of scientific realism. [For footnotes, see The Semantic Stance of Scientific Entity Realism Corrigenda in Philosophia 25 3-4 1997 481-482]. (shrink)

In spite of several attempts to explicate the relationship between a scientific hypothesis and evidence, the issue still cries for a satisfactory solution. Logical approaches to confirmation, such as the hypothetico-deductive method and the positive instance account of confirmation, are problematic because of their neglect of the semantic dimension of hypothesis confirmation. Probabilistic accounts of confirmation are no better than logical approaches in this regard. An outstanding probabilistic account of confirmation, the Bayesian approach, for instance, is found to be (...) defective in that it treats evidence as a formal entity and this creates the problem of relevance of evidence to the hypothesis at issue, in addition to the difficulties arising from the subjective interpretation of probabilities. This essay purports to satisfy the need for a successful account of hypothesis confirmation by offering an original formulation based on the notion of instantiation of the relation urged by an hypothesis. (shrink)

In spite of several attempts to explicate the relationship between a scientific hypothesis and evidence, the issue still cries for a satisfactory solution. Logical approaches to confirmation, such as the hypothetico-deductive method and the positive instance account of confirmation, are problematic because of their neglect of the semantic dimension of hypothesis confirmation. Probabilistic accounts of confirmation are no better than logical approaches in this regard. An outstanding probabilistic account of confirmation, the Bayesian approach, for instance, is found to be (...) defective in that it treats evidence as a formal entity and this creates the problem of relevance of evidence to the hypothesis at issue, in addition to the difficulties arising from the subjective interpretation of probabilities. This essay purports to satisfy the need for a successful account of hypothesis confirmation by offering an original formulation based on the notion of instantiation of the relation urged by an hypothesis. (shrink)

Almost everyone has an intuitive notion of what a random number is. For example, consider these two series of binary digits: 01010101010101010101 01101100110111100010 The first is obviously constructed according to a simple rule; it consists of the number 01 repeated ten times. If one were asked to speculate on how the series might continue, one could predict with considerable confidence that the next two digits would be 0 and 1. Inspection of the second series of digits yields no such comprehensive (...) pattern. There is no obvious rule governing the formation of the number, and there is no rational way to guess the succeeding digits. The arrangement seems haphazard; in other words, the sequence appears to be a random assortment of 0's and 1's. (shrink)

Scientific progress is a hot topic in the philosophy of science. However, as yet we lack a comprehensive philosophical examination of scientific progress. First, the recent debate pays too much attention to the epistemic approach and the semantic approach. Shan’s new functional approach and Dellsén’s noetic approach are still insufficiently assessed. Second, there is little in-depth analysis of the progress in the history of the sciences. Third, many related philosophical issues are still to be explored. For example, what (...) are the implications of scientific progress for the scientific realism/antirealism debate? Is the incommensurability thesis a challenge to scientific progress? What role does aesthetic values play in scientific progress? Does idealisation impede scientific progress? This book fills this gap. It offers a new assessment of the four main approaches to scientific progress (Part I). It also features eight historical case studies to investigate the notion of progress in different disciplines: physics, chemistry, evolutionary biology, seismology, psychology, sociology, economics, and medicine respectively (Part II). It discusses some issues related to scientific progress: scientific realism, incommensurability, values in science, idealisation, scientific speculation, interdisciplinarity, and scientific perspectivalism (Part III). (shrink)

The philosophical significance attached to the construction of systems of units has traditionally been confined to the notion of convention, while their adoption was considered to be the exclusive province of the history and sociology of science. Against this tradition, a close articulation between history, philosophy, and sociology of science is needed in order to analyse the recent reform of the International system of units. In the new SI, units are redefined on the basis of certain fundamental constants of nature, (...) established by physical theories, whose values are fixed without uncertainty. The purpose of this article is to show that the redefinition of SI units, far from being a convention, involves a holistic reconstruction of our concepts of quantities from accepted theoretical laws. Fixing the values of the defining constants stabilizes these laws within the framework of physics through a twofold adjustment procedure that ensures both a semantic coordination between theory and world and an intersubjective coordination between human agents required by social activities. This double adjustment implies a treatment of uncertainties that results in closely entwining the pursuit of truth as correspondence and truth as coherence which turn out to be complementary, thus highlighting the anthropological underpinnings of scientific realism. (shrink)

In this paper we consider the notions of structure and models within the semantic approach to theories. To highlight the role of the mathematics used to build the structures which will be taken as the models of theories, we review the notion of mathematical structure and of the models of scientific theories. Then, we analyse a case-study and argue that if a certain metaphysical view of quantum objects is adopted, namely, that which sees them as non-individuals, then there (...) would be strong reasons to ask for a different mathematical framework for describing the structures that would be the models of the corresponding theory. In departing from the standard frameworks, we hope to bring to the scene, within the scope of the semantic approach, the importance of paying attention to some fundamental concepts usually only superficially touched by philosophers of science. (shrink)

Based on an idea of Ajdukiewiu, a method of equifunctionality is developed to provide a formal explication of the notion of sameness of use relative to some system of rules. Given this, a set‐theoretic explication of Lauener's context dependent conception of synonymy is introduced by looking at languages of ropositional logic, and compared both with Ajdukiewicz's original conception and with Carnap's explication of synonymy based on his method of extension and intention.

When is conceptual change so significant that we should talk about a new theory, not a new version of the same theory? We address this problem here, starting from Gould’s discussion of the individuation of the Darwinian theory. He locates his position between two extremes: ‘minimalist’—a theory should be individuated merely by its insertion in a historical lineage—and ‘maximalist’—exhaustive lists of necessary and sufficient conditions are required for individuation. He imputes the minimalist position to Hull and attempts a reductio : (...) this position leads us to give the same ‘name’ to contradictory theories. Gould’s ‘structuralist’ position requires both ‘conceptual continuity’ and descent for individuation. Hull’s attempt to assimilate into his general selectionist framework Kuhn’s notion of ‘exemplar’ and the ‘semantic’ view of the structure of scientific theories can be used to counter Gould’s reductio , and also to integrate structuralist and population thinking about conceptual change. (shrink)

Marian Przełęcki’s semantics for the Received View is a good explication of Carnap’s position on the subject, anticipates many discussions and results from both proponents and opponents of the Received View, and can be the basis for a thriving research program.

We consider a logic which is semantically dual (in some precise sense of the term) to intuitionistic. This logic can be labeled as “falsification logic”: it embodies the Popperian methodology of scientific discovery. Whereas intuitionistic logic deals with constructive truth and non-constructive falsity, and Nelson's logic takes both truth and falsity as constructive notions, in the falsification logic truth is essentially non-constructive as opposed to falsity that is conceived constructively. We also briefly clarify the relationships of our falsification (...) logic to some other logical systems. (shrink)

Ordinarily, in mathematical and scientific practice, the notion of a “theory” is understood as follows: (SCT) Standard Conception of Theories : A theory T is a collection of statements, propositions, conjectures, etc. A theory claims that things are thus and so. The theory may be true, and may be false. A theory T is true if things are as T says they are, and T is false if things are not as T says they are. One can make this (...) Aristotelian explanation more precise, as Tarski showed, in the cases where we understand how to give precise logical analyses of theories, by identifying an interpreted language L, Á) in which T may be formulated. Here L is some formalized language and Á is an L-interpretation. One can define the satisfaction relation ⊨, holding between L-sentences j and L-interpretations, and then define the notion L-sentence j is true in L, Á)” as Á ⊨ j”. What is essential about this is that theories are truth bearers . They are bearers of semantic properties. (shrink)

Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the mappings (...) between these scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. (shrink)

Quantification into modal contexts depends on cross-Identifications of individuals between possible worlds, Which in turn depends on the structure and interrelations of these worlds. There is hence no guarantee that cross-Identification always succeeds. It will fail for the worlds needed for realistic applications of logical modalities, Partly vindicating quine's criticism of them. In general, World lines of individuals cannot always be extended from a world to others.

A novel account of semantic information is proposed. The gist is that structural correspondence, analysed in terms of similarity, underlies an important kind of semantic information. In contrast to extant accounts of semantic information, it does not rely on correlation, covariation, causation, natural laws, or logical inference. Instead, it relies on structural similarity, defined in terms of correspondence between classifications of tokens into types. This account elucidates many existing uses of the notion of information, for example, in the context of (...) scientific models and structural representations in cognitive science. It is poised to open a new research program concerned with various kinds of semantic information, its functions, and its measurement. (shrink)

Multiply realizable properties are those whose realizers are physically diverse. It is often argued that theories which contain them are ipso facto irreducible. These arguments assume that physical explanations are restricted to the most specific descriptions possible of physical entities. This assumption is descriptively false, and philosophically unmotivated. I argue that it is a holdover from the late positivist axiomatic view of theories. A semantic view of theories, by contrast, correctly allows scientific explanations to be couched in the most (...) perspicuous, powerful language available. On a semantic view, traditional notions of multiple realizability are thus very hard to motivate. At best, one must abandon either the idea that multiple realizability is an interesting scientific notion, or else admit that multiply realizable properties do not automatically block scientific reductions. (shrink)

Semantic realism can be characterised as the idea that scientific theories are truth-bearers, and that they are true or false in virtue of the world. This notion is often assumed, but rarely discussed in the literature. I examine how it fares in the context of the semantic view of theories and in connection with the literature on scientific representation. Making sense of semantic realism requires specifying the conditions of application of theoretical models, even for models that are not (...) actually used, which leads to several difficulties. My conclusion is that semantic realism is far more demanding than one would expect. Finally, I briefly examine some pragmatist alternatives. (shrink)

http://dx.doi.org/10.5007/1808-1711.2008v12n1p73 This paper aims at discussing from the point of view of a pragmatic stance the concept of model as an abstract replica. According to this view, scientific models are abstract structures different from set-theoretic models. The view of models argued for here stems from the conceptions of some important philosophers of science who elaborated on the notion of model, such as Suppe, Cartwright, Hempel, and Nagel. Differently from all those authors, however, the conception of model argued for here (...) is typically pragmatic, not semantic, i.e. it has not to do with the interpretation of scientific theories, but with the explanation and construction of given circumstances (both abstract and concrete), from the point of view of the theory. (shrink)

This paper aims at discussing from the point of view of a pragmatic stance the concept of model as an abstract replica. According to this view, scientific models are abstract structures different from set-theoretic models. The view of models argued for here stems from the conceptions of some important philosophers of science who elaborated on the notion of model, such as Suppe, Cartwright, Hempel, and Nagel. Differently from all those authors, however, the conception of model argued for here is (...) typically pragmatic, not semantic, i.e. it has not to do with the interpretation of scientific theories, but with the explanation and construction of given circumstances, from the point of view of the theory. (shrink)

The notion of semantic correctness (meaningfulness, or sensefulness) of propositions is widespread in logico-philosophical and linguistic works, as well as in experimental cog­nitive science. Nevertheless, its content is not clear. Many discussions connected to its use serve as evidence for its obscurity. In this investigation, I articulate and solve some interrelated problems which should be analyzed to make this notion more intelligible. Firstly, I pose a question whether semantic correctness is a normative or a descriptive characteristic. In other words: does (...) it refer to a certain ideal of language usage ascribed to the abstract rational agent but not necessarily observed or even recognized by real agents (the normative option), or to some attitude of real language users towards linguistic ex­pressions (the descriptive option)? I show that the notion of semantic correctness emerged in theoretical contexts as normative due to its role within certain conceptions of scientific rationality. However, one can say that it also contains a descriptive aspect, but it is needed to state distinctively what this aspect is. Particularly, there is a question: can the compatibility of ontological categories in the worldview of a language user (call it onto­logical correctness) be taken as a criterion of semantic correctness for natural languages? I show that this is inadmissible: ontological categorial mistakes should not be seen as se­mantic deviations because in this case it would be impossible to delimit senseless sen­tences from contradictive and simply false sentences in natural languages. Finally, I pro­pose a novel view of the content of the meaningful/senseless dichotomy. It occupies a special place among semantic distinctions being related to structural laws of knowledge incrementation and discourse deployment. From this perspective, I outline an integral ap­proach to the conditions of meaningfulness/senselessness of propositions considering a number of factors. In particular, I analyze the conditions of senselessness for contradic­tions and tautologies. (shrink)

A new PhD slated to teach a beginning undergraduate course on scientific reasoning recently asked me to recommend topics. I launched into a description of my “baby-Popper-plus-statistics” class – give them enough deductive logic to understand the Duhemian problem, do the Galileo case study, use the notion of severe test to introduce a bit of probability theory, then segue to the problem of testing statistical hypotheses…. My interlocutor was looking impatient. “But I’m a strong adherent of the Semantic Conception (...) of theories,” he said. “I can’t teach all that stuff about trying to falsify bold conjectures.” This was not a moment for proselytizing, so I loaned him a copy of Giere’s textbook, which is based on the Semantic Conception, and sent him happily on his way. However, this episode raises an interesting question, one that takes on some urgency as the Semantic Conception of scientific theories (SC) seems well on its way to becoming the new received view: What accounts of scientific method, confirmation and explanation does the SC support? (shrink)

This paper explores varieties of scientific structuralism. Central to our investigation is the notion of `shared structure'. We begin with a description of mathematical structuralism and use this to point out analogies and disanalogies with scientific structuralism. Our particular focus is the semantic structuralist's attempt to use the notion of shared structure to account for the theory-world connection, this use being crucially important to both the contemporary structural empiricist and realist. We show why minimal scientific structuralism is, (...) at the very least, a powerful methodological standpoint. Our investigation also makes explicit what more must be added to this minimal structuralist position in order to address the theory-world connection, namely, an account of representation. (shrink)

If one takes seriously the idea that a scientific language must be extensional, and accepts Quine’s notion of truth-value-related extensionality, and also recognizes that a scientific language must allow for singular terms that do not refer to existing objects, then there is a problem, since this combination of assumptions must be inconsistent. I will argue for a particular solution to the problem, namely, changing what is meant by the word ‘extensionality’, so that it would not be the truth-value (...) that had to be preserved under the substitution of co-extensional expressions, but the state of affairs that the sentence described. The question is whether or not elementary sentences containing empty singular terms, such as ‘Vulcan rotates’, are extensional in the substitutivity sense. Five conditions are specified under which extensionality in the substitutivity sense of such sentences can be secured. It is demonstrated that such sentences are state-of-affairs-as-extension-related extensional. This implies that such sentences are also truth-value-related extensional in Quine’s sense, but not truth-value-as-extension-related extensional. (shrink)

This article explores the explanation of incommensurable theories as alternative conceptual schemes based on different categorical or taxonomic structures. The concept of incommensurability, which is a cornerstone of the late philosophy of Thomas Kuhn, is elucidated, reflecting his approach to avoid assessing the history of science in terms of the truth and falsity of scientific paradigms. It is shown how Kuhn has combined Frege – Russell’s descriptivist semantics and the causal theory of reference by Hilary Putnam and Saul (...) Kripke. His version of semantics consists in redefinition of natural kinds in terms of neuropsychology, in substantiating mentalist and internalist perspective on language. Kuhn’s philosophical position is identified as post-Darwinian Kantianism. It is expressed not in a priori nature of knowledge, but in its determination by conceptual schemes and sociocultural relativity. Despite the fact that the incommensurable terms seem to occur in the history of knowledge, incommensurability remains not the clearest and most consistent way of thinking on the history of science. Kuhn repeatedly refined his views on incommensurability, ultimately aligning it more closely with alternative classifications of objects serving as a framework for subsequent theories. Natural kind concepts, like taxonomic units, distribute the perceived objects into hierarchies reflecting structures of external world. On the one hand, kinds differentiate objectively existing objects into groups. On the other hand, kind terms are both mental modules and cultural constructs that are used to organize the experience of language speakers, identify objects, and provide the basis for group beliefs. Kuhn posits that the development of scientific theories constitutes an evolution of conceptual schemes characterized by disparities and incommensurability. (shrink)

Scientific representation is a booming field nowadays within the philosophy of science, with many papers published regularly on the topic every year, and several yearly conferences and workshops held on related topics. Historically, the topic originates in two different strands in 20th-century philosophy of science. One strand begins in the 1950s, with philosophical interest in the nature of scientific theories. As the received or “syntactic” view gave way to a “semantic” or “structural” conception, representation progressively gained the center (...) stage. Yet, there is another, older, strand that links representation to fin de siècle modeling debates, particularly in the emerging Bildtheorie of Boltzmann and Hertz, and to the ensuing discussion among philosophers thereafter. Both strands feed into present-day philosophical work on scientific representation. There are a number of different orthogonal questions that philosophers ask regarding representation. One set of questions concerns the nature of the representational relation between theories or models, on the one hand, and the real-world systems they purportedly represent. Such questions lie at the more metaphysical and abstract end of the spectrum—and they are often addressed with the abstract tools of the analytical metaphysician. They constitute what we may refer to as the “analytical inquiry” into representation. On the other hand there are questions regarding the use that scientists put some representations to in practice—these are questions that are best addressed by means of some of the favorite tools of the philosopher of science, including descriptive analysis, illustration by means of case studies, induction, exemplification, inference from practice, etc., and are best referred to as the “practical inquiry” into representation. The notion of representation invoked in such inquiries may be “deflationary” or “substantive”—depending on whether it construes representation as a primitive notion, or as susceptible to further reduction or analysis in terms of something else. (shrink)

According to the received view of scientific theories, a scientific theory is an axiomatic-deductive linguistic structure which must include some set of guidelines (“correspondence rules”) for interpreting its theoretical terms with reference to the world of observable phenomena. According to the semantic view, a scientific theory need not be formulated as an axiomatic-deductive structure with correspondence rules, but need only specify models which are said to be “isomorphic” with actual phenomenal systems. In this paper, I consider both (...) the received and semantic views as they bear on the issue of how a theory relates to the world (Section 1). Then I offer a critique of some arguments frequently put forth in support of the semantic view (Section 2). Finally, I suggest a more convincing “meta-methodological” argument (based on the thought of Bernard Lonergan) in favor of the semantic view (Section 3). (shrink)

The notion of existence is a very puzzling one philosophically. Often philosophers have appealed to linguistic properties of sentences stating existence. However, the appeal to linguistic intuitions has generally not been systematic and without serious regard of relevant issues in linguistic semantics. This paper has two aims. On the one hand, it will look at statements of existence from a systematic linguistic point of view, in order to try to clarify what the actual semantics of such statements in (...) fact is. On the other hand, it will explore what sort of ontology such statements reflect. The first aim is one of linguistic semantics; the second aim is one of descriptive metaphysics. Philosophically, existence statements appear to reflect the distinction between endurance and perdurance as well as particular notions of abstract states and of kinds. Linguistically, statements of existence involve a particular way of drawing the distinction between eventive and stative verbs and between individual-level and stage-level predicates as well as a particular approach to the semantics of bare plurals and mass nouns. (shrink)

The notion of feedback has been exploited with considerable success in scientific and technological fields as well as in the sciences of man and society. Its use in philosophical, cultural and educational contexts, however, is still rather meagre, even if some notable attempts can be found in the literature. This paper shows that the feedback concept can help learn and understand some classical philosophical theories. In particular, attention focuses on Fichte’s doctrine of science, usually presented in obscure terms following (...) its inventor’s style, and on the vulgate version of Hegel’s dialectic. Also a classic problem of linguistics concerning the meaning of sentences in partially unknown languages is interpreted with the aid of feedback diagrams. Even if the analysis is only qualitative, it is believed that it may serve as a useful tool for thought for both students and researchers. (shrink)

This volume offers an English translation of John of St. Thomas's Cursus theologicus I, question I, disputation 2. In this particular text, the Dominican master raises questions concerning the scientific status and nature of theology. At issue, here, are a number of factors: namely, Christianity's continual coming to terms with the "Third Entry" of Aristotelian thought into Western Christian intellectual culture - specifically the Aristotelian notion of 'science' and sacra doctrina's satisfaction of those requirements - the Thomistic-commentary tradition, and (...) the larger backdrop of the Iberian Peninsula's flourishing "Second Scholasticism." In this latter context, John of St. Thomas applies the theological principles of Thomas Aquinas to the Scholastic disputes preoccupying Thomist, Franciscan, and Jesuit theologians, such as Cajetan, Bañez, Luis de Molina, Vazquez, Suárez - to name only a few - in a tour de force of theological thinking throughout the entire period of Scholasticism. In the process - and not insignificantly - the status quaestionis of theology's scientific character is clearly framed and answered according to John's satisfaction. Key to John of St. Thomas's resolution of the question is his understanding of the continuity of the power of human reason with the super-intelligibility of divine revelation spelled out in terms of what he calls "virtual revelation." This text presented in this volume is a quintessential example of the deep and abiding harmony that flourished between faith and reason as well as grace and nature within the golden era of Baroque Scholasticism. (shrink)

Scientific claims can be assessed epistemically in either of two ways: according to scientific standards, or by means of philosophical arguments such as the no-miracle argument in favor of scientific realism. This paper investigates the basis of this duality of epistemic assessments. It is claimed that the duality rests on two different notions of epistemic justification that are well-known from the debate on internalism and externalism in general epistemology: a deontological and an alethic notion. By discussing (...) the conditions for the scientific acceptability of empirical results, it is argued that intrascientific justification employs the deontological notion. Philosophical disputes such as those on scientific realism can by contrast be shown to rest on the alethic notion. The implications of these findings both for the nature of the respective epistemic projects and for their interrelation are explored. (shrink)

In this paper I offer an appraisal of James Bogen and James Woodward’s distinction between data and phenomena which pursues two objectives. First, I aim to clarify the notion of a scientific phenomenon. Such a clarification is required because despite its intuitive plausibility it is not exactly clear how Bogen and Woodward’s distinction has to be understood. I reject one common interpretation of the distinction, endorsed for example by James McAllister and Bruce Glymour, which identifies phenomena with patterns in (...) data sets. Furthermore, I point out that other interpretations of Bogen and Woodward’s distinction do not specify the relationship between phenomena and theories in a satisfying manner. In order to avoid this problem I propose a contextual understanding of scientific phenomena according to which phenomena are states of affairs which play specific roles in scientific practice and to which we adopt a special epistemic attitude. Second, I evaluate the epistemological significance of Bogen and Woodward’s distinction with respect to the debate between scientific realists and constructive empiricists. Contrary to what Bogen and Woodward claim, I argue that the distinction does not provide a convincing argument against constructive empiricism. (shrink)

Alexander Bird argues for an epistemic account of scientific progress, whereas Darrell Rowbottom argues for a semantic account. Both appeal to intuitions about hypothetical cases in support of their accounts. Since the methodological significance of such appeals to intuition is unclear, I think that a new approach might be fruitful at this stage in the debate. So I propose to abandon appeals to intuition and look at scientific practice instead. I discuss two cases that illustrate the way in (...) which scientists make judgments about progress. As far as scientists are concerned, progress is made when scientific discoveries contribute to the increase of scientific knowledge of the following sorts: empirical, theoretical, practical, and methodological. I then propose to articulate an account of progress that does justice to this broad conception of progress employed by scientists. I discuss one way of doing so, namely, by expanding our notion of scientific knowledge to include both know-that and know-how. (shrink)

Originally published in 1958. A study in the logical foundations of modern theoretical semantics, this book is concerned with notions of designation and consistency as well as denotation and truth. It presents several semantical theories, each of which with what were new concepts or treatments from the author. Talking at a time when semantical theory was gained great ground, this book also looks at the methodology of the sciences and the semantics of scientific language alongside analysis (...) of meaning and expression. It is influenced by the writings of Carnap, Church, Frege, Goodman, Quine, Russell and Tarski. (shrink)

A central topic in the logic of science concerns the proper semantic analysis of theoretical sentences, that is sentences containing theoretical terms. In this paper, we present a novel choice-semantical account of theoretical truth based on the epsilon-term definition of theoretical terms. Specifically, we develop two ways of specifying the truth conditions of theoretical statements in a choice functional semantics, each giving rise to a corresponding logic of such statements. In order to investigate the inferential strength of these logical (...) systems, we provide a translation of each truth definition into a modal definition of theoretical truth. Based on this, we show that the stronger notion of choice-semantical truth captures more adequately our informal semantic understanding of scientific statements. (shrink)

The aim of this paper is to contribute to the debate over the nature of scientific progress in philosophy of science by taking a quantitative, corpus-based approach. By employing the methods of data science and corpus linguistics, the following philosophical accounts of scientific progress are tested empirically: the semantic account of scientific progress, the epistemic account of scientific progress, and the noetic account of scientific progress. Overall, the results of this quantitative, corpus-based study lend some (...) empirical support to the epistemic and the noetic accounts over the semantic account of scientific progress, for they suggest that practicing scientists use the terms ‘knowledge’ and ‘understanding’ significantly more often than the term ‘truth’ when they talk about the aims or goals of scientific research in their published works. But the results do not favor the epistemic account over the noetic account, or vice versa, for they reveal no significant differences between the frequency with which practicing scientists use the terms ‘knowledge’ and ‘understanding’ when they talk about the aims or goals of scientific research in their published works. (shrink)

We need to distinguish two sorts of natural kinds, scientific and common NKs, because the notion of NK, which has to satisfy demands at three different levels—ontological, semantic and epistemological—, is subject to two incompatible sets of constraints. In order to prove this, I focus on the much-discussed case of jade. In the first part of the paper, I show that the current accounts are unsatisfactory because they are inconsistent. In the process, I explain why LaPorte’s analysis of “jade” (...) as a vernacular NK-term with an open-texture meaning does not offer a way out. Using a reductio ad absurdum argument, I conclude that according to the main tenets of NK-term theories, today’s “jade” has to be an NK-term, and jade thereby an NK. In the second part of the paper, I argue for this conclusion in a positive manner. First, I present a series of thought experiments demonstrating that today’s “jade” has the specific features of an NK-term. Then, I show that the kind that we presently call “jade” exhibits the typical ontological and epistemological features of an NK. More generally, I expound on why common NKs are more than mere classes, and why categories such as “jade” are useful in many inferences and explanations. (shrink)

In this article, I develop three conceptual innovations within the area of formal metatheory, and present a computer program, called Reconstructor, that implements those developments. The first development consists in a methodology for testing formal reconstructions of scientific theories, which involves checking both whether translations of paradigmatically successful applications into models satisfy the formalisation of the laws, and also whether unsuccessful applications do not. I show how Reconstructor can help carry this out, since it allows the end-user to specify (...) a formal language, input axioms and models formulated in that language, and then ask if the models satisfy the axioms. The second innovation is the introduction of incomplete models (for which the denotation of some terms is missing) into scientific metatheory, in order to represent cases of missing information. I specify the paracomplete semantics built into Reconstructor to deal with sentences where denotation failures occur. The third development consists in a new way of explicating the structuralist notion of a determination method, by equating them with algorithms. This allows determination methods to be loaded into Reconstructor and then executed within a model to find out the value of a previously non-denoting term (i.e. it allows the formal reconstruction to make predictions). This, in turn, can help test the reconstruction in a different way. Finally, I conclude with some suggestions about additional uses the program may have. (shrink)

The question “what is an interpretation?” is often intertwined with the perhaps even harder question “what is a scientific theory?”. Given this proximity, we try to clarify the first question to acquire some ground for the latter. The quarrel between the syntactic and semantic conceptions of scientific theories occupied a large part of the scenario of the philosophy of science in the 20th century. For many authors, one of the two currents needed to be victorious. We endorse that (...) such debate, at least in the terms commonly expressed, can be misleading. We argue that the traditional notion of “interpretation” within the syntax/semantic debate is not the same as that of the debate concerning the interpretation of quantum mechanics. As much as the term is the same, the term “interpretation” as employed in quantum mechanics has its meaning beyond (pure) logic. Our main focus here lies on the formal aspects of the solutions to the measurement problem. There are many versions of quantum theory, many of them incompatible with each other. In order to encompass a wider variety of approaches to quantum theory, we propose a different one with an emphasis on pure formalism. This perspective has the intent of elucidating the role of each so-called “interpretation” of quantum mechanics, as well as the precise origin of the need to interpret it. (shrink)

According to the resemblance account of 'what it's like' and similar constructions, a sentence such as 'there is something it’s like to have a toothache' means 'there is something having a toothache resembles'. This account has proved controversial in the literature; some writers endorse it, many reject it. We show that this conflict is illusory. Drawing on the semantics of intensional transitive verbs, we show that there are two versions of the resemblance account, depending on whether 'resembles' is construed (...) notionally or relationally. While well-known criticisms of the resemblance account undermine its relational version, they do not touch its notional version. On the contrary, the notional version is equivalent to various accounts usually interpreted as rivals to resemblance. We end by noting that this resolution of the controversy (a) explains why 'like', which is a comparative, appears in a construction that concerns the properties of events, and (b) removes any pressure to suppose that 'like' is ambiguous between a comparative and a non-comparative sense. (shrink)

The doctrines of scientific realism have enjoyed a close and enduring, if not always harmonious, association with Tarski's semantic conception of truth and theories of formal semantics generally. From its inception Tarski's theory received unqualified support from some realists, like Karl Popper, who saw it as legitimizing the use of semantic notions in epistemology and the philosophy of science.

Empirical investigations use empirical methods, data and evidence. This banal observation appears to favour empiricism, especially in philosophy of science, though no rationalist ever denied their importance. Natural sciences often provide what appear to be, and are taken by scientists as, realist, causal explanations of natural phenomena. Empiricism has never been congenial to scientific realism. Bas van Fraassen’s ‘Constructive Empiricism’ purports that realist interpretations of any scientific theory in principle always transcend whatever can be justified by that theory’s (...) empirical adequacy, and that ‘explanations’ are merely pragmatic, insofar as they are context-specific to the presuppositions of whomever poses the question an explanation is to answer. Here I argue that ‘Constructive Empiricism’ rests upon a series of flawed presumptions about natural science and about epistemology. To do so I draw upon two main resources. One resource is the constraints upon specifically cognitive reference to particulars, first identified by Kant (and later by Evans). The second is William Harper’s (2011) brilliant re-analysis and defence of Newton’s Principia, which shows that, and how, Newton justified his realism about gravitational force. One surprise is that Kant’s semantics of singular cognitive reference (examined in §3) directly and strongly supports Newton’s Rule 4 of scientific method (§4), which strongly supports his realism about gravitational force (summarised in §2). A further surprise is that Hegel first recognised that this semantics of singular cognitive reference directly and strongly supports Newton’s methodological Rule 4 of experimental philosophy in ways which support Newton’s realism about gravitational force, and about distance forces generally. The textual and exegetical issues these attributions require I examine elsewhere. Here I make these important findings available to philosophers and historians of science. (shrink)

Existential phenomenologists hold that the two most basic forms of intelligent behavior, learning, and skillful action, can be described and explained without recourse to mind or brain representations. This claim is expressed in two central notions in Merleau-Ponty's Phenomenology of Perception: the intentional arc and the tendency to achieve a maximal grip. The intentional arc names the tight connection between body and world, such that, as the active body acquires skills, those skills are stored, not as representations in the (...) mind, but as dispositions to respond to the solicitations of situations in the world. A phenomenology of skill acquisition confirms that, as one acquires expertise, the acquired know-how is experienced as finer and finer discriminations of situations paired with the appropriate response to each. Maximal grip names the body's tendency to refine its responses so as to bring the current situation closer to an optimal gestalt. Thus, successful learning and action do not require propositional mental representations. They do not require semantically interpretable brain representations either.Simulated neural networks exhibit crucial structural features of the intentional arc, and Walter Freeman's account of the brain dynamics underlying perception and action is structurally isomorphic with Merleau-Ponty's account of the way a skilled agent is led by the situation to move towards obtaining a maximal grip. (shrink)

Finding out which terms – scientific or otherwise— fail to refer is an extremely complex business since both felicitous reference and failure to refer must be negotiated. Causal theories of reference –even so-called hybrid theories – posit that in order to refer to something, we need the regulative idea of an ontological reference, which operates even when we refer to impossibilia or inconceivable objects. Evidently, this is not the case of the referent of phlogiston, which is neither inconceivable nor (...) impossible, nor, alas, does it exist. In the antipodes, from a representational-physicalist point of departure, a term fails to refer if it has no actual ontological grounds: phlogiston fails to refer because it has no physical existence. Phlogiston can even be considered to be a fictional entity, and referring to a fictional entity is not the same as a reference in a fiction or a fictional reference Salmon : a fictional entity is an object in the same sense as an abstract object, and therefore we can genuinely refer to it. The question is: who claims that phlogiston does not exist? Nowadays, everyone does, fundamentally and primarily because science has established it as a fact. The process that led to this result is extremely complex, lengthy and multi-dimensional. It involved factors of several kinds: cognitive, social, political, historical, as well as ontological, and this last factor has been neglected. I do not claim that phlogiston once existed and then ceased to exist -- science only allows us a sneak-peek into what exists and what, sometimes mistakenly, is supposed to exist. Paraphrasing Latour, this inquiry is about following the journey of the referents, even when they do not end up being physical-existent or existing objects. I believe with Bach that the notion of reference is essentially pragmatic; that the difference between alluding to something and referring to or denoting something must be established; that to achieve this the semantic properties of terms are not sufficient, and finally that references are not semantic but cognitive properties that relate thoughts and objects of any kind. My assumption is that to refer to something one must be capable of having thoughts about it and that the propositions one attempts to communicate in the course of referring to it are singular with respect to it. Being in a position to have a thought about a particular thing requires being connected to that thing, via perception, memory, communication and/ or education. Therefore, only in an exceedingly narrow realist theory of reference does phlogiston fail to refer. Unless a theory of reference of scientific terms is based on the study of the actual linguistic communicative practices among scientists, it will inevitably pose serious epistemological difficulties. (shrink)

There are three main accounts of scientific progress: 1) the epistemic account, according to which an episode in science constitutes progress when there is an increase in knowledge; 2) the semantic account, according to which progress is made when the number of truths increases; 3) the problem-solving account, according to which progress is made when the number of problems that we are able to solve increases. Each of these accounts has received several criticisms in the last decades. Nevertheless, some (...) authors think that the epistemic account is to be preferred if one takes a realist stance. Recently, Dellsén proposed the noetic account, according to which an episode in science constitutes progress when scientists achieve increased understanding of a phenomenon. Dellsén claims that the noetic account is a more adequate realist account of scientific progress than the epistemic account. This paper aims precisely at assessing whether the noetic account is a more adequate realist account of progress than the epistemic account. (shrink)

The semantic, or model-theoretic, approach to theories has recently come under criticism on two fronts: (i) it is claimed that it cannot account for the wide diversity of models employed in scientific practice—a claim which has led some to propose a “deflationary” account of models; (ii) it is further contended that the sense of “model” used by the approach differs from that given in model theory. Our aim in the present work is to articulate a possible response to these (...) claims, drawing on recent developments within the semantic approach itself. Thus, the first is answered by utilizing the notion of a “partial structure”, first introduced in this context by da Costa and French in 1990. The second claim is undermined by consideration of van Fraassen's understanding of “model” which corresponds well with that evinced by modem mathematicians. This latter discussion, in particular, has an impact on the continuing debate regarding the relative merits of the semantic and syntactic views and the developments presented here can be taken to provide further support to the former. (shrink)

斯特劳逊 （Strawson）的语义预设概念在语义学和语言哲学研究上颇有建树。尽管如此，语义预设概念一直遭受来自各方面的批判。概要说来，对语义预设概念之批判主要来自两个方面：其一，试图抽去语义预设概念的逻辑基础 ，即非真值概念 (the notion of truthvaluelessness)，从而达到间接地拒斥语义预设概念之目的。其二，直接批判语义预设概念本身。他们或者论证此概念在理论上不自恰或微不足道，或者断定即使此概念本身在理论上自恰，但实为一空 洞无物之概念。因为我们根本找任何一个语义预设的具体例证。所以，语义预设概念不具任何真正的哲学意义。它只是一个当代神话，理应拒斥。 -/- 玻尔(S. Ber)和莱肯(W. Lycan)对语义预设概念的批判集中代表了以上两个方面。据我所知，迄今不曾有人对他们的批判予以全面和公正的反驳，以致于许多人人云亦云，使得他们的论点至今颇有影响。给予玻尔和莱恩的批判以全面反驳乃本文初 衷。于此相关，我以为很有必要澄清对语义预设概念的诸多误解，从而确立一个理论上自恰，实际上可行，和确有实质性内容的语义预设概念。基于以上考虑，我对语义预设概念批判之反驳包括正 反两个方面。在第二节，我试图建立一个自恰，完备，非庸俗的语义预设概念。基于这一概念，第三节对玻尔和莱恩反对语义预设的两个核心批判予以全面反驳。第四节着重辩护非真值概念。本文的最后结论是：各种批判并未损 伤斯特劳逊的语义预设概念的精髓。语 义预设概念非但不是一个当代神话，而且具有重大哲学意义。 .