<- Archives UCL - Programme d'études ->



Formalized logic B [ LFILO2211 ]


5.0 crédits ECTS  30.0 h   2q 

This biannual course is taught on years 2010-2011, 2012-2013, ...

Teacher(s) Crabbé Marcel ;
Language French
Place
of the course
Louvain-la-Neuve
Prerequisites

Basic instruction in logic and philosophy of language.

Main themes

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.

Aims

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.

Content

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.

Cycle et année
d'étude
> Master [60] in Philosophy
> Master [120] in Philosophy
> Master [120] in Linguistics
> Certificat universitaire en philosophie (approfondissement)
Faculty or entity
in charge
> EFIL


<<< Page précédente