Logic Summer semester 2013/2014 List of courses (descriptions are below the list): 1. 2. 3. 4. General logic (Grzegorz Malinowski) Logic II (Andrzej Indrzejczak) Many-valued Logics (Grzegorz Malinowski) Paraconsistent Logic (Janusz Ciuciura) 1. Course title General logic Form* T Level of course Undergraduate (bachelor’s) / graduate (master’s) / doctoral degree Year/semester 2013/2014 summer semester ECTS 6 Language of instruction English or French No. of hours 30 Course content Assessment scheme Practical introduction to classical logic as a tool for formal natural language reasoning analysis. Marked paper and/or presentation Lecturer Grzegorz Malinowski Contact gregmal@uni.lodz.pl USOS code Literature Field of study/ programme Malinowski, G, Elements of logic, Fondation Philippe le Hodey, Brussels, 1990. Malinowski, G., Elements de logique, Fondation Philippe le Hodey, Brussels, 1993. Malinowski, G., Logika ogólna, PWN, Warszawa 2010.. Philosophy * L – lecture, T- tutorial, D – discussion class, Lab – laboratory, or other 2. Course title Logic II Form* T Level of course Undergraduate (bachelor’s) / graduate (master’s) / doctoral degree Year/semester 2013/2014 summer semester ECTS 6 Language of instruction English No. of hours 30 Course content Assessment scheme Introduction to the most important nonclassical logics, including: modal and temporal logics, intuitionistic logic, relevamce and conditional logics, multivalued and paraconsistent logics Marked paper and/or presentation Lecturer Andrzej Indrzejczak Contact indrzej@filozof.uni.lodz.pl USOS code Literature G. Priest, Introduction to nonclassical logics. Field of study/ programme Philosophy * L – lecture, T- tutorial, D – discussion class, Lab – laboratory, or other 3. Course title Many-valued Logics Form* T Level of course Undergraduate (bachelor’s) / graduate (master’s) / doctoral degree Year/semester 2013/2014 summer semester ECTS 6 Language of instruction English or French No. of hours 30 Assessment scheme A historically sensitive discussion and analysis of logical manyvaluedness. The importance of many-valuedness for the philosophy and for other scientific and practical activity. Marked paper and/or presentation Lecturer Grzegorz Malinowski Contact gregmal@uni.lodz.pl Course content USOS code Literature Field of study/ programme Malinowski, G., Many-valued logics, Oxford Logic Guides 25, Clarendon Press, Oxford, 1993. Malinowski, G., Many-valued logic and its philosophy, in: Dov M. Gabbay and John Woods (eds), Handbook of the History of Logic, vol. 8 "The Many Valued and Non- monotonic Turn in Logic", North-Holland, Amsterdam, Oxford, 2007, 13 - 94. Malinowski, G., A philosophy of many-valued logic. The third logical value and beyond, Chapter 5 w: S. Lapointe, J. Woleński, M. Marion, W. Miśkiewicz (eds), The Golden Age of Polish Philosophy, Logic, Epistemology, and the Unity of Science 16, Springer, 2009, 81-92. Philosophy * L – lecture, T- tutorial, D – discussion class, Lab – laboratory, or other 4. Course title Paraconsistent logic Form* T Level of course Undergraduate (bachelor’s) / graduate (master’s) / doctoral degree Year/semester 2013/2014 winter semester ECTS 6 Language of instruction English No. of hours 30 Course content The outline programme of the class will cover following topics: I. Paraconsistent Logic (PL) - a general view 1. Philosophical background 2. Formal aparatus of PL 3. First systems of PL (Imaginary Logic by Vasiliev) II. Jaskowski's discursive logic Assessment scheme 1. philosophical background 2. translation function 3. discursive logic nowadays III. PL by N.C.A. da Costa and its philosophical motivations IV. Adaptive logic (theory and application) Marked paper Lecturer Janusz Ciuciura Contact janciu@uni.lodz.pl USOS code Literature Field of study/ programme Jean-Yves Béziau, Walter Carnielli and Dov Gabbay (red.). Handbook of Paraconsistency. London: King's College, 2007 Walter Carnielli, Marcelo E. Coniglio, Joao Marcos, Logics of Formal Inconsistency, w: D. Gabbay, F. Guenthner (red.). Handbook of Philosophical Logic, vol. 14 (wyd.2), Kluwer Academic Publishers, 2007 Philosophy * L – lecture, T- tutorial, D – discussion class, Lab – laboratory, or other