6.126
On peut calculer si une proposition appartient à la logique en calculant les propriétés logiques du symbole.
Continuer
- 6.1261 En logique, procédure et résultat sont équivalents. (D'où l'absence de surprises.)
- 6.1262 La démonstration en logique n'est qu'un auxiliaire mécanique pour reconnaître plus aisément une…
- 6.1263 Il serait certes par trop remarquable qu'on puisse démontrer *logiquement*, à partir d'autres…
- 6.1264 La proposition pourvue de sens dit quelque chose, et sa démonstration montre qu'il en est comme…
- 6.1265 On peut toujours concevoir la logique de telle sorte que chaque proposition soit sa propre…