Im Zentrum dieses Bandes stehen die Beiträge einer Tagung, die im Oktober 2017 an der Universität Konstanz stattgefunden hat. Thema der Tagung war ein den historischen Kontext einbeziehender Blick auf den frühen Rudolf Carnap, vom Ende des Ersten Weltkriegs bis zur Emigration Ende 1935. Der 1891 in Ronsdorf bei Wuppertal geborene Rudolf Carnap entschloss sich erst relativ spät zu einer Karriere als akademischer Philosoph, nämlich 1920, nachdem er sein durch den Krieg unterbrochenes Studium der Physik und Philosophie in Jena und (...) Freiburg abgeschlossen und kurze Zeit überlegt hatte, als Lehrer in der Schulreform-Bewegung zu arbeiten. Es folgte die philosophische Promotion im Jahr 1921, bei Bruno Bauch in Jena, mit einer Doktorarbeit zum Raumproblem. 1923 organisierte Carnap, gemeinsam mit Hans Reichenbach und anderen, eine für die Entstehung des Logischen Empirismus bedeutsame kleine Tagung in Erlangen. Auf Einladung von Moritz Schlick habilitierte er sich 1926 an der Universität Wien und verbrachte die Zeit bis 1931 zumindest teilweise in Wien, als eines der Kernmitglieder des Wiener Kreises um Moritz Schlick. Seine Habilitationsschrift erschien 1928 unter dem Titel Der logische Aufbau der Welt (hier immer Aufbau). 1931 folgte Carnap einem Ruf an die Deutsche Universität Prag. In den darauffolgenden Jahren blieb aber der enge Kontakt mit Wien und dem Wiener Kreis erhalten. Carnaps hauptsächliche Arbeit in dieser Zeit war seinem zweiten großen Buchprojekt gewidmet, der 1934 publizierten Logischen Syntax der Sprache. Daneben verfasste Carnap in seiner Zeit in Wien und Prag auch zahlreiche Aufsätze, zu unterschiedlichen Aspekten der Logik, der Metaphysikkritik und der Wissenschaftstheorie. Er war Mitautor des Manifests Wissenschaftliche Weltauffassung: Der Wiener Kreis und nahm regen Anteil an den zahlreichen wissenschaftlichen Aktivitäten des Logischen Empirismus, von der Gründung der Zeitschrift Erkenntnis bis hin zum Projekt einer Enzyklopädie der Einheitswissenschaft. Spätestens ab 1933 musste Carnap jedoch feststellen, dass an eine weitere wissenschaftliche Karriere in dem von Faschismus und Nationalsozialismus geprägten politischen Klima in Kontinentaleuropa nicht zu denken war. Er strebte deshalb die Emigration ins englischsprachige Ausland an, die schließlich Ende 1935 gelang, als Carnap ein Angebot von der Universität Chicago erhielt. Obwohl Carnap nur den kleineren Teil der in diesem Band abgedeckten eineinhalb Jahrzehnte in Wien verbracht hat, widmet sich der Großteil der hier versammelten Beiträge schwerpunktmäßig der für Carnaps philosophische Karriere zentralen Wiener Zeit. (shrink)

The main task in this paper is to detail and investigate Carnap’s conception of a “linguistic framework”. On this basis, we will see whether Carnap’s dichotomies, such as the analytic-synthetic distinction, are to be construed as absolute/fundamental dichotomies or merely as relative dichotomies. I argue for a novel interpretation of Carnap’s conception of a LF and, on that basis, will show that, according to Carnap, all the dichotomies to be discussed are relative dichotomies; they depend on conventional decisions concerning the (...) logical syntax of LF. Thus, all of the dichotomies directly hinge on the conception of the LF. The LF’s logical structure, in turn, is an immediate consequence of adopting the linguistic doctrine of logical truths. As we will see, no appeal to any of these distinctions is necessary in establishing a LF and all of its components. I will also draw attention to the differences between what Carnap labels a “way of speaking”, “language”, and “artificial language”. Consequently, I will briefly conclude that none of Quine’s major objections address the main points of Carnap’s theory. (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)

Elliott Sober has suggested his criterion of contrastive testability as an improvement over previous criteria of empirical significance like falsifiability. I argue that his criterion renders almost any theory empirically significant because its restrictions on auxiliary assumptions are to weak. Even when the criterion is modified to avoid this trivialization, it fails to meet other conditions of adequacy for a criterion of empirical significance that follow from Sober's position. I suggest to define empirical significance as empirical non-equivalence to a tautology, (...) because this definition does meet the conditions of adequacy. Specifically, it is equivalent to the standard Bayesian criterion of empirical significance whenever all probabilities are defined and contains falsifiability as a special case. This latter feature is important because those conditions of adequacy that apply to criteria of deductive empirical significance single out falsifiability. (shrink)

A review of the Czech translation of Nelson Goodman's Languages of Art. I emphasize Goodman's move away from the issue of the definition of art, and the fruitfulness of the autographic/allographic distinction.

Homo deceptus is a book that brings together new ideas on language, consciousness and physics into a comprehensive theory that unifies science and philosophy in a different kind of Theory of Everything. The subject of how we are to make sense of the world is addressed in a structured and ordered manner, which starts with a recognition that scientific truths are constructed within a linguistic framework. The author argues that an epistemic foundation of natural language must be understood before laying (...) claim to any notion of reality. This foundation begins with Ludwig Wittgenstein’s Tractatus Logico-Philosophicus and the relationship of language to formal logic. Ultimately, we arrive at an answer to the question of why people believe the things they do. This is effectively a modification of Alfred Tarski’s semantic theory of truth. The second major issue addressed is the ‘dreaded’ Hard Problem of Consciousness as first stated by David Chalmers in 1995. The solution is found in the unification of consciousness, information theory and notions of physicalism. The physical world is shown to be an isomorphic representation of the phenomenological conscious experience. New concepts in understanding how language operates help to explain why this relationship has been so difficult to appreciate. The inclusion of concepts from information theory shows how a digital mechanics resolves heretofore conflicting theories in physics, cognitive science and linguistics. Scientific orthodoxy is supported, but viewed in a different light. Mainstream science is not challenged, but findings are interpreted in a manner that unifies consciousness without contradiction. Digital mechanics and formal systems of logic play central roles in combining language, consciousness and the physical world into a unified theory where all can be understood within a single consistent framework. (shrink)

La rinascita negli ultimi decenni di un nutrito dibattito intorno alla nozione di analiticità dopo le critiche a suo tempo mosse da Quine alla batteria di nozioni utilizzate da Rudolf Carnap (ad esempio, postulati di significato, regole semantiche, definizioni implicite, convenzioni e stipulazioni esplicite) prende le mosse da una riflessione critica sulle argomentazioni di Quine e tenta, da un lato, di approfondire meglio il legame fra analiticità e conoscenza a priori, e, dall’altro, di capire meglio il ruolo che la definizione (...) può svolgere nella costituzione del significato e nella formulazione di verità concettuali. Questa nuova concezione è detta “epistemica” ed ha fra i suoi più autorevoli fautori Crispin Wright, Bob Hale e Paul Boghossian. Boghossian, al pari di molti filosofi critici della nuova concezione epistemica, come Timothy Williamson, conviene però con Quine nel sostenere che gli enunciati analitici hanno portata fattuale e vertono anch’essi sul mondo, oltre che sul linguaggio. Anche per questa ragione essi possono rendere possibile una genuina estensione delle nostre conoscenze. Tuttavia una seconda linea di obiezioni facenti capo dapprima a Paul Horwich, e in seguito agli stessi Wright e Hale, mette in evidenza rispettivamente due difficoltà corrispondenti alle questioni dell’arroganza e dell’accettazione. In questa discussione una parte importante è svolta dalla ripresa e della discussione del condizionale di Carnap, impiegato per rendere conto del ruolo che i termini teorici svolgono nel quadro dell’intera teoria cui appartengono, senza con ciò sposare le conseguenze dell’olismo quineano. La tesi centrale che questo lavoro cerca di rendere plausibile è che una lettura attenta degli ultimi scritti di Carnap mostri come il carattere aperto che egli attribuisce ai termini teorici in ragione, sia dello loro intrinseca indeterminatezza, sia delle revisioni imposte dalle scoperte scientifiche, è perfettamente compatibile con la fattorizzazione del contenuto di una teoria scientifica data in una parte linguistica, il condizionale di Carnap, riguardante la costituzione del significato di un certo termine teorico, e nella sua controparte empirica, che consente di registrare l’impatto dell’esperienza sulla teoria in questione. Se praticabile, questa concezione può a buon diritto entrare nel novero delle teorie epistemiche dell’analiticità, senza accampare alcuna pretesa di far rivivere i fasti della conoscenza a priori classica. (shrink)

This work contrasts Giovanni Sartor’s view of inferential semantics of legal concepts with a probabilistic model of theory formation. The work further explores possibilities of implementing Kemp’s probabilistic model of theory formation in the context of mapping legal concepts between two individual legal systems. For implementing the legal concept mapping, we propose a cross-categorization approach that combines three mathematical models: the Bayesian Model of Generalization, the probabilistic model of theory formation, i.e., the Infinite Relational Model first introduced by Kemp et (...) al. and its extended model, i.e., the normal-IRM proposed by Herlau et al.. We apply our cross-categorization approach to datasets where legal concepts related to educational systems are respectively defined by the Japanese- and the Danish authorities according to the International Standard Classification of Education. The main contribution of this work is the proposal of a conceptual framework of the cross-categorization approach that, inspired by Sartor, attempts to explain reasoner’s inferential mechanisms. (shrink)

The independence problems for functionalism stem from the worry that if functional properties are defined in terms of their causes and effects then such functional properties seem to be too intimately connected to these purported causes and effects. I distinguish three different ways the independence problems can be filled out – in terms of necessary connections, analytic connections and vacuous explanations. I argue that none of these present serious problems. Instead, they bring out some important and over-looked features of functionalism.

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.

Everything you always wanted to know about structural realism but were afraid to ask Content Type Journal Article Pages 227-276 DOI 10.1007/s13194-011-0025-7 Authors Roman Frigg, Department of Philosophy, Logic and Scientific Method, London School of Economics and Political Science, Houghton Street, London, WC2A 2AE UK Ioannis Votsis, Philosophisches Institut, Heinrich-Heine-Universität Düsseldorf, Universitätsstraße 1, Geb. 23.21/04.86, 40225 Düsseldorf, Germany Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912 Journal Volume Volume 1 Journal Issue Volume 1, Number 2.

The sheer multitude of criteria of empirical significance has been taken as evidence that the pre-analytic notion being explicated is too vague to be useful. I show instead that a significant number of these criteria—by Ayer, Popper, Przełęcki, Suppes, and David Lewis, among others—not only form a coherent whole, but also connect directly to the theory of definition, the notion of empirical content as explicated by Ramsey sentences, and the theory of measurement; two criteria by Carnap and Sober are trivial, (...) but can be saved and connected to the other criteria by slight modifications. A corollary is that the ordinary language defense of Lewis, the conceptual arguments by Ayer and Popper, the theoretical considerations by Przełęcki, and the practical considerations by Suppes all apply to the same criterion or closely related criteria. Furthermore, the equivalence of some criteria allows for their individual justifications to be taken cumulatively and, together with the entailment relations between nonequivalent criteria, suggest criteria for general auxiliary assumptions, comparative criteria, and more liberal conceptions of observation. (shrink)

Of the three views of theoretical knowledge which form the focus of this article, the first has its source in the work of Russell, the second in Ramsey, and the third in Carnap. Although very different, all three views subscribe to a principle I formulate as ‘the structuralist thesis’; they are also naturally expressed using the concept of a Ramsey sentence. I distinguish the framework of assumptions which give rise to the structuralist thesis from an unproblematic emphasis on the importance (...) of ‘structural’ differences for the analysis and interpretation of theories belonging to the exact sciences, and I review a number of logical properties of Ramsey sentences using very simple arithmetical theories and their models. I then develop a reconstruction of the views of Russell, Ramsey, and Carnap that clarifies the interrelationships among them by appealing to aspects of the arithmetical examples that inform my discussion of Ramsey sentences. I conclude with an account of the philosophical basis of the structuralist thesis and the fundamental difficulty to which it leads. (shrink)

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

I shall compare two views of legal concepts: as nodes in inferential nets and as categories in an ontology (a conceptual architecture). Firstly, I shall introduce the inferential approach, consider its implications, and distinguish the mere possession of an inferentially defined concept from the belief in the concept’s applicability, which also involves the acceptance of the concept’s constitutive inferences. For making this distinction, the inferential and eliminative analysis of legal concepts proposed by Alf Ross will be connected to the views (...) on theoretical concepts in science advanced by Frank Ramsey and Rudolf Carnap. Consequently, the mere comprehension of a legal concept will be distinguished from the application of the concept to a particular legal system, since application presupposes a doctrinal commitment, namely, the belief that the inferences constituting the concept hold in that system. Then, I shall consider how concepts can be characterised by defining the corresponding terms and placing them within an ontology. Finally, I shall argue that there is a tension between the inferential and the ontological approach, but that both need to be taken into account, to capture the meaning and the cognitive function of legal concepts. (shrink)

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

This paper concerns the rational reconstruction of physical theories initially advanced by F. P. Ramsey and later elaborated by Rudolf Carnap. The Carnap–Ramsey reconstruction of theoretical knowledge is a natural development of classical empiricist ideas, one that is informed by Russell's philosophical logic and his theories of propositional understanding and knowledge of matter ; as such, it is not merely a schematic representation of the notion of an empirical theory, but the backbone of a general account of our knowledge of (...) the physical world. Carnap–Ramsey is an illuminating approach to epistemological problems that remain with us, one whose difficulties are shared by accounts that have sought to replace it. 1 Introduction 2 Russell's theory of propositional understanding 3 Ramsey's primary and secondary systems 4 Carnap's reconstruction of the language of science and an observation of Newman 5 Extension of the foregoing to constructive empiricism 6 Putnam's model-theoretic argument and the semantic view of theories 7 The problem clarified and resolved. (shrink)

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

Carnap’s search for a criterion of empirical significance is usually considered a failure. I argue that the results from two out of his three different approaches are at the very least problematic, but that one approach led to success. Carnap’s criterion of translatability into logical syntax is too vague to allow for definite results. His criteria for terms—introducibility by chains of reduction sentences and his criterion from “The Methodological Character of Theoretical Concepts”—are almost trivial and have no clear relation to (...) the empirical significance of sentences. However, his criteria for sentences—translatability, verifiability, falsifiability, confirmability—are usable, and under the assumptions needed for the Carnap sentence approach, verifiability, falsifiability, and translatability become equivalent. As a result of the Carnap sentence approach, metaphysics is rendered analytic. (shrink)

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)

Several recent works in history and philosophy of science have re-evaluated the alleged opposition between the theses put forth by logical empiricists such as Carnap and the so-called "post-positivists", such as Kuhn. Although the latter came to be viewed as having seriously challenged the logical positivist views of science, recent authors maintain that some of the most notable theses of the Kuhnian view of science have striking similarities with some aspects of Carnap's philosophy. Against that reading, Oliveira and Psillos argue (...) that within Carnap's philosophy there is no place for the Kuhnian theses of incommensurability, holism, and theory-ladenness of observations. This paper presents each of those readings and argues that Carnap and Kuhn have non-opposing views on holism, incommensurability, the theory-ladenness of observations, and scientific revolutions. We note at the very end - without dwelling on the point, however - that they come apart on other matters, such as their views on metaphysics and on the context of discovery/justification distinction. (shrink)

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)

In the last decades, scientific laws and concepts have been increasingly conceptualized as a patchwork of contextual and indeterminate entities. These patchwork constructions are sometimes claimed to be incompatible with traditional views of scientific theories and concepts, but it is difficult to assess such claims due to the informal character of these approaches. In this paper, we will show that patchwork approaches pose a new problem of theoretical terms. Specifically, we will demonstrate how a toy example of a patchwork structure (...) might trivialize Carnap’s semantics for theoretical terms based upon epsilon calculus. However, as we will see, this new problem of theoretical terms can be given a neo-Carnapian solution, by generalizing Carnap’s account of theoretical terms in such a way that it applies also to patchwork constructions. Our neo-Carnapian approach to theoretical terms will also demonstrate that the analytic/synthetic distinction is meaningful even for patchwork structures. (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)

The paper addresses the issue of theory-ladenness of observation/experimentation. Motivated by a naturalistic reading of Thomas Kuhn's insights into the same topic, I draw on cognitive neuroscience (predictive coding under Free Energy Principle) to scrutinise theory-ladenness. I equate theory-ladenness with the cognitive penetrability of perceptual inferences and argue that strong theory-ladenness prevails only under uncertain circumstances. This understanding of theory-ladenness is in line with Thomas Kuhn's view on the same subject as well as a cognitive version of modest realism rather (...) than downright antirealism. (shrink)

Contemporary decision theory places crucial emphasis on a family of mathematical results called representation theorems, which relate criteria for evaluating the available options to axioms pertaining to the decision-maker’s preferences. Various claims have been made concerning the reasons for the importance of these results. The goal of this article is to assess their semantic role: representation theorems are purported to provide definitions of the decision-theoretic concepts involved in the evaluation criteria. In particular, this claim shall be examined from the perspective (...) of philosophical theories of the meaning of theoretical terms. (shrink)

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

The 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)

The modern philosophy of science has not succeeded in defining conclusively what the scientific method consists in. On the contrary, scientific practice seems to consist in a methodological pluralism, a definition that connects with essential fragments of John Dewey's Logic, the Theory of Inquiry. For Dewey, even the forms of logic emerge from the problems defined in indeterminate situations. A historical example was the introduction of the notion of complementarity in physics, which allowed the interpretation of two confusingly paradoxical experiments (...) in a coherent way. Dewey's thought demonstrates its relevance by helping us to define the pattern of inquiry. Methodological pluralism and the dependence of logic on research problems is not something that will happen, it is something that has happened and does happen in scientific practices. (shrink)

This dissertation makes two primary contributions. The first three chapters develop an interpretation of Carnap's Meta-Philosophical Program which places stress upon his methodological analysis of the sciences over and above the Principle of Tolerance. Most importantly, I suggest, is that Carnap sees philosophy as contiguous with science—as a part of the scientific enterprise—so utilizing the very same methods and subject to the same limitations. I argue that the methodological reforms he suggests for philosophy amount to philosophy as the explication of (...) the concepts of science through the construction and use of suitably robust meta-logical languages. My primary interpretive claim is that Carnap's understanding of logic and mathematics as a set of formal auxiliaries is premised upon this prior analysis of the character of logico-mathematical knowledge, his understanding of its role in the language of science, and the methods used by practicing mathematicians. Thus the Principle of Tolerance, and so Carnap's logical pluralism, is licensed and justified by these methodological insights. This interpretation of Carnap's program contrasts with the popular Deflationary reading as proposed in Goldfarb & Ricketts. The leading idea they attribute to Carnap is a Logocentrism: That philosophical assertions are always made relative to some particular language, and that our choice of syntactical rules for a language are constitutive of its inferential structure and methods of possible justification. Consequently Tolerance is considered the foundation of Carnap's entire program. My third chapter argues that this reading makes Carnap's program philosophically inert, and I present significant evidence that such a reading is misguided. The final chapter attempts to extend the methodological ideals of Carnap's program to the analysis of the ongoing debate between category- and set-theoretic foundations for mathematics. Recent criticism of category theory as a foundation charges that it is neither autonomous from set theory, nor offers a suitable ontological grounding for mathematics. I argue that an analysis of concepts can be foundationally informative without requiring the construction of those concepts from first principles, and that ontological worries can be seen as methodologically unfruitful. (shrink)

The present paper offers some remarks on the significance of first order model theory for our understanding of theories, and more generally, for our understanding of the “structuralist” accounts of the nature of theoretical knowledge that we associate with Russell, Ramsey and Carnap. What is unique about the presentation is the prominence it assigns to Craig’s Interpolation Lemma, some of its corollaries, and the manner of their demonstration. They form the underlying logical basis of the analysis.

The modern philosophy of science has not succeeded in defining conclusively what the scientific method consists in. On the contrary, scientific practice seems to consist in a methodological pluralism, a definition that connects with essential fragments of John Dewey's Logic, the Theory of Inquiry. For Dewey, even the forms of logic emerge from the problems defined in indeterminate situations. A historical example was the introduction of the notion of complementarity in physics, which allowed the interpretation of two confusingly paradoxical experiments (...) in a coherent way. Dewey's thought demonstrates its relevance by helping us to define the pattern of inquiry. Methodological pluralism and the dependence of logic on research problems is not something that will happen, it is something that has happened and does happen in scientific practices. (shrink)

Arthur Pap’s work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact that Pap’s views of dispositional and modal concepts were influential. As a sympathetic critic of logical empiricism, Pap, like Quine, saw a deep tension in logical empiricism at its very best in the work of Carnap. But Pap’s critique of Carnap is quite different from Quine’s, and represents the discovery of limits beyond which empiricism cannot go, where there (...) lies nothing other than intuitive knowledge of logic itself. Pap’s arguments for this intuitive knowledge anticipate Etchemendy’s recent critique of the model-theoretic account of logical consequence. Pap’s work also anticipates prominent developments in the contemporary neo-Fregean philosophy of mathematics championed by Wright and Hale. Finally, Pap’s major philosophical preoccupation, the concepts of necessity and possibility, provides distinctive solutions and perspectives on issues of contemporary concern in the metaphysics of modality. In particular, Pap’s account of modality allows us to see the significance of Kripke’s well-known arguments on necessity and apriority in a new light. (shrink)