Description
Ce cours aborde les systèmes logiques qui ont été élaborés pour clarifier certaines questions philosophiques comme les logiques modales et leurs variantes déontiques, temporelles et épistémiques, les logiques affaiblies (intuitionniste, polyvalente) et les autres logiques que les philosophes ont récemment développées.
Cette étude insistera sur les questions de fondements épistémologiques et ontologiques des langages formels étudiés, comme par exemple:
- les interprétations intensionnaliste et extensionnaliste des langages formels;
- l'interprétation des quantificateurs;
- la nature de l'engagement ontologique dans la construction des systèmes formels;
- le statut des mondes possibles;
- l'historicité de la logique, sa fonction dans la construction des sciences empiriques et leur reconstruction épistémologique.
