405381, FTE345a Johdatus filosofiseen logiikkaan, Negri, 5 op
Tunniste 405381 Opetuskielet englanti
Nimi FTE345a Johdatus filosofiseen logiikkaan, Negri Lyhenne FTE345a 
Laajuus 5 op  Vastuuyksikkö Teoreettinen filosofia 
Opiskelumuoto Luentokurssi  Arvostelu Yleinen asteikko 
Aika 10.09.2015 -17.12.2015 Lisätietoja  
Opetus suunnattu
Tietoja viimeksi muutettu 11.06.2016

Kuvaus
Kohderyhmä 

Both undergraduate and graduate students.
Prerequisites: An introductory logic course.

 
Tavoite 

Through the course, the student will get an introduction to philosophical logic, its motivations, inferential systems, and main directions of development. The final project option will give the possibility to develop presentation skills.

 
Sisältö 

The course will present the motivations of modal and other philosophical logics, review their semantics and present inferential systems. Whereas the former has been developed systematically since late fifties/early sixties, after the introduction of possible worlds semantics by Kripke, Hintikka, and others, the latter has not had such a strong development, and many fundamental questions have remained unresolved for decades.
The course will proceed to review the basics of proof theory, discuss the limitations of traditional proof systems for philosophical logic and present methods for building inferential systems for a wide variety of modal and non-classical logics, starting from basic systems of normal modal logics and gradually enriching them to include multi-modal and collective modalities.
The proof systems obtained will also be applied for the study of the meta-theory of such logics, covering completeness, decidability, definability, and embedding results.
The course provides background knowledge for possible postgraduate work on the topic.

Planned course coverage:
Review of Hilbert systems, sequent calculus, Kripke semantics.
The deduction theorem in modal logic.
Normal modal logics.
First-order modal logic.
Modal embeddings.
Relevant and other substructural logics.
Provability logics.
Epistemic logic.
Intuitionistic modal logic; Knowability logic; Analysis of epistemic paradoxes.
Systems with collective modalities: distributed and common knowledge.

 
Suoritustavat 

Based on three elements:
Homework assignments (25 %);
Project paper or written exam (65 %);
Participation in class and feedback to presentations (10 %).
(A minimum of 80% attendance is required, together with written justification to absences.)

 
Lisätiedot 

Lectures (Sara Negri) Thursday 10-12: 10.9, 17.9, 1.10, 8.10, 29.10, 5.11, 12.11, 19.11, 26.11, 3.12

Exercises (Lassi Saario) Tuesday 10-12: 15.9, 22.9, 6.10, 27.10, 10.11,  24.11, 1.12

 

Presentations: 10.12

Written exam: 17.12

 
Oppimateriaali ja kirjallisuus 

Handouts and selected readings from research articles and textbooks, including the following:

-Fagin, R., Halpern, J.Y., Moses Y. and Vardi, M. Y. (1995) Reasoning about Knowledge. Cambridge: MIT Press;

-Jaquette, D. (2002) A Companion to Philosophical Logic, Blackwell.

-Meyer, J.-J.Ch and van der Hoek, W. (1995) Epistemic Logic for AI and Computer Science. Cambridge University Press.

-Negri, S. and J. von Plato (2011) Proof Analysis. Cambridge University Press.

-Priest, G. (2008)  An Introduction to Non-Classical Logic, Cambridge University Press.

 

Valitse osiot, joihin haluat ilmoittautua.
Tallenna tiedot sivun alareunan Tallenna -painikkeella.
Ilmoittautuminen
Luentokurssi  Opettaja Aika ja paikka
Lkm.
10/-
Ilm.aika päättynyt
23.06.15 klo 09.00-
09.09.15 klo 23.59
FTE345a Johdatus filosofiseen logiikkaan, Negri Sara Negri
Lassi Saario
10.09.-17.12.15
    to 10.00-12.00 
15.09.-01.12.15
    ti 10.00-12.00 
06.10.15
    ti 10.00-12.00 

Ilmoittautuminen opetukseen ja tentteihin vaatii kirjautumisen WebOodiin.