Logic 2 : Logic
[ LFILO1250 ]
5.0 crédits ECTS
45.0 h + 15.0 h
2q
| Teacher(s) |
Crabbé Marcel ;
|
| Language |
French
|
Place
of the course |
Louvain-la-Neuve
|
| Main themes |
To define firstly the intuitive concepts of logical law and valid reasoning with the help of the concepts of sentence, model and truth.
Then to approach them by proff theory.
Finally, to show that these two approaches are equivalent as for the result.
|
| Aims |
The student will have to master some of the basic notions of logic: extension and "intension" of a concept, truth of a judgement, logical law and contradiction, correcteness of a reasoning. He will also have to acquire a practice of some techniques which allow to apply thes concepts, like those which establish the validity of a reasoning.
|
| Evaluation methods |
The final mark is awarded on the basis of the results from volume 1 (course) and volume 2 (exercises) in the following way :
Where one or both parts have been failed, the global mark is the weaker of the two.
Where both parts have been passed, the global mark is calculated according to an 80 (vol.1) / 20 (vol.2) weighting.
|
| Content |
Logic is the part of philosophy which studies the notions of concept, judgement and reasoning, as well as the properties associated with them, such as truth and necessity.
The course starts by trying to elucidate the concepts of truth of a judgement and of validity of a reasoning in a semantic way, by reducing them to those of model, sentence and truth.
An examination of the Liar's paradox, to which one adopts the so called "orthodox'' solution, will compel to distinguish language and metalanguage. With this proviso, the definitions of the basic concepts will be explicitly given within the framework of propositional and predicative languages.
It also develops a proof-theoretic approach of the reasoning by studying firstly Gentzen's sequent calculus, again for propositional and predicative languages and, secondly, the concept of axiomatic system. Some of the fundamental results belonging to the folklore of 20th century logic will be stated and explained; e.g. completeness, compactness and Löwenheim-Skolem theorem.
|
Cycle et année
d'étude |
> Bachelor in Philosophy
> Preparatory Year for Master in Philosophy
> Preparatory Year for Master in Ethics
|
Faculty or entity
in charge |
> EFIL
|
<<< Page précédente
|
