Logic

advertisement
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
Download