(2) Consider next an example of an ill-typed variable. Suppose we are interested in the roles played by people in some community; we could not introduce an observable standing for those beauticians who depilate just those people who do not …The introduction of LoAs is often an important step prior to mathematical modelling of the phenomenon under consideration. However, even when that further step is not taken, the introduction of LoAs remains a crucial tool in conceptual anal…
Jon Barwise
mathematician · 2 mentions across 1 reading
In this course
Jon Barwise was a logician and mathematician known for work in formal semantics and situation theory, frameworks that attempt to rigorously model meaning and reference in language. The course readings invoke him in discussions of levels of abstraction (LoAs) and type theory—conceptual tools for avoiding paradoxes and clarifying what can be formally represented in systems modeling cognition and knowledge. His influence appears peripheral here, referenced for methodological precision rather than as a central figure in AI or cybernetics itself.
Mentioned in 1 reading
Appears alongside
People mentioned in the same passages — sorted by co-occurrence weight.
John Etchemendy 2Bertrand Russell 1Brecht 1Hughes 1Pierre Gassendi 1René Descartes 1Carl Craver 1D. Delen 1Gian Maria Greco 1Gianluca Paronitti 1Jeff Sanders 1Jesse F. Hughes 1M. Erraguntla 1Matteo Turilli 1Michael A. Arbib 1P. Benjamin 1Paul Oldfield 1R. Mayer 1Robert C. Richardson 1William Bechtel 1