Abstract FR:

Repartant des logische untersuchungen de frege, nous posons que la logique est l'etude des propositions, c'est-a-dire l'etude de ce qui est soit vrai soit faux. Notre etude des propositions est fondee sur une methode. Celle-ci est formee de deux regles qui s'enchainent : 1. Formaliser, c'est-a-dire reduire la logique a une logique formelle. En d'autres termes, il s'agit dans un cadre propositionnel fini : 1. 1. De definir un concept de configuration et sur ce, de fonction de verite (sur l'espace - fini - des configurations). 1. 2. De relier ce second concept a celui de proposition en admettant que chaque fonction de verite exprime une proposition. 2. Symboliser, c'est-a-dire transformer cette logique formelle en logique symbolique. En d'autres termes, il s'agit alors : 2. 1. De definir un concept de formule. 2. 2. De relier ce concept a celui de fonction de verite en definissant par recurrence une semantique, a savoir une fonction telle qu'a toute formule correspond une fonction de verite. Une logique fondee sur cette methode comprendra donc une double representation : la premiere sera formelle ; la seconde, symbolique. Nous defendons la these que la question deontique peut etre resolue suivant la methode presentee. Notre logique alethico-deontique est une preuve de cette these. Elle est divisee en deux sections : le cas d'une autorite est d'abord expose, puis celui d'un ensemble fini d'autorite(s). Elle est prefiguree par notre logique alethique, qui emprunte dans une certaine mesure au tractatus logico-philosophicus de wittgenstein.