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
Connections
In Branch
Source Jon Barwise (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.
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 FoundationProofs Credited: Barwise Compactness Theorem, LeadQuote, Proofs Credited: Barwise Compactness Theorem, Lead
It was stated and proved by Barwise in 1967.
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.