Jon Barwise - Jon Barwise

Kenneth Jon Barwise ( / b ɑːr w z / 29; Juin, 1942-5 Mars, 2000) était un Américain mathématicien , philosophe et logicien qui a proposé des révisions fondamentales à la façon dont la logique est comprise et utilisée.

Éducation et carrière

Né à Independence, Missouri de Kenneth T. et Evelyn Barwise, Jon était un enfant précoce.

Élève de Solomon Feferman à l'Université de Stanford , Barwise a commencé ses recherches en logique infinitaire . Après des postes de professeur assistant à l'Université de Yale et à l'Université du Wisconsin , période au cours de laquelle ses intérêts se sont tournés vers le langage naturel , il est retourné à Stanford en 1983 pour diriger le Center for the Study of Language and Information . Il a commencé à enseigner à l'Université de l'Indiana en 1990. Il a été élu membre de l' Académie américaine des arts et des sciences en 1999.

Travail philosophique et logique

Barwise a soutenu qu'en étant explicite sur le contexte dans lequel une proposition est faite, la situation , de nombreux problèmes dans l'application de la logique peuvent être éliminés. Il cherchait ... à comprendre le sens et l'inférence au sein d'une théorie générale de l'information, une théorie qui nous emmène hors du domaine des phrases et des relations entre les phrases de n'importe quel langage, naturel ou formel. En particulier, il a affirmé qu'une telle approche résolvait le paradoxe du menteur . Il fait usage de Peter Aczel de la théorie des ensembles non fondée dans la compréhension de « cercle vicieux » de raisonnement.

Barwise, avec son ancien collègue à Stanford John Etchemendy , était l'auteur du manuel de logique populaire Language, Proof and Logic . Contrairement au Handbook of Mathematical Logic , qui était une étude de l'état de l'art de la logique mathématique vers 1975, et dont il était l'éditeur, cet ouvrage ciblait la logique élémentaire. Le texte est remarquable pour inclure des problèmes de devoirs assistés par ordinateur, dont certains fournissent des représentations visuelles de problèmes logiques. Pendant son séjour à Stanford, il a également été le premier directeur du programme de systèmes symboliques , un programme d'études interdépartemental axé sur les relations entre la cognition, le langage, la logique et le calcul. Le K. Jon Barwise Award for Distinguished Contributions to the Symbolic Systems Program est décerné périodiquement depuis 2001.

Publications sélectionnées

  • Barwise, KJ (1975) Ensembles et structures admissibles. Une approche de la théorie de la définissabilité ISBN  0-387-07451-1
  • Barwise, KJ & Perry, John (1983) Situations et attitudes . Cambridge : MIT Press. ISBN  1-57586-193-3
  • Barwise, KJ & Etchemendy, J. (1987) The Liar: An Essay in Truth and Circularity ISBN  0-19-505944-1
  • Barwise, KJ (1988) La situation en logique ISBN  0-937073-32-6
  • Barwise, KJ & Moss, L. (1996) Cercles vicieux. Sur les mathématiques des phénomènes non fondés ISBN  1-57586-008-2
  • Barwise, K, J. & Seligman, J. (1997) Flux d'informations : la logique des systèmes distribués ISBN  0-521-58386-1
  • Barwise, KJ & Etchemendy, J. (2002) Langage, preuve et logique ISBN  1-57586-374-X
  • Barwise, KJ Editor (1977) Manuel de logique mathématique . xi+1165 pages ISBN  0-7204-2285-X
  • Barwise, J. & Feferman, S. Editors (1985) Logiques théoriques modèles . x+893 pages ISBN  0-387-90936-2

Voir également

Les références

Liens externes