Sten Lindström

Sten Lindström. Associate professor of philosophy ("Universitetslektor") at Umea University, Sweden. BA 1969 at Uppsala University (philosophy, mathematics, and statistics), Ph. D in philosophy 1981 at Stanford University, docent 1990 in theoretical philosophy at Uppsala University.

Employment:
Half-time Research Assistant at the Institute for Mathematical Studies in the Social Sciences (IMSSS), Stanford University, 1977-79. Before coming to Umea in 1991 he taught at the universities of Uppsala (1981-90) and Lund (1990-91). Research Fellow at the Swedish Collegium for Advanced Studies in the Social Sciences (SCASSS), September 1996 - February 1997. During the current academic year, acting Professor of philosophy of science at Umea University.

Research interests
Lindstrom's research interests are in philosophical logic and the philosophy of language. His dissertation Formal Languages and Intension al Semantics concerns the logical and semantical treatment of so-called referentially opaque constructions, i.e., constructions that occur in natural language and for which certain substitution principles of classical logic seem to fail. Two methods of analyzing opaque constructions are studied and compared: one that goes back to Gottlob Frege and Alonzo Church and one that has its roots in the logical theories of Bertrand Russell. Lindstrom's later publications are mainly concerned with two areas of research. Firstly, he has continued to work in the area of intensional logic and the philosophy of language. In this connection he has written on such topics as Russellian type theory, situation semantics, the so-called knowability paradox of Frederick Fitch, and the role of Stig Kanger in the development of model-theoretic semantics for modal logic. Secondly, he has pursued work on belief revision and nonmonotonic reasoning. Together with Wlodek Rabinowicz he has developed a generalization of the standard Alchourran- Grdenfors-Makinson (AGM) modeling of belief revision an d written on the so-called Ramsey test for conditional statements. He has also worked on a general semantic framework for nonmonotonic logics based on selection functions. Lindstrom is presently participating in a Research project on Dynamic Doxastic Logic together with Krister Segerberg (Uppsala) and Wlodek Rabinowicz (Lund). Dynamic Doxastic Logic (DDL) is a dynamic logic for belief change developed by Segerberg. The purpose of the project is to develop DDL further and to use it as a framework for representing various theories of nonmonotonic reasoning and belief change.

Selected list of publications
1. Formal Languages and Intensional Semantics (doctoral dissertation), University Microfilms International, Ann Arbor, Michigan, 1981.
2. "A Semantic Analysis of Russellian Simple Type Theory". In Needham, P. and Odelstad, J. (eds.), Changing Positions, Essays Dedicated to Lars Lindahl on the occasion of his Fiftieth Birthday, Uppsala 1986.
3. "On Probabilistic Representation of Non-Probabilistic Belief Revision", together with Wlodzimierz Rabinowicz, Journal of Philosophical Logic 18 (1989), 69-101.
4. "Epistemic Entrenchment with Incomparabilities and Relational Belief Revision", together with Wlodzimierz Rabinowicz, 1991, in Fuhrmann/ Morreau (eds.) The Logic of Theory Change, Workshop, Konstanz, FRG, October 1989 Proceedings. Lecture Notes in Artificial Intelligence 465, Springer Verlag.
5. "Critical Study: Jon Barwise and John Perry, Situations and Attitudes" NoFBs, vol. XXV, number 5, December 1991, 743-770.
6. "Belief Revision, Epistemic Conditionals and the Ramsey Test", together with Wlodzimierz Rabinowicz, Synthese 91:195-237, 1992.
7. Rabinowicz, W. and Lindstrom, S., "How to Model Relational Belief Revision", in D.Prawitz and D.Westerstahl (eds.), Logic and Philosophy of Science in Uppsala, Kluwer, 1994, pp. 69-84.
8. "A Semantic Approach to Nonmonotonic Reasoning: Inference Operations and Choice", Uppsala Prints and Preprints in Philosophy, 1994, no 10.
9. "The Ramsey test revisited", together with Wlodzimierz Rabinowicz. Theoria 58, pp. 131-182. Revised version in Crocco, Farinas del Serro, and Herzig (eds.) Conditionals from Philosophy to Computer Science, pp. 157-202, Oxford University Press, 1995.
10. "The Ramsey Test and the Indexicality of Conditionals - A Proposed Resolution of Gardenfors' Paradox", in Fuhrmann & Rott (eds.), Logic, Action and Information; Essays on Logic in Philosophy and Artificial Intelligence, de Gruyter, Berlin-New York 1996.
11. "Modality without Worlds: Kanger's Early Semantics for Modal Logic" , in Lindstrom, Sliwinski, Segerberg (eds.): Odds and Ends: Philosophical Essays dedicated to Wlodek Rabinowicz on the occasion of his fiftieth birth day, Uppsala Philosophical Studies 45, Uppsala 1996.
12. "Situations, Truth and Knowability - A Situation-Theoretic Analysis of a Paradox by Fitch". In E. Ejerhedoch S. Lindstrom (eds.) Logic, Act ion and Cognition: Essays in Philosophical Logic, Kluwer 1997.
13. "Extending Dynamic Doxastic Logic: Accommodating Iterated Beliefs a nd Ramsey Conditionals within DDL", together with Wlodzimierz Rabinowicz, in Needham, Sliwinski, Segerberg (eds.): For Good Measure: Philosophical Essays Dedicated to Jan Odelstad on the occasion of his fiftieth birthday, Uppsala Philosophical Studies 46, Uppsala 1997.
14. "An Exposition and Development of Kanger's Early Semantics for Modal Logic" To appear in Fetzer and Humphreys (eds.), The New Theory of Reference. Kluwer, 1998.