Nuel Belnap - Nuel Belnap

Nuel Belnap
narozený1930
VzděláváníUniversity of Illinois
univerzita Yale (PhD, 1960)
ÉraSoučasná filozofie
KrajZápadní filozofie
ŠkolaAnalytický
InstituceUniversity of Pittsburgh
TezeFormalizace příplatku (1960)
Doktorský poradceAlan Ross Anderson
Hlavní zájmy
Filozofická logika, časová logika, teorie strukturního důkazu
Pozoruhodné nápady
Zobrazit logiku

Nuel Dinsmore Belnap Jr. (/ˈbɛln…p/; (narozen 1930) je americký logik a filozof, který přispěl k filozofie logiky, časová logika, a teorie strukturního důkazu. Učil na University of Pittsburgh od roku 1963 až do svého odchodu do důchodu v roce 2011.

Životopis

Jako vysokoškolák studoval Belnap na University of Illinois kde získal titul B.A. Vzpomněl si, že Max Fisch přidělil Whiteheadovi čtení. Po vojenské službě se zúčastnil univerzita Yale a užíval si metafyzika. Včetně jeho profesorů Paul Weiss, Arthur Pap, Henry Margenau, Frederic Fitch a Rulon Wells.

Na Fulbrightovo společenství v roce 1958 odešel do Louvain studovat u společnosti Canon Robert Feys. Belnap měla bydliště v Bruselu s manželkou a dvouletou. Feys nařídil Belnapovi, aby četl Wilhelm Ackermann Článek o důsledných důsledcích v EU Journal of Symbolic Logic.[1]

Alan Ross Anderson a Belnap začal diskutovat o příslušných implikacích. V roce 1960 Anderson řekl Belnapovi, aby sepsal práci, na které udělal logika relevance, a toto byla Belnapova disertační práce na Yale (s názvem Formalizace příplatku). Disertační práce byla zveřejněna prostřednictvím Omara Kayama Moora v Office of Naval Research, Group Psychology Branch. Belnap se stal odborným asistentem na Yale. Vzpomněl si, že najal Jona Barwise a Johna Wallacea jako výzkumných asistentů.[2]

Pittsburghská univerzita chtěla Wilfrid Sellars, a podle Belnapa: „Jerry Sneewind a já jsme mu viseli na kabátech.“ Adolf Grunbaum a Nicholas Rescher byli v Pittu. Vicekancléř Charlie Peake přivedl Alana Andersona do Pitta v roce 1965, kde pracoval až do své smrti v roce 1973. Anderson a Belnap byli spoluautoři Příloha: Logika relevance a nutnosti.[3][4] „Způsob, jakým jsme pracovali, když jsme pracovali společně, byl po tváři. Jen jsme si sedli a psali spolu věty.“[2]

Belnap se stal řádným profesorem v roce 1966. Kurt Baier byl předsedou oddělení. Belnap začal učit filozofii společenských věd, včetně studentů Bas van Fraassen a Jon Michael Dunn. V roce 1967 se stal profesorem sociologie a v roce 1971 profesorem filozofie vědy. Nakonec obsadil obdařenou židli pojmenovanou pro Alana Rosse Andersona. Vzpomněl si na Richa Tomasona, studenta inteligentních systémů, procházejícího Pittem.[2]

Pozor na důsledky protichůdných uložených dat navrhl Belnap a čtyřhodnotová logika vyhnout se závěru o útěku, jako je (A & ~A) → B pro svévolné prohlášení B.[5] Známý jako princip exploze v klasické logice je základem čtyřhodnotová logika parakonzistentní logika vyhnout se této patologii dvouhodnotové logiky.

V roce 1976 publikovali Belnap a T. B. Steel Jr. Logika otázek a odpovědí jako včasný příspěvek do erotika. Kromě propoziční a sentenciální logiky si všimli, že se vyvíjí databáze umožnit "soubory dokumentace jednotlivců" (strana 146) vedoucí k "problému s" Soukromí v evidenci. “Kniha obsahovala 45stránkovou anotovanou bibliografii erotetiky rozdělenou podle filozofie, lingvistiky, automatického zodpovězení otázek a pedagogiky, kterou sestavil Hubert Schleichert a Urs Egli.

Na volno byl Belnap hostujícím profesorem na University of California, Irvine a v Bloomington Indiana, na podzim 1977, 1978, 1979 s Jonem Michaelem Dunnem. V roce 1982 ve Stanfordu Centrum pro pokročilá studia behaviorálních věd, a v roce 1996 v Lipsku, Centrum für Höhere Studien s Heirichem Wansingem. Byl zakládajícím členem Společnost pro přesnou filozofii, která spolupracovala s Kanaďany jako např Mario Bunge. Belnap sloužil jako rozhodčí pro mnoho akademických prací.[2]

Byl zvolen Fellow na Americká akademie umění a věd v roce 2008.[6]

Vybraná díla

  • 1975: (s Dorothy L. Groverovou a Josephem L. Campem) „The Prosentential Theory of Truth“, Filozofické studie 27(1): 73–125
  • 1993: (s Anil Gupta ) Revizní teorie pravdy, MIT Stiskněte
  • 2001: (s Ming Xu a Michelem Perloffem) Tváří v tvář budoucnosti: agenti a volby v našem neurčitém světě, Oxford University Press (ISBN  0195138783).

Viz také

Reference

  1. ^ Wilhelm Ackermann (1956) Begrundung einer strengen implikation, Journal of Symbolic Logic 21: 113 až 128 prostřednictvím Projekt Euclid
  2. ^ A b C d N. Belnap (2014) „Biografický rozhovor“, strany 377 až 409 v Belnap o indeterminismu a svobodných opatřeních, Redaktor Thomas Müller, Springer knihy doi:10.1007/978-3-319-01754-9
  3. ^ Anderson, A. R. a Belnap, N. D. (1979) Entailment: Logika relevance a nutnosti. Sv. 1., Princeton University Press.
  4. ^ Anderson, A. R., Belnap, N. D. a Dunn, J. M. (1992) Entailment: Logika relevance a nutnosti. Sv. 2., Princeton University Press. ISBN  0-691-07339-2
  5. ^ N. Belnap (1975) „Jak by měly počítače myslet“, strany 30 až 56 v Současné aspekty filozofie, Gilbert Ryle editor, Oriel Press ISBN  0-85362-161-6
  6. ^ „Kniha členů, 1780–2010: kapitola B“ (PDF). Americká akademie umění a věd. Citováno 30. května 2011.

externí odkazy