9

Le « probleme fondamental de la theorie des ensembles » (comme disait Mirimanoff) est pose par le paradoxe de Russell relatif aux ensembles. Ce paradoxe montre qua line formule a line variable libre ne correspond pas toujours un ensemble, et le probleme est de faire le depart entre les formules auquelles correspond un ensemble et celles auxquelles n 'en correspond pas. Or la situation avec les propositions en tant qu'objets des attitudes propositionnelles est, sans qu'on s'en soit suffisamment rendu comptejusqu 'id, analogue a ce qu 'elle est pour les ensembles. II existe un certain paradoxe relatif aux propositions, decouvert lui aussi par Russell, et par la suite pratiquement tombe dans I'oubli. Le caractere « hyperintensionnel » (Vexpression est de Cresswell) des propositions russelliennes joue un role essentiel dans la production du paradoxe. Ce paradoxe montre qua un enonce ne correspond pas toujours line proposition; le probleme est alors de faire le depart entre les enonces auxquels correspond line proposition et ceux auxquels n'en correspond pas. C'est le « probleme fondamental de la theorie des propositions ». L'extension de ce paradoxe aux proprietes et aux relations conduit au « probleme fondamental de la logique de la signification ». La litterature contient dejd une solution, dont I'idee remonte a la theorie des types ramifiee de Russell. Mais je privilegie Videe d'une logique non typee de la signification. Je reprends le probleme a zero en m 'inspirant de recherches miennes plus anciennes sur la notion fregeenne de representation (Vertretung). Je propose une formalisation de la logique naive de la signification et des paradoxes hyperintensionnels auxquels elle donne prise. Je demontre que les strategies classiques de resolution des paradoxes extensionnels en theorie des ensembles ne sont pas applicables a la resolution des paradoxes hyperintensionnels en logique de la signification.