Rudolf Carnap’s mature work on the logical reconstruction of scientific theories consists of two components. The first is the elimination of the theoretical vocabulary of a theory in terms of its Ramsification. The second is the reintroduction of the theoretical terms through explicit definitions in a language containing an epsilon operator. This paper investigates Carnap’s epsilon-reconstruction of theories in the context of pure mathematics. The main objective here is twofold: first, to specify the epsilon logic underlying his suggested definition of (...) theoretical terms and a suitable choice semantics for it. Second, to analyze whether Carnap’s approach is compatible with a structuralist conception of mathematics. (shrink)

While there are many examples of metaphysical theorising being heuristically and intellectually important in the progress of scientific knowledge, many people wonder how metaphysics not closely informed and inspired by empirical science could lead to rival or even supplementary knowledge about the world. This paper assesses the merits of a popular defence of the a priori methodology of metaphysics that goes as follows. The first task of the metaphysician, like the scientist, is to construct a hypothesis that accounts for the (...) phenomena in question. It is then argued that among the possible metaphysical theories, the empirical evidence underdetermines the right one, just as the empirical evidence underdetermines the right scientific theory. In the latter case it is widely agreed that we must break the underdetermination by appeal to theoretical virtues, and this is just what should be and largely is done in metaphysics. This is part of a more general line of argument that defends metaphysics on the basis of its alleged continuity with highly theoretical science. In what follows metaphysics and theoretical science are compared in order to see whether the above style of defence of a priori metaphysics is successful. (shrink)

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)

There has been an empiricist tradition in the core of Logical Positivism/Empiricism, starting with Moritz Schlick and ending in Herbert Feigl (via Hans Reichenbach), according to which the world of empiricism need not be a barren place devoid of all the explanatory entities posited by scientific theories. The aim of this paper is to articulate this tradition and to explore ways in which its key elements can find a place in the contemporary debate over scientific realism. It presents a way (...) empiricism can go for scientific realism without metaphysical anxiety, by developing an indispensability argument for the adoption of the realist framework. This argument, unlike current realist arguments, has a pragmatic ring to it: there is no ultimate argument for the adoption of the realist framework. (shrink)

Susan Mills and John Beatty's propensity interpretation of fitness encountered very different philosophical criticisms by Alexander Rosenberg and Kenneth Waters. These criticisms and the rejoinders to them are both predictable and important. They are predictable as raisingkinds of issues typically associated with disposition concepts (this is established through a systematic review of the problems generated by Carnap's dispositional interpretation of all scientific terms). They are important as referring the resolution of these issues to the development of evolutionary biology. This historical (...) approach to the propensity interpretation of fitness draws attention to the precarious relation between philosophical clarification of scientific concepts and any given state of the empirical arts. (shrink)

Although logical positivism had been known before World War II, it was introduced into academic philosophy in Japan only after it. In this process, the US philosophers who came to Japan in order to participate in American Studies Seminar played an important role. The first generation of Japanese analytic philosophers, who were born in the 1920s and 1930s, began to have some influence in the 1960s, and some of them published original works of high quality in the 1970s. The second (...) generation of analytic philosophers were born in the 1940s and 1950s. They began to teach in the 1970s and 1980s, and went on to publish papers and books in analytic philosophy. For many years, analytic philosophy had been known as kagaku tetsugaku, which may mean either philosophy of science or scientific philosophy. It had been frequently criticized as “non-philosophy.” Analytic philosophy, however, has changed the style of philosophical discussion and made it possible to form a language that is sufficient to express philosophical ideas and arguments in an intelligible way. (shrink)

The project of integrated HPS has occupied philosophers of science in one form or another since at least the 1960s. Yet, despite this substantial interest in bringing together philosophical and historical reflections on the nature of science, history of science and formal philosophy of science remain as divided as ever. In this paper, I will argue that the continuing separation between historical and formal philosophy of science is ill-founded. I will argue for this in both abstract and concrete terms. At (...) the abstract level, I reconstruct two possible arguments for the incompatibility of historical and formal philosophy of science and argue that they are both wanting. At the concrete level, I discuss how historical and formal philosophy of science have been brought together in practice, namely: in the form of a largely forgotten research tradition that I will refer to here as the study of formalized macro-units. After a brief exposition, I argue that this research tradition has been unduly overlooked by historically minded philosophers of science. Bringing together these observations, I argue that the divide between historical and formal philosophy of science is not grounded in any substantive arguments, but can be primarily attributed to disciplinary happenstance. (shrink)

According to the received view formal semantics applies to natural language to some extent only. It is so because natural language is inherently indefinite, in particular, its expressions are ambiguous, vague and admits departures from syntactic rule. Moreover, intensional contexts occur in ordinary language—it results in limitations of the principle of compositionality. The ordinary conversation appeals to various principles, for instance, Grice’s maxims which exceed logical formalism. Thus, ordinary language cannot be fully formalized. On the other hand, if L is (...) a formal language, its metalanguage ML, must be partially informal—for instance, it contains, terms of ordinary mathematics, especially set theory. Even, if, for instance, due to the technique of aritmetization, ML can be represented in L, such a representation is only local. In fact, this view can be derived from some Tarski’s remarks on the role played by natural language. It is usually assumed that the universality of natural language, is the source of troubles associated with antinomies. It is so this circumstance requires a solution, for example by distinguishing levels of language. However, even if antinomies are excluded, what is informal is prior with respect to what is formal. It shows that formal semantics has limitations even with respect to formalized languages. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (shrink)

Postmodernism has established a significant hold in educational thought and some of the most important ideas are to be found in the writings of Michael Peters. This paper examines his postmodern stance and use of Lyotard's account of knowledge, and from a naturalist point of view raises a number of objections centred on science as a metanarrative, the unity of the empirical and the evaluative, and reason, truth and the growth of knowledge. It is concluded that postmodern epistemology, unlike naturalism, (...) does not serve education well. (shrink)

In Untersuchungen zur allgemeinen Axiomatik and Abriss der Logistik, Carnap attempted to formulate the metatheory of axiomatic theories within a single, fully interpreted type-theoretic framework and to investigate a number of meta-logical notions in it, such as those of model, consequence, consistency, completeness, and decidability. These attempts were largely unsuccessful, also in his own considered judgment. A detailed assessment of Carnap’s attempt shows, nevertheless, that his approach is much less confused and hopeless than it has often been made out to (...) be. By providing such a reassessment, the paper contributes to a reevaluation of Carnap’s contributions to the development of modern logic. (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)

Manfred Eigen extended Erwin Schroedinger’s concept of “life is physics and chemistry” through the introduction of information theory and cybernetic systems theory into “life is physics and chemistry and information.” Based on this assumption, Eigen developed the concepts of quasispecies and hypercycles, which have been dominant in molecular biology and virology ever since. He insisted that the genetic code is not just used metaphorically: it represents a real natural language.However, the basics of scientific knowledge changed dramatically within the second half (...) of the 20th century.Unfortunately, Eigen ignored the results of the philosophy of science discourse on essential features of natural languages and codes: a natural language or code emerges from populations of living agents that communicate. This contribution will look at some of the highlights of this historical development and the results relevant for biological theories about life. (shrink)

I provide a brief history of pragmatics as it relates to explanation, highlighting the great neglect of pragmatics and pragmatic considerations in regard to explanation during the mid-twentieth century. In order to understand pragmatic considerations regarding explanation, I utilize the work of Bas C. van Fraassen, Peter Achinstein, and Jan Faye. These thinkers provide crucial tools for understanding pragmatics, especially with regard to concepts such as context and exigence. The work of these thinkers provides the platform from which I compose (...) a definition of pragmatic considerations. (shrink)

The increasing complexity of biological problems and the increase of mathematical means to handle them on the one hand, and the possibility of automatized computation at the other, necessitate a revaluation of the present interactions between biology and mathematics; in this connection interrelations occur which can be divided into three kinds: mathematical biology, biological mathematics, and general biomathematics or methodology of the biomathematical sciences, by which are meant those scientific branches which arise from the said interactions.

The essays in this volume concern the points of intersection between analytic philosophy and the philosophy of the exact sciences. More precisely, it concern connections between knowledge in mathematics and the exact sciences, on the one hand, and the conceptual foundations of knowledge in general. Its guiding idea is that, in contemporary philosophy of science, there are profound problems of theoretical interpretation-- problems that transcend both the methodological concerns of general philosophy of science, and the technical concerns of philosophers of (...) particular sciences. A fruitful approach to these problems combines the study of scientific detail with the kind of conceptual analysis that is characteristic of the modern analytic tradition. Such an approach is shared by these contributors: some primarily known as analytic philosophers, some as philosophers of science, but all deeply aware that the problems of analysis and interpretation link these fields together. (shrink)

This PhD thesis focuses on the philosophical foundations of Neuroeconomics, an innovative research program which combines findings and modelling tools from economics, psychology and neuroscience to account for human choice behaviour. The proponents of Neuroeconomics often manifest the ambition to foster radical modifications in the accounts of choice behaviour developed by its parent disciplines. This enquiry provides a philosophically informed appraisal of the potential for success and the relevance of neuroeconomic research for economics. My central claim is that neuroeconomists can (...) help other economists to build more predictive and explanatory models, yet are unlikely to foster revolutionary modifications in the economic theory of choice. The contents are organized as follows. In chapters 1-2, I present neuroeconomists’ investigative tools, distinguish the most influential approaches to neuroeconomic research and reconstruct the case in favour of a neural enrichment of economic theory. In chapters 3-7, I combine insights from neuro-psychology, economic methodology and philosophy of science to develop a systematic critique of Neuroeconomics. In particular, I articulate four lines of argument to demonstrate that economists are provisionally justified in retaining a methodologically distinctive approach to the modelling of decision making. My first argument points to several evidential and epistemological concerns which complicate the interpretation of neural data and cast doubt on the inferences neuroeconomists often make in their studies. My second argument aims to show that the trade-offs between the modelling desiderata that neuroeconomists and other economists respectively value severely constrain the incorporation of neural insights into economic models. My third argument questions neuroeconomists’ attempts to develop a unified theory of choice behaviour by identifying some central issues on which they hold contrasting positions. My fourth argument differentiates various senses of the term ‘revolution’ and illustrates that neuroeconomists are unlikely to provide revolutionary contributions to economic theory in any of these senses. (shrink)

We argue against the claim that the employment of diagrams in Euclidean geometry gives rise to gaps in the proofs. First, we argue that it is a mistake to evaluate its merits through the lenses of Hilbert’s formal reconstruction. Second, we elucidate the abilities employed in diagram-based inferences in the Elements and show that diagrams are mathematically reputable tools. Finally, we complement our analysis with a review of recent experimental results purporting to show that, not only is the Euclidean diagram-based (...) practice strictly regimented, it is rooted in cognitive abilities that are universally shared. (shrink)

Both Carnap and Quine made significant contributions to the philosophy of mathematics despite their diversed views. Carnap endorsed the dichotomy between analytic and synthetic knowledge and classified certain mathematical questions as internal questions appealing to logic and convention. On the contrary, Quine was opposed to the analytic-synthetic distinction and promoted a holistic view of scientific inquiry. The purpose of this paper is to argue that in light of the recent advancement of experimental mathematics such as Monte Carlo simulations, limiting mathematical (...) inquiry to the domain of logic is unjustified. Robustness studies implemented in Monte Carlo Studies demonstrate that mathematics is on par with other experimental-based sciences. (shrink)

Criteria of empirical significance are supposed to state conditions under which reference to an unobservable object or property is “empirically meaningful.” The intended kind of empirical meaningfulness should be necessary for admissibility into the selective contexts of scientific inquiry. I defend Justus’s recent argument that the reasons generally given for rejecting the project of defining a significance criterion are unpersuasive. However, as I show, this project remains wedded to an overly narrow conception of its subject matter. Even the most cutting (...) edge significance criteria identify empirical significance with predictive power, and thereby rule out vocabulary with legitimate scientific functions. In a nutshell, the problem is that there are terms that reduce the computational burden of extracting predictions from theory, and that may therefore be scientifically useful, but that do not add to the theory’s observational consequences, and so are ruled scientifically inadmissibility by existing significance criteria. I spell out this objection by specifying shortcut terms that are ruled inadmissible by Creath’s and Schurz’s criteria. Having objected in this way to extant criteria, and to the equation of empirical significance with predictive power in general, I discuss an approach to defining empirical significance that is capable of avoiding my objection and, more ambitiously, that may break the cycle of “punctures and patches” that has plagued the project from the beginning. I gloss Goldfarb and Ricketts’s idea of “case-by-case” delineations of empirically significant terms as the provision of special rather than general explications of the informal concept of empirical significance. (shrink)

Scientific models are important, if not the sole, units of science. This thesis addresses the following question: in virtue of what do scientific models represent their target systems? In Part i I motivate the question, and lay out some important desiderata that any successful answer must meet. This provides a novel conceptual framework in which to think about the question of scientific representation. I then argue against Callender and Cohen’s attempt to diffuse the question. In Part ii I investigate the (...) ideas that scientific models are ‘similar’, or structurally morphic, to their target systems. I argue that these approaches are misguided, and that at best these relationships concern the accuracy of a pre-existing representational relationship. I also pay particular attention to the sense in which target systems can be appropriately taken to exhibit a ‘structure’, and van Fraassen’s recent argument concerning the pragmatic equivalence between representing phenomena and data. My next target is the idea that models should not be seen as objects in their own right, but rather what look like descriptions of them are actually direct descriptions of target systems, albeit not ones that should be understood literally. I argue that these approaches fail to do justice to the practice of scientific modelling. Finally I turn to the idea that how models represent is grounded, in some sense, in their inferential capacity. I compare this approach to anti-representationalism in the philosophy of language and argue that analogous issues arise in the context of scientific representation. Part iii contains my positive proposal. I provide an account of scientific representation based on Goodman and Elgin’s notion of representation-as. The result is a highly conventional account which is the appropriate level of generality to capture all of its instances, whilst remaining informative about the notion. I illustrate it with reference to the Phillips-Newlyn machine, models of proteins, and the Lotka-Volterra model of predator-prey systems. These examples demonstrate how the account must be understood, and how it sheds light on our understanding of how models are used. I finally demonstrate how the account meets the desiderata laid out at the beginning of the thesis, and outline its implications for further questions from the philosophy of science; not limited to issues surrounding the applicability of mathematics, idealisation, and what it takes for a model to be ‘true’. (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 paper, as a continuation of the paper Hanzel , provides a methodological generalization of Newton’s method of theory construction as applied in Book I and Book III of his Principia. It reconstructs also the method of measures applied in those books. Finally, it shows how the term “harmonic law” changes its meaning in the Principia.

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, I argue from a metasemantic principle to the existence of analytic sentences. According to the metasemantic principle, an external feature is relevant to determining which concept one expresses with an expression only if one is disposed to treat this feature as relevant. This entails that if one isn’t disposed to treat external features as relevant to determining which concept one expresses, and one still expresses a given concept, then something other than external features must determine that one (...) does. I argue that, in such cases, what determines that one expresses the concept also puts one in a position to know that certain sentences are true—these sentences are thus analytic relative to this determination basis. Finally, I argue that there are such cases: some sentences are analytic relative to what determines that we express certain key concepts, and these sentences include ones that have always been thought to be the best candidates for being analytic, namely, stipulative truths, and first principles of mathematics. (shrink)

Author's replies to an APA book symposium on "Carnap, Tarski, and Quine at Harvard.".

ABSTRACT Arne Naess once called himself ?a kind of metaphysician?: did or did he not therewith turn his back on his philosophical mentors in the Vienna Circle? To try to determine the meaning of this self-ascription, this paper first considers in detail two works in which his disagreements with the philosophers of the Vienna Circle found their clearest and most detailed expression. Concentrating on Carnap it will be argued that while some of Naess's criticisms cannot be taken as authoritative, he (...) did indicate a clear dividing line between himself and Carnap. Turning then to Naess's valediction to philosophy of science from 1972, Naess's appreciation of the role of metaphysics for science will be discussed and compared with his appreciation for the role of metaphysics for personal and political life as expressed in his still later ecophilosophy. Once allowance is made for the different needs addressed by his writings for the deep ecology movement and a certain 1960s' rhetoric is discounted as no longer appropriate, it can be seen that Naess's theoretical philosophy exhibited a remarkable continuity throughout. (shrink)

Designing models of complex phenomena is a difficult task in engineering that can be tackled by composing a number of partial models to produce a global model of the phenomena. We propose to embed the partial models in software agents and to implement their composition as a cooperative negotiation between the agents. The resulting multiagent system provides a global model of a phenomenon. We applied this approach in modelling two complex physiological processes: the heart rate regulation and the glucose-insulin metabolism. (...) Beyond the effectiveness demonstrated in these two applications, the idea of using models associated to software agents to give reason of complex phenomena is in accordance with current tendencies in epistemology, where it is evident an increasing use of computational models for scientific explanation and analysis. Therefore, our approach has not only a practical, but also a theoretical significance: agents embedding models are a technology suitable both to representing and to investigating reality. (shrink)

In this paper, I introduce and defend a notion of analyticity for formal languages. I first uncover a crucial flaw in Timothy Williamson’s famous argument template against analyticity, when it is applied to sentences of formal mathematical languages. Williamson’s argument targets the popular idea that a necessary condition for analyticity is that whoever understands an analytic sentence assents to it. Williamson argues that for any given candidate analytic sentence, there can be people who understand that sentence and yet who fail (...) to assent to it. I argue that, on the most natural understanding of the notion of assent when it is applied to sentences of formal mathematical languages, Williamson’s argument fails. Formal analyticity is the notion of analyticity that is based on this natural understanding of assent. I go on to develop the notion of formal analyticity and defend the claim that there are formally analytic sentences and rules of inference. I conclude by showing the potential payoffs of recognizing formal analyticity. (shrink)

Gregorio Klimovsky argumentó en contra de los análisis sintacticistas de la noción de lenguaje. En este trabajo se examinan sus argumentos, destacando su vínculo con las discusiones recientes sobre universalidad expresiva, y se plantean algunas réplicas atendibles. Luego se adopta un enfoque general de la cuestión que resulta incompatible con el sintacticismo estricto pero que permite una reformulación aceptable, vinculada con una idea minimalista sobre el alcance de la teoría semántica. Gregorio Klimovsky argued against syntactical analyses of the notion of (...) language. In this paper I examine his arguments, noting their links with recent discussions of universal expressibility, and raise some plausible objections. Afterwards I adopt a general approach to the issue which is incompatible with strict syntacticism but allowing an acceptable reformulation, associated with a minimalist notion of the scope of the semantic theory. (shrink)

A standard formalization of a scientific theory is a system of axioms for that theory in a first-order language (possibly many-sorted; possibly with the membership primitive $$\in$$ ). Suppes (in: Carvallo M (ed) Nature, cognition and system II. Kluwer, Dordrecht, 1992) expressed skepticism about whether there is a “simple or elegant method” for presenting mathematicized scientific theories in such a standard formalization, because they “assume a great deal of mathematics as part of their substructure”. The major difficulties amount to these. (...) First, as the theories of interest are mathematicized, one must specify the underlying applied mathematics base theory, which the physical axioms live on top of. Second, such theories are typically geometric, concerning quantities or trajectories in space/time: so, one must specify the underlying physical geometry. Third, the differential equations involved generally refer to coordinate representations of these physical quantities with respect to some implicit coordinate chart, not to the original quantities. These issues may be resolved. Once this is done, constructing standard formalizations is not so difficult—at least for the theories where the mathematics has been worked out rigorously. Here we give what may be claimed to be a simple and elegant means of doing that. This is for mathematicized scientific theories comprising differential equations for $$\mathbb{R}$$ -valued quantities Q (that is, scalar fields), defined on n (“spatial” or “temporal”) dimensions, taken to be isomorphic to the usual Euclidean space $$\mathbb{R}^n$$. For illustration, I give standard (in a sense, “text-book”) formalizations: for the simple harmonic oscillator equation in one-dimension and for the Laplace equation in two dimensions. (shrink)

Theories about the ontological structure of the world have generally been described in informal, intuitive terms. This book offers an account of the general features and methodology of formal ontology. The book defends conceptual realism as the best system to adopt based on a logic of natural kinds. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme.

My goal, in this paper, is to critically assess the categorization of “interpretations of probability” as it appears in the literature. In some sources only Carnap’s treatment of probability is understood to be the best example of “logical” probability. This is surprisingly narrow and I will here suggest otherwise. In fact, I believe that certain forms of Baysianism should also be included in the logical camp.

The concept of a “scientific philosophy” first developed in the mid nineteenth century, as a reaction against what was viewed as the excessively speculative and metaphysical character of post-Kantian German idealism. One of the primary intellectual models of this movement was a celebrated address by Hermann von Helmholtz, “Über das Sehen des Menschen,” delivered at the dedication of a monument to Kant at Königsberg in 1855. Helmholtz begins by asking, on behalf of the audience, why a natural scientist like himself (...) is speaking in honor of a philosopher. This question only arises, he says, because of the current deplorable climate of enmity and mutual distrust between the two fields – a climate which is due, in Helmholtz’s opinion, to the entirely speculative system of Naturphilosophie that Schelling and Hegel have erected wholly independent of, and even in open hostility towards, the actual positive results of the natural sciences. What Helmholtz is now recommending, however, is a return to the close cooperation between the two fields exemplified in the work of Kant, who himself made significant contributions to natural science , and, in general, “stood in relation to the natural sciences together with the natural scientists on precisely the same fundamental principles.”1 And it was this recommendation that was enthusiastically embraced within the emerging “back to Kant!” movement, where it led to the idea that all metaphysics should be replaced by the new discipline of “epistemology” or “theory of knowledge” , so that philosophy itself would now become “scientific.”. (shrink)

El presente escrito se propone presentar el modelo de tres niveles del conocimiento científico (datos, fenómenos y teorías) desde los recientes resultados de la filosofía de la ciencia obtenidos por dos perspectivas filosóficas particulares: el nuevo experimentalismo y el enfoque semántico de las teorías. Para ello contrasta los planteamientos principales de estas dos perspectivas con el modelo de dos niveles del conocimiento científico (observación y teoría) del positivismo lógico, que dominó el panorama de la filosofía de la ciencia en las (...) primeras seis décadas del siglo XX. (shrink)

Michael Friedman’s project both historically and systematically testifies to the importance of the relativized a priori. The importance of implicit definitions clearly emerges from Schlick’s General Theory of Knowledge . The main aim of this paper is to show the relationship between both and the relativized a priori through a detailed discussion of Friedman’s work. Succeeding with this will amount to a contribution to recent scholarship showing the importance of Hilbert for Logical Empiricism.

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)

We shall address from a conceptual perspective the duality between algebra and geometry in the framework of the refoundation of algebraic geometry associated to Grothendieck’s theory of schemes. To do so, we shall revisit scheme theory from the standpoint provided by the problem of recovering a mathematical structure A from its representations \ into other similar structures B. This vantage point will allow us to analyze the relationship between the algebra-geometry duality and the structure-semiotics duality. Whereas in classical algebraic geometry (...) a certain kind of rings can be recovered by considering their representations with respect to a unique codomain B, Grothendieck’s theory of schemes permits to reconstruct general rings by considering representations with respect to a category of codomains. The strategy to reconstruct the object from its representations remains the same in both frameworks: the elements of the ring A can be realized—by means of what we shall generally call Gelfand transform—as quantities on a topological space that parameterizes the relevant representations of A. As we shall argue, important dualities in different areas of mathematics can be understood as particular cases of this general pattern. In the wake of Majid’s analysis of the Pontryagin duality, we shall propose a Kantian-oriented interpretation of this pattern. We shall use this conceptual framework to argue that Grothendieck’s notion of functor of points can be understood as a “relativization of the a priori” that generalizes the relativization already conveyed by the notion of domain extension to more general variations of the corresponding domains. (shrink)

Pogląd standardowy jest taki, że semantyka formalna stosuje się do języka naturalnego tylko w bardzo ograniczonym stopniu. Powodem tego stanu rzeczy jest nieunikniona nieokreśloność mowy potocznej polegająca m. in. na wieloznaczno- ściach, nieostrości czy tolerancji składniowej, a także obecności kontekstów intensjonalnych, co skutkuje limitacjami zasady kompozycjonalności. Ponadto konwersacja potoczna korzysta z rozmaitych reguł, np. reguł Grice’a, które wykraczają poza formalizm logiczny. W konsekwencji język naturalny nie podlega pełnej formalizacji. Z drugiej strony, jeśli L jest językiem formalnym, to metajęzyk ML, w (...) którym ten pierwszy jest opisywany, musi być częściowo nieformalny – zawiera np. terminy zwykłej matematyki, w szczególności teorii mnogości. Nawet jeśli, np. dzięki technice arytmetyzacji, ML daje się przedstawić w L, tego rodzaju reprezentacja jest tylko lokalna. W gruncie rzeczy pogląd taki można wyprowadzić z pewnych uwag Tarskiego o roli języka naturalnego. Zwykle przyjmuje się, że tzw. uniwersalność języka potocznego jest źródłem kłopotów związanych z antynomiami. Tak jest oczywiście i okoliczność ta wymaga pewnej „sanacji”, np. postaci odróżnienia stopni języka. Jednakże nawet usunięcie antynomii w taki lub inny sposób nie zmienia faktu, że to, co nieformalne ma priorytet wobec tego, co formalne. W konsekwencji także semantyka formalna ma także swoje ograniczenia w odniesieniu do języków sformalizowanych. (shrink)

In this paper I examine a neglected question concerning the centerpiece of Carnap's philosophy: the principle of tolerance. The principle of tolerance states that we are free to devise and adopt any well-defined form of language or linguistic framework we please. A linguistic framework defines framework-internal standards of correct reasoning that guide us in our first-order scientific pursuits. The choice of a linguistic framework, on the other hand, is an ‘external’ question to be settled on pragmatic grounds and so not (...) itself constrained by these standards. However, even if choosing a framework is a practical matter, we would nevertheless expect the process of framework selection to be subject to rational norms. But which norms might those be? And where do they come from? I begin by showing that these questions are crucial to the success of Carnap's entire philosophical project. I then offer a response on behalf of the Carnapian which guarantees the rationality of the process of framework selection, while remaining true to Carnap's firm commitment to tolerance. (shrink)

Thirty years after the conference that gave rise to The Structure of Scientific Theories, there is renewed interest in the nature of theories and models. However, certain crucial issues from thirty years ago are reprised in current discussions; specifically: whether the diversity of models in the science can be captured by some unitary account; and whether the temporal dimension of scientific practice can be represented by such an account. After reviewing recent developments we suggest that these issues can be accommodated (...) within the partial structures formulation of the semantic or model-theoretic approach. (shrink)

Jules-Henri Poincare is universally acknowledged to have been one of the greatest scientific minds of the nineteenth century. The development of his genius from childhood precociousness was unusually smooth. By the end of his life he had been accorded virtually every international honour in the field of science.