Bonsoir à tous,
Quelque soit le type de logique (pris au sens très général) que l'on souhaite manipuler, sa formalisation doit passer par un autre langage (par le langage naturel ou une table de vérité décrivant l'implication par exemple) qui lui même admet une "logique archaïque" (celle qui est admise avant même de procéder à lecture du formalisme en question) i.e. au moins un modèle d'inférence qui provient des entrailles de notre raisonnement.
Ceci me fait dire que cette logique primitive n'est pas constructible sans l'admettre comme pré-requis.
Y'a-t-il des textes de grands logiciens traitant spécifiquement de cette problématique ?
Merci.
-----
