Jon Barwise - Jon Barwise

Kenneth Jon Barwise ( / b ɑːr w aɪ Z / , 29 června 1942 - 5.3.2000) byl americký matematik , filozof a logik , který navrhl několik zásadních revizí tak, že logika je pochopí a bude používat.

Vzdělání a kariéra

Jon se narodil v Independence v Missouri Kennethovi T. a Evelyn Barwise. Byl předčasně vyspělým dítětem.

Barwise, žák Šalamouna Fefermana na Stanfordské univerzitě , zahájil svůj výzkum nekonečné logiky . Po pozicích odborného asistenta na Yale University a University of Wisconsin , během nichž se jeho zájmy změnily na přirozený jazyk , se v roce 1983 vrátil do Stanfordu, kde řídil Centrum pro studium jazyka a informací . Začal učit na Indiana University v roce 1990. V roce 1999 byl zvolen za člena Americké akademie umění a věd .

Filozofická a logická práce

Barwise tvrdil, že tím, že bude výslovně vysvětlen kontext, ve kterém je předložen návrh , situace , může být odstraněno mnoho problémů s aplikací logiky. Snažil se ... porozumět smyslu a závěru v obecné teorii informací, která nás vyvede z říše vět a vztahů mezi větami jakéhokoli jazyka, přirozeného nebo formálního. Zejména tvrdil, že takový přístup vyřešil paradox lháře . On použil Peter Aczel ‚s non-fundovanou teorii množin v chápání‚ bludné kruhy ‘uvažování.

Barwise byl spolu se svým bývalým kolegou ve Stanfordu Johnem Etchemendym autorem populární učebnice logiky Language, Proof and Logic . Na rozdíl od Příručky matematické logiky , která byla průzkumem nejnovějšího stavu matematické logiky kolem roku 1975 a jehož byl editorem, se tato práce zaměřila na elementární logiku. Tento text je pozoruhodný zahrnutím problémů s domácími úkoly pomocí počítače, z nichž některé poskytují vizuální znázornění logických problémů. Během svého působení ve Stanfordu byl také prvním ředitelem Programu symbolických systémů , mezirezortního studijního programu zaměřeného na vztahy mezi poznáváním, jazykem, logikou a výpočty. Cena K. Jon Barwise za významné příspěvky do programu Symbolické systémy se uděluje pravidelně od roku 2001.

Vybrané publikace

  • Barwise, KJ (1975) Přípustné sady a struktury. Teorie přístupu k definovatelnosti ISBN  0-387-07451-1
  • Barwise, KJ & Perry, John (1983) Situations and Attitudes . Cambridge: MIT Press. ISBN  1-57586-193-3
  • Barwise, KJ & Etchemendy, J. (1987) Lhář: Esej o pravdě a oběžníku ISBN  0-19-505944-1
  • Barwise, KJ (1988) Situace v logice ISBN  0-937073-32-6
  • Barwise, KJ & Moss, L. (1996) Vicious Circles. O matematice nepodložených jevů ISBN  1-57586-008-2
  • Barwise, K, J. & Seligman, J. (1997) Informační tok: logika distribuovaných systémů ISBN  0-521-58386-1
  • Barwise, KJ & Etchemendy, J. (2002) Jazyk, důkaz a logika ISBN  1-57586-374-X
  • Barwise, KJ Editor (1977) Handbook of Mathematical Logic . xi + 1165 stran ISBN  0-7204-2285-X
  • Barwise, J. & Feferman, S. Editors (1985) Model-Theoretic Logics . x + 893 stran ISBN  0-387-90936-2

Viz také

Reference

externí odkazy