Jon Barwise - Jon Barwise

Kenneth Jon BARWISE ( / b ɑːr w aɪ Z / ; 29 czerwca 1942 - 05 marca 2000) był amerykański matematyk , filozof i logik , który zaproponował kilka podstawowych korekt w sposobie że logika jest rozumiane i wykorzystywane.

Edukacja i kariera

Urodzony w Independence w stanie Missouri z Kennetha T. i Evelyn Barwise, Jon był przedwcześnie rozwiniętym dzieckiem.

Barwise, uczeń Solomona Fefermana na Uniwersytecie Stanforda , rozpoczął badania nad logiką nieskończoności . Po posadach adiunkta na Uniwersytecie Yale i Uniwersytecie Wisconsin , w czasie których jego zainteresowania zwróciły się w stronę języka naturalnego , wrócił do Stanford w 1983 roku, aby kierować Centrum Studiów Języka i Informacji . Zaczął nauczać na Uniwersytecie Indiana w 1990 roku. W 1999 roku został wybrany na członka Amerykańskiej Akademii Sztuk i Nauk .

Praca filozoficzna i logiczna

BARWISE twierdził, że, będąc wyraźnie o kontekście, w którym propozycja jest wykonany, w sytuacji , wiele problemów w stosowaniu logiki mogą być wyeliminowane. Próbował ... zrozumieć znaczenie i wnioskowanie w ramach ogólnej teorii informacji, która wyprowadza nas poza sferę zdań i relacji między zdaniami dowolnego języka, naturalnego lub formalnego. W szczególności twierdził, że takie podejście rozwiązało paradoks kłamcy . Wykorzystał nieuzasadnioną teorię mnogości Petera Aczela , aby zrozumieć „ błędne koła ” rozumowania.

Barwise, wraz ze swoim byłym kolegą ze Stanford John Etchemendy , był autorem popularnego podręcznika logiki Language, Proof and Logic . W przeciwieństwie do Handbook of Mathematical Logic , który był przeglądem stanu logiki matematycznej około 1975 roku i którego był redaktorem, ta praca dotyczyła elementarnej logiki. Tekst wyróżnia się tym, że zawiera wspomagane komputerowo zadania domowe, z których niektóre zapewniają wizualną reprezentację problemów logicznych. Podczas swojego pobytu w Stanford był także pierwszym dyrektorem Programu Systemów Symbolicznych , międzywydziałowego programu studiów skupiającego się na związkach między poznaniem, językiem, logiką i obliczeniami. Nagroda im. K. Jona Barwise'a za wybitny wkład w program Symbolic Systems przyznawana jest cyklicznie od 2001 roku.

Wybrane publikacje

  • Barwise, KJ (1975) Dopuszczalne zbiory i struktury. Podejście do teorii definiowalności ISBN  0-387-07451-1
  • Barwise, KJ & Perry, John (1983) Sytuacje i postawy . Cambridge: MIT Press. ISBN  1-57586-193-3
  • Barwise, KJ & Etchemendy, J. (1987) Kłamca: esej w prawdzie i cyrkularności ISBN  0-19-505944-1
  • Barwise, KJ (1988) Sytuacja w logice ISBN  0-937073-32-6
  • Barwise, KJ & Moss, L. (1996) Błędne koła. O matematyce zjawisk nieuzasadnionych ISBN  1-57586-008-2
  • Barwise, K, J. i Seligman, J. (1997) Przepływ informacji: logika systemów rozproszonych ISBN  0-521-58386-1
  • Barwise, KJ & Etchemendy, J. (2002) Język, dowód i logika ISBN  1-57586-374-X
  • Barwise, KJ Editor (1977) Handbook of Mathematical Logic . xi+1165 stron ISBN  0-7204-2285-X
  • Barwise, J. & Feferman, S. Redaktorzy (1985) Model-Theoretic Logics . x+893 strony ISBN  0-387-90936-2

Zobacz też

Bibliografia

Linki zewnętrzne