Carl Gustav Hempel in the context of "Logical empiricism"

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). The verifiability criterion thus rejected statements of metaphysics, theology, ethics and aesthetics as cognitively meaningless in terms of truth value 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.

Hans Reichenbach (/ˈraɪxənbɑːx/; German: [ˈʁaɪçənbax]; September 26, 1891 – April 9, 1953) was a leading philosopher of science, educator, and proponent of logical empiricism. He founded the Gesellschaft für empirische Philosophie (Society for Empirical Philosophy) in Berlin in 1928, also known as the "Berlin Circle". Carl Gustav Hempel, Richard von Mises, David Hilbert and Kurt Grelling all became members of the Berlin Circle.

In 1930, Reichenbach and Rudolf Carnap became editors of the journal Erkenntnis. He also made lasting contributions to the study of empiricism based on a theory of probability; the logic and the philosophy of mathematics; space, time, and relativity theory; analysis of probabilistic reasoning; and quantum mechanics. In 1951, he authored The Rise of Scientific Philosophy, his most popular book.

The raven paradox, also known as Hempel's paradox, Hempel's ravens or, rarely, the paradox of indoor ornithology, is a paradox arising from the question of what constitutes evidence for the truth of a statement. Observing objects that are neither black nor ravens may formally increase the likelihood that all ravens are black even though, intuitively, these observations are unrelated.

This problem was proposed by the logician Carl Gustav Hempel in the 1940s to illustrate a contradiction between inductive logic and intuition.

Hempel's dilemma is a question first asked (at least on record) by the philosopher Carl Hempel in 1969. It has relevance to naturalism and physicalism in philosophy, and to philosophy of mind.

The dilemma questions how the language of physics can be used to accurately describe existence, given that it relies on imperfect human linguistics, or as Hempel stated: "The thesis of physicalism would seem to require a language in which a true theory of all physical phenomena can be formulated. But it is quite unclear what is to be understood here by a physical phenomenon, especially in the context of a doctrine that has taken a determinedly linguistic turn."