Nuel Belnap

Nuel Belnap

Nuel D. Belnap, Jr. (born 1930) is an American logician and philosopher who has made many important contributions to the philosophy of logic, temporal logic, and structural proof theory. He has taught at the University of Pittsburgh since 1961; before that he was at Yale University. His best known work is his collaboration with Alan Ross Anderson on relevance logic. He has also published books on the logic of questions and answers, 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: 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 in 2008.[1]

See also

References

  1. ^ "Book of Members, 1780-2010: Chapter B". American Academy of Arts and Sciences. http://www.amacad.org/publications/BookofMembers/ChapterB.pdf. Retrieved May 30, 2011. 

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Nuel Belnap — Nuel D. Belnap, Jr. (n. 1930) es un filósofo y lógico norteamericano que ha realizado importantes aportes en el campo de la filosofía de la lógica, lógica temporal, y teoría de la demostración estructural. Desee 1961 dicta cátedra en la… …   Wikipedia Español

  • Vierwertige Logik von Belnap — Belnaps vierwertige Logik (kurz: FOUR) ist ein logisches System mit vier Wahrheitswerten, welches parakonsistentes Schlussfolgern ermöglicht. Sie wurde 1977 von Nuel Belnap entwickelt. Belnaps vierwertige Logik verwendet im Gegensatz zur… …   Deutsch Wikipedia

  • Mehrweritge Logiken — Mehrwertige Logik ist ein Oberbegriff für alle logischen Systeme, die mehr als zwei Wahrheitswerte verwenden. Ausgangspunkt für die Entwicklung mehrwertiger Logiken war die erkenntnistheoretische Frage, ob dem Prinzip der Zweiwertigkeit… …   Deutsch Wikipedia

  • Vierwertige Logik — Mehrwertige Logik ist ein Oberbegriff für alle logischen Systeme, die mehr als zwei Wahrheitswerte verwenden. Ausgangspunkt für die Entwicklung mehrwertiger Logiken war die erkenntnistheoretische Frage, ob dem Prinzip der Zweiwertigkeit… …   Deutsch Wikipedia

  • Mehrwertige Logik — ist ein Oberbegriff für alle logischen Systeme, die mehr als zwei Wahrheitswerte verwenden. Ausgangspunkt für die Entwicklung mehrwertiger Logiken war die erkenntnistheoretische Frage, ob dem Prinzip der Zweiwertigkeit außerlogische Wahrheit… …   Deutsch Wikipedia

  • Lógica relevante — La lógica relevante, también llamada lógica de relevancia, es toda lógica perteneciente a una de las familias de lógicas sub estructurales no clásicas que impone ciertas restricciones en la implicación. La lógica relevante fue propuesta en 1928… …   Wikipedia Español

  • Alan Ross Anderson — Alan Ross Anderson, born 1925, was an American logician and professor of philosophy at Yale University and the University of Pittsburgh. A frequent collaborator with Nuel Belnap, Anderson was instrumental in the development of relevance logic and …   Wikipedia

  • 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. (It is generally, but… …   Wikipedia

  • Logical harmony — Logical harmony, a name coined by Sir Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by… …   Wikipedia

  • Liste de personnes par nombre d'Erdős — Voici une liste non exhaustive de personnes ayant un nombre d Erdős de 0, 1 ou 2. Sommaire 1 #0 2 #1 3 #2 4 Référence …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”