Très courte enquête sur l'extension non-triviale de la logique de propositions à la logique du premier et deuxième ordre - Archive ouverte en Histoire etPhilosophie des Sciences et des Techniques Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2012

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.

Mots clés

Dates et versions

hal-00785577 , version 1 (06-02-2013)

Identifiants

Citer

Hector Zenil. Très courte enquête sur l'extension non-triviale de la logique de propositions à la logique du premier et deuxième ordre. 2012. ⟨hal-00785577⟩
117 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More