![]() |
|
|
Lars Svenonius (Fil. Dr., Uppsala University) is Professor of Philosophy. His main area of interest is logic; his published work is all in this area. He is also interested in history of philosophy, especially medieval and ancient philosophy. Svenonius has been teaching logic with the help of a computer program of his own design. Right now he is working (with the help of a grant from the Center for Teaching Excellence) to produce a more powerful version of that program, using Java. Before coming to Maryland, Svenonius had been teaching at Uppsala, Berkeley (visiting), and the University of Chicago. E-mail: lars@umd.edu Representative Publications"Three ways to conceive of functions and relations", Theoria, vol. 53 (1987), pp. 31-58. "On the First Order Logic of Terms," The Journal of Symbolic Logic, Vol. 38 (1973), pp. 177-188. "Theories with Extra Predicates", in J. W. Addison, L. Henkin. A Tarski,(ed.) The Theory of Models, North Holland, 1965, pp. 376-389. "A Theorem on Permutations in Models", Theoria, 1959, pp. 173-178. |