Formalized logic A
[ LFILO2210 ]
5.0 crédits ECTS
30.0 h
2q
Ce cours bisannuel est dispensé en 2011-2012, 2013-2014, ...
| Teacher(s) |
Crabbé Marcel ;
|
| Language |
French
|
Place
of the course |
Louvain-la-Neuve
|
| 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 tropics, 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.
|
| Other information |
Prerequisites : Basic instruction in logic and philosophy of language.
|
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
|
