What is empiricism and what could it be? Bas . van Fraassen, one of the world’s foremost contributors to philosophical logic and the philosophy of science, here undertakes a fresh consideration of these questions and offers a program for renewal of the empiricist tradition. The empiricist tradition is not and could not be defined by common doctrines, but embodies a certain stance in philosophy, van Fraassen says. This stance is displayed first of all in a searing, recurrent critique of metaphysics, (...) and secondly in a focus on experience that requires a voluntarist view of belief and opinion. Van Fraassen focuses on the philosophical problems of scientific and conceptual revolutions and on the not unrelated ruptures between religious and secular ways of seeing or conceiving of ourselves. He explores what it is to be or not be secular and points the way toward a new relationship between secularism and science within philosophy. (shrink)

A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.

Printbegrænsninger: Der kan printes 1 kapitel eller op til 5% af teksten.

Metaphysicians speak of laws of nature in terms of necessity and universality; scientists, in terms of symmetry and invariance. In this book van Fraassen argues that no metaphysical account of laws can succeed. He analyzes and rejects the arguments that there are laws of nature, or that we must believe there are, and argues that we should disregard the idea of law as an adequate clue to science. After exploring what this means for general epistemology, the author develops the empiricist (...) view of science as a construction of models to represent the phenomena. (shrink)

What is empiricism and what could it be? Bas C. van Fraassen, one of the world’s foremost contributors to philosophical logic and the philosophy of science, here undertakes a fresh consideration of these questions and offers a program for renewal of the empiricist tradition. The empiricist tradition is not and could not be defined by common doctrines, but embodies a certain stance in philosophy, van Fraassen says. This stance is displayed first of all in a searing, recurrent critique of metaphysics, (...) and second in a focus on experience that requires a voluntarist view of belief and opinion._ _Van Fraassen focuses on the philosophical problems of scientific and conceptual revolutions and on the not unrelated ruptures between religious and secular ways of seeing or conceiving of ourselves. He explores what it is to be or not be secular and points the way toward a new relationship between secularism and science within philosophy. (shrink)

Bas C. van Fraassen presents an original exploration of how we represent the world.

A basic aim of E. Beth's work in philosophy of science was to explore the use of formal semantic methods in the analysis of physical theories. We hope to show that a general framework for Beth's semantic analysis is provided by the theory of semi-interpreted languages, introduced in a previous paper. After developing Beth's analysis of nonrelativistic physical theories in a more general form, we turn to the notion of the 'logic' of a physical theory. Here we prove a result (...) concerning the conditions under which semantic entailment in such a theory is finitary. We argue, finally, that Beth's approach provides a characterization of physical theory which is more faithful to current practice in foundational research in the sciences than the familiar picture of a partly interpreted axiomatic theory. (shrink)

Recently several philosophers of science have proposed what has come to be known as the semantic account of scientific theories. It is presented as an improvement on the positivist account, which is now called the syntactic account of scientific theories. Bas van Fraassen claims that the syntactic account does not give a satisfactory definition of "empirical adequacy" and "empirical equivalence". He contends that his own semantic account does define these notations acceptably, through the concept of "embeddability", a concept which he (...) claims cannot be defined syntactically. Here, I define a syntactic relation which corresponds to the semantic relation of "embeddability". I suggest that the critical differences between the positivist account and van Fraassen's account have nothing to do with the distinction between semantics and syntax. (shrink)

We inquire into the question whether the Aristotelean or classical \emph{ideal} of science has been realised by the Model Revolution, initiated at Stanford University during the 1950ies and spread all around the world of philosophy of science --- \emph{salute} P.\ Suppes. The guiding principle of the Model Revolution is: \emph{a scientific theory is a set of structures in the domain of discourse of axiomatic set-theory}, characterised by a set-theoretical predicate. We expound some critical reflections on the Model Revolution; the conclusions (...) will be that the philosophical problem of what a \emph{scientific theory} is has \emph{not} been solved yet --- \emph{pace} P.\ Suppes. While reflecting critically on the Model Revolution, we also explore a proposal of how to complete the Revolution and briefly address the intertwined subject of \emph{scientific representation}, which has come to occupy center stage in philosophy of science over the past decade. (shrink)

We inquire into the question whether the Aristotelean or classical \emph{ideal} of science has been realised by the Model Revolution, initiated at Stanford University during the 1950ies and spread all around the world of philosophy of science --- \emph{salute} P.\ Suppes. The guiding principle of the Model Revolution is: \emph{a scientific theory is a set of structures in the domain of discourse of axiomatic set-theory}, characterised by a set-theoretical predicate. We expound some critical reflections on the Model Revolution; the conclusions (...) will be that the philosophical problem of what a \emph{scientific theory} is has \emph{not} been solved yet --- \emph{pace} P.\ Suppes. While reflecting critically on the Model Revolution, we also explore a proposal of how to complete the Revolution and briefly address the intertwined subject of \emph{scientific representation}, which has come to occupy center stage in philosophy of science over the past decade. (shrink)

How can formal methods be applied to philosophical problems that involve informal concepts of ordinary language? Carnap answered this question by describing a methodology that he called “explication." Strawson objected that explication changes the subject and does not address the original philosophical problem; this paper shows that Carnap’s response to that objection was inadequate and offers a better response. More recent criticisms of explication by Boniolo and Eagle are shown to rest on misunderstandings of the nature of explication. It is (...) concluded that explication is an appropriate methodology for formal philosophy. (shrink)

Syntactic approaches in the philosophy of science, which are based on formalizations in predicate logic, are often considered in principle inferior to semantic approaches, which are based on formalizations with the help of structures. To compare the two kinds of approach, I identify some ambiguities in common semantic accounts and explicate the concept of a structure in a way that avoids hidden references to a specific vocabulary. From there, I argue that contrary to common opinion (i) unintended models do not (...) pose a significant problem for syntactic approaches to scientific theories, (ii) syntactic approaches can be at least as language-independent as semantic ones, and (iii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) ease of application, (v) accommodating the use of models in the sciences, and (vi) capturing the theory-observation relation. (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)

Proponents of linguistic philosophy hold that all non-empirical philosophical problems can be solved by either analyzing ordinary language or developing an ideal one. I review the debates on linguistic philosophy and between ordinary and ideal language philosophy. Using arguments from these debates, I argue that the results of experimental philosophy on intuitions support linguistic philosophy. Within linguistic philosophy, these experimental results support and complement ideal language philosophy. I argue further that some of the critiques of experimental philosophy are in fact (...) defenses of ideal language philosophy. Finally, I show how much of the current debate about experimental philosophy is anticipated in the debates about and within linguistic philosophy. Specifically, arguments by ideal language philosophers support experimental philosophy. (shrink)

Abstract Recent criticisms of intuition from experimental philosophy and elsewhere have helped undermine the authority of traditional conceptual analysis. As the product of more empirically informed philosophical methodology, this result is compelling and philosophically salutary. But the negative critiques rarely suggest a positive alternative. In particular, a normative account of concept determination—how concepts should be characterized—is strikingly absent from such work. Carnap's underappreciated theory of explication provides such a theory. Analyses of complex concepts in empirical sciences illustrates and supports this (...) claim, and counteracts the charge explication is only suitable for highly mathematical, axiomatic contexts. Explication is also defended against the influential criticism it is “philosophically unilluminating”. Content Type Journal Article Category Original paper in Philosophy of Science Pages 1-19 DOI 10.1007/s13194-011-0027-5 Authors James Justus, Philosophy Department, Florida State University and University of Sydney, Tallahassee, FL 32306, USA Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912. (shrink)

According to the semantic view of scientific theories, theories are classes of models. I show that this view -- if taken seriously as a formal explication -- leads to absurdities. In particular, this view equates theories that are truly distinct, and it distinguishes theories that are truly equivalent. Furthermore, the semantic view lacks the resources to explicate interesting theoretical relations, such as embeddability of one theory into another. The untenability of the semantic view -- as currently formulated -- threatens to (...) undermine scientific structuralism. (shrink)

Halvorson argues that the semantic view of theories leads to absurdities. Glymour shows how to inoculate the semantic view against Halvorson's criticisms, namely by making it into a syntactic view of theories. I argue that this modified semantic-syntactic view cannot do the philosophical work that the original "language-free" semantic view was supposed to do.

What does it mean to embed the phenomena in an abstract structure? Or to represent them by doing so? The semantic view of theories runs into a severe problem if these notions are construed either naively, in a metaphysical way, or too closely on the pattern of the earlier syntactic view. Constructive empiricism and structural realism will then share those difficulties. The problem will be posed as in Reichenbach's The Theory of Relativity and A Priori Knowledge, and realist reactions will (...) be examined, but they will be argued to dissolve upon scrutiny. (shrink)

If there is a movement or school that epitomizes analytic philosophy in the middle of the twentieth century, it is logical empiricism. Logical empiricists created a scientifically and technically informed philosophy of science, established mathematical logic as a topic in and tool for philosophy, and initiated the project of formal semantics. Accounts of analytic philosophy written in the middle of the twentieth century gave logical empiricism a central place in the project. The second wave of interpretative accounts was constructed to (...) show how philosophy should progress, or had progressed, beyond logical empiricism. The essays survey the formative stages of logical empiricism in central Europe and its acculturation in North America, discussing its main topics, and achievements and failures, in different areas of philosophy of science, and assessing its influence on philosophy, past, present, and future. (shrink)

Rudolf Carnap is widely regarded as one of the most important philosophers of the twentieth century. Born in Germany and later a US citizen, he was a founder of the philosophical movement known as Logical Empiricism. He was strongly influenced by a number of different philosophical traditions, and also by the German Youth Movement, the First World War, and radical socialism. This book places his central ideas in a broad cultural, political and intellectual context, showing how he synthesised many different (...) currents of thought to achieve a philosophical perspective that remains strikingly relevant in the twenty-first century. Its rich account of a philosopher's response to his times will appeal to all who are interested in the development of philosophy in the twentieth century. (shrink)