PhilSci-L01 - Introduction and Logical Empiricism

Lecture 1: Introduction and Logical Empiricism

Overview

This lecture situates philosophy of science at the intersection of philosophy, modern logic, and modern physics. Its central historical case is logical empiricism, the movement associated with the Vienna Circle. The movement tried to make philosophy rigorous by tying meaningful factual claims to empirical testability and by treating logic and mathematics as analytically true. Its account of scientific theories begins with a syntactic picture: a theory is an axiomatized language connected to observation. The later semantic picture instead takes a theory to be a class of mathematical models representing possible physical systems.

The enduring questions are: What distinguishes science from non-science? What makes a claim meaningful? How do unobservable theoretical terms such as electron acquire empirical content? And should a theory be understood primarily as sentences or as models?

Lecture argument

Logical empiricism made science, observation, and formal logic the starting points for philosophy. Carnap’s early verificationist programme rejected metaphysics as pseudo-statement, but later developments in semantics and theory interpretation weakened the sharpness of that rejection. The syntactic and semantic conceptions of theories illuminate different aspects of science, and contemporary work questions whether their difference is ultimately substantial.

1. Historical roots of philosophy of science

Classical sources: reason, experience, and logic

Two classical orientations frame a recurring dispute.

• Rationalism, associated here with Plato (and, on the positions slide, Descartes, Spinoza and Leibniz), holds that reason can yield substantive knowledge independently of sense experience. Mathematics, axioms, clear and distinct ideas, and deduction are central. Rationalists seek certainty and necessity in at least some domains.
• Empiricism, associated here with Aristotle and later Locke, Berkeley, Hume, and van Fraassen, holds that experience and sense perception are the fundamental source of substantive knowledge about the world. Induction is central to inquiry. Empirical knowledge is normally contingent and fallible rather than certain.

The “Philosophy” slide shows three portraits with labels: Plato and Aristotle (the detail from Raphael’s School of Athens, dated 427–347 BC, which are Plato’s dates), labelled “Plato: rationalism, Aristotle: empiricism, syllogistic logic”; David Hume (1711–1776), labelled “Empiricism”; and Immanuel Kant (1724–1804), labelled “Synthesis rationalism/empiricism”.

Plato is presented as a rationalist. Aristotle is presented as an empiricist and as the source of syllogistic logic. A syllogism is a rule-governed deductive argument in which a conclusion follows from premises, classically through terms such as “all humans are mortal” and “Socrates is human.”

These labels do not settle every issue. Empiricism is compatible with idealism, and nominalism is compatible with realism about physical objects. It is therefore essential to distinguish epistemological from metaphysical positions.

Domain	Position	Core claim	Representatives on the slide
Metaphysics	Realism about objects	Objects exist independently of minds and our knowledge; knowledge is constrained by, and aims to represent, them.	Aristotle, Descartes, Locke
Metaphysics	Idealism	Objects, or objects as known, depend in some significant way on mind, experience, or conceptual activity. The precise claim differs between authors.	Berkeley, Hegel, Schopenhauer
Metaphysics	Realism about ideas	Universals, ideas, or general concepts correspond to mind-independent entities, which do not depend on our knowledge of them.	Plato; in a different sense, Aristotle
Metaphysics	Nominalism	Only individual things exist; general terms do not correspond to mind-independent universals. Generality is explained by names, conventions, or mental concepts. Compatible with realism about physical objects.	Ockham
Epistemology	Rationalism	Reason provides at least some substantive knowledge independently of sensory experience; mathematics, clear and distinct ideas, axioms and deduction are central; seeks certainty and necessity in at least some domains.	Plato, Descartes, Spinoza, Leibniz
Epistemology	Empiricism	Experience is the fundamental source of substantive knowledge of the world; induction is central; knowledge is contingent and fallible; compatible with idealism.	Aristotle, Locke, Berkeley, Hume, van Fraassen

Kant’s attempted synthesis

Kant tried to combine empiricism about the content of knowledge with rationalism about its a priori conditions. His key claim is that some judgments are synthetic a priori:

• A judgment is synthetic if it extends knowledge, rather than merely unpacking what is already contained in a concept.
• A judgment is a priori if its justification does not derive from particular experiences.

For Kant, space, time, and the categories are conditions under which objects can be experienced by us. This is not the simple empiricist claim that all knowledge comes from experience, nor the simple rationalist claim that experience is dispensable. It says that experience has an a priori structure supplied by the conditions of possible experience.

Modern logic and language

Late nineteenth- and early twentieth-century logic gave philosophy of science a new formal toolkit.

• Gottlob Frege (1848–1925) developed modern first-order logic, a formal language with variables, quantifiers such as $\forall$ and $\exists$, predicates, and rules of inference. The slide also credits him with founding the philosophy of language.
• Alfred North Whitehead (1861–1947) and Bertrand Russell (1872–1970) pursued the logicist project of deriving mathematics from logic.
• Ludwig Wittgenstein (1889–1951) shaped the philosophical study of the relation between language and reality. His later slogan, “meaning as use,” stresses that a word’s meaning is connected to its role in practices rather than merely to an inner mental item.

The logical empiricists inherited the idea that logic is tautological or analytic: logic imposes no new factual content about the world. A logical truth is true in virtue of logical form and rules, unlike an empirical claim, whose truth depends on how the world is.

Modern physics and the emergence of the field

The revolutionary sciences of the period made foundational questions unavoidable: Einstein’s special relativity (1905) and general relativity (1915), and quantum mechanics (developed roughly 1900 to 1927, associated with Niels Bohr, Werner Heisenberg, and Erwin Schrödinger). Philosophy of science grew from the need to understand concepts, evidence, laws, explanation, and theory change in sciences of this kind.

Kant’s legacy and analytic philosophy

The twentieth-century division between analytic and continental philosophy is connected to a disagreement over what grounds objective knowledge: the priority of logic and analysis, or fundamental philosophical insight. The slide quotes Richardson (1996): “The fundamental cleavage in 20th-century philosophy derives from just this dispute over the priority of logic or fundamental philosophical insight in grounding objective knowledge.” Rudolf Carnap (1891–1970), associated on the slide with Jena, became a central analytic philosopher; Martin Heidegger (1889–1976), associated with Freiburg, became a central continental philosopher. Their radically different approaches to metaphysics will matter below.

2. The Vienna Circle and the development of philosophy of science

The Vienna Circle was an intellectual group active from 1924 to 1938. Key figures included Rudolf Carnap, Otto Neurath, Moritz Schlick, and Kurt Gödel. Its early programme (the Vienna period) is commonly called logical positivism; the later and broader label is logical empiricism.

The Vienna Circle slide shows portraits of Carnap, Schlick, Neurath and Gödel, an unlabelled photograph of Wittgenstein (who influenced the Circle without being a member), a photograph of a large interwar Vienna municipal housing block (it appears to be the Karl-Marx-Hof, a symbol of “Red Vienna”; the slide does not name it), and the cover of the Circle’s 1929 manifesto, Wissenschaftliche Weltauffassung: Der Wiener Kreis (“The Scientific Conception of the World: The Vienna Circle”), published by the Verein Ernst Mach (Artur Wolf Verlag, Vienna).

The Circle’s programme combined empiricism with modern symbolic logic. Its regulative ideal was that legitimate knowledge should be either empirically grounded or logically/mathematically necessary, and that philosophy should clarify scientific language and reasoning rather than compete with science by making speculative factual claims.

The Circle was destroyed as a local institution by political violence and fascism. Schlick was murdered by his former student Johann Nelböck in 1936. Following the Nazi annexation of Austria in 1938, its members dispersed: Carnap travelled through Prague to Chicago in 1936; Neurath travelled through The Hague to London in 1940; Popper went to Cambridge in 1937; and Gödel went to Princeton in 1938.

From justification to scientific practice

The first half of twentieth-century philosophy of science focused mainly on a normative or regulative ideal: how can scientific knowledge be justified, evaluated, and made rigorous? In the second half, the focus expanded toward science as actually practiced: What do scientists do? How do historical, social, technological, and institutional conditions shape inquiry?

Important subsequent currents include Popper, Quine and the Duhem-Quine underdetermination problem, Kuhn on scientific progress, Lakatos, work on explanation, science and technology studies, feminist philosophy of science, postcolonialism, and later work by Nancy Cartwright and Margaret Morrison. Recent philosophy also reconnects logical-empiricist themes with scientific practice, especially through models, explanation, and scientific understanding.

The lecture’s timeline of the twentieth century, reproduced from the slide (an arrow running left to right through five boxes):

1924-1938          1950            1960: Kuhn       1970: Science &          1980:
Vienna Circle  ->  Quine      ->   1970: Lakatos -> technology studies, ->  Postcolonialism  ->
Popper             (Duhem)                          feminism                 Laudan
                                                    Explanation              Van Fraassen
 
First half of the 20th century:            Second half of the 20th century:
- normative/regulative ideal of science    - How does science actually work?
- justification of scientific knowledge    - What do scientists *do*?

For the late twentieth and early twenty-first centuries the slide lists three developments: a deepening of science and society studies, of philosophy of technology, and of the connection with scientific practice; a recent revival of logical empiricist views, corrected and enriched by other ideas; and topics developed against the backdrop of logical empiricism, namely models, explanation and scientific understanding. Nancy Cartwright and Margaret Morrison are pictured as representative figures.

Six central debates of the course are:

1. What is science? (logical empiricism, this lecture)
2. What is scientific progress, especially in Kuhn’s account?
3. Is theory choice underdetermined by evidence, as the Duhem-Quine thesis suggests?
4. What are explanation and understanding?
5. Is scientific realism defensible? (two lectures)
6. What are laws of nature?

Core vocabulary

• Metaphysics: the study of the nature of things or being. Typical questions concern space and time, causation, freedom and determinism, and the relation between mental and physical.
• Ontology: the branch of metaphysics concerning being as such, especially what entities there are.
• Epistemology: the study of knowledge and understanding.
• Semantics: the study of meaning, including meaning in formal and mathematical languages.
• Syntax: the formal rules governing the construction and transformation of expressions in a language, including rules of deduction. Syntax abstracts from what expressions mean.

3. Carnap: meaning, verification, and the rejection of metaphysics

The verificationist criterion in early logical empiricism

Carnap’s early view starts from the distinction between two kinds of meaningful statement:

1. Analytic or logically necessary statements, including logic and mathematics. They are true in virtue of rules, definitions, or logical form, and do not add factual information about the empirical world.
2. Empirically verifiable statements, whose truth can in principle be checked through observation.

The associated verificationist principle of meaning says, roughly, that a factual statement is meaningful only if it is empirically verifiable. The Vienna Circle’s thought is not merely that evidence is useful. It is that an alleged factual statement with no possible observational bearing fails to state a genuine fact at all.

For early Carnap, philosophy’s task is therefore logical or linguistic analysis. It should identify the forms of valid reasoning and distinguish scientifically meaningful discourse from merely grammatical but meaningless pseudo-discourse.

Carnap initially worked syntactically. He studied forms of expression, deduction, and rule-following, while treating meanings as matters for psychology or empirical science. This historical point matters: fully formal semantics developed only in the late 1930s and 1940s, particularly through Alfred Tarski. Carnap’s early efforts to define meaning consequently move through several notions that later philosophy carefully separates.

Carnap characterizes the meaning of a word through an elementary sentence $S$ containing it, by appeal to:

1. what is deducible from, or what entails, $S$;
2. the conditions under which $S$ is true;
3. the conditions under which $S$ can be verified; and
4. the meaning of $S$ itself.

This invites a critical question: are deduction, truth, verification, and meaning really the same thing? They are not obviously identical. Deduction concerns logical consequence, truth concerns satisfaction by the world or a model, verification concerns evidential procedures, and meaning concerns what an expression says. The early programme needs strong assumptions to connect them.

Reduction to observation: the arthropod example

Carnap’s account of a scientific theory is a set of sentences deduced from observation sentences. Observation verifies the truth of those observation sentences. A term is meaningful when sentences containing it can be reduced to observation sentences.

Consider the elementary sentence:

$x\text{ is an arthropod}.$

The slide gives its meaning as the observation sentences:

$x\text{ is an animal},x\text{ has a segmented body},x\text{ has jointed legs}.$

An arthropod is defined as an animal with an exoskeleton, a segmented body, and jointed appendages, so a fuller list of observable conditions adds “$x$ has an exoskeleton.” An exoskeleton is a hard outer shell made of chitin; a segmented body is divided into segments; jointed appendages are limbs with joints, such as legs or antennae. The slide illustrates this with a collage of six arthropods (among them a trilobite, a scorpion and a swallowtail butterfly). The example illustrates the reductionist aspiration: explain theoretical or classificatory vocabulary by linking it to observationally checkable conditions such as “$x$ has a segmented body.”

The lecture then shows the classic picture of this layered structure (the same figure reappears under the syntactic conception below): a network of theoretical concepts floating above the “soil” of observation, anchored to it only through empirical concepts.

Carnap against metaphysics

Carnap argued that ordinary language can mislead us through type confusions. Expressions may be grammatically well formed but fail to translate into a logically correct form. He claimed that pseudo-statements occur especially often in certain metaphysical writing, including Hegel and Heidegger, where predicates appropriate to one kind of entity are applied to predicates, being, or existence itself.

Carnap, Elimination, p. 6 (as quoted on the slide)

In metaphysics… everyday language has led to confusions of types which, unlike those in everyday language, are no longer translatable into logically correct form. Pseudo-statements of this kind are encountered in especially large quantity, e.g. in the writings of Hegel and Heidegger… (e.g. predicates which should be applied to objects of a certain sort are instead applied to predicates of these objects or to “being” or to “existence”).

Elimination is Carnap’s essay “The Elimination of Metaphysics Through Logical Analysis of Language” (1932).

His target example comes from Heidegger’s 1929 Freiburg inaugural lecture What Is Metaphysics?: “Das Nichts selbst nichtet,” conventionally rendered “The Nothing itself noths” (or “nihilates,” “nothings”). Carnap’s logical diagnosis is that “nothing” should not be treated as a name of a thing, nor as a verb: in modern logic it is neither noun nor verb. In modern logic, “nothing is $P$” is expressed by:

$\neg \exists xP(x),$

meaning: it is not the case that there exists an $x$ that is $P$. The word “nothing” does not here refer to a peculiar object called Nothing that could perform an action.

Similarly, existence is not an ordinary activity or property of an individual. The logically appropriate form for “something is $P$” is:

$\exists xP(x).$

Carnap applies this to Descartes’s “I think, therefore I am.” “I think” can be rendered as “there is something that thinks,” again $\exists xP(x)$ for an appropriate thinking predicate $P$. On this analysis, a substantial metaphysical ego is not needed in addition to the existence claim. The analysis eliminates a subjective metaphysical component that the grammar tempts us to posit.

The argument is not that every sentence containing “nothing,” “being,” or “I” is false. It is that some apparent metaphysical claims misuse grammar so that they do not express truth-evaluable propositions. Carnap’s early conclusion is therefore semantic and methodological: philosophy should expose such pseudo-statements rather than treat them as deep discoveries.

Carnap’s later moderation

In 1966, Carnap described his early work as a reaction to the climate of German idealism and acknowledged that it contained many prohibitions suited to that historical situation. The relaxation itself had come much earlier: in the 1930s, after meeting the logicians Gödel and Tarski, he relaxed strict verificationism, accepted interpretation of theoretical terms through a fuller semantics, and allowed partial interpretation rather than demanding complete reduction to observations.

Carnap in 1966

When I was young and part of the Vienna Circle, some of my early publications were written as a reaction to the philosophical climate of German idealism. As a consequence, these publications … were filled with prohibitory statements. These prohibitions must be understood in reference to the historical situation in which we found ourselves. Today, especially in the United States, we seldom make such prohibitions.

Richardson (1996) sums up the consequence: “The move to semantics blunts the force of Carnap’s diagnosis of metaphysics as confusion.” Carnap still insists that philosophical thinking must be logical and rigorous, with logic and the scientific way of thinking as the starting points of philosophy. This leaves the important question of what a scientific theory is (section 4).

The slide “Final version of the Received View” sets out the mature position. Carnap was an eminently open-minded thinker. Meeting Gödel and Tarski in the 1930s, he dropped strict verificationism (meaning is not just verification) and accepted the interpretation of theoretical terms, that is, a full semantics. He upheld his rejection of metaphysics, but the rejection loses force because he cannot avoid ontology. The notion of correspondence rules is weakened to allow partial interpretation of theoretical terms, which is much closer to a realist view of science.

This change makes logical empiricism more hospitable to theoretical science and closer to scientific realism. It also weakens the old anti-metaphysical diagnosis: once theoretical terms are semantically interpreted and ontology cannot simply be avoided, the line between meaningful theory and metaphysics becomes less brutally sharp. Quine’s revival of analytic metaphysics from 1948 onward is part of this later landscape. Carnap nevertheless retained the methodological demand that philosophy be logical, rigorous, and close to science.

4. What is a scientific theory?

The syntactic conception, or received view

The syntactic conception identifies a scientific theory with a collection of sentences formulated in an appropriate formal logical language. It is called syntactic because it emphasizes a vocabulary, formation rules, and inferential rules, including deduction.

Its structure is:

1. Axioms: theoretical starting points, interpreted as basic laws.
2. Derived sentences: further claims derived from the axioms by the formal rules.
3. Correspondence rules: rules relating theoretical, non-observational terms to observational terms.

The distinction between theoretical terms and observational terms is essential. Terms such as atom and electron are not directly observable, but are meaningful because correspondence rules link them to the empirical world. An observation sentence contains only observational vocabulary. This picture is often called the Received View of Theories, a label associated with Putnam. (The slide illustrates it with a TV still of a physicist at a whiteboard full of equations: the theoretical vocabulary nobody can directly observe.)

The slides show the standard diagram of the received view twice (once under Carnap on meaning, once here). The slide does not credit it; it is the well-known figure from Herbert Feigl’s “The ‘Orthodox’ View of Theories” (1970). Reproduced:

      o-----------o---------------o          <- POSTULATES: the lines joining the circles
     / \         / \             / \            (axioms relating primitive concepts)
    o   o-------o---o-----------o---o        <- PRIMITIVE CONCEPTS: the circles (nodes)
    :    \ :   /    :  \       / :  :
    :     \:  /     :   \     /  :  :           dashed lines = definitions
    :      \ /      :    \   /   :  :
    :       ^       ^      ^     :  :        <- DEFINED CONCEPTS: triangles, defined from
    :       :       :      :     :  :           the primitive concepts
    :       :       :      :     :  :           dashed verticals = correspondence rules
    []      []      []     []   []           <- EMPIRICAL CONCEPTS: squares
    }}}     }}}     }}}    }}}  }}}             wavy roots = anchoring in experience
 /////////////////////////////////////////   <- "SOIL" OF OBSERVATION (EXPERIENCE)

Reading the figure: the theory proper is the network at the top, held together only by the postulates. None of it touches experience directly. Some primitive concepts connect downward, directly or via defined concepts, along dashed lines to empirical concepts, and only the empirical concepts are rooted in the ground of observation. The network is meaningful because, and only in so far as, it is tied down in this way.

The following schematic captures the same structure as a flow of derivation:

axioms (basic theoretical laws)
             |
             | deduction in a formal language
             v
derived theoretical sentences
             |
             | correspondence rules
             v
observation sentences and observable test conditions

This was a normative ideal: it proposed a clear and rigorous standard by which scientific knowledge and scientific progress could be evaluated. It need not describe every laboratory’s actual practice.

Example: kinetic theory and the ideal gas law

Kinetic theory illustrates the syntactic conception. Its axioms include:

• gases are systems of molecules in motion;
• energy and momentum are conserved;
• molecules are elastic and behave according to Newtonian mechanics.

Correspondence rules connect microphysical terms to macroscopic measurable quantities:

• pressure $P$ is the mean force with which molecules strike the container walls;
• absolute temperature $T$ is proportional to mean molecular kinetic energy:

$kT=\frac{2}{3}⟨\frac{1}{2}m{v}^2⟩,$

where $k$ is Boltzmann’s constant, $m$ molecular mass, $v$ molecular speed, and the angle brackets $⟨\cdot ⟩$ denote the average over all molecules (the slide writes them explicitly: it is the mean kinetic energy that matters, not the energy of any one molecule). Equivalently, the mean kinetic energy per molecule is $\frac{3}{2}kT$.

From the molecular axioms, kinetic theory yields:

$PV=\frac{2}{3}N⟨\frac{1}{2}m{v}^2⟩,$

where $V$ is volume and $N$ is the number of molecules. Substitution of the temperature correspondence rule yields the empirical Boyle-Charles ideal-gas law:

$PV=NkT.$

The explanatory pattern is: postulate a microscopic molecular system, derive its consequences formally, and link the derived quantities to observable pressure, volume, and temperature. The slide’s illustration is a box of gas molecules drawn as small balls with motion streaks, bouncing around in random directions.

The semantic conception

The semantic conception begins from criticisms of identifying theories with axiomatized sentences:

1. Axiomatization: many scientific theories are not axiomatized, and may never be put into a single axiomatized form.
2. Language dependence: one theory can have several equivalent syntactic formulations. It seems wrong to identify the theory with only one verbal or symbolic presentation.
3. Models: scientists routinely use models, and these models often represent the scientific content more directly than a fixed list of sentences.

The slide illustrates both kinds of model. The first picture is a mechanical ceiling planetarium with Dutch inscriptions, concentric orbit rings and a golden sphere for a planet (it looks like the Eise Eisinga Planetarium in Franeker, though the slide does not name it): an iconic model, a concrete object structurally similar to the solar system. The second is a four-panel figure from a mathematical epidemic model, all plotted against time (0 to 90 days):

• A: daily new infected local cases compared with baseline (population share, scale $10^{-7}$). “No test” rises to a peak of about $3.0$ around day 28 and decays to zero by day 90; “No test, quarantine for 14 days” peaks at about $0.55$ around day 35; “Test accuracy = 95%” stays at or slightly below zero throughout.
• B: local cases compared with baseline at a total traveller inflow of 0.01%. Only “Relaxed travel ban (0.02%), 0 test” produces a large wave (peak about $6$ around day 28); strict travel ban (0.0014%) with or without a test, and relaxed ban with one test, stay near zero.
• C: a dynamic travel-ban policy, showing daily traveller inflow (scale $10^{-4}$). For a medium-risk area inflow grows smoothly from about $0.35$ and caps at $3.0$ around day 52; for a high-risk area it stays at zero until about day 55, then rises steeply to the same cap by about day 72.
• D: daily new infected cases compared with lockdown (scale $10^{-5}$). “Fixed policy (no travel ban)” peaks at about $1.2$ around day 25; “Dynamic policy” stays flat near zero.

The point is not the epidemiology: the curves are the output of a mathematical structure that represents a population, which is exactly the sense of “model” the semantic conception has in mind.

Its slogan is: a scientific theory is a collection of models. A model is a structure, typically defined in mathematical or set-theoretic terms, that represents a possible system and satisfies the theory’s constraints. A vector space is a simple example of a mathematical structure: a set equipped with vector addition and scalar multiplication satisfying specified axioms.

Two senses of model must be kept separate:

1. Iconic or representational model: a concrete or visual representation that captures relevant features of what it represents. It can be structurally similar, or isomorphic, to its target. Isomorphism means there is a structure-preserving one-to-one mapping between the relevant parts and relations of model and target.
2. Mathematical or logical model: a formal structure in which a theory’s sentences are true. This is the principal technical sense in the semantic conception.

Kinetic theory under the semantic conception

On the semantic view, kinetic theory is not primarily a set of sentences. It is a class of mathematical models representing possible gases. For a gas of $N$ molecules occupying a region $C\subseteq {\mathbb{R}}^3$ of volume $V$, a microstate can be represented in phase space:

${\Gamma }_N=C^N\times {\mathbb{R}}^{3N}\subseteq {\mathbb{R}}^{6N}.$

Here $C^N$ records the three-dimensional positions of all $N$ molecules, and ${\mathbb{R}}^{3N}$ records their three-dimensional momenta or velocities. Together they give $6N$ coordinates: three position and three momentum coordinates per molecule. Laws of motion and collision specify how a point in phase space evolves.

Statistical mechanics then links these micro-models to thermodynamic quantities:

• $V$ is fixed by the container;
• $P$ is determined by average momentum transfer to the walls;
• $T$ is determined by the equilibrium distribution of molecular energies.

Under the idealizing assumptions of kinetic theory, the class of models yields $PV=NkT$. The difference in emphasis is therefore clear:

Syntactic conception	Semantic conception
Theory is a formal set of sentences.	Theory is a class of mathematical structures/models.
Emphasizes axioms, derivation, and correspondence rules.	Emphasizes representation of physical systems by mathematical structures.
Links theory to observation through a vocabulary distinction and rules.	Links models to target systems and conditions of application.

Does the distinction survive?

The debate remains lively. Halvorson argued against the semantic view in “What Scientific Theories Could Not Be” (2012) and “The Semantic View, If Plausible, Is Syntactic” (2013); replies came from Glymour (2013) and van Fraassen (2014). As a possible consensus, Lutz (2017) argues that “the syntax-semantics debate really [does] not capture any significant differences.” Frigg’s (2022, p. 69) balanced diagnosis is that the syntactic view is too strict if it requires only formal sentence systems, since science also needs models and natural language, while the semantic view also requires a language to specify structures and their application. The two conceptions may therefore collapse into one another, or at least be complementary descriptions of the same scientific practice.

5. Exam-ready takeaways

1. Logical empiricism combines empiricism with modern logic. It treats empirically testable statements and analytic/logically necessary statements as the legitimate forms of meaningful discourse.
2. Early Carnap’s verificationist programme identifies philosophy with rigorous logical and linguistic analysis and attacks metaphysical pseudo-statements generated by grammatical or type confusions.
3. Carnap’s analysis of “nothing” uses quantification: $\neg \exists xP(x)$ does not posit an object called Nothing. Existence is expressed by the existential quantifier, not by treating existence as an activity.
4. The syntactic conception presents a theory as axioms plus deductive consequences plus correspondence rules that connect theoretical and observational vocabulary.
5. The semantic conception presents a theory as a class of mathematical models representing possible systems. Its motivation is the non-axiomatized and multiply formulated character of actual science.
6. From the 1930s (after meeting Gödel and Tarski) Carnap softened strict verificationism and accepted fuller semantics and partial interpretation of theoretical terms. This increased realism’s room to breathe. He upheld his rejection of metaphysics, but it lost force because a full semantics cannot avoid ontology.

The lecture’s own conclusion slide frames it in four parts: (A) philosophy of science is a mature and dynamic discipline; (B) practical matters; (C) Carnap’s advice for philosophy is “stay close to science,” with meaningful statements coming in two kinds, empirical verification and logical necessity (analyticity); (D) the logical empiricist view of scientific theories: (1) the syntactic conception as normative, (2) the historical dynamics of scientific theories, which is Kuhn’s critique (see PhilSci-L02 - Kuhn on Scientific Practice), and (3) the semantic conception, where the question is whether the distinction collapses.

Exam Focus

Mock exam question 1 (10 points): “Explain briefly the verifiability criterion of meaning, and its significance for the problem of demarcation.”

The answer key: a statement is meaningful (scientific) if it is verifiable, i.e. its truth can in principle be determined through observation or experiment (“the meaning of a statement is its method of verification”). It solves the problem of demarcation because theories whose statements are not verifiable (pseudo-statements) are pseudo-science: they seem to say something, like metaphysics, but they are literally meaningless.

A model answer at the half page allowed:

The verifiability criterion of meaning, the central principle of the Vienna Circle and early Carnap, says that a factual statement is meaningful only if it is empirically verifiable: its truth can in principle be determined through observation or experiment. In the slogan, the meaning of a statement is its method of verification. The only other meaningful statements are analytic ones, the statements of logic and mathematics, which are true in virtue of their form and say nothing about the world. For Carnap a word is meaningful if the sentences in which it occurs can be reduced to observation sentences: “$x$ is an arthropod” means “$x$ is an animal, $x$ has a segmented body, $x$ has jointed legs.”

Its significance for demarcation is that it draws the line between science and non-science as a line between meaningful and meaningless. Statements that can be neither verified nor established by logic are pseudo-statements: they are grammatically well formed and seem to say something, but are literally meaningless. Metaphysics is the main target. Heidegger’s “The Nothing itself noths” treats “nothing” as a name and a verb, whereas logically “nothing is $P$” is just $\neg \exists xP(x)$, so the sentence expresses no proposition at all. Science is then the body of verifiable statements, and pseudo-science and metaphysics are excluded not as false but as without meaning.

Contrast to have ready: Popper’s falsifiability criterion demarcates science from non-science without declaring non-science meaningless (see PhilSci-L01b - Popper and Lakatos, section 2.9).

Links

• Course: Course overview
• Same week: PhilSci-L01b - Popper and Lakatos for Popper’s falsifiability criterion, the main alternative to verificationism
• Next: PhilSci-L02 - Kuhn on Scientific Practice for the historical critique of the received view

Further reading from the lecture

• Stanford Encyclopedia of Philosophy: Logical Empiricism and Vienna Circle.
• R. N. Giere and A. W. Richardson, eds. (1996), Origins of Logical Empiricism, Minnesota Studies in the Philosophy of Science, vol. XVI.
• A. W. Richardson, “Introduction: Origins of Logical Empiricism.”
• M. Friedman, “Overcoming Metaphysics: Carnap and Heidegger.”
• P. Galison, “Constructing Modernism: Cultural Location of Aufbau.”
• F. Suppe (1974), The Structure of Scientific Theories.
• R. Frigg (2022), “Models and Theories.”