Logique et infini

Logic and infinite

• Auteur / Autrice : Dominique Lanfranchi
• Direction : Roland Fraïssé
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques pures
• Date : Soutenance en 1990
• Etablissement(s) : Aix-Marseille 1

Résumé

*les objets definis impredicativement ou avec la notion d'infini posent des difficultes pour la logique classique, dite aussi finitaire. Celle-ci est obligee de restreindre son champ d'application, ou de s'aventurer dans l'infini actuel auquel elle est mal adaptee. Une logique plus large avec de nouvelles notions de negation et de contradiction (franchissement de seuil theorique) permettrait de depasser ces difficultes. Cette logique dont les propositions sont des couples de propositions regies par la logique classique, induit un cadre unitaire pour les logiques au plus quadcrivalentes