Tractatus logico-philosophicus/6

Ludwig Wittgenstein

6. La forme générale de la fonction de vérité est : [p, ξ, N(ξ)]. C'est la forme générale de la proposition.

Tractatus logico-philosophicus

◄  5

7  ►

6. La forme générale de la fonction de vérité est : [p, ξ, N(ξ)]. C'est la forme générale de la proposition.

6.1 Les propositions de la logique sont des tautologies.

6.2 Les mathématiques sont une méthode logique.

Les propositions des mathématiques sont des équations, donc des pseudo-propositions.

6.21 Les propositions des mathématiques n'expriment aucune pensée.

6.22 La logique du monde, que les propositions de la logique montrent dans les tautologies, les mathématiques la montrent dans des équations.

6.23 Si deux expressions sont connectées par le signe de l'égalité, cela signifie qu'elles peuvent être substituées l'une à l'autre. Mais, savoir si c'est bien le cas, cela doit se montrer dans les deux expressions elles-mêmes. Le fait que deux expressions puissent être substituées l'une à l'autre caractérise leur forme logique.

6.24 La méthode des mathématiques, par laquelle s'obtiennent leurs équations, est la méthode de la substitution. Car les équations expriment la substituabilité de deux expressions, et nous procédons d'un certain nombre d'équations à de nouvelles équations, en remplaçant certaines expressions par d'autres, en accord avec les équations correspondantes.

6.3 L'exploration de la logique signifie l'exploration de ce que c'est que d'être soumis à des lois. Et hors de la logique, tout est accident.

6.35 Bien que les points dans notre image soient des figures géométriques, néanmoins la géométrie ne peut évidemment dire quoi que ce soit sur leur forme et leur position particulières. Le réseau, cependant, est purement géométrique; toutes ses propriétés peuvent être données a priori. Des lois telles que le principe de raison suffisante, etc. portent sur le réseau et non sur ce que décrit le réseau.

6.362 Ce qui peut être décrit peut aussi arriver: et ce que la loi de la causalité est censée exclure ne peut même pas être décrit.

6.371 Toute la conception moderne du monde est fondée sur l'illusion que les « lois de la nature » sont des explications de phénomènes naturels.