Formalized logic A [ LFILO2210 ]

Basic instruction in logic and philosophy of language.

Each year this course will select a particular theme - for example, theories of grammaticality, meaning, discourse analysis, pragmatics, modal logics, lambda calculus, theory of proof, set theory, non-classical logic, contemporary approaches to ancient logic, etc.

At the end of the course the student should be able to understand the background of current debates in logic
- understood as including the theory of argumentation (rhetoric) and philosophy of language
- and eventually be able to conduct research in one of these areas.

At the end of the course the student should :
- Be able to use certain specific tools for research in logic and philosophy of language ;
- Have a good general grasp of the breadth of contemporary research, and if appropriate, of the history of logic and philosophy of language ; 
- Be able to make use of contributions from other disciplines in philosophical research in logic and philosophy of language.

/

/

/

/

/