La subordination logique

Parmi les difficultes que pose l'application des outils de la logique formelle au raisonnement ordinaire, celle de l'analyse du nom, et en particulier de ses formes complexes, revet une importance essentielle. S'opposant a la demarche classique de la theorie des descriptions qui conduit a disqualifier toute procedure de nomination au profit des seules operations propositionnelles et predicatives, l'auteur de cette etude montre qu'un outillage logique enrichi d'operateurs nominaux permet de rendre aux diverses formes de la nomination une place centrale au sein des theories extensionnelles. Redige dans un style clair, evitant l'exces de technicite, l'ouvrage presente une solution originale qui prend pour guide l'analyse d'une forme particuliere de l'usage ordinaire: la subordonnee relative. Sur la base de la theorie des categories semantiques et dans le cadre d'une logique encore par trop meconnue - l'Ontologie de S. Lesniewski -, l'auteur developpe un symbolisme qui, enrichi d'operateurs de subordination, fait de la logique un outil plus riche et plus souple, tout en conservant les qualites calculatoires d'une theorie extensionnelle.