Neutralism is the broad view that philosophical progress can take place when (and sometimes only when) a thoroughly neutral, non-specific theory, treatment, or methodology is adopted. The broad goal here is to articulate a distinct, specific kind of sorites paradox (The Observational Sorites Paradox) and show that it can be effectively treated via Neutralism.

Recently, some philosophers of science (e.g., Gürol Irzik, Michael Friedman) have challenged the ‘received view’ on the relationship between Rudolf Carnap and Thomas Kuhn, suggesting that there is a close affinity (rather than opposition) between their philosophical views. In support of this argument, these authors cite Carnap and Kuhn’s similar views on incommensurability, theory-choice, and scientific revolutions. Against this revisionist view, I argue that the philosophical relationship between Carnap and Kuhn should be regarded as opposed rather than complementary. In particular, (...) I argue that a consideration of the fundamentally disparate nature of the broader philosophical projects of Carnap (logic of science) and Kuhn (providing a theory of scientific revolutions)renders the alleged similarities between their views superficial in comparison to their fundamental differences. In defense of the received view, I suggest that Carnap and Kuhn are model representatives of two contrasting styles of doing philosophy of science, viz., logical analysis and historical analysis respectively. This analysis clarifies the role played by Kuhn’s Structure of Scientific Revolutions in the demise of logical empiricism in the second half of the twentieth-century. (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)

While Quine’s linguistic behaviorism is well-known, his Kant Lectures contain one of his most detailed discussions of behaviorism in psychology and the philosophy of mind. Quine clarifies the nature of his psychological commitments by arguing for a modest view that is against ‘excessively restrictive’ variants of behaviorism while maintaining ‘a good measure of behaviorist discipline…to keep [our mental] terms under control’. In this paper, I use Quine’s Kant Lectures to reconstruct his position. I distinguish three types of behaviorism in psychology (...) and the philosophy of mind: ontological behaviorism, logical behaviorism, and epistemological behaviorism. I then consider Quine’s perspective on each of these views and argue that he does not fully accept any of them. By combining these perspectives we arrive at Quine’s surprisingly subtle view about behaviorism in psychology. (shrink)

During the past few decades, a radical shift has occurred in how philosophers conceive of the relation between science and philosophy. A great number of analytic philosophers have adopted what is commonly called a ‘naturalistic’ approach, arguing that their inquiries ought to be in some sense continuous with science. Where early analytic philosophers often relied on a sharp distinction between science and philosophy—the former an empirical discipline concerned with fact, the latter an a priori discipline concerned with meaning—philosophers today largely (...) follow Willard Van Orman Quine (1908-2000) in his seminal rejection of this distinction. -/- This book offers a comprehensive study of Quine’s naturalism. Building on Quine’s published corpus as well as thousands of unpublished letters, notes, lectures, papers, proposals, and annotations from the Quine archives, this book aims to reconstruct both the nature (chapters 2-4) and the development (chapter 5-7) of his naturalism. As such, this book aims to contribute to the rapidly developing historiography of analytic philosophy, and to provide a better, historically informed, understanding of what is philosophically at stake in the contemporary naturalistic turn. (shrink)

First, I offer a short overview on the classical occidental philosophy as propounded by the ancient Greeks and the natural philosophies of the last 2000 years until the dawn of the empiricist logic of science in the twentieth century, which wanted to delimitate classical metaphysics from empirical sciences. In contrast to metaphysical concepts which didn’t reflect on the language with which they tried to explain the whole realm of entities empiricist logic of science initiated the end of metaphysical theories by (...) reflecting on the preconditions for foundation and justification of sentences about objects of investigation, i.e. a coherent definition of language in general, which was not the aim of classical metaphysics. Unexpectedly empiricist logic of science in the linguistic turn failed in the physical and mathematical reductionism of language and its use in communication, as will be discussed below in further detail. Nevertheless, such reflection on language and communication also introduced this vocabulary into biology. Manfred Eigen and bioinformatics, later on biolinguistics, used ‘language’ applied linguistic turn thinking to biology coherent to the logic of science and its formalisable aims. This changed significantly with the birth of biosemiotics and biohermeneutics. At the end of this introduction it will be outlined why and how all these approaches reproduced the deficiencies of the logic of science and why the biocommunicative approach avoids their abstractive fallacies. (shrink)

Conceptual engineering wants analytic philosophy to be centered around the assessment and improvement of philosophical concepts. But contemporary debates about conceptual engineering do not engage much with the vast literature on conceptual change that exists in philosophy of science. In this article, I argue that an adequate appreciation of the history of philosophy of science can contribute to discussions about conceptual engineering. Specifically, I show that the evolution of debates over scientific conceptual change arguably demonstrates that, contrary to what is (...) commonly assumed in the literature about conceptual engineering, conceptual change is possible within an externalist metasemantics and that any adequate theory of conceptual change should be metasemantically plastic. (shrink)

Mark Wilson presents a highly original account of conceptual behavior that challenges many received views about concepts in analytic philosophy. Few attempts have been made to rationally reconstruct Wilson’s framework of patches and facades within a precise semantic framework. I will show how a modified version of the structuralist framework offers a semantic reconstruction of scientific theories capable of modeling Wilson’s ideas about conceptual behavior. Specifically, I will argue that Theory-Elements and a modified version of Theory-Nets explicate respectively Wilson’s patches (...) and facades. I will also demonstrate how several wandering phenomena described by Wilson can be adequately reconstructed within my framework. (shrink)

Ramsification is a well-known method of defining theoretical terms that figures centrally in a wide range of debates in metaphysics. Prior's puzzle is the puzzle of why, given the assumption that that-clauses denote propositions, substitution of "the proposition that P" for "that P" within the complements of many propositional attitude verbs sometimes fails to preserve truth, and other times fails to preserve grammaticality. On the surface, Ramsification and Prior's puzzle appear to have little to do with each other. But Prior's (...) puzzle is much more general than is ordinarily appreciated, and Ramsification requires a solution to the generalized form of Prior's puzzle. Without such a solution, a wide range of theories will either fail to imply their Ramsey sentences, or have Ramsey sentences that are ill-formed. As a consequence, definitions of theoretical terms given using the Ramsey sentence will be either incorrect or nonsensical. I present a partial solution to the puzzle that requires making use of a neo-Davidsonian language for scientific theorizing, but the would-be Ramsifier still faces serious challenges. (shrink)

This paper considers various objections to Carnap’s logical syntax definition of ’logical expression’, including those by Saunders Mac Lane and W. V. O. Quine. While the specific objections of these two authors can be answered, if necessary by a slight modification of Carnap’s definition, there are other objections that I do not see how to meet. I also consider the proposal by Denis Bonnay for avoiding the objections to Carnap’s definition. In light of the unresolved problems with Carnap’s definition, I (...) go on to consider what Carnap’s assumptions must have been in framing his definition and to assess how much damage is caused by this failure of Carnap’s definition. This damage is not as much as might be assumed. (shrink)

Recent essays by Michael Friedman1 and William Demopoulos2 on Carnap’s late approach to analyticity in the theoretical language make a convincing case for the continuing philosophic interest of this part of Carnap’s work. The present essay is intended not to disagree with any of these essays but to raise a logically prior worry as to whether Carnap’s account of analyticity here is well motivated and consistent with other attractive aspects of his view. To do this I outline, in §1, Frank (...) Ramsey’s approach to theories and the so-called Ramsey sentence. This will allow us to trace the steps by which Carnap came to use the Ramsey sentence in developing an account of analyticity for the theoretical language. Then, in §2, I articulate my own uneasiness with what I see as Carnap’s motivation. Finally, in §3, I express my practical reservations about how well Carnap’s approach fits with other aspects of his view. This is not intended as a refutation but rather as a reflection on how we can learn from Carnap and as a reminder of how much more we have to do. (shrink)

Some materialists argue that we can eliminate mental entities such as sensations because, like electrons, they are theoretical entities postulated as parts of scientific explanations, but, unlike electrons, they are unnecessary for such explanations. As Quine says, any explanatory role of mental entities can be played by "correlative physiological states and events instead." But sensations are not postulated theoretical entities. This is shown by proposing definitions of the related terms, 'observation term,' and 'theoretical term,' and then classifying the term 'sensation.' (...) The result is that although 'sensation' is a theoretical term, it is also a reporting term because it is used to refer to phenomena we are aware of. Consequently sensations are not postulated and cannot be eliminated merely because they are unnecessary for explanation. (shrink)

Colombo’s (Phenomenology and the Cognitive Sciences, 2013) plea for neural representationalism is the focus of a recent contribution to Phenomenology and Cognitive Science by Daniel D. Hutto and Erik Myin. In that paper, Hutto and Myin have tried to show that my arguments fail badly. Here, I want to respond to their critique clarifying the type of neural representationalism put forward in my (Phenomenology and the Cognitive Sciences, 2013) piece, and to take the opportunity to make a few remarks of (...) general interest concerning what Hutto and Myin have dubbed “the Hard Problem of Content.”. (shrink)

The nature of the connection between theory and observation has been a major source of difficulty for philosophers of science. It is most vexing for those who would reduce the terms of a theory to those of an observation language, e.g. Carnap, Braithwaite, and Nagel. Carnap's work, particularly his treatment of physical theories as partially interpreted formalisms, forms the point of focus of this paper. Carnap attempted to make the connection between theory and observation through correspondence postulates. It is pointed (...) out that such postulates depend in critical ways upon theoretical truths. This particular type of theoretical dependence produces serious trouble for Carnap's approach. For reasons given it may make it untenable. Furthermore, this problem when generalized creates difficulty for any similar reductionist program. Not only is this kind of theoretical dependence pointed out, but more important, the logical conditions which produce it are revealed. In this way light is shed upon the formal characteristics of the notion of theory dependence, especially upon the way in which observation terms depend upon theories for their meaning. (shrink)

En este trabajo me ocupo de la manera en que Klimovsky concibió a las teorías y a los modelos en la ciencia. Comienzo describiendo la concepción hipotético-deductiva de las teorías empíricas de Klimovsky. Luego presento los distintos significados del término "modelo" que Klimovsky distinguió y discuto la manera en que entendió la relación entre teorías y modelos. Después analizo la concepción semántica de las teorías y señalo la ambigüedad de la posición de Klimovsky respecto de ella, a la que no (...) consideró una auténtica alternativa al método hipotético-deductivo. Expongo, entonces, una concepción proposicional de las teorías que permitiría superar aquellas críticas semanticistas que afectan a la concepción enunciativa de Klimovsky. En la conclusión intento mostrar la unidad de la concepción de Klimovsky acerca de la estructura de las teorías formales y empíricas. In this work I address the way Klimovsky conceived of theories and models in science. I start by describing Klimovsky's hypothetico-deductive conception of empirical theories. I then present the different senses of "model" identified by Klimovsky, and I discuss his understanding of the relation between theories and models. Next I analyze the semantic conception of theories, and argue that Klimovsky held an ambiguous stance towards them, insofar as he did not considered them to be a genuine alternative to the hypothetico-deductive method. I further present a propositional conception of theories that enables us to overcome various criticisms from semanticists to Klimovsky's statement conception of theories. I conclude by showing that Klimovsky embraced a unified perspective on the structure of empirical and formal theories. (shrink)

It is argued that psychological explanations involve psychological generalizations that exhibit the same features as laws of physics. On the basis of the “systematic theory of lawhood”, characteristic features of laws of nature are elaborated. Investigating some examples of explanations taken from cognitive psychology shows that these features can also be identified in psychological generalizations. Particular attention is devoted to the notion of “ccteris‐paribus laws”. It is argued that laws of psychology are indeed ceteris‐paribus laws. However, this feature does not (...) distinguish them from the laws of physics, because such laws are found in physics as well. Moreover, the laws invoked in psychological explanations are genuine laws of psychology; they are not laws of other disciplines that are brought to bear on psychological problems. The conclusion is that if there are laws of physics then laws of psychology exist as well. (shrink)

1. Object of this note . In his lively essay, “Between Analytic and Empirical,” , Mr. J. W. N. Watkins challenges the empiricist identification of synthetic statements with empirical ones by arguing that there exists an important class of statements which are synthetic, i.e. not analytically true or false, and yet not empirical. I find Mr. Watkins's arguments very stimulating, but I do not think they provide a sound basis for his contention. In the present note, I wish to indicate (...) what seem to me the principal flaws in Mr. Watkins's reasoning, and to make some additional comments on the issues raised by his discussion. (shrink)

Blindsight is the term commonly used to describe visually guided behaviour elicited by a stimulus falling within the scotoma (blind area) caused by a lesion of the striate cortex. Such is normally held to be unconscious and to be mediated by subcortical pathways involving the superior colliculus. Blindsight is of considerable theoretical importance since it suggests that destriate man is more like destriate monkey than had been previously believed and also because it supports the classical notion of two visual systems. (...) It is also of potential clinical importance, since it has been claimed recently that systematic practice in blindsight can lead to the recovery of normal visual function in patients with cortical lesions. From a review of the literature it is concluded that all of the phenomena of blindsight can be attributed either to light scatter into unimpaired parts of the visual field or to residual vision resulting from spared striate cortex. The possible contribution f other factors is also considered. It is concluded that blindsight studies have generally failed to control for such nonblindsight interpretations partly because of poor methodology and partly because of difficulties in defining the term. (shrink)

Riassunto: Il dibattito in filosofia della mente è caratterizzato dal crescente interesse per nuove forme di eliminativismo, note con il nome di teorie enattiviste radicali della mente. Secondo la concezione enattivista radicale, il contenuto intenzionale di uno stato mentale è empiricamente sottodeterminato, pertanto non può essere utilizzato quale elemento di una spiegazione naturalistica del comportamento. Tuttavia, sebbene il riferimento ai contenuti intenzionali non sia conciliabile con il naturalismo ontologico, esso è invece compatibile con una forma di naturalismo metodologico. Seguendo l’analisi (...) semantica proposta da Carnap per i termini teorici, è possibile concepire uno stato mentale come un veicolo simbolico il cui significato è stabilito per mezzo di osservazioni e scelte convenzionali. Attraverso un caso di studio riguardante le funzioni cognitive della corteccia somatosensoriale, l’articolo fornisce le indicazioni programmatiche per un’interpretazione delle spiegazioni intenzionali del comportamento in accordo con la metodologia delle scienze naturali. Parole chiave: Contenuto mentale; Enattivismo radicale; Intenzionalità; Naturalismo; Teleosemantica; Teoria della spiegazione T he Methodological Status of Intentional Contents: The philosophy of mind debate is characterized by increasing consensus regarding a new type of eliminativism, also known as the radical enactivist theory of mind. According to the radical enactivist view, the intentional content of a mental state is empirically undetermined, therefore it cannot figure as part of a naturalistic explanation of behavior. However, although the notion of intentional content is not compatible with any form of ontological naturalism, it is compatible with a form of methodological naturalism. Following Carnap’s semantic analysis of theoretical concepts, it is possible to conceive of intentional mental states as a symbolic vehicles whose meaning can be conventionally established on the basis of empirical observation. In order to support this claim, I refer to a case study on the cognitive functions of somatosensory cortex. This article provides arguments for building an intentional explanation of behavior based on methodological approaches in the natural sciences. Keywords: Mental Content; Radical Enactivism; Intentionality; Naturalism; Teleosemantics; Theory of Explanation. (shrink)

Radical Enactivism holds that the best explanation of basic forms of cognition is provided without involving information of any sort. According to this view, the ability to perceive visual affordances should be accounted for in terms of extensional covariations between variables spanning the agent’s body and the environment. Contrary to Radical Enactivism, I argue that the intensional properties of cognition cannot be ignored, and that the way in which an agent represents the world has consequences on the explanation of basic (...) sensorimotor abilities. To support this claim, I show that the perception of visual affordances is not segregated from higher forms of cognition; rather, it is modulated by the agent’s ability to recognize the semantic identity of the visual target. Accordingly, since the semantic recognition of an object involves a way of representing it under a certain description, it can be inferred that the perception of visual affordances cannot be accounted for without considering the intensional properties of cognition. This poses an explanatory issue for Radical Enactivism. (shrink)

In his later writings Kuhn reconsidered his earlier account of incommensurability, clarifying some aspects, modifying others, and explicitly rejecting some of his earlier claims. In Kuhn’s new account incommensurability does not pose a problem for the rational evaluation of competing scientific theories, but does pose a problem for certain forms of realism. Kuhn maintains that, because of incommensurability, the notion that science might seek to learn the nature of things as they are in themselves is incoherent. I develop Kuhn’s new (...) account of incommensurability, respond to his anti-realist argument, and sketch a form of realism in which the realist aim is a pursuable goal.Keywords: Incommensurability; Thomas Kuhn; Rationality; Skill; Theory choice; Translation. (shrink)

Carnap’s seminal ‘Empiricism, Semantics and Ontology’ makes important use of the notion of a framework and the related distinction between internal and external questions. But what exactly is a framework? And what role does the internal/external distinction play in Carnap’s metaontology? In an influential series of papers, Matti Eklund has recently defended a bracingly straightforward interpretation: A Carnapian framework, Eklund says, is just a natural language. To ask an internal question, then, is just to ask a question in, say, English. (...) To try to ask an external question is to try, absurdly, to ask a question in no language at all. Finding that so trivial an I/e distinction can’t help to explain Carnap’s deflationary metaontology, Eklund is led to attribute to Carnap a view he calls ontological pluralism. In this paper, I show that Eklund misreads Carnap, and I argue that this misreading obscures fundamental features of Carnap’s philosophy. I then defend an account of frameworks as what Carnap called semantical systems, and I place this account in the context of Carnap’s philosophical program of explication. Finally, I discuss the role that frameworks and the I/e distinction play in ESO, showing that ESO provides no reason to attribute the doctrine of ontological pluralism to Carnap. (shrink)

F. P. Ramsey pointed out in Theories that the observational content of a theory expressed partly in non-observational terms is retained in the sentence resulting from existentially generalizing the conjunction of all sentences of the theory with respect to all nonobservational terms. Such terms are thus avoidable in principle, but only at the cost of forming a single "monolithic" sentence. This paper suggests that communication may be thought of as occurring not only by sentence but by clause, a sentential formula (...) closed except for a special kind of variable. Understanding such clauses requires incorporating them within the scope of one's own Ramsey sentence. Many concepts of deductive and inductive logic carry over without great change. But the concepts of truth and designation are extendible to clauses only in the sense that assertions involving them must, to be understood, in turn be construed as clauses and incorporated into the Ramsey sentence. The behavior of these extended concepts of truth and designation suggests an explication of coherence truth within a correspondence-truth framework. (shrink)

This chapter contains sections titled: Abstract Introduction Paradigms, Disciplinary Matrices, and Epistemological Relativism Incommensurability The Transcendence of Truth World ‐ Change, Idealism, and Ontological Relativism Relativism in the Sociology of Science and the History of Science References.

The paper surveys Floridi’s attempt for laying down informational structural realism. After considering a number of reactions to the pars destruens of Floridi’s attack on the digital ontology, I show that Floridi’s enterprise for enriching the ISR by borrowing elements from the ontic form of structural realism is blighted by a haunting inconsistency. ISR has been originally developed by Floridi as a restricted and level dependent form of structural realism which remains mainly bonded within the borders of a Kantian perspective. (...) I argue that this perspective doesn’t mesh nicely with the ontic interpretation that Floridi attached to the ISR. I substantiate this claim through the assessment of Floridi’s strategy for reconciling the epistemic and ontic forms of the SR, as well as by close examination of his use of method of levels of abstraction and his notion of semantic information. My proposal is that the ISR could be defended best against the mentioned and similar objections by being interpreted as an extension of the epistemic SR. (shrink)

In this paper I argue that the positivist–conventionalist interpretation of the Restricted Principle of Relativity is flawed, due to the positivists’ own understanding of conventions and their origins. I claim in the paper that, to understand the conventionalist thesis, one has to diambiguate between three types of convention; the linguistic conventions stemming from the fundamental role of mathematical axioms (conceptual conventions), the conventions stemming from the coordination betweeh theoretical statements and physical, observable facts or entities (coordinative definitions), and conventions that (...) are made possible by possible revisions to theory (the thesis of empirical underdetermination). I claim that it is not possible to interpret the Principle of Relativity as based on one of these three types of convention. This renders the conventionalist interpretation of the Principle of Relativity untenable. The paper is part of a larger project that aims to understand the philosophical significance of the Principle of Relativity. (shrink)

In this paper I argue that the positivist–conventionalist interpretation of the Restricted Principle of Relativity is flawed, due to the positivists’ own understanding of conventions and their origins. I claim in the paper that, to understand the conventionalist thesis, one has to diambiguate between three types of convention; the linguistic conventions stemming from the fundamental role of mathematical axioms, the conventions stemming from the coordination betweeh theoretical statements and physical, observable facts or entities, and conventions that are made possible by (...) possible revisions to theory. I claim that it is not possible to interpret the Principle of Relativity as based on one of these three types of convention. This renders the conventionalist interpretation of the Principle of Relativity untenable. The paper is part of a larger project that aims to understand the philosophical significance of the Principle of Relativity. (shrink)

Putnam's ``model-theoretic'' argument against metaphysical realism presupposes that an ideal scientific theory is expressible in a first order language. The central aim of this paper is to show that Putnam's ``first orderization'' of science, although unchallenged by numerous critics, makes his argument unsound even for adequate theories, never mind an ideal one. To this end, I will argue that quantitative theories, which dominate the natural sciences, can be adequately interpreted and evaluated only with the help of so-called theories of measurement (...) whose epistemological and methodological purpose is to justify systematic assignments of quantitative values to objects in the world. And, in order to fulfill this purpose, theories of measurement must have an essentially higher order logical structure. As a result, Putnam's argument fails because much of science turns out to rest on essentially higher order theoretical assumptions about the world. (shrink)

Whether meaning is compositional has been a major issue in linguistics and formal philosophy of language for the last 2 decades. Semantic holism is widely and plausibly considered as an objection to the principle of semantic compositionality therein. It comes as a surprise that the holistic peculiarities of scientific language have been rarely addressed in formal accounts so far, given that semantic holism has its roots in the philosophy of science. For this reason, a model-theoretic approach to semantic holism in (...) the language of science is presented here. This approach preserves compositionality to a large extent. *Received September 2009; revised February 2010. †To contact the author, please write to: Seminar for Philosophy, Logic, and Theory of Science, Hauspostfach 49, Ludwig-Maximilians-Universität, Munich 80539, Germany; e-mail: [email protected]. (shrink)

In this paper, a new account of empirical claims in structuralism is developed. Its novelty derives from the use that is made of the linguistic approach to scientific theories despite the presumed incompatibility of structuralism with that approach. It is shown how the linguistic approach can be applied to the framework of structuralism if the semantic foundations of that approach are refined to do justice to the doctrine of indirect interpretation of theoretical terms. This doctrine goes back to Carnap but (...) has been advanced until the present day without a proper semantic explanation. (shrink)

In this paper, a solution to the problem of theoretical terms is developed that is based on Carnap’s doctrine of indirect interpretation of theoretical terms. This doctrine will be given a semantic, model-theoretic explanation that is not given by Carnap himself as he remains content with a syntactic explanation. From that semantic explanation, rules for the truth-value assignment to postulates, i.e. sentences that determine the meaning of theoretical terms, are derived. The logical status of postulates will be clarified thereby in (...) such a way that the problem of theoretical terms disappears. (shrink)

Modal logic has been applied in many different areas, as reasoning about time, knowledge and belief, necessity and possibility, to mention only some examples. In the present paper, an attempt is made to use modal logic to account for the semantics of theoretical sentences in scientific language. Theoretical sentences have been studied extensively since the work of Ramsey and Carnap. The present attempt at a modal analysis is motivated by there being several intended interpretations of the theoretical terms once these (...) terms are introduced through the axioms of a theory. (shrink)

This article concerns the split between syntactic and semantic approaches to scientific theories. It aims at showing that an axiomatic representation of a scientific theory is a precondition of comprehending if the models of contain infinite entities. This result is established on the basis of the proposition that the human mind—which is finitely bounded for all we know—is not capable of directly grasping infinite entities. In view of this cognitive limitation, an indirect and finite representation of possibly infinite components of (...) the models of a scientific theory proves to be indispensable. Sets of axioms and sets of axiom schemes provide such a representation. These considerations will be cast into an argument for an axiomatic conception of scientific theories. The article concludes with a case study of the ideal gas model. (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)