Kenneth Jon Barwise (1942ΓÇô2000) was an American mathematician, philosopher, and logician, born in Independence, Missouri. He studied under Solomon Feferman at Stanford and held positions at Yale, the University of Wisconsin, and Indiana University. He introduced situation semantics into logic, arguing that being explicit about the context (the situation) in which a proposition is made eliminates many problems in applying logic. He directed Stanford's Center for the Study of Language and Information and co-authored the textbook Language, Proof and Logic.
Facts
Jon Barwise
Filter Results1 entry
Connections
In Branch
Source Jon Barwise (Wikipedia)
Principal Result
Source Barwise Compactness Theorem (Wikipedia)
Proofs Credited
Source Barwise Compactness Theorem (Wikipedia)
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Source Jon Barwise (Wikipedia)
Sources
1. Jon Barwise (Wikipedia)
Lead section
Kenneth Jon Barwise (; June 29, 1942 - March 5, 2000) was an American mathematician, philosopher, and logician who proposed some fundamental revisions to the way that logic is understood and used.
Opening sentence
Kenneth Jon Barwise (; June 29, 1942
In Branch: Logic and Foundations, Lead paragraph
Kenneth Jon Barwise (; June 29, 1942, March 5, 2000) was an American mathematician, philosopher, and logician who proposed some fundamental revisions to the way that logic is understood and used.
View the SourceBarwise Compactness Theorem (Wikipedia)
Wikimedia FoundationPrincipal Result: Barwise Compactness Theorem, Lead sentence of the article on the result
In mathematical logic, the Barwise compactness theorem, named after Jon Barwise, is a generalization of the usual compactness theorem for first-order logic to a certain class of infinitary languages.
Proofs Credited: Barwise Compactness Theorem, Lead
It was stated and proved by Barwise in 1967.
View the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.