Très courte enquête sur l'extension non-triviale de la logique de propositions à la logique du premier et deuxième ordre
Résumé
La construction formelle de la logique de second ordre ou calcul de prédicats consiste seulement à ajouter essentiellement de quantificateurs à la logique des propositions. Pourquoi la logique de deuxième ordre ne peut pas se réduire à celle de premier ordre ? Comment démontrer que certains prédicats sont d'ordre supérieur ? Quel type d'ordre corresponde au langage naturel ? Est-ce qu'il y a une position philosophique derrière chaque logique, même pour les logiques classiques? Quelle position pour quelle puissance ? Ce sont des questions qu'on se pose et qu'on esquisse.