Nuel D. Belnap, Jr. is an American logician and philosopher who has made many important contributions to the philosophy of logic

Philosophy of logic

Following the developments in Formal logic with symbolic logic in the late nineteenth century and mathematical logic in the twentieth, topics traditionally treated by logic not being part of formal logic have tended to be termed either philosophy of logic or philosophical logic if no longer simply...

, temporal logic

Temporal logic

In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. In a temporal logic we can then express statements like "I am always hungry", "I will eventually be hungry", or "I will be hungry...

, and structural proof theory

Structural proof theory

In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof.-Analytic proof:...

. He has taught at the University of Pittsburgh

University of Pittsburgh

The University of Pittsburgh, commonly referred to as Pitt, is a state-related research university located in Pittsburgh, Pennsylvania, United States. Founded as Pittsburgh Academy in 1787 on what was then the American frontier, Pitt is one of the oldest continuously chartered institutions of...

 since 1961; before that he was at Yale University

Yale University

Yale University is a private, Ivy League university located in New Haven, Connecticut, United States. Founded in 1701 in the Colony of Connecticut, the university is the third-oldest institution of higher education in the United States...

. His best known work is his collaboration with Alan Ross Anderson

Alan Ross Anderson

Alan Ross Anderson was an American logician and professor of philosophy at Yale University and the University of Pittsburgh....

 on relevance logic

Relevance logic

Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications be relevantly related. They may be viewed as a family of substructural or modal logics...

. He has also published books on the logic of question

Question

A question may be either a linguistic expression used to make a request for information, or else the request itself made by such an expression. This information may be provided with an answer....

s and answer

Answer

Generally, an answer is a reply to a question or is a solution, a retaliation, or a response that is relevant to the said question.In law, an answer was originally a solemn assertion in opposition to some one or something, and thus generally any counter-statement or defense, a reply to a question...

s, with Thomas Steel, and the logic of agency, with Michael Perloff and Ming Xu. He has contributed to the foundations of two very distinct theories of truth

Truth

Truth has a variety of meanings, such as the state of being in accord with fact or reality. It can also mean having fidelity to an original or to a standard or ideal. In a common usage, it also means constancy or sincerity in action or character...

: he was a co-author of "The Prosentential Theory of Truth" with Dorothy Grover and Joseph Camp, and of The Revision Theory of Truth with Anil Gupta. He is also co-author with Ming Xu and Michel Perloff of "Facing the Future". He was elected a Fellow of the American Academy of Arts and Sciences

American Academy of Arts and Sciences

The American Academy of Arts and Sciences is an independent policy research center that conducts multidisciplinary studies of complex and emerging problems. The Academy’s elected members are leaders in the academic disciplines, the arts, business, and public affairs.James Bowdoin, John Adams, and...

in 2008.

External links

• Belnap's bio at University of Pittsburgh