Information om undervisning eller tenter


405381, FTE345a Inledning till filosofisk logik, 5 sp
Kod 405381 Undervisningsspråk engelska
Namn FTE345a Inledning till filosofisk logik Förkortning FTE345a 
Omfattning 5 sp  Ansvarig enhet Teoretisk filosofi 
Undervisningsform Föreläsningskurs  Bedömning Allmän skala 
Tid 10.09.2015 -17.12.2015 Tilläggsuppgifter  
Undervisningen riktar sig till
Uppgifter senast ändrade 11.06.2016

Beskrivning
Målgrupp 

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

 
Mål 

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.

 
Innehåll 

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.

 
Prestationssätt 

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.)

 
Övrig information 

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

 
Studiematerial och litteratur 

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.

 

Välj de delar som du vill anmäla dig till.
Spara uppgifterna med knappen Sparai sidans nedre hörn.
Anmälningstid
Anmälning
Föreläsningskurs  Lärare Tid och plats
Anmälningstid avslutad 23.06.15 klo 09.00-
09.09.15 klo 23.59
Anm. Ångra Antal
10/-
FTE345a Inledning till filosofisk logik 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,  

När du vill anmäla dig till undervisning och tenter måste du logga in i WebOodi.