The Temperature paradox or Partee's paradox is a classic puzzle in
formal semantics and
philosophical logic
Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. Some theorists conceive philosophic ...
. Formulated by
Barbara Partee
Barbara Hall Partee (born June 23, 1940) is a Distinguished University Professor Emerita of Linguistics and Philosophy at the University of Massachusetts Amherst (UMass). She is known as a pioneer in the field of formal semantics.
Biography
Bo ...
in the 1970s, it consists of the following argument, which speakers of
English judge as wildly
invalid.
# The temperature is ninety.
# The temperature is rising.
# Therefore, ninety is rising. (invalid conclusion)
Despite its obvious invalidity, this argument would be valid in most formalizations based on traditional
extensional systems of logic. For instance, the following formalization in
first order predicate logic would be valid via
Leibniz's law:
# t=90
# R(t)
# R(90) (valid conclusion in this formalization)
To correctly predict the invalidity of the argument without abandoning Leibniz's Law, a formalization must capture the fact that the first premise makes a claim about the temperature at a particular point in time, while the second makes an assertion about how it changes over time. One way of doing so, proposed by
Richard Montague
Richard Merritt Montague (September 20, 1930 – March 7, 1971) was an American mathematician and philosopher who made contributions to mathematical logic and the philosophy of language. He is known for proposing Montague grammar to formalize th ...
, is to adopt an
intensional logic
Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (''extensions''), by additional quantifiers that range over terms that may have such individu ...
for natural language, thus allowing "the temperature" to denote its
extension in the first premise and its
intension
In any of several fields of study that treat the use of signs—for example, in linguistics, logic, mathematics, semantics, semiotics, and philosophy of language—an intension is any property or quality connoted by a word, phrase, or another s ...
in the second.
# extension(t)=90
# R(intension(t))
# R(90) (invalid conclusion)
Thus, Montague took the paradox as evidence that nominals denote ''individual concepts'', defined as functions from a
world
The world is the totality of entities, the whole of reality, or everything that Existence, exists. The nature of the world has been conceptualized differently in different fields. Some conceptions see the world as unique, while others talk ...
-time pair to an individual. Later analyses build on this general idea, but differ in the specifics of the formalization.
Notes
External links
*
Non-classical logic
Philosophical logic
Predicate logic
Formal semantics (natural language)
Paradoxes
{{semantics-stub