Mathematician:Kenneth Jon Barwise

Mathematician

American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used.

Nationality

American

History

• Born: June 29, 1942 in Independence, Missouri
• Died: March 5, 2000

Theorems and Definitions

• Barwise Compactness Theorem

Results named for Kenneth Jon Barwise can be found here.

Publications

• 1975: Admissible Sets and Structures. An Approach to Definability Theory
• 1983: Situations and Attitudes (with John Perry)
• 1987: The Liar: An Essay in Truth and Circularity (with J. Etchemendy)
• 1988: The Situation in Logic
• 1996: Vicious Circles. On the Mathematics of Non-Wellfounded Phenomena (with L. Moss)
• 1997: Information Flow: the Logic of Distributed Systems (with J. Seligman)
• 2002: Language, Proof and Logic (with J. Etchemendy)

As editor

• 1977: Handbook of Mathematical Logic
• 1985: Model-Theoretic Logics (with S. Feferman)

Also known as

Usually known as Jon Barwise.