Nuel Belnap - Nuel Belnap
Nuel Belnap | |
|---|---|
| Urodzony | 1930 |
| Edukacja |
Uniwersytet Illinois Yale University (doktorat, 1960) |
| Era | Filozofia współczesna |
| Region | Filozofia zachodnia |
| Szkoła | Analityczny |
| Instytucje | Uniwersytet w Pittsburghu |
| Praca dyplomowa | Formalizacja entailmentu (1960) |
| Doradca doktorski | Alan Ross Anderson |
Główne zainteresowania |
Filozoficzna logika , logika skroniowej , teoria strukturalna dowód |
Wybitne pomysły |
Logika wyświetlania |
Wpływy | |
Nuel Dinsmore Belnap Jr ( / b ɛ l n ć s / , urodzony w 1930 roku), amerykański logika filozof który wykonany wkład do filozofii logiki , logiki czasowej i teorii strukturalnej próbnym . Wykładał na Uniwersytecie w Pittsburghu od 1963 do przejścia na emeryturę w 2011 roku.
Biografia
Jako licencjat, Belnap studiował na Uniwersytecie Illinois, gdzie uzyskał tytuł licencjata. Przypomniał sobie, że Max Fisch przypisał odczyty Whiteheadowi . Po odbyciu służby wojskowej uczęszczał na Uniwersytet Yale i lubił metafizykę . Jego profesorami byli między innymi Paul Weiss , Arthur Pap , Henry Margenau , Frederic Fitch i Rulon Wells.
Na stypendium Fulbrighta w 1958 wyjechał do Louvain, aby studiować u kanonika Roberta Feysa . Belnap zamieszkał w Brukseli z żoną i 2-latkiem. Feys polecił Belnapowi przeczytać artykuł Wilhelma Ackermanna na temat rygorystycznych implikacji w Journal of Symbolic Logic .
Alan Ross Anderson i Belnap zaczęli omawiać istotne implikacje. W 1960 Anderson polecił Belnapowi spisać pracę, którą wykonał na temat logiki relewancji , i była to rozprawa doktorska Belnapa w Yale (zatytułowana The Formalization of Entailment ). Rozprawa została opublikowana przez Omara Kayama Moore'a w Office of Naval Research, Group Psychology Branch. Belnap został adiunktem w Yale. Przypomniał sobie zatrudnienie Jona Barwise'a i Johna Wallace'a jako asystentów badawczych.
Pittsburgh University chciał Wilfrida Sellarsa , a według Belnapa „Jerry Sneewind i ja wisieliśmy na jego połach”. Adolf Grunbaum i Nicholas Rescher przebywali w Pittsburghu. Wicekanclerz Charlie Peake przywiózł Alana Andersona do Pittsburgha w 1965 roku, gdzie pracował aż do śmierci w 1973 roku. Anderson i Belnap byli współautorami Entailment: The logic of odpowiedniość i konieczność . „Sposób, w jaki pracowaliśmy, kiedy pracowaliśmy razem, był szczek po szczęce. Po prostu usiedliśmy i pisaliśmy razem zdania”.
Belnap został profesorem zwyczajnym w 1966 roku. Kurt Baier był przewodniczącym wydziału. Belnap zaczął wykładać filozofię nauk społecznych, ucząc go Basa van Fraassena i Jona Michaela Dunna . W 1967 został profesorem socjologii, aw 1971 profesorem filozofii nauki. W końcu zajął obdarzone krzesło nazwane na cześć Alana Rossa Andersona. Przypomniał sobie Richa Tomasona, studenta inteligentnych systemów, przechodzącego przez Pitt.
Obawiając się konsekwencji sprzecznych przechowywanych danych, Belnap zaproponował czterowartościową logikę, aby uniknąć niekontrolowanych wniosków, takich jak ( A & ~ A ) → B dla arbitralnego stwierdzenia B . Znana jako zasada eksplozji w logice klasycznej, logika czterowartościowa stanowi podstawę logiki parakonsystentnej, aby uniknąć patologii logiki dwuwartościowej.
W 1976 roku Belnap i TB Steel Jr. opublikowali The Logic of Questions and Answers jako aktualny wkład w erotykę . Poza logiką twierdzeń zauważyli, że ewoluujące bazy danych umożliwiają tworzenie „dossier osób fizycznych” (s. 146), co prowadzi do „problemu z prywatnością w prowadzeniu rejestrów”. Książka zawierała 45-stronicową bibliografię erotyki z adnotacjami, podzieloną na filozofię, językoznawstwo, automatyczne odpowiadanie na pytania i pedagogikę, skompilowaną przez Huberta Schleicherta i Ursa Egliego.
Podczas urlopu Belnap był profesorem wizytującym na Uniwersytecie Kalifornijskim w Irvine i na Indiana University Bloomington , jesienią 1977, 1978, 1979 wraz z Jonem Michaelem Dunnem. W 1982 roku na Stanford „s Centrum Studiów Zaawansowanych w Behavioral Sciences , a w 1996 roku w Lipsku , Centrum für Höhere Studien z Heirich Wansing. Był członkiem-założycielem Towarzystwa Filozofii Dokładnej , które współpracowało z Kanadyjczykami, takimi jak Mario Bunge . Belnap służył jako referent wielu artykułów naukowych.
W 2008 roku został wybrany członkiem Amerykańskiej Akademii Sztuki i Nauki .
Wybrane prace
- 1975: (z Dorothy L. Grover i Joseph L. Camp) „Prosentencjonalna teoria prawdy”, Studia filozoficzne 27 (1): 73-125
- 1993: (z Anilem Guptą ) Rewizja Teoria Prawdy , MIT Press
- 2001: (z Ming Xu i Michelem Perloffem) W obliczu przyszłości: agenci i wybory w naszym niedeterministycznym świecie , Oxford University Press ( ISBN 0195138783 ).