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...

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...

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...

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

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...

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)...

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

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

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

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

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...

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

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...

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

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...

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

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

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...

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

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...

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...

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...

(1977), "The incompleteness theorems", in Handbook of Mathematical Logic, Jon Barwise, Ed., North Holland, 1982, ISBN 0-444-86388-5 Barkley Rosser (September...

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

been explored in depth: An abstract model theory system axiomatized by Jon Barwise, a topological/categorical approach based on sketches (sometimes called...