Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Jon_Barwise> ?p ?o. }
Showing items 1 to 80 of
80
with 100 items per page.
- Jon_Barwise abstract "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.Born in Independence, Missouri to Kenneth T. and Evelyn, he was a precocious child.A pupil of Solomon Feferman at Stanford University, Barwise started his research in infinitary logic. After positions as assistant professor at the Universities of Yale and Wisconsin, during which time his interests turned to natural language, he returned to Stanford in 1983 to direct the Center for the Study of Language and Information. He began teaching at Indiana University in 1990. He was elected a Fellow of the American Academy of Arts and Sciences in 1999.Barwise contended that, by being explicit about the context in which a proposition is made, the situation, many problems in the application of logic can be eliminated. He sought ... to understand meaning and inference within a general theory of information, one that takes us outside the realm of sentences and relations between sentences of any language, natural or formal. In particular, he claimed that such an approach resolved the liar paradox. He made use of Peter Aczel's non-well-founded set theory in understanding "vicious circles" of reasoning.Barwise, along with his former colleague at Stanford John Etchemendy, was the author of the popular logic textbook Language, Proof and Logic. Unlike the Handbook which was a survey of the state of the art of Mathematical Logic c. 1975, this work targeted elementary logic. The text is notable for including computer-aided homework problems, some of which provide visual representations of logical problems. During his time at Stanford, he was also the first Director of the Symbolic Systems Program, an interdepartmental degree program focusing on the relationships between cognition, language, logic, and computation. The K. Jon Barwise Award for Distinguished Contributions to the Symbolic Systems Program has been given periodically since 2001.".
- Jon_Barwise birthDate "1942-06-29".
- Jon_Barwise birthYear "1942".
- Jon_Barwise deathDate "2000-03-05".
- Jon_Barwise deathYear "2000".
- Jon_Barwise viafId "34471625".
- Jon_Barwise wikiPageExternalLink 0604-004.ps.
- Jon_Barwise wikiPageID "912858".
- Jon_Barwise wikiPageRevisionID "579169556".
- Jon_Barwise dateOfBirth "1942-06-29".
- Jon_Barwise dateOfDeath "2000-03-05".
- Jon_Barwise hasPhotoCollection Jon_Barwise.
- Jon_Barwise id "9274".
- Jon_Barwise name "Barwise, Jon".
- Jon_Barwise placeOfBirth "Independence, Missouri".
- Jon_Barwise placeOfDeath "Bloomington, Indiana".
- Jon_Barwise shortDescription "American logician".
- Jon_Barwise title "K. Jon Barwise".
- Jon_Barwise description "American logician".
- Jon_Barwise description "American logician".
- Jon_Barwise subject Category:1942_births.
- Jon_Barwise subject Category:2000_deaths.
- Jon_Barwise subject Category:American_logicians.
- Jon_Barwise subject Category:Deaths_from_colorectal_cancer.
- Jon_Barwise subject Category:Fellows_of_the_American_Academy_of_Arts_and_Sciences.
- Jon_Barwise subject Category:Indiana_University_faculty.
- Jon_Barwise subject Category:Mathematical_logicians.
- Jon_Barwise subject Category:People_from_Independence,_Missouri.
- Jon_Barwise subject Category:Stanford_University_alumni.
- Jon_Barwise subject Category:University_of_Wisconsin–Madison_faculty.
- Jon_Barwise subject Category:Yale_University_faculty.
- Jon_Barwise type Alumnus109786338.
- Jon_Barwise type AmericanLogicians.
- Jon_Barwise type Associate109816771.
- Jon_Barwise type CausalAgent100007347.
- Jon_Barwise type Colleague109935990.
- Jon_Barwise type Expert109617867.
- Jon_Barwise type FellowsOfTheAmericanAcademyOfArtsAndSciences.
- Jon_Barwise type Intellectual109621545.
- Jon_Barwise type LivingThing100004258.
- Jon_Barwise type Logician110269785.
- Jon_Barwise type MathematicalLogicians.
- Jon_Barwise type Object100002684.
- Jon_Barwise type Organism100004475.
- Jon_Barwise type Peer109626238.
- Jon_Barwise type PeopleFromIndependence,Missouri.
- Jon_Barwise type Person100007846.
- Jon_Barwise type PhysicalEntity100001930.
- Jon_Barwise type Scholar110557854.
- Jon_Barwise type StanfordUniversityAlumni.
- Jon_Barwise type Whole100003553.
- Jon_Barwise type YagoLegalActor.
- Jon_Barwise type YagoLegalActorGeo.
- Jon_Barwise type Agent.
- Jon_Barwise type Person.
- Jon_Barwise type Person.
- Jon_Barwise type Q215627.
- Jon_Barwise type Q5.
- Jon_Barwise type Agent.
- Jon_Barwise type NaturalPerson.
- Jon_Barwise type Thing.
- Jon_Barwise type Person.
- Jon_Barwise comment "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.Born in Independence, Missouri to Kenneth T. and Evelyn, he was a precocious child.A pupil of Solomon Feferman at Stanford University, Barwise started his research in infinitary logic.".
- Jon_Barwise label "Jon Barwise".
- Jon_Barwise label "Jon Barwise".
- Jon_Barwise label "Jon Barwise".
- Jon_Barwise label "Jon Barwise".
- Jon_Barwise sameAs Jon_Barwise.
- Jon_Barwise sameAs Jon_Barwise.
- Jon_Barwise sameAs Jon_Barwise.
- Jon_Barwise sameAs m.03p8s3.
- Jon_Barwise sameAs Q723578.
- Jon_Barwise sameAs Q723578.
- Jon_Barwise sameAs Jon_Barwise.
- Jon_Barwise wasDerivedFrom Jon_Barwise?oldid=579169556.
- Jon_Barwise givenName "Jon".
- Jon_Barwise isPrimaryTopicOf Jon_Barwise.
- Jon_Barwise name "Barwise, Jon".
- Jon_Barwise name "Jon Barwise".
- Jon_Barwise surname "Barwise".