The distinction between the syntactic and the semantic approach to scientific theories emerged in formal philosophy of science. The semantic approach is commonly considered more advanced and more successful than the syntactic one, but the transition from the one approach to the other was not brought about without any loss. In essence, it is the formal analysis of atomic propositions and the analysis of deductive reasoning that dropped out of consideration in at least some of the elaborated versions of the (...) semantic approach. In structuralist theory of science, as founded by Sneed and Stegmüller, the focus is on global propositions concerning the question of whether or not certain empirical systems satisfy a set-theoretic predicate that encodes the axioms of a scientific theory. Hence, an analysis of deductive reasoning from atomic premisses with the help of a given theory is missing. The objective of the present paper is to develop a deductive system on the basis of the structuralist framework. This system comes with a novel formulation of empirical propositions in structuralism. (shrink)

This paper aims to set forth Carnapian structuralism, i.e., a syntactic view of the structuralist approach which is deeply inspired by Carnap’s dual level conception of scientific theories. At its core is the axiomatisation of a metatheoretical concept AE(T) which characterises those extensions of an intended application that are admissible in the sense of being models of the theory-element T and that satisfy all links, constraints and specialisations. The union of axiom systems of AE(T) (where T is an element of (...) the theory-net N) will allow us to present scientific theories in an axiomatic fashion so that deductive reasoning in science can be formalised. Thereupon defeasible and paraconsistent means of reasoning will be introduced. The logical study of scientific reasoning is the key motivation of Carnapian structuralism. A further motivation is to help overcome the syntactic-semantic split in the philosophy of science. (shrink)

Concepts: Core Readings traces the develoment of one of the most active areas of investigation in cognitive science. This comprehensive volume brings together the essential background readings on concepts from philosophy, psychology, and linguistics, while providing a broad sampling of contemporary research. The first part of the book centers around the fall of the Classical Theory of Concepts in the face of attacks by W.V.O. Quine, Ludwig Wittgenstein, Eleanor Rosch, and others, emphasizing the emergence and development of the Prototype Theory (...) and the controversies it spurred. The second part surveys a broad range of contemporary theories—Neoclassical Theories, the Prototype Theory, the Theory-Theory, and Conceptual Atomism. (shrink)

This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of (...) a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Moreover, he devises a novel belief revision scheme, which is tractable for frame logic. These tractability results shed new light on our logical and cognitive means to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science. (shrink)

Mark Wilson explores our strategies for understanding the world. We frequently cannot reason about nature in the straightforward manner we anticipate, but must use alternative thought processes that reach useful answers in opaque and roundabout ways; and philosophy must find better descriptive tools to reflect this.

Mark Wilson presents a highly original and broad-ranging investigation of the way we get to grips with the world conceptually, and the way that philosophical problems commonly arise from this. He combines traditional philosophical concerns about human conceptual thinking with illuminating data derived from a large variety of fields including physics and applied mathematics, cognitive psychology, and linguistics. Wandering Significance offers abundant new insights and perspectives for philosophers of language, mind, and science, and will also reward the interest of psychologists, (...) linguists, and anyone curious about the mysterious ways in which useful language obtains its practical applicability. (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)

In this paper I reconstruct and compare criteria of theoreticity that have been developed by Carnap, Sneed and proponents of the Munich school of structuralist philosophy of science. For this purpose I develop a unified framework in which one can transform model-theoretic theory representations into linguistic ones, and vice versa. This bridges the gap between statement and non-statement view and allows a precise comparison of linguistic and model-theoretic criteria of theoreticity. In the final part I suggest a system of improved (...) definitions of theoreticity and pre-theoreticity. (shrink)

This is a critical notice of Mark Wilson's Wandering Significance.

In this paper I propose clearly to distinguish four fundamental types of intertheoretical relations that may be used to represent different types of theoretical change in empirical science. These four types can be represented formally through a refined version of the set-theoretical apparatus of structuralism. They may be described as: crystallization, theory-evolution, embedding, and replacement with partial incommensurability. They will be first explicated in intuitive, informal terms, and some historical examples will be suggested for each type. In the second part (...) of the paper, the four types are characterized in structuralistic terms; the notions of a partial substructure and of a diachronic theory-net will play a central role. (shrink)

Is it possible to maintain classical logic, stay close to classical semantics, and yet accept that language might be semantically indeterminate? The article gives an affirmative answer by Ramsifying classical semantics, which yields a new semantic theory that remains much closer to classical semantics than supervaluationism but which at the same time avoids the problematic classical presupposition of semantic determinacy. The resulting Ramsey semantics is developed in detail, it is shown to supply a classical concept of truth and to fully (...) support the rules and metarules of classical logic, and it is applied to vague terms as well as to theoretical or open-ended terms from mathematics and science. The theory also demonstrates how diachronic or synchronic interpretational continuity across languages is compatible with semantic indeterminacy. (shrink)

Philosophy of Science: A Unified Approach combines a general introduction to philosophy of science with an integrated survey of all its important subfields. As the book’s subtitle suggests, this excellent overview is guided methodologically by "a unified approach" to philosophy of science: behind the diversity of scientific fields one can recognize a methodological unity of the sciences. This unity is worked out in this book, revealing all the while important differences between subject areas. Structurally, this comprehensive book offers a two-part (...) approach, which makes it an excellent introduction for students new to the field and a useful resource for more advanced students. Each chapter is divided into two sections. The first section assumes no foreknowledge of the subject introduced, and the second section builds upon the first by bringing into the conversation more advanced, complementary topics. Definitions, key propositions, examples and figures overview all of the core material. At the end of every chapter there are selected readings and exercises . The book also includes a comprehensive bibliography and an index. (shrink)

Robert Batterman examines a form of scientific reasoning called asymptotic reasoning, arguing that it has important consequences for our understanding of the scientific process as a whole. He maintains that asymptotic reasoning is essential for explaining what physicists call universal behavior. With clarity and rigor, he simplifies complex questions about universal behavior, demonstrating a profound understanding of the underlying structures that ground them. This book introduces a valuable new method that is certain to fill explanatory gaps across disciplines.

This is one of those cases to which Dr. 8 oodhouse's remark applies with all its force, that a method which leads to true results must have its logic — H.S Smith (" On Some of the Methods at Present in Use in Pure Geometry," p. 6) A goodly amount of modern metaphysics has concerned itself, in one form or another, with the question: what attitude should we take in regard to a language whose semantic underpinnings seem less than certain? (...) Since much of standard English is surely of this type, many philosophers have felt driven to extreme and unpalatable resolutions — wholesale rejection of attractive logical rules, radical "antirealism", "minimalism" about truth, and so forth, Scientists, however, have long dealt with analogous foundational insecurities and, under the duress of practicality, have framed a set of shifting attitudes towards language and reasoning that seem far more commonsensical than the extreme positions to which pure philosophy has often been led. Following this lead, this essay will recommend a more nuanced approach to linguistic insecurity that is neither naively optimistic nor mired in the gloomy sloughs of antirealism. (shrink)

En este artículo se arguye que pueden distinguirse cuatro tipos fundamentales de estructuras diacrónicas en la ciencia y que estos cuatro tipos pueden representarse formalmente mediante una versión refinada del aparato del estructuralismo metateórico. Los cuatro tipos pueden describirse como: cristalización, evolución teórica, incrustación y suplantación con inconmensurabilidad . Ellos se elucidan primeramente en términos intuitivos, informales, y se sugieren algunos ejemplos históricos . En la segunda parte del ensayo, los cuatro tipos se caracterizan formalmente en términos estructuralistas; en ello (...) tienen un papel central las nociones de subestructura parcial escalonada y de red teórica diacrónica. Se exponen los ejemplos del desarrollo de la termodinámica fenomenológica de Clausius como caso de cristalización, y de la mecánica newtoniana y de la termodinámica gibbsiana como casos de evolución teórica. (shrink)