Jon Barwise

Kenneth Jon Barwise (/ˈbɑːrwz/; June 29, 1942 – March 5, 2000)[1] was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used.

Education and career

He was born in Independence, Missouri, to Kenneth T. and Evelyn Barwise.

A pupil of Solomon Feferman at Stanford University, Barwise started his research in infinitary logic. After positions as assistant professor at Yale University and the University of Wisconsin, during which time his interests turned to natural language, he returned to Stanford in 1983 to direct the Center for the Study of Language and Information (CSLI). He began teaching at Indiana University in 1990. He was elected a Fellow of the American Academy of Arts and Sciences in 1999.[2]

In his last year, Barwise was invited to give the 2000 Gödel Lecture; he died prior to the lecture.[3]

Philosophical and logical work

Barwise contended that, by being explicit about the context in which a proposition is made, the situation, many problems in the application of logic can be eliminated. He sought ... to understand meaning and inference within a general theory of information, one that takes us outside the realm of sentences and relations between sentences of any language, natural or formal. In particular, he claimed that such an approach resolved the liar paradox. He made use of Peter Aczel's non-well-founded set theory in understanding "vicious circles" of reasoning.

Barwise, along with his former colleague at Stanford John Etchemendy, was the author of the popular logic textbook Language, Proof and Logic. Unlike the Handbook of Mathematical Logic, which was a survey of the state of the art of mathematical logic circa 1975, and of which he was the editor, this work targeted elementary logic. The text is notable for including computer-aided homework problems, some of which provide visual representations of logical problems. During his time at Stanford, he was also the first Director of the Symbolic Systems Program, an interdepartmental degree program focusing on the relationships between cognition, language, logic, and computation. The K. Jon Barwise Award for Distinguished Contributions to the Symbolic Systems Program has been given periodically since 2001.[4]

Selected publications

  • Barwise, K. J. (1975) Admissible Sets and Structures. An Approach to Definability Theory ISBN 0-387-07451-1
  • Barwise, K. J. & Perry, John (1983) Situations and Attitudes. Cambridge: MIT Press. ISBN 1-57586-193-3[5]
  • Barwise, K. J. & Etchemendy, J. (1987) The Liar: An Essay in Truth and Circularity ISBN 0-19-505944-1[6]
  • Barwise, K. J. (1988) The Situation in Logic ISBN 0-937073-32-6
  • Barwise, K. J. & Moss, L. (1996) Vicious Circles. On the Mathematics of Non-Wellfounded Phenomena ISBN 1-57586-008-2[7]
  • Barwise, K, J. & Seligman, J. (1997) Information Flow: the Logic of Distributed Systems ISBN 0-521-58386-1
  • Barwise, K. J. & Etchemendy, J. (2002) Language, Proof and Logic ISBN 1-57586-374-X
  • Barwise, K. J. Editor (1977) Handbook of Mathematical Logic. xi+1165 pages ISBN 0-7204-2285-X
  • Barwise, J. & Feferman, S. Editors (1985) Model-Theoretic Logics. x+893 pages ISBN 0-387-90936-2

See also

References

  1. ^ Walsh, Eileen (8 March 2000). "Noted logician K. Jon Barwise dies". Stanford News Service. Archived from the original on 17 June 2016. Retrieved 29 March 2015.
  2. ^ "Book of Members, 1780-2010: Chapter B" (PDF). American Academy of Arts and Sciences. Retrieved May 20, 2011.
  3. ^ "2000 Annual Meeting of the Association for Symbolic Logic". The Bulletin of Symbolic Logic. 6 (3): 361–396. 2000. doi:10.2307/421070. ISSN 1079-8986. JSTOR 421070.
  4. ^ "K. Jon Barwise Award, Symbolic Systerms Program, Stanford University". Archived from the original on 2017-06-15. Retrieved 2015-03-29.
  5. ^ Butterfield, Jerry (April 1986). "Review of Situations and Attitudes by Jon Barwise and John Perry". The Philosophical Quarterly. 36 (143): 292–296. doi:10.2307/2219775. JSTOR 2219775.
  6. ^ Moss, Lawrence S. (1989). "Review of The Liar: An essay in truth and circularity by Jon Barwise and John Etchemendy" (PDF). Bull. Amer. Math. Soc. (N.S.). 20 (2): 216–225. doi:10.1090/S0273-0979-1989-15770-4.
  7. ^ Rutten, J. J. M. M. (1998). "Review of Vicious circles: On the mathematics of non-wellfounded phenomena by Jon Barwise and Larry Moss" (PDF). Bull. Amer. Math. Soc. (N.S.). 35 (1): 69–75. doi:10.1090/s0273-0979-98-00735-6.

Read other articles:

Peta Lokasi Kabupaten Kerinci di Jambi Berikut ini adalah daftar kecamatan dan kelurahan/desa di kabupaten Kerinci, Provinsi Jambi, Indonesia. Kabupaten Kerinci memiliki 18 kecamatan, 2 kelurahan dan 285 desa (dari total 141 kecamatan, 163 kelurahan dan 1.399 desa di seluruh Jambi). Pada tahun 2017, jumlah penduduknya sebesar 235.735 jiwa dengan luas wilayahnya 3.355,27 km² dan sebaran penduduk 70 jiwa/km².[1][2] Berdasarkan data Direktorat Jenderal Kependudukan dan Pencatatan …

Lee Su-hyunSu-hyun di SBS Gayo Daejun pada 2014Nama asal이수현Lahir4 Mei 1999 (umur 24)Gyeonggi-do, Korea SelatanPekerjaanPenyanyiKarier musikAsalSeoul, Korea SelatanGenreK-popFolk-popInstrumenVokalTahun aktif2014-sekarangLabelYG EntertainmentArtis terkaitAkdong MusicianYG FamilyHi SuhyunNama KoreaHangul이수현 Alih AksaraI SuhyeonMcCune–ReischauerI Suhyŏn Lee Su-hyun (Hangul: 이수현; lahir 4 Mei 1999) adalah seorang penyanyi Korea Selatan. Ia melakukan debut sebaga…

Agrilus oblatus Klasifikasi ilmiah Kerajaan: Animalia Filum: Arthropoda Kelas: Insecta Ordo: Coleoptera Famili: Buprestidae Genus: Agrilus Spesies: Agrilus oblatus Nama binomial Agrilus oblatusKerremans, 1900 Agrilus oblatus adalah spesies kumbang yang tergolong ke dalam famili Buprestidae. Spesies ini juga merupakan bagian dari ordo Coleoptera. Spesies Agrilus oblatus sendiri merupakan bagian dari genus Agrilus yang mencakup sekitar 3.000 spesies.[1] Nama ilmiah dari spesies ini pertama…

Statue of Alexander Hamilton by James Earle Fraser in Washington, D.C., U.S. Not to be confused with Statue of Alexander Hamilton (U.S. Capitol). Statue of Alexander HamiltonYear1923TypeBronzeLocationAlexander Hamilton Place, NWWashington, D.C., USACoordinates38°53′48″N 77°02′04″W / 38.896661°N 77.034308°W / 38.896661; -77.034308OwnerNational Park Service A bronze statue of Alexander Hamilton by James Earle Fraser, dedicated on May 17, 1923, is found on the so…

Artikel ini memberikan informasi dasar tentang topik kesehatan. Informasi dalam artikel ini hanya boleh digunakan untuk penjelasan ilmiah; bukan untuk diagnosis diri dan tidak dapat menggantikan diagnosis medis. Wikipedia tidak memberikan konsultasi medis. Jika Anda perlu bantuan atau hendak berobat, berkonsultasilah dengan tenaga kesehatan profesional. AIDSPita merah yang merupakan simbol solidaritas para pengidapAIDS.Informasi umumSpesialisasiPenyakit menular  Daftar singkatan dalam artik…

Об экономическом термине см. Первородный грех (экономика). ХристианствоБиблия Ветхий Завет Новый Завет Евангелие Десять заповедей Нагорная проповедь Апокрифы Бог, Троица Бог Отец Иисус Христос Святой Дух История христианства Апостолы Хронология христианства Ранне…

This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Aquinas Institute of Theology – news · newspapers · books · scholar · JSTOR (April 2015) (Learn how and when to remove this template message) Aquinas Institute of TheologyTypePrivate graduate school and seminaryEstablished1925AffiliationRoman Catholic (Dominican)PresidentMark E. We…

Non-profit contemporary art gallery in Texas, United StatesArtpaceEstablished1995 (1995)LocationSan Antonio, Texas, United StatesTypeNon-profit contemporary art galleryFounderLinda PaceDirectorRiley Robinson[1]Websiteartpace.org Artpace (also known as Artpace San Antonio) is a non-profit contemporary art foundation located in downtown San Antonio, Texas that is free and open to the public.[2] Founded by artist, collector, and philanthropist Linda Pace,[3][4]&…

Cambodian politician In this Cambodian name, the surname is Prak. In accordance with Cambodian custom, this person should be referred to by the given name, Sokhonn. His ExcellencyPrak SokhonnPCប្រាក់ សុខុនSokhonn’s portrait, 2018First Vice President of the SenateIncumbentAssumed office 3 April 2024PresidentHun SenPreceded bySim KaDeputy Prime Minister of CambodiaIn office6 September 2018 – 22 August 2023Prime MinisterHun SenMinister of Foreign Affairs and I…

Berikut adalah daftar subwilayah di skema geografi Perserikatan Bangsa-Bangsa untuk Eropa.[1]Subwilayah skema geografi PBB untuk Eropa:   Eropa Utara   Eropa Barat   Eropa Timur   Eropa Selatan Eropa Timur Artikel utama: Eropa Timur Belarus Bulgaria Republik Ceko Hungaria Moldova Polandia Rumania Rusia Slowakia Ukraina Eropa Utara Artikel utama: Eropa Utara Kepulauan Åland Denmark Estonia Kepulauan Faroe Finlandia Guernsey Islandia Irlandia Pulau …

Election in Washington Main article: 2008 United States presidential election2008 United States presidential election in Washington (state) ← 2004 November 4, 2008 2012 → Turnout84.61% (of registered voters) 2.56%[1]   Nominee Barack Obama John McCain Party Democratic Republican Home state Illinois Arizona Running mate Joe Biden Sarah Palin Electoral vote 11 0 Popular vote 1,750,848 1,229,216 Percentage 57.34% 40.26% County Results Congressi…

Not to be confused with Ærø. This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Årø Denmark – news · newspapers · books · scholar · JSTOR (February 2024…

 AG14 Stasiun LRT Pandan JayaStasiun Angkutan cepat Rute Sentul Timur-AmpangPemandangan luar Stasiun Pandan Jaya, ke arah selatan.LokasiJalan Pandan 3/8 and Jalan Pandan Indah, Pandan Jaya, Ampang Jaya, Selangor,Malaysia.Koordinat3°7′48″N 101°44′19″E / 3.13000°N 101.73861°E / 3.13000; 101.73861PemilikSyarikat Prasarana Negara (2002 hingga kini); diurus oleh RapidKL.JalurLaluan Ampang (Sentul Timur-Ampang) (1996 hingga kini)Jumlah peron2 platform sisi…

Laurentius Petriarcivescovo della Chiesa di Svezia Incarichi ricopertiArcivescovo di Uppsala  Nato1499 a Örebro Consacrato arcivescovo1531 Deceduto26 ottobre 1573 a Uppsala   Manuale Laurentius Petri Nericius[1] (Örebro, 1499 – Uppsala, 26 ottobre 1573) è stato un arcivescovo luterano svedese, arcivescovo di Uppsala dal 1531 al 1573. Lui e il fratello Olaus Petri sono, assieme con il re svedese Gustav Vasa, considerati i principali promotori della riforma luterana in …

artikel ini tidak memiliki pranala ke artikel lain. Tidak ada alasan yang diberikan. Bantu kami untuk mengembangkannya dengan memberikan pranala ke artikel lain secukupnya. (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini) Israel Aircraft Industries Kfir ( Ibrani: כְּפִיר, Lion Cub) adalah pesawat tempur multirole Israel segala cuaca, berdasarkan dimodifikasi badan pesawat Dassault Mirage 5 Prancis, dengan avionik Israel dan versi buatan Israel dari mesin turbojet Genera…

† Человек прямоходящий Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:СинапсидыКл…

The Right HonourableSir Lester BirdKNH Perdana Menteri Antigua dan Barbuda ke–2Masa jabatan9 Maret 1994 – 24 Agustus 2004Penguasa monarkiElizabeth IIGubernur JenderalJames CarlislePendahuluVere BirdPenggantiBaldwin Spencer Informasi pribadiLahir(1938-02-21)21 Februari 1938New York, New York, Amerika SerikatMeninggal9 Agustus 2021(2021-08-09) (umur 83)AntiguaPartai politikBuruhAlma materUniversitas MichiganKarier olahraga Rekam medali Atletik Mewakili  Hindia Barat Brit…

Sebuah astrolabe Persia abad ke-18, disimpan di Museum Sejarah Ilmu Pengetahuan Whipple di Cambridge, Inggris. Astronomi Islami meliputi perkembangan astronomi yang terjadi di dunia Islam, yang sebagian besar terjadi pada Zaman Keemasan Islam (abad ke-8 sampai abad ke-15),[1] dan kebanyakan ditulis dalam bahasa Arab. Perkembangan tersebut sebagian besar terjadi di Timur Tengah, Asia Tengah, Al-Andalus, dan Afrika Utara, dan kemudian di Timur Jauh dan India.[2] Astronomi Islam kem…

American actor Arnold KentGilbert Roland, Norma Talmadge, and Arnold Kent in The Woman Disputed (1928)BornLido Manetti(1899-01-21)21 January 1899Sesto Fiorentino, Tuscany, ItalyDied29 September 1928(1928-09-29) (aged 29) from a car accident.Los Angeles, California United StatesOccupationActorYears active1917–1928 (film) Arnold Kent (1899 – 1928) was an Italian-born American actor. He was born in Sesto Fiorentino as Lido Manetti and acted under that name in Italy, appearing in films…

Biomedical and pharmacological database EMCare redirects here. For the medical provider, see EmCare. This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article may contain excessive or inappropriate references to self-published sources. Please help improve it by removing references to unreliable sources where they are used inappropriately. (August 2011) (Learn how and when to remove this m…

Kembali kehalaman sebelumnya