Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen KIRJALLISUUTTA, versio 3 Päivitetty 18.04.2005 KIRJALLISUUTTA 1 Kurssin oheiskirjallisuutena käytetään mm. seuraavia artikkeleita, jotka myös tentitään loppukuulustelun yhteydessä: 1. Copeland, Jack B. 2002, "The Genesis of Possible Worlds Semantics", Journal of Philosophical Logic 31, no. 2, 99 137. (Myös internetissä: ejournals.helsinki.fi) 2 KIRJALLISUUTTA 2 2. Rantala Veikko & Ari Virtanen 1996, Kuka keksikään Kripkesemantiikan?, kirjassa Koskinen, Ismo et al. (toim.), Luonto toisena, toinen luontona. Kirjoituksia Lauri Mehtosen 50-vuotispäivän kunniaksi, Filosofisia tutkimuksia Tampereen yliopistosta 60, Tampere. KIRJALLISUUTTA 3 Aho, Tuomo 1987, Kuvittelemisesta ja sen logiikasta, lisensiaatintutkimus, Filosofian laitos, Helsingin yliopisto. Aho, Tuomo 1994, On the Possibility of Attitude Logic, Acta Philosophica Fennica 57, Helsinki. 3 4 KIRJALLISUUTTA 4 Aho, Tuomo 2003, Propositional Attitudes, teoksessa Haaparanta Leila & Ilkka Niiniluoto (eds.), Analytic Philosophy in Finland, Poznan Studies in the Philosophy of the Sciences and the Humanities Volume 80, 2003, 201 221. (Myös internet-osoitteessa siis koko kirja! http://www.ingentaconnect.com/ content/rodopi/pozs) KIRJALLISUUTTA 5 Aho, Tuomo 2004, Propositionaaisten asenteiden logiikka, internet-osoitteessa <http://mtl.uta.fi/modaalilogiikka/ episteeminen.pdf> Berg Jan 1989, Von Wright on Deontic Logic, teoksessa Schilpp & Hahn (eds.), 1989. 5 6 1
KIRJALLISUUTTA 6 Blackburn, Patrick, Maarten de Rijke & Yde Venema 2001, Modal Logic. Cambridge UP, Cambridge. Copeland, B.J. (ed.) 1996. Logic and Reality: Essays on the Legacy of Arthur Prior. Oxford: Clarendon Press. KIRJALLISUUTTA 7 Copeland, B.Jack 1999, hakusana Arthur Prior, Stanford Encyclopedia of Philosophy, internet-osoitteessa http://plato.stanford.edu/entries/prior/ Copeland, Jack B. 2002, "The Genesis of Possible Worlds Semantics", Journal of Philosophical Logic 31, no. 2, 99 137. (Myös internetissä: ejournals.helsinki.fi) 7 8 KIRJALLISUUTTA 8 Engel Pascal 1991, The Norm of Truth. An Introduction to the Philosophy of Logic, Harvester Wheatsheaf, Hemel Hempstead. KIRJALLISUUTTA 9 Frege Gottlob 1892, Über Sinn und Bedeutung, (Ilmestynyt suomeksi nimellä Mielestä ja merkityksestä teoksessa Raatikainen Panu (toim.) 1997, Ajattelu, kieli, merkitys. Analyyttisen filosofian avainkirjoituksia, Gaudeamus, Helsinki, 41 56.) 9 10 KIRJALLISUUTTA 10 Haack Susan 1978, Philosophy of Logics, Cambridge University Press, Cambridge. Haack Susan 1996, Deviant Logic. Fuzzy Logic: Beyond the Formalism, University of Chicago Press, Chicago. KIRJALLISUUTTA 11 Hilpinen Risto (toim.) 1971, Deontic Logic: Introductory and Systematic Readings, D. Reidel, Dordrecht. Hilpinen R. (toim.) 1981, New Studies in Deontic Logic, D. Reidel, Dordrecht. 11 12 2
KIRJALLISUUTTA 12 Hintikka, Jaakko 1953, Distributive Normal Forms in the Calculus of Predicates, Acta Philosophica Fennica, vol. 6, Helsinki. Hintikka Jaakko 1957a, Quantifiers in deontic logic, Societas Scientarum Fennica, Commentationes, Humanarum Literarum 23, no. 4. Helsinki. KIRJALLISUUTTA 13 Hintikka, Jaakko, 1957b, Modality as Referential Multiplicity, Ajatus 20, 49-64. Hintikka Jaakko 1962, Knowledge and Belief. An Introduction to the Logic of the Two Notions, Cornell University Press, Ithaca NY. 13 14 KIRJALLISUUTTA 14 Hintikka Jaakko 1969, Models for Modalities. Reidel, Dordrecht. Hintikka, Jaakko 1973a, Distributive Normal Forms in First-Order Logic, in Logic, Language-Games and Information. Kantian themes in the Philosophy of Logic, Clarendon Press, Oxford 1973. KIRJALLISUUTTA 15 Hintikka Jaakko 1973b, Time and Necessity. Studies in Aristotle's Theory of Modality, Oxford University Press, Oxford. Hintikka Jaakko 1975, The Intentions of Intentionality and Other New Models for Modalities, Reidel, Dordrecht. 15 16 KIRJALLISUUTTA 16 Hintikka Jaakko 1977, Deonttisen logiikan ongelmia, teoksessa Nyberg (toim.), 1977. KIRJALLISUUTTA 17 Hintikka Jaakko (in collaboration with Unto Remes and Simo Knuuttila) 1977, Aristotle on Modality and Determinism, Acta philosophica Fennica 29, no. 1, Helsinki, distributed by North-Holland, Amsterdam. Hintikka Jaakko 1982, Kieli ja mieli: katsauksia kielifilosofiaan ja merkityksen teoriaan, Helsinki, Otava. 17 18 3
KIRJALLISUUTTA 18 Hintikka, Jaakko 1989, von Wright on Logical Truth and Distributive Normal Forms, in Schilpp, Paul Arthur & Lewis Edwin Hahn (eds.), 1989, The Philosophy of Georg Henrik von Wright, The Library of Living Philosophers XIX, Open Court, la Salle, Illlinois. KIRJALLISUUTTA 19 Hintikka, Jaakko, Filosofian köyhyys ja rikkaus, nykyfilosofian kartoitusta, Art House, Helsinki 2001. Hintikka, Jaakko & Merril B. Hintikka 1989, The Logic of Epistemology and the Epistemology of Logic, Kluwer Academic Publishers, Dordrecht. 19 20 KIRJALLISUUTTA 20 Hintikka, Jaakko & Ilpo Halonen 1998, Epistemic logic, in E. Craig (ed.), Routledge Encyclopedia of Philosophy, Routledge, London. Retrieved April 07, 2005, from <http://www.rep.routledge.com/article /P015> KIRJALLISUUTTA 21 Holm Ruurik 1993, Mahdollisuus ja välttämättömyys: Jaakko Hintikan mallijoukot ja Rudolf Carnapin tilakuvaukset Per Martin-Löfin tyyppiteoriassa, Pääaineen tutkielma teoreettisessa filosofiassa, Helsingin yliopisto. 21 22 KIRJALLISUUTTA 22 Innala Heikki-Pekka 1985, Katsaus temporaaliseen deonttiseen logiikkaan, teoreettisen filosofian pro gradu, Filosofian laitos, Helsinki. Innala Heikki-Pekka 1989, Is Deontic Logic Possible?, dissertation, University of Wellington, Victoria (Eduskunnan kirjastossa). KIRJALLISUUTTA 23 Innala Heikki-Pekka, Veikko Rantala, Ari Virtanen 2004, Deonttisesta logiikasta, oppimateriaali internet-osoitteessa http://mtl.uta.fi/modaalilogiikka/dl.pdf. Juti Riku 2001, Johdatus metafysiikkaan, Yliopistopaino, Helsinki. 23 24 4
KIRJALLISUUTTA 24 Knuuttila Simo (ed.) 1981, Reforging the Great Chain of Being, Reidel, Dordrecht. Knuuttila Simo (ed.) 1988, Modern Modalities. Studies of the History of Modal Theories from Medieval Nominalism to Logical Positivism, Kluwer, Dordrecht. KIRJALLISUUTTA 25 Knuuttila Simo 1993, Modalities in Medieval Philosophy, Routledge, London. Knuuttila Simo 1996, Descartesin käsitys välttämättömyydestä ja mahdollisuudesta, niin & näin 4/1996 s. 18 20. (Myös Internetissä: www.netn.fi -> Jo ilmestyneet.) 25 26 KIRJALLISUUTTA 26 Knuuttila Simo 1998, Järjen ja tunteen kerrostumat, Suomalainen teologinen kirjallisuusseura, Helsinki. Lovejoy Arthur O. 1936, The Great Chain of Being. The Study of an Idea, Cambridge, MA. KIRJALLISUUTTA 27 Lindström Sten 2001, Quine s Interpretation Problem and the Early Development of Possible Worlds Semantics, in Carlson Erik and Rysiek Sliwinski (eds.), Omniumgatherum. Philosophical essays dedicated to Jan Österberg on the occasion of his sixtieth birthday, Uppsala philosophical studies 50, 2001, 187-213. (Myös internet-osoitteessa http://www.umu.se/ philos/personal/lindstrom/sl.quine.pdf) 27 28 KIRJALLISUUTTA 28 Montague, R., 1974, Formal Philosophy: Selected Papers of Richard Montague, Yale University Press, New Haven. KIRJALLISUUTTA 29 Niiniluoto, llkka 1979, Knowing that One Sees, in Saarinen Esa et al. (eds.)1979, Essays in Honour of Jaakko Hintikka, Reidel, Dordrecht. Niiniluoto Ilkka 1980, Luentoja semanttisen informaation teoriasta, Helsingin yliopiston filosofian laitoksen julkaisuja 7/1980. 29 30 5
KIRJALLISUUTTA 30 Niiniluoto, llkka 1982, Remarks on the Logic of Perception, in Niiniluoto, Ilkka & Saarinen, Esa (eds.) 1982, Intensional Logic: Theory and Applications, Acta Philosophica Fennica 35, Helsinki. KIRJALLISUUTTA 31 Niiniluoto, Ilkka 1983, On the Logic of Imagination, in Vexing Questions. An Urnful of Essays in Honour of Veikko Rantala on the Occasion of His Fiftieth Birthday, Reports from the Department of Philosophy 3/1983. Niiniluoto Ilkka 1987, Truthlikeness, D. Reidel Publishing Company, Dordrecht. 31 32 KIRJALLISUUTTA 32 Niiniluoto Ilkka 1999, Filosofia Suomessa, liite teoksessa Nordin Svante 1999, Filosofian historia, Pohjoinen, Oulu, 491-546. Niiniluoto, Ilkka & Saarinen, Esa (eds.) 1982, Intensional Logic: Theory and Applications, Acta Philosophica Fennica 35, Helsinki. KIRJALLISUUTTA 33 Nyberg Tauno (toim.) 1977, Ajatus ja analyysi. WSOY, Porvoo. Prior, Arthur N., 1957, Time and Modality, Oxford University Press, Oxford. Prior, Arthur N., 1967, Past, Present and Future, Clarendon Press, Oxford. 33 34 KIRJALLISUUTTA 34 Prior, Arthur N., 1968. Papers on Time and Tense, Clarendon Press, Oxford. (New Edition, Hasle Per et al. (eds.), Oxford University Press, Oxford 2003.) Prior, Arthur N. 1977, Worlds, Times and Selves. London: Duckworth. (Edited by Fine, K.) KIRJALLISUUTTA 35 Proceedings of a Colloquium on Modal and Many-Valued Logics, Helsinki, 23 26 August, 1962, Acta Philosophica Fennica XVI, 1963. 35 36 6
KIRJALLISUUTTA 36 Rantala Veikko 2003, Possible Worlds, teoksessa Haaparanta Leila & Ilkka Niiniluoto (eds.), Analytic Philosophy in Finland, Poznan Studies in the Philosophy of the Sciences and the Humanities Volume 80, 2003, 179 199. (Myös internet-osoitteessa siis koko kirja! http://www.ingentaconnect.com/ content/rodopi/pozs) KIRJALLISUUTTA 37 Rantala Veikko & Ari Virtanen 1996, Kuka keksikään Kripke-semantiikan?, kirjassa Koskinen, Ismo et al. (toim.), Luonto toisena, toinen luontona. Kirjoituksia Lauri Mehtosen 50- vuotispäivän kunniaksi, Filosofisia tutkimuksia Tampereen yliopistosta 60, Tampere. 37 38 KIRJALLISUUTTA 38 Rantala Veikko & Ari Virtanen 2004, Johdatus modaalilogiikkaan, Gaudeamus, Helsinki. Read Stephen 1994, Thinking about Logic. An Introduction to the Philosophy of Logic, Oxford University Press, Oxford New York. KIRJALLISUUTTA 39 Saarinen Esa et al. (eds.)1979, Essays in Honour of Jaakko Hintikka, Reidel, Dordrecht. Schilpp, Paul Arthur & Lewis Edwin Hahn (eds.), 1989, The Philosophy of Georg Henrik von Wright, The Library of Living Philosophers XIX, Open Court, la Salle, Illlinois. 39 40 KIRJALLISUUTTA 40 Schurz, Gerhard 1997, The Is-Ought Problem. An Investigation in Philosophical Logic, Kluwer Academic Publishers, Dordrecht. Fine, Kit & Gerhard Schurz, Transfer Theorems for Multimodal Logics, in Jack Copeland (ed.) 1996, Logic and Reality. Essays on the Legacy of Arthur Prior, Clarendon Press, Oxford.) KIRJALLISUUTTA 41 Svoboda Vladimir 2003, Forms of Norms and Validity, teoksessa Haaparanta Leila & Ilkka Niiniluoto (eds.), Analytic Philosophy in Finland, Poznan Studies in the Philosophy of the Sciences and the Humanities Volume 80, 2003, 223 247. (Myös internet-osoitteessa siis koko kirja! http://www.ingentaconnect.com/ content/rodopi/pozs) 41 42 7
KIRJALLISUUTTA 42 Thesleff, Holger ja Juha Sihvola 1994, Antiikin filosofia ja aatemaailma, WSOY, Porvoo Helsinki Juva. KIRJALLISUUTTA 43 Tulenheimo, Tero 2004a, Independence- Friendly Modal Logic. Studies in its Expressive Power and Theoretical Relevance, Helsinki. Tulenheimo, Tero 2004b, Aikalogiikan alkeita, internet-osoitteessa http://mtl.uta.fi/opetus/modaalilogiikka /kev2004/aikalogiikka.pdf 43 44 KIRJALLISUUTTA 44 van Benthem, J. F. A. K. 1977, "Tense Logic and Standard Logic, Logique et Analyse 80, 395 437. van Benthem, J. F. A. K. 1982, The Logic of Time, Reidel, Dordrecht. van Benthem, Johan 1984, "Tense Logic and Time, Notre Dame Journal of Formal Logic 25, 1. KIRJALLISUUTTA 45 Wittgenstein Ludwig 1971, Tractatus Logico-Philosophicus eli loogisfilosofinen tutkielma, suom. Heikki Nyman, WSOY, Helsinki. (Ilmestyi alun perin 1921.) Wittgenstein Ludwig 1977, Muistikirjoja 1914-1916,, WSOY, Helsinki. (Sis. mm. Muistiinpanoja logiikasta v. 1913.) 45 46 KIRJALLISUUTTA 46 Wright, G. H. von, 1951a, Deontic Logic, Mind 60, 1 15. (Ilmestynyt suomeksi nimellä Deonttinen logiikka teoksessa Nyberg (toim.), 1977. Wright, G. H. von, 1951b, An Essay in Modal Logic, North-Holland Puhlishing Company, Amsterdam. KIRJALLISUUTTA 47 von Wright, G. H. 1952, On the Logic of some Axiological and Epistemological Concepts, Ajatus 17. (Tuomo Aho, The Birth of General Modal Logic, MS 2003.) 47 48 8
KIRJALLISUUTTA 48 Wright G. H. von 1968 (2. p.), Logiikka, filosofia ja kieli, Otava, Helsinki. Wright G. H. von 1979, The Master Argument of Diodorus, in Saarinen et al. (eds.) 1979, 297 307. KIRJALLISUUTTA 49 Wright, G. H. von 1963, Norm and Action, Routledge & Kegan Paul, London. Wright, G. H. von 1983, Practical Reason, Philosophical Papers Volume I, Blackwell, Oxford. 49 50 KIRJALLISUUTTA 50 Wright G. H. von 1992, Minervan pöllö, Otava, Helsinki. Wright G. H. von 2002, Elämäni niin kuin sen muistan, Otava, Helsinki. Zalta Edward N. 1988, Intensional Logic and the Metaphysics of Intentionality, MIT Press, Cambridge, MA. 51 9