Jon Barwise - Jon Barwise

Kenneth Jon Barwise (/ˈbɑːrwaɪz/; 29 Haziran 1942 - 5 Mart 2000)[1] bir Amerikan matematikçi, filozof ve mantıkçı bu şekilde bazı temel revizyonlar öneren mantık anlaşılır ve kullanılır.

Eğitim ve kariyer

Doğmak Bağımsızlık, Missouri Kenneth T. ve Evelyn Barwise'a göre Jon erken gelişmiş bir çocuktu.

Bir öğrenci Solomon Feferman -de Stanford Üniversitesi Barwise araştırmasına başladı sonsuz mantık. Yardımcı doçentlik pozisyonlarından sonra Yale Üniversitesi ve Üniversitesi Wisconsin, bu süre zarfında ilgi alanları Doğal lisan, 1983'te Stanford'a döndü ve yönetmen Dil ve Bilgi Çalışmaları Merkezi. Öğretmeye başladı Indiana Üniversitesi 1990 yılında bir Fellow olarak seçildi. Amerikan Sanat ve Bilim Akademisi 1999'da.[2]

Felsefi ve mantıksal çalışma

Barwise, içinde bulunduğu bağlam hakkında açık bir şekilde önerme yapılır, durum mantık uygulamasındaki birçok sorun ortadan kaldırılabilir. O aradı ... bizi doğal ya da biçimsel herhangi bir dilin cümleleri arasındaki cümleler ve ilişkiler alanının dışına çıkaran genel bir bilgi teorisi içindeki anlamı ve çıkarımı anlamak. Özellikle, böyle bir yaklaşımın, yalancı paradoksu. O kullandı Peter Aczel 's sağlam temelsiz küme teorisi anlayışla "kısır döngüler "akıl yürütme.

Barwise, Stanford'daki eski meslektaşı ile birlikte John Etchemendy, popüler mantık ders kitabının yazarıydı Dil, Kanıt ve Mantık. Aksine Matematiksel Mantık El Kitabı, son teknolojinin bir araştırmasıydı. Matematiksel mantık c. 1975'te editörlüğünü yaptığı bu çalışma temel mantığı hedef aldı. Metin, bazıları mantıksal problemlerin görsel temsillerini sağlayan bilgisayar destekli ev ödevi problemlerini içerdiği için dikkate değerdir. Stanford'da geçirdiği süre boyunca, aynı zamanda Sembolik Sistemler Programı biliş, dil, mantık ve hesaplama arasındaki ilişkilere odaklanan bölümler arası bir lisans programı. K. Jon Barwise Ödülü Sembolik Sistemler Programına Değerli Katkılar için 2001 yılından bu yana periyodik olarak verilmektedir.[3]

Seçilmiş Yayınlar

  • Barwise, K.J. (1975) Kabul Edilebilir Kümeler ve Yapılar. Tanımlanabilirlik Teorisine Bir Yaklaşım ISBN  0-387-07451-1
  • Barwise, K. J. & Perry, John (1983) Durumlar ve Tutumlar. Cambridge: MIT Press. ISBN  1-57586-193-3[4]
  • Barwise, K. J. ve Etchemendy, J. (1987) Yalancı: Hakikat ve Döngüsellik Üzerine Bir Deneme ISBN  0-19-505944-1[5]
  • Barwise, K.J. (1988) Mantıktaki Durum ISBN  0-937073-32-6
  • Barwise, K. J. ve Moss, L. (1996) Kısır Çevreler. Temelsiz Olguların Matematiği Üzerine ISBN  1-57586-008-2[6]
  • Barwise, K, J. & Seligman, J. (1997) Bilgi Akışı: Dağıtık Sistemlerin Mantığı ISBN  0-521-58386-1
  • Barwise, K. J. ve Etchemendy, J. (2002) Dil, Kanıt ve Mantık ISBN  1-57586-374-X
  • Barwise, K.J. Editör (1977) Matematiksel Mantık El Kitabı. xi + 1165 sayfa ISBN  0-7204-2285-X
  • Barwise, J. & Feferman, S. Editörler (1985) Model-Teorik Mantık. x + 893 sayfa ISBN  0-387-90936-2

Ayrıca bakınız

Referanslar

  1. ^ Walsh, Eileen (8 Mart 2000). "Ünlü mantıkçı K. Jon Barwise öldü". Stanford Haber Servisi.
  2. ^ "Üyeler Kitabı, 1780-2010: Bölüm B" (PDF). Amerikan Sanat ve Bilim Akademisi. Alındı 20 Mayıs, 2011.
  3. ^ "K. Jon Barwise Ödülü, Sembolik Systerms Programı, Stanford Üniversitesi". Arşivlenen orijinal 2017-06-15 tarihinde. Alındı 2015-03-29.
  4. ^ Butterfield, Jerry (Nisan 1986). "Yorum Durumlar ve Tutumlar Jon Barwise ve John Perry ". The Philosophical Quarterly. 36 (143): 292–296. doi:10.2307/2219775. JSTOR  2219775.
  5. ^ Moss, Lawrence S. (1989). "Yorum The Liar: Gerçek ve döngüsellikte bir deneme Jon Barwise ve John Etchemendy " (PDF). Boğa. Amer. Matematik. Soc. (N.S.). 20 (2): 216–225. doi:10.1090 / S0273-0979-1989-15770-4.
  6. ^ Rutten, J.J.M.M. (1998). "Yorum Kısır döngüler: Temelsiz fenomenlerin matematiği üzerine Jon Barwise ve Larry Moss " (PDF). Boğa. Amer. Matematik. Soc. (N.S.). 35 (1): 69–75. doi:10.1090 / s0273-0979-98-00735-6.

Dış bağlantılar