Kenneth Jon Barwise (/ˈbɑːrwaɪz/; June 29, 1942 – March 5, 2000) was an American mathematician, philosopher and logician who proposed some fundamental...

liar-like statements are ungrounded, and therefore have no truth value. Jon Barwise and John Etchemendy propose that the liar sentence (which they interpret...

In situation theory, situation semantics (pioneered by Jon Barwise and John Perry in the early 1980s) attempts to provide a solid theoretical foundation...

the K. Jon Barwise Award for Distinguished Contributions to the Symbolic Systems Program was created in honor of the late Kenneth Jon Barwise, Professor...

ISBN 978-3-7643-7259-0 pages 20–25 J. Barwise, 1974 "Axioms for abstract model theory" , Annals of Mathematical Logic 7:221–265 Jon Barwise; Solomon Feferman (1985)...

The K. Jon Barwise Prize (known as the Barwise Prize) was established in 2002 by the American Philosophical Association (APA), in conjunction with the...

is known primarily for his work on situation semantics (together with Jon Barwise), reflexivity, indexicality, personal identity, and self-knowledge. John...

Peirce. Later contributions to the field were made by Fred Dretske, Jon Barwise, Brian Cantwell Smith, and others. The Center for the Study of Language...

World is a computer-based introduction to first-order logic written by Jon Barwise and John Etchemendy. It is named after the mathematical logician Alfred...

Augustin Banyaga (b. 1947) Ruth Aaronson Bari (1917–2005) Janet Barnett Jon Barwise (1942–2000) Richard Bellman (1920–1984) Leonid Berlyand (b. 1957) Leah...

influence of the work on situation semantics by philosophers John Perry and Jon Barwise, two of the initial leaders of CSLI. This funding supported operations...

independently formalized similarly by Yu. Schreider's group in Moscow, Jon Barwise & Jerry Seligman in Information Flow, and others. Kneale, William and...

Philosophers John P. Burgess and Brian Skyrms have an Erdős number of 2. Jon Barwise and Joel David Hamkins, both with Erdős number 2, have also contributed...

essay on truth and circularity (1987, 1992), co-authored with the late Jon Barwise, develops a formal account of the liar paradox modelled using a version...

numbers of nonstandard analysis. The hypersets were extensively used by Jon Barwise and John Etchemendy in their 1987 book The Liar, on the liar's paradox...

foundations to situation semantics, and was developed by writers such as Jon Barwise and Keith Devlin in the 1980s. Due to certain foundational problems,...

pp. 223–230 Smoryński, C. (1977). "The incompleteness theorems". In Jon Barwise (ed.). Handbook of mathematical logic. Amsterdam: North-Holland Pub....

and Logic is an educational software package, devised and written by Jon Barwise and John Etchemendy, geared to teaching formal logic through the use...

Articles". Helen Nissenbaum. tech.cornell.edu. Retrieved 26 August 2021. "K. Jon Barwise Prize". American Philosophical Association. Retrieved 20 December 2020...

needed] Belnap became an assistant professor at Yale. He recalled hiring Jon Barwise and John Wallace as research assistants. Pittsburgh University wanted...

thing. This type of argument was dubbed the "slingshot" by philosophers Jon Barwise and John Perry (1981) due to its disarming simplicity. It is usually...

Barcan Marcus (US, 1921–2012) Henk Barendregt (Netherlands, born 1947) Jon Barwise (US, 1942–2000) James Earl Baumgartner (US, 1943–2011) John Lane Bell...

Thesis Truth Adequancy and Truth Maximality for Logics Doctoral advisor Jon Barwise The voice of John Allen Paulos recorded July 2015 at TAM13 Website math...

Logic 4th edition. Wadsworth Publishing. ISBN 9780534145156. pg. 347. Jon Barwise and John Etchemendy, Language proof and logic Second Ed., CSLI Publications...

Handbook of algebra. Vol. 2. Elsevier. pp. 87–89. ISBN 978-0-444-50396-1. Jon Barwise (1989). Handbook of mathematical logic. Elsevier. p. 293. ISBN 978-0-444-86388-1...

sets called reflexive sets by Peter Aczel, although other authors, e.g. Jon Barwise and Lawrence Moss, use the latter term to denote the larger class of...

Martin T. Barlow Michael Barnsley John D. Barrow Tomek Bartoszyński Jon Barwise Serafim Batzoglou Dave Bayer Cristina Bazgan József Beck Edwin F. Beckenbach...

restricted to using the classical quantifiers as leaves. In a 1979 paper, Jon Barwise proposed variations of Hintikka sentences (as the above is sometimes...

sentence," Behavioral and Brain Sciences 13: 655–656. LLL. 1990a, Review of Jon Barwise and John Etchemendy, Turing's World and Tarski's World, Journal of Symbolic...

Diagrams. Cambridge: Cambridge University Press. Gerard Allwein and Jon Barwise (ed.) (1996). Logical Reasoning with Diagrams. Oxford University Press...