Formalized logic B [ LFILO2211 ]

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.

This year, the course will be devoted to one or more particular topics, to be determined with the students, like formal grammars (Chomsky, Montague, categorial,  dependency, tree-adjoining…), semantic theories (Frege, Russell, situation semantics, Montague and discourse representation theory), modal logic, proof theory and lambda calculus, set theory, non-classical logics  etc.