Logical positivism, also known as logical empiricism or neo-positivism, was a philosophical movement, in the
empiricist tradition, that sought to formulate a
scientific philosophy in which philosophical discourse would be, in the perception of its proponents, as authoritative and meaningful as
empirical science.
Logical positivism's central thesis was the
verification principle, also known as the "verifiability criterion of meaning", according to which a statement is ''cognitively meaningful'' only if it can be verified through
empirical observation or if it is a
tautology (true by virtue of its own
meaning or its own
logical form
In logic, the logical form of a statement is a precisely specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unamb ...
). The verifiability criterion thus rejected statements of
metaphysics
Metaphysics is the branch of philosophy that examines the basic structure of reality. It is traditionally seen as the study of mind-independent features of the world, but some theorists view it as an inquiry into the conceptual framework of ...
,
theology
Theology is the study of religious belief from a Religion, religious perspective, with a focus on the nature of divinity. It is taught as an Discipline (academia), academic discipline, typically in universities and seminaries. It occupies itse ...
,
ethics
Ethics is the philosophy, philosophical study of Morality, moral phenomena. Also called moral philosophy, it investigates Normativity, normative questions about what people ought to do or which behavior is morally right. Its main branches inclu ...
and
aesthetics
Aesthetics (also spelled esthetics) is the branch of philosophy concerned with the nature of beauty and taste (sociology), taste, which in a broad sense incorporates the philosophy of art.Slater, B. H.Aesthetics ''Internet Encyclopedia of Ph ...
as ''cognitively meaningless'' in terms of
truth value
In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth, which in classical logic has only two possible values ('' true'' or '' false''). Truth values are used in ...
or
factual content. Despite its ambition to overhaul philosophy by mimicking the structure and process of empirical science, logical positivism became erroneously stereotyped as an agenda to regulate the scientific process and to place strict standards on it.
[
The movement emerged in the late 1920s among ]philosopher
Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational an ...
s, scientist
A scientist is a person who Scientific method, researches to advance knowledge in an Branches of science, area of the natural sciences.
In classical antiquity, there was no real ancient analog of a modern scientist. Instead, philosophers engag ...
s and mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...
s congregated within the Vienna Circle and Berlin Circle and flourished in several European centres through the 1930s. By the end of World War II
World War II or the Second World War (1 September 1939 – 2 September 1945) was a World war, global conflict between two coalitions: the Allies of World War II, Allies and the Axis powers. World War II by country, Nearly all of the wo ...
, many of its members had settled in the English-speaking world
The English-speaking world comprises the 88 countries and territories in which English language, English is an official, administrative, or cultural language. In the early 2000s, between one and two billion people spoke English, making it the ...
and the project shifted to less radical goals within the philosophy of science
Philosophy of science is the branch of philosophy concerned with the foundations, methods, and implications of science. Amongst its central questions are the difference between science and non-science, the reliability of scientific theories, ...
.
By the 1950s, problems identified within logical positivism's central tenets became seen as intractable, drawing escalating criticism among leading philosophers, notably from Willard van Orman Quine
Willard Van Orman Quine ( ; known to his friends as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century" ...
and Karl Popper
Sir Karl Raimund Popper (28 July 1902 – 17 September 1994) was an Austrian–British philosopher, academic and social commentator. One of the 20th century's most influential philosophers of science, Popper is known for his rejection of the ...
, and even from within the movement, from Carl Hempel. These problems would remain unresolved, precipitating the movement's eventual decline and abandonment by the 1960s. In 1967, philosopher John Passmore pronounced logical positivism "dead, or as dead as a philosophical movement ever becomes".
Origins
Logical positivism emerged in Germany
Germany, officially the Federal Republic of Germany, is a country in Central Europe. It lies between the Baltic Sea and the North Sea to the north and the Alps to the south. Its sixteen States of Germany, constituent states have a total popu ...
and Austria
Austria, formally the Republic of Austria, is a landlocked country in Central Europe, lying in the Eastern Alps. It is a federation of nine Federal states of Austria, states, of which the capital Vienna is the List of largest cities in Aust ...
amid a cultural background characterised by the dominance of Hegelian metaphysics
Georg Wilhelm Friedrich Hegel (27 August 1770 – 14 November 1831) was a 19th-century German idealist. His influence extends across a wide range of topics from metaphysical issues in epistemology and ontology, to political philosophy and the ...
and the work of Hegelian successors such as F. H. Bradley, whose metaphysics
Metaphysics is the branch of philosophy that examines the basic structure of reality. It is traditionally seen as the study of mind-independent features of the world, but some theorists view it as an inquiry into the conceptual framework of ...
portrayed the world without reference to empirical observation. The late 19th century also saw the emergence of neo-Kantianism as a philosophical movement, in the rationalist tradition.[ 3.7]
The logical positivist program established its theoretical foundations in the empiricism of David Hume
David Hume (; born David Home; – 25 August 1776) was a Scottish philosopher, historian, economist, and essayist who was best known for his highly influential system of empiricism, philosophical scepticism and metaphysical naturalism. Beg ...
, Auguste Comte
Isidore Auguste Marie François Xavier Comte (; ; 19 January 1798 – 5 September 1857) was a French philosopher, mathematician and writer who formulated the doctrine of positivism. He is often regarded as the first philosopher of science in the ...
and Ernst Mach, along with the positivism
Positivism is a philosophical school that holds that all genuine knowledge is either true by definition or positivemeaning '' a posteriori'' facts derived by reason and logic from sensory experience.John J. Macionis, Linda M. Gerber, ''Soci ...
of Comte and Mach, defining its exemplar of science in Einstein's general theory of relativity.[ In accordance with Mach's phenomenalism, whereby material objects exist only as sensory stimuli rather than as observable entities in the real world, logical positivists took all scientific knowledge to be only sensory experience. Further influence came from Percy Bridgman's operationalism—whereby a concept is not knowable unless it can be measured experimentally—as well as ]Immanuel Kant
Immanuel Kant (born Emanuel Kant; 22 April 1724 – 12 February 1804) was a German Philosophy, philosopher and one of the central Age of Enlightenment, Enlightenment thinkers. Born in Königsberg, Kant's comprehensive and systematic works ...
's perspectives on aprioricity.[
]Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein ( ; ; 26 April 1889 – 29 April 1951) was an Austrian philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language.
From 1929 to 1947, Witt ...
's ''Tractatus Logico-Philosophicus
The ''Tractatus Logico-Philosophicus'' (widely abbreviated and Citation, cited as TLP) is the only book-length philosophical work by the Austrian philosopher Ludwig Wittgenstein that was published during his lifetime. The project had a broad goal ...
'' established the theoretical foundations for the verifiability principle. His work introduced the view of philosophy as "critique of language", discussing theoretical distinctions between intelligible and nonsensical discourse. ''Tractatus'' adhered to a correspondence theory of truth
In metaphysics and philosophy of language, the correspondence theory of truth states that the truth or falsity of a statement is determined only by how it relates to the world and whether it accurately describes (i.e., corresponds with) that worl ...
, as opposed to a coherence theory of truth. Logical positivists were also influenced by Wittgenstein's interpretation of probability
Probability is a branch of mathematics and statistics concerning events and numerical descriptions of how likely they are to occur. The probability of an event is a number between 0 and 1; the larger the probability, the more likely an e ...
though, according to Neurath, some objected to the metaphysics in ''Tractatus''.
History
Vienna and Berlin Circles
The Vienna Circle was led principally by Moritz Schlick, congregating around the University of Vienna
The University of Vienna (, ) is a public university, public research university in Vienna, Austria. Founded by Rudolf IV, Duke of Austria, Duke Rudolph IV in 1365, it is the oldest university in the German-speaking world and among the largest ...
and at the Café Central. A manifesto written by Otto Neurath, Hans Hahn and Rudolf Carnap
Rudolf Carnap (; ; 18 May 1891 – 14 September 1970) was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism.
...
in 1929 summarised the Vienna Circle's positions. Schlick had originally held a neo-Kantian position, but later converted, via Carnap's 1928 book ''Der logische Aufbau der Welt'' (''The Logical Structure of the World''). The Viennese maintained closely cooperative ties with the Berlin Circle, among whom Hans Reichenbach
Hans Reichenbach (; ; September 26, 1891 – April 9, 1953) was a leading philosopher of science, educator, and proponent of logical empiricism. He was influential in the areas of science, education, and of logical empiricism. He founded the ''G ...
was pre-eminent. Carl Hempel, who studied under Reichenbach in Germany, was also to prove influential in the movement's later history. A friendly but tenacious critic of the movement was Karl Popper
Sir Karl Raimund Popper (28 July 1902 – 17 September 1994) was an Austrian–British philosopher, academic and social commentator. One of the 20th century's most influential philosophers of science, Popper is known for his rejection of the ...
, whom Neurath nicknamed the "Official Opposition".
Early in the movement, Carnap, Hahn, Neurath and others recognised that the verifiability criterion was too stringent in that it rejected universal statements, which are vital to scientific hypothesis.[ A radical ''left wing'' emerged from the Vienna Circle, led by Neurath and Carnap, who proposed revisions to weaken the criterion, a program they referred to as the "liberalisation of empiricism". A conservative ''right wing'', led by Schlick and Waismann, instead sought to classify universal statements as analytic truths, thereby to reconcile them with the existing criterion. Within the liberal wing Carnap emphasised fallibilism, as well as ]pragmatics
In linguistics and the philosophy of language, pragmatics is the study of how Context (linguistics), context contributes to meaning. The field of study evaluates how human language is utilized in social interactions, as well as the relationship ...
, which he considered integral to empiricism. Neurath prescribed a move from Mach
The Mach number (M or Ma), often only Mach, (; ) is a dimensionless quantity in fluid dynamics representing the ratio of flow velocity past a Boundary (thermodynamic), boundary to the local speed of sound.
It is named after the Austrian physi ...
's phenomenalism to physicalism, though this would be opposed by Schlick. As Neurath and Carnap sought to pose science toward social reform, the split in the Vienna Circle also reflected political differences.[
Both Schlick and Carnap had been influenced by and sought to define logical positivism versus the neo-Kantianism of Ernst Cassirer, the contemporary leading figure of the Marburg school, and against ]Edmund Husserl
Edmund Gustav Albrecht Husserl (; 8 April 1859 – 27 April 1938) was an Austrian-German philosopher and mathematician who established the school of Phenomenology (philosophy), phenomenology.
In his early work, he elaborated critiques of histori ...
's phenomenology
Phenomenology may refer to:
Art
* Phenomenology (architecture), based on the experience of building materials and their sensory properties
Philosophy
* Phenomenology (Peirce), a branch of philosophy according to Charles Sanders Peirce (1839� ...
. Logical positivists especially opposed Martin Heidegger
Martin Heidegger (; 26 September 1889 – 26 May 1976) was a German philosopher known for contributions to Phenomenology (philosophy), phenomenology, hermeneutics, and existentialism. His work covers a range of topics including metaphysics, art ...
's obscure metaphysics, the epitome of what they had rejected through their epistemological doctrines. In the early 1930s, Carnap debated Heidegger over "metaphysical pseudosentences".[ p. xii]
Anglosphere
As the movement's first emissary to the New World
The term "New World" is used to describe the majority of lands of Earth's Western Hemisphere, particularly the Americas, and sometimes Oceania."America." ''The Oxford Companion to the English Language'' (). McArthur, Tom, ed., 1992. New York: ...
, Moritz Schlick visited Stanford University
Leland Stanford Junior University, commonly referred to as Stanford University, is a Private university, private research university in Stanford, California, United States. It was founded in 1885 by railroad magnate Leland Stanford (the eighth ...
in 1929, yet otherwise remained in Vienna and was murdered in 1936 at the University by a former student, Johann Nelböck, who was reportedly deranged.[ That year, A. J. Ayer, a British attendee at various Vienna Circle meetings since 1933, published '' Language, Truth and Logic'', which imported logical positivism to the ]English-speaking world
The English-speaking world comprises the 88 countries and territories in which English language, English is an official, administrative, or cultural language. In the early 2000s, between one and two billion people spoke English, making it the ...
. In 1933, the Nazi Party
The Nazi Party, officially the National Socialist German Workers' Party ( or NSDAP), was a far-right politics, far-right political party in Germany active between 1920 and 1945 that created and supported the ideology of Nazism. Its precursor ...
's rise to power in Germany had triggered flight of intellectuals, which accelerated upon Germany's annexation of Austria in 1938.[ The logical positivists, many of whom were ]Jewish
Jews (, , ), or the Jewish people, are an ethnoreligious group and nation, originating from the Israelites of History of ancient Israel and Judah, ancient Israel and Judah. They also traditionally adhere to Judaism. Jewish ethnicity, rel ...
, were targeted and continued flight throughout the pre-war period. Their philosophy thus became dominant in the English-speaking world
The English-speaking world comprises the 88 countries and territories in which English language, English is an official, administrative, or cultural language. In the early 2000s, between one and two billion people spoke English, making it the ...
.
By the late 1930s, many in the movement had replaced phenomenalism with Neurath's physicalism, whereby material objects are not reducible to sensory stimuli but exist as publicly observable entities in the real world. Neurath settled in England, where he died in 1945. Carnap, Reichenbach and Hempel settled permanently in America.[
]
Post-war period
Following the Second World War
World War II or the Second World War (1 September 1939 – 2 September 1945) was a World war, global conflict between two coalitions: the Allies of World War II, Allies and the Axis powers. World War II by country, Nearly all of the wo ...
, logical positivism—now referred to by some as ''logical empiricism''—turned to less radical objectives in the philosophy of science
Philosophy of science is the branch of philosophy concerned with the foundations, methods, and implications of science. Amongst its central questions are the difference between science and non-science, the reliability of scientific theories, ...
. Led by Carl Hempel, who expounded the covering law model of scientific explanation, the movement became a major underpinning of analytic philosophy
Analytic philosophy is a broad movement within Western philosophy, especially English-speaking world, anglophone philosophy, focused on analysis as a philosophical method; clarity of prose; rigor in arguments; and making use of formal logic, mat ...
in the English-speaking world and its influence extended beyond philosophy into the social science
Social science (often rendered in the plural as the social sciences) is one of the branches of science, devoted to the study of societies and the relationships among members within those societies. The term was formerly used to refer to the ...
s. At the same time, the movement drew intensifying scrutiny over its central problems and its doctrines were increasingly criticised, most trenchantly by Willard Van Orman Quine
Willard Van Orman Quine ( ; known to his friends as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century" ...
, Norwood Hanson, Karl Popper
Sir Karl Raimund Popper (28 July 1902 – 17 September 1994) was an Austrian–British philosopher, academic and social commentator. One of the 20th century's most influential philosophers of science, Popper is known for his rejection of the ...
, Thomas Kuhn
Thomas Samuel Kuhn (; July 18, 1922 – June 17, 1996) was an American History and philosophy of science, historian and philosopher of science whose 1962 book ''The Structure of Scientific Revolutions'' was influential in both academic and ...
and Carl Hempel.[
]
Principles
Verification and Confirmation
Verifiability Criterion of Meaning
According to the verifiability criterion of meaning, a statement is ''cognitively meaningful'' only if it is either verifiable by empirical observation or is an analytic truth (i.e. true by virtue of its own meaning or its own logical form
In logic, the logical form of a statement is a precisely specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unamb ...
). '' Cognitive meaningfulness'' was defined variably: possessing truth value
In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth, which in classical logic has only two possible values ('' true'' or '' false''). Truth values are used in ...
; or corresponding to a possible state of affairs; or intelligible or understandable as are scientific statements. Other types of meaning—for instance, emotive, expressive or figurative—were dismissed from further review.
Metaphysics
Metaphysics is the branch of philosophy that examines the basic structure of reality. It is traditionally seen as the study of mind-independent features of the world, but some theorists view it as an inquiry into the conceptual framework of ...
, theology
Theology is the study of religious belief from a Religion, religious perspective, with a focus on the nature of divinity. It is taught as an Discipline (academia), academic discipline, typically in universities and seminaries. It occupies itse ...
, as well as much of ethics
Ethics is the philosophy, philosophical study of Morality, moral phenomena. Also called moral philosophy, it investigates Normativity, normative questions about what people ought to do or which behavior is morally right. Its main branches inclu ...
and aesthetics
Aesthetics (also spelled esthetics) is the branch of philosophy concerned with the nature of beauty and taste (sociology), taste, which in a broad sense incorporates the philosophy of art.Slater, B. H.Aesthetics ''Internet Encyclopedia of Ph ...
failed this criterion, and so were found cognitively meaningless and only ''emotively meaningful'' (though, notably, Schlick considered ethical and aesthetic statements cognitively meaningful). Ethics and aesthetics were considered subjective preferences, while theology and metaphysics contained "pseudostatements" that were neither true nor false. Thus, logical positivism indirectly asserted Hume's law, the principle that factual statements cannot justify evaluative statements, and that the two are separated by an unbridgeable gap. A. J. Ayer's '' Language, Truth and Logic'' (1936) presented an extreme version of this principle—the boo/hooray doctrine—whereby all evaluative judgments are merely emotional reactions.
Revisions to the criterion
Logical positivists in the Vienna Circle recognised quickly that the verifiability criterion was too restrictive.[ Specifically, universal statements were noted to be empirically unverifiable, rendering vital domains of science and ]reason
Reason is the capacity of consciously applying logic by drawing valid conclusions from new or existing information, with the aim of seeking the truth. It is associated with such characteristically human activities as philosophy, religion, scien ...
, such as scientific hypothesis, ''cognitively meaningless'' under verificationism. This would pose significant problems for the logical positivist program, absent revisions to its criterion of meaning.
In his 1936 and 1937 papers, ''Testability and Meaning'', Carnap proposed ''confirmation'' in place of verification, determining that, though universal laws cannot be verified, they can be confirmed.[ Carnap employed abundant logical and mathematical tools to research an inductive logic that would account for probability according to ''degrees of confirmation''. However, he was never able to formulate a model. In Carnap's inductive logic, a universal law's degree of confirmation was always zero.] The formulation of what eventually came to be called the "criterion of cognitive significance", stemming from this research, took three decades (Hempel 1950, Carnap 1956, Carnap 1961).[ Carl Hempel, who became a prominent critic of the logical positivist movement, elucidated the paradox of confirmation.
In his 1936 book, ''Language, Truth and Logic'', A. J. Ayer distinguished ''strong'' and ''weak'' verification. He stipulated that, "A proposition is said to be verifiable, in the strong sense of the term, if, and only if, its truth could be conclusively established by experience", but is verifiable in the weak sense "if it is possible for experience to render it probable". He would add that, "no proposition, other than a tautology, can possibly be anything more than a probable ]hypothesis
A hypothesis (: hypotheses) is a proposed explanation for a phenomenon. A scientific hypothesis must be based on observations and make a testable and reproducible prediction about reality, in a process beginning with an educated guess o ...
". Thus, he would conclude that all are open to weak verification.
Analytic-synthetic distinction
In theories of justification
Justification (also called epistemic justification) is a property of beliefs that fulfill certain norms about what a person should believe. Epistemology, Epistemologists often identify justification as a component of knowledge distinguishing it f ...
, ''a priori
('from the earlier') and ('from the later') are Latin phrases used in philosophy to distinguish types of knowledge, Justification (epistemology), justification, or argument by their reliance on experience. knowledge is independent from any ...
'' statements are those that can be known independently of observation
Observation in the natural sciences is an act or instance of noticing or perceiving and the acquisition of information from a primary source. In living beings, observation employs the senses. In science, observation can also involve the percep ...
, contrasting with '' a posteriori'' statements, which are dependent on observation. Statements may also be categorised into '' analytic'' and '' synthetic'': Analytic statements are true by virtue of their own meaning or their own logical form
In logic, the logical form of a statement is a precisely specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unamb ...
, therefore are tautologies that are true by necessity but uninformative about the world. Synthetic statements, in comparison, are contingent propositions that refer to a state of facts concerning the world.
David Hume
David Hume (; born David Home; – 25 August 1776) was a Scottish philosopher, historian, economist, and essayist who was best known for his highly influential system of empiricism, philosophical scepticism and metaphysical naturalism. Beg ...
proposed an unambiguous distinction between analytic and synthetic, categorising knowledge exclusively as either "relations of ideas" (which are ''a priori'', analytic and abstract) or "matters of fact and real existence" (''a posteriori'', synthetic and concrete
Concrete is a composite material composed of aggregate bound together with a fluid cement that cures to a solid over time. It is the second-most-used substance (after water), the most–widely used building material, and the most-manufactur ...
), a classification referred to as Hume's fork. Immanuel Kant
Immanuel Kant (born Emanuel Kant; 22 April 1724 – 12 February 1804) was a German Philosophy, philosopher and one of the central Age of Enlightenment, Enlightenment thinkers. Born in Königsberg, Kant's comprehensive and systematic works ...
identified a further category of knowledge: Synthetic ''a priori'' statements, which are informative about the world, but known without observation. This principle is encapsulated in Kant's transcendental idealism
Transcendental idealism is a philosophical system founded by German philosopher Immanuel Kant in the 18th century. Kant's epistemological program is found throughout his '' Critique of Pure Reason'' (1781). By ''transcendental'' (a term that des ...
, which attributes the mind a constructive role in phenomena
A phenomenon ( phenomena), sometimes spelled phaenomenon, is an observable Event (philosophy), event. The term came into its modern Philosophy, philosophical usage through Immanuel Kant, who contrasted it with the noumenon, which ''cannot'' be ...
whereby intuitive truths—including synthetic ''a priori'' conceptions of space
Space is a three-dimensional continuum containing positions and directions. In classical physics, physical space is often conceived in three linear dimensions. Modern physicists usually consider it, with time, to be part of a boundless ...
and time
Time is the continuous progression of existence that occurs in an apparently irreversible process, irreversible succession from the past, through the present, and into the future. It is a component quantity of various measurements used to sequ ...
—function as an interpretative filter for an observer's experience of the world. His thesis would serve to rescue Newton's law of universal gravitation
Newton's law of universal gravitation describes gravity as a force by stating that every particle attracts every other particle in the universe with a force that is Proportionality (mathematics)#Direct proportionality, proportional to the product ...
from Hume's problem of induction by determining uniformity of nature to be in the category of ''a priori'' knowledge.
The Vienna Circle rejected Kant's conception of synthetic ''a priori'' knowledge given its incompatibility with the verifiability criterion. Yet, they adopted the Kantian position of defining mathematics and logic—ordinarily considered synthetic truths—as ''a priori''. Carnap's solution to this discrepancy would be to reinterpret logical truths as tautologies, redefining logic as analytic, building upon theoretical foundations established in Wittgenstein's ''Tractatus''. Mathematics, in turn, would be reduced to logic through the logicist approach proposed by Gottlob Frege
Friedrich Ludwig Gottlob Frege (; ; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philos ...
. In effect, Carnap's reconstruction of analyticity expounded Hume's fork, affirming its analytic-synthetic distinction. This would be critically important in rendering the verification principle compatible with mathematics and logic.
Observation-theory distinction
Carnap devoted much of his career to the cornerstone doctrine
Doctrine (from , meaning 'teaching, instruction') is a codification (law), codification of beliefs or a body of teacher, teachings or instructions, taught principles or positions, as the essence of teachings in a given branch of knowledge or in a ...
of ''rational reconstruction'', whereby scientific theories can be formalised into predicate logic
First-order logic, also called predicate logic, predicate calculus, or quantificational logic, is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables ove ...
and the components of a theory categorised into '' observation terms'' and '' theoretical terms''. Observation terms are specified by direct observation and thus assumed to have fixed empirical definitions, whereas theoretical terms refer to the unobservables of a theory, including abstract conceptions such as mathematical formulas. The two categories of primitive terms would be interconnected in meaning via a deductive
Deductive reasoning is the process of drawing valid inferences. An inference is valid if its conclusion follows logically from its premises, meaning that it is impossible for the premises to be true and the conclusion to be false. For example, th ...
interpretative framework, referred to as ''correspondence rules''.
Early in his research, Carnap postulated that correspondence rules could be used to define theoretical terms from observation terms, contending that scientific knowledge could be unified by reducing theoretical laws to "protocol sentences" grounded in observable facts. He would soon abandon this model of reconstruction, suggesting instead that theoretical terms could be defined implicitly by the axioms of a theory. Furthermore, that observation terms could, in some cases, garner meaning from theoretical terms via correspondence rules. Here, definition is said to be 'implicit' in that the axioms serve to exclude those interpretations that falsify the theory. Thus, axioms define theoretical terms indirectly by restricting the set of possible interpretations to those that are true interpretations.[
By reconstructing the ]semantics
Semantics is the study of linguistic Meaning (philosophy), meaning. It examines what meaning is, how words get their meaning, and how the meaning of a complex expression depends on its parts. Part of this process involves the distinction betwee ...
of scientific language, Carnap's thesis builds upon earlier research in the reconstruction of syntax
In linguistics, syntax ( ) is the study of how words and morphemes combine to form larger units such as phrases and sentences. Central concerns of syntax include word order, grammatical relations, hierarchical sentence structure (constituenc ...
, referring to Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, and public intellectual. He had influence on mathematics, logic, set theory, and various areas of analytic ...
's logical atomism—the view that statements in natural language
A natural language or ordinary language is a language that occurs naturally in a human community by a process of use, repetition, and change. It can take different forms, typically either a spoken language or a sign language. Natural languages ...
can be converted to standardised subunits of meaning assembled via a logical syntax. Rational reconstruction is sometimes referred to as the '' received view'' or ''syntactic view of theories'' in the context of subsequent work by Carl Hempel, Ernest Nagel and Herbert Feigl.[
]
Logicism
By reducing mathematics to logic, Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, and public intellectual. He had influence on mathematics, logic, set theory, and various areas of analytic ...
sought to convert the mathematical formulas of physics
Physics is the scientific study of matter, its Elementary particle, fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge whi ...
to symbolic logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...
. Gottlob Frege
Friedrich Ludwig Gottlob Frege (; ; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philos ...
began this program of logicism
In the philosophy of mathematics, logicism is a programme comprising one or more of the theses that – for some coherent meaning of 'logic' – mathematics is an extension of logic, some or all of mathematics is reducible to logic, or some or al ...
, continuing it with Russell, but eventually lost interest. Russell then continued it with Alfred North Whitehead
Alfred North Whitehead (15 February 1861 – 30 December 1947) was an English mathematician and philosopher. He created the philosophical school known as process philosophy, which has been applied in a wide variety of disciplines, inclu ...
in their ''Principia Mathematica
The ''Principia Mathematica'' (often abbreviated ''PM'') is a three-volume work on the foundations of mathematics written by the mathematician–philosophers Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1 ...
'', inspiring some of the more mathematical logical positivists, such as Hans Hahn and Rudolf Carnap
Rudolf Carnap (; ; 18 May 1891 – 14 September 1970) was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism.
...
.
Carnap's early anti-metaphysical works employed Russell's theory of types. Like Russell, Carnap envisioned a universal language that could reconstruct mathematics and thereby encode physics. Yet Kurt Gödel
Kurt Friedrich Gödel ( ; ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel profoundly ...
's incompleteness theorem
Complete may refer to:
Logic
* Completeness (logic)
* Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable
Mathematics
* The completeness of the real numbers, which implies ...
showed this to be impossible, except in trivial cases, and Alfred Tarski
Alfred Tarski (; ; born Alfred Teitelbaum;School of Mathematics and Statistics, University of St Andrews ''School of Mathematics and Statistics, University of St Andrews''. January 14, 1901 – October 26, 1983) was a Polish-American logician ...
's undefinability theorem finally undermined all hopes of reducing mathematics to logic. Thus, a universal language failed to stem from Carnap's 1934 work ''Logische Syntax der Sprache'' (''Logical Syntax of Language''). Still, some logical positivists, including Carl Hempel, continued support of logicism.[
]
Philosophy of science
The logical positivist movement shed much of its revolutionary zeal following the defeat of Nazism and the decline of rival philosophies that sought radical reform, notably Marburg neo-Kantianism, Husserlian phenomenology
Phenomenology may refer to:
Art
* Phenomenology (architecture), based on the experience of building materials and their sensory properties
Philosophy
* Phenomenology (Peirce), a branch of philosophy according to Charles Sanders Peirce (1839� ...
and Heidegger's existential hermeneutics. Hosted in the climate of American pragmatism
Pragmatism is a philosophical tradition that views language and thought as tools for prediction, problem solving, and action, rather than describing, representing, or mirroring reality. Pragmatists contend that most philosophical topics� ...
and common sense empiricism, its proponents no longer crusaded to revise traditional philosophy into a radical ''scientific philosophy'', but became respectable members of a new philosophical subdiscipline, ''philosophy of science
Philosophy of science is the branch of philosophy concerned with the foundations, methods, and implications of science. Amongst its central questions are the difference between science and non-science, the reliability of scientific theories, ...
''.[ Receiving support from Ernest Nagel, they were especially influential in the ]social sciences
Social science (often rendered in the plural as the social sciences) is one of the branches of science, devoted to the study of society, societies and the Social relation, relationships among members within those societies. The term was former ...
.
Scientific explanation
Carl Hempel was prominent in the development of the deductive-nomological (DN) model, then the foremost model of scientific explanation defended even among critics of neo-positivism such as Popper. According to the DN model, a scientific explanation is valid only if it takes the form of a deductive inference from a set of explanatory premises (''explanans'') to the observation or theory to be explained (''explanandum''). The model stipulates that the premises must refer to at least one law, which it defines as an unrestricted generalization of the conditional form: "If ''A'', then ''B''". Laws therefore differ from mere ''regularities'' ("George always carries only $1 bills in his wallet") which do not necessarily support counterfactual claims. Furthermore, laws must be empirically verifiable in compliance with the verification principle.[
The DN model ignores causal mechanisms beyond the principle of constant conjunction ("first event ''A'' and then always event ''B''") in accordance with the Humean empiricist postulate that, though sequences of events are observable, the underpinning causal principles are not.][ Hempel stated that well-formulated natural laws (empirically confirmed regularities) are satisfactory in approximating causal explanation.][
Hempel later proposed a probabilistic model of scientific explanation: The inductive-statistical (IS) model. Derivation of statistical laws from other statistical laws would further be designated as the deductive-statistical (DS) model. The DN and IS models are collectively referred to as the "covering law model" or "subsumption theory", the latter referring to the movement's stated goals of "theory reduction".][
]
Unity of science
Logical positivists were committed to the vision of a unified science encompassing all scientific fields (including the special sciences, such as biology
Biology is the scientific study of life and living organisms. It is a broad natural science that encompasses a wide range of fields and unifying principles that explain the structure, function, growth, History of life, origin, evolution, and ...
, anthropology
Anthropology is the scientific study of humanity, concerned with human behavior, human biology, cultures, society, societies, and linguistics, in both the present and past, including archaic humans. Social anthropology studies patterns of behav ...
, sociology
Sociology is the scientific study of human society that focuses on society, human social behavior, patterns of Interpersonal ties, social relationships, social interaction, and aspects of culture associated with everyday life. The term sociol ...
and economics
Economics () is a behavioral science that studies the Production (economics), production, distribution (economics), distribution, and Consumption (economics), consumption of goods and services.
Economics focuses on the behaviour and interac ...
, and ''the fundamental science'', or fundamental physics) which would be synthesised into a singular epistemic entity.[ Key to this concept was the doctrine of ''theory reduction'', according to which the covering law model would be used to interconnect the special sciences and, thereupon, to reduce all laws in the special sciences to fundamental physics.
The movement envisioned a universal scientific language that could express statements with common meaning intelligible to all scientific fields. Carnap sought to realise this goal through the systematic reduction of the linguistic terms of more specialised fields to those of more fundamental fields. Various methods of reduction were proposed, referring to the use of ]set theory
Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathema ...
to manipulate logically primitive concepts (as in Carnap's ''Logical Structure of the World'', 1928) or via analytic and ''a priori'' deductive operations (as described in ''Testability and Meaning'', 1936, 1937). A number of publications over a period of thirty years would attempt to elucidate this concept.
Criticism
In the post-war period, key tenets of logical positivism, including the verifiability criterion, analytic-synthetic distinction and observation-theory distinction, drew escalated criticism. This would become sustained from various directions by the 1950s, so that, even among fractious philosophers who disagreed on the general objectives of epistemology
Epistemology is the branch of philosophy that examines the nature, origin, and limits of knowledge. Also called "the theory of knowledge", it explores different types of knowledge, such as propositional knowledge about facts, practical knowle ...
, most would concur that the logical positivist program had become untenable. Notable critics included Karl Popper
Sir Karl Raimund Popper (28 July 1902 – 17 September 1994) was an Austrian–British philosopher, academic and social commentator. One of the 20th century's most influential philosophers of science, Popper is known for his rejection of the ...
, W. V. O. Quine, Norwood Hanson, Thomas Kuhn
Thomas Samuel Kuhn (; July 18, 1922 – June 17, 1996) was an American History and philosophy of science, historian and philosopher of science whose 1962 book ''The Structure of Scientific Revolutions'' was influential in both academic and ...
, Hilary Putnam
Hilary Whitehall Putnam (; July 31, 1926 – March 13, 2016) was an American philosopher, mathematician, computer scientist, and figure in analytic philosophy in the second half of the 20th century. He contributed to the studies of philosophy of ...
,[ as well as J. L. Austin, Peter Strawson, Nelson Goodman and Richard Rorty. Hempel himself became a major critic from within the movement, denouncing the positivist thesis that empirical knowledge is restricted to ''basic statements'', ''observation statements'' or ''protocol statements''.]
Karl Popper
Karl Popper
Sir Karl Raimund Popper (28 July 1902 – 17 September 1994) was an Austrian–British philosopher, academic and social commentator. One of the 20th century's most influential philosophers of science, Popper is known for his rejection of the ...
, a graduate of the University of Vienna
The University of Vienna (, ) is a public university, public research university in Vienna, Austria. Founded by Rudolf IV, Duke of Austria, Duke Rudolph IV in 1365, it is the oldest university in the German-speaking world and among the largest ...
, was an outspoken critic of the logical positivist movement from its inception. In ''Logik der Forschung'' (1934, published in English in 1959 as '' The Logic of Scientific Discovery'') he attacked verificationism directly, contending that the problem of induction renders it impossible for scientific hypotheses and other universal statements to be verified conclusively. Any attempt to do so, he argued, would commit the fallacy of affirming the consequent, given that verification cannot—in itself—exclude alternative valid explanations for a specific phenomenon or instance of observation. He would later affirm that the content of the verifiability criterion cannot be empirically verified, thus is meaningless by its own proposition and ultimately self-defeating as a principle.
In the same book, Popper proposed ''falsifiability
Falsifiability (or refutability) is a deductive standard of evaluation of scientific theories and hypotheses, introduced by the Philosophy of science, philosopher of science Karl Popper in his book ''The Logic of Scientific Discovery'' (1934). ...
'', which he presented, not as a criterion of ''cognitive meaning'' like verificationism (as commonly misunderstood), but as a criterion to distinguish scientific from non-scientific statements, thereby to demarcate the boundaries of science. Popper observed that, though universal statements cannot be verified, they can be falsified, and that the most productive scientific theories were apparently those that carried the greatest 'predictive risks' of being falsified by observation. He would conclude that the scientific method
The scientific method is an Empirical evidence, empirical method for acquiring knowledge that has been referred to while doing science since at least the 17th century. Historically, it was developed through the centuries from the ancient and ...
should be a hypothetico-deductive model, wherein scientific hypotheses must be falsifiable (per his criterion), held as provisionally true until proven false by observation, and are ''corroborated'' by supporting evidence rather than verified or confirmed.
In rejecting neo-positivist views of cognitive meaningfulness, Popper considered metaphysics
Metaphysics is the branch of philosophy that examines the basic structure of reality. It is traditionally seen as the study of mind-independent features of the world, but some theorists view it as an inquiry into the conceptual framework of ...
to be rich in meaning and important in the origination of scientific theories and value system
In ethics and social sciences, value denotes the degree of importance of some thing or action, with the aim of determining which actions are best to do or what way is best to live ( normative ethics), or to describe the significance of different a ...
s to be integral to science's quest for truth. At the same time, he disparaged pseudoscience
Pseudoscience consists of statements, beliefs, or practices that claim to be both scientific and factual but are incompatible with the scientific method. Pseudoscience is often characterized by contradictory, exaggerated or unfalsifiable cl ...
, referring to the confirmation biases that embolden support for unfalsifiable conjectures (notably those in psychology
Psychology is the scientific study of mind and behavior. Its subject matter includes the behavior of humans and nonhumans, both consciousness, conscious and Unconscious mind, unconscious phenomena, and mental processes such as thoughts, feel ...
and psychoanalysis
PsychoanalysisFrom Greek language, Greek: and is a set of theories and techniques of research to discover unconscious mind, unconscious processes and their influence on conscious mind, conscious thought, emotion and behaviour. Based on The Inte ...
) and ''ad hoc
''Ad hoc'' is a List of Latin phrases, Latin phrase meaning literally for this. In English language, English, it typically signifies a solution designed for a specific purpose, problem, or task rather than a Generalization, generalized solution ...
'' arguments used to entrench predictive theories that have been proven conclusively false.[
]
Willard V. O. Quine
In his influential 1951 paper '' Two Dogmas of Empiricism'', American philosopher and logicist Willard Van Orman Quine
Willard Van Orman Quine ( ; known to his friends as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century" ...
challenged the analytic-synthetic distinction. Specifically, Quine examined the concept of analyticity, determining that all attempts to explain the idea reduce ultimately to circular reasoning
Circular reasoning (, "circle in proving"; also known as circular logic) is a fallacy, logical fallacy in which the reasoner begins with what they are trying to end with. Circular reasoning is not a formal logical fallacy, but a pragmatic defect ...
. He would conclude that, if analyticity is untenable, so too is the neo-positivist proposition to redefine its boundaries. Yet Carnap's reconstruction of analyticity was necessary for logic and mathematics to be deemed meaningful under verificationism. Quine's arguments encompassed numerous criticisms on this topic he had articulated to Carnap since 1933. His work effectively pronounced the verifiability criterion untenable, threatening to uproot the broader logical positivist project.
Norwood Hanson
In 1958, Norwood Hanson's ''Patterns of Discovery'' characterised the concept of theory-ladenness. Hanson and Thomas Kuhn
Thomas Samuel Kuhn (; July 18, 1922 – June 17, 1996) was an American History and philosophy of science, historian and philosopher of science whose 1962 book ''The Structure of Scientific Revolutions'' was influential in both academic and ...
held that even direct observations are never truly neutral in that they are ''laden with theory'', i.e. influenced by a system of theoretical presuppositions
In linguistics and philosophy, a presupposition is an implicit assumption about the world or background belief relating to an utterance whose truth is taken for granted in discourse. Examples of presuppositions include:
* ''Jane no longer writes ...
that function as an interpretative framework for the senses. Accordingly, individuals subscribed to different theories might report radically different observations even as they investigate the same phenomena. Hanson's thesis attacked the observation-theory distinction, which draws a dividing line between observational and non-observational (theoretical) language. More broadly, its findings challenged the central-most tenets of empiricism in questioning the infallibility and objectivity of empirical observation.
Thomas Kuhn
Thomas Kuhn
Thomas Samuel Kuhn (; July 18, 1922 – June 17, 1996) was an American History and philosophy of science, historian and philosopher of science whose 1962 book ''The Structure of Scientific Revolutions'' was influential in both academic and ...
's landmark book of 1962, '' The Structure of Scientific Revolutions''—which discussed paradigm shifts in fundamental physics—critically undermined confidence in scientific foundationalism. Kuhn proposed in its place a coherentist model of science, whereby scientific progress revolves around cores of established, coherent ideas which periodically undergo abrupt revolutionary changes.
Though foundationalism was often considered a constituent doctrine of logical positivism (and Kuhn's thesis an epistemological
Epistemology is the branch of philosophy that examines the nature, origin, and limits of knowledge. Also called "the theory of knowledge", it explores different types of knowledge, such as propositional knowledge about facts, practical knowled ...
criticism of the movement) such views were simplistic: In the 1930s, Neurath had argued for the adoption of coherentism, famously comparing the progress of science to reconstruction of a boat at sea. Carnap had entertained foundationalism from 1929 to 1930, but he, Hans Hahn and others would later join Neurath in converting to a coherentist philosophy. The conservative wing of the Vienna Circle under Moritz Schlick subscribed to a form of foundationalism, but its principles were defined unconventionally or ambiguously.
In some sense, Kuhn's book unified science, but through historical and social assessment rather than by networking the scientific specialties using epistemological or linguistic
Linguistics is the scientific study of language. The areas of linguistic analysis are syntax (rules governing the structure of sentences), semantics (meaning), Morphology (linguistics), morphology (structure of words), phonetics (speech sounds ...
models.[ pp. 526–27] His ideas were adopted quickly by scholars in non-scientific disciplines, such as the social sciences in which neo-positivists were dominant,[ ushering academia into postpositivism or postempiricism.][
]
Hilary Putnam
In his critique of the received view in 1962, Hilary Putnam
Hilary Whitehall Putnam (; July 31, 1926 – March 13, 2016) was an American philosopher, mathematician, computer scientist, and figure in analytic philosophy in the second half of the 20th century. He contributed to the studies of philosophy of ...
attacked the observation-theory distinction. Putnam proposed that the division between "observation terms" and "theoretical terms" was untenable, determining that both categories have the potential to be theory-laden. Accordingly, he remarked that observational reports frequently refer to theoretical terms in practice. He illustrated cases in which observation terms can be applied to entities that Carnap would classify as unobservables. For example, in Newton's corpuscular theory of light, observation concepts can be applied to the consideration of both sub-microscopic and macroscopic objects.
Putnam advocated scientific realism, whereby scientific theory describes a real world existing independently of the senses. He rejected positivism, which he dismissed as a form of metaphysical idealism, in that it precluded any possibility to acquire knowledge of the unobservable aspects of nature. He also spurned instrumentalism, according to which a scientific theory is judged, not by whether it corresponds to reality, but by the extent to which it allows empirical predictions or resolves conceptual problems.
Decline and legacy
In 1967, John Passmore wrote, "Logical positivism is dead, or as dead as a philosophical movement ever becomes". His opinions concurred with widespread sentiment in academic circles that the movement had run its course by the late 1960s. Logical positivism's fall heralded postpositivism, distinguished by Popper's critical rationalism—which characterised human knowledge as continuously evolving via conjectures and refutations—and Kuhn's historical and social perspectives on the saltatory course of scientific progress.
In a 1976 interview, A. J. Ayer, who had introduced logical positivism to the English-speaking world
The English-speaking world comprises the 88 countries and territories in which English language, English is an official, administrative, or cultural language. In the early 2000s, between one and two billion people spoke English, making it the ...
in the 1930s, was asked what he saw as its main defects and answered that, "nearly all of it was false". Yet, he maintained that it was "true in spirit", referring to the principles of empiricism and reductionism
Reductionism is any of several related philosophical ideas regarding the associations between phenomena which can be described in terms of simpler or more fundamental phenomena. It is also described as an intellectual and philosophical positi ...
whereby mental phenomena resolve to the material or physical and philosophical questions largely resolve to ones of language and meaning.[ Despite its problems, logical positivism helped to anchor ]analytic philosophy
Analytic philosophy is a broad movement within Western philosophy, especially English-speaking world, anglophone philosophy, focused on analysis as a philosophical method; clarity of prose; rigor in arguments; and making use of formal logic, mat ...
in the English-speaking world and its influence extended beyond philosophy in shaping the course of psychology
Psychology is the scientific study of mind and behavior. Its subject matter includes the behavior of humans and nonhumans, both consciousness, conscious and Unconscious mind, unconscious phenomena, and mental processes such as thoughts, feel ...
and the social sciences
Social science (often rendered in the plural as the social sciences) is one of the branches of science, devoted to the study of society, societies and the Social relation, relationships among members within those societies. The term was former ...
. In the post-war period, Carl Hempel's contributions were vitally important in establishing the subdiscipline of the philosophy of science
Philosophy of science is the branch of philosophy concerned with the foundations, methods, and implications of science. Amongst its central questions are the difference between science and non-science, the reliability of scientific theories, ...
.
Logical positivism's fall reopened the debate over the metaphysical
Metaphysics is the branch of philosophy that examines the basic structure of reality. It is traditionally seen as the study of mind-independent features of the world, but some theorists view it as an inquiry into the conceptual framework of h ...
merit of scientific theory, whether it can offer knowledge of the world beyond human experience ( scientific realism) or whether it is simply an instrument to predict human experience ( instrumentalism). Philosophers increasingly critiqued the movement's doctrine and history, often misrepresenting it without thorough examination, sometimes reducing it to oversimplifications and stereotypes, such as its association with foundationalism.[ p. 2]
See also
*
*
*
*
*
*
*
People
*
*
*
*
*
*
*
References
Further reading
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
External links
*
Articles by logical positivists
The Scientific Conception of the World: The Vienna Circle
Carnap, Rudolf. 'The Elimination of Metaphysics Through Logical Analysis of Language'
* [https://web.archive.org/web/20110511191629/http://etext.lib.virginia.edu/cgi-local/DHI/dhicontrib2.cgi?id=dv3-69 Feigl, Herbert. 'Positivism in the Twentieth Century (Logical Empiricism)', ''Dictionary of the History of Ideas'', 1974, Gale Group (Electronic Edition)]
Articles on logical positivism
Kemerling, Garth. 'Logical Positivism', ''Philosophy Pages''
{{Authority control
Analytic philosophy
Empiricism
Epistemological theories
Epistemology of science
History of science
Linguistic turn
Meaning in religious language
Philosophical schools and traditions
Philosophy of science
Positivism
Theories of language