5,953
edits
Tratado lógico-filosófico: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 1,158: | Line 1,158: | ||
Es, por ejemplo, | Es, por ejemplo, | ||
{| class="wikitable" | {| style="margin: 0 auto 0 auto;" | ||
|- | |||
| « | |||
| | |||
{| class="wikitable" style="margin: 0 auto 0 auto; text-align: center;" | |||
|+ | |||
! style="width: 2em |p | |||
! style="width: 2em |q | |||
V | ! style="width: 2em | | ||
V | |- | ||
V | |V||V | ||
|V | |||
|- | |||
|F||V | |||
F | |V | ||
V | |- | ||
V | |V||F | ||
| | |||
|- | |||
|F||F | |||
V | |V | ||
F | |} | ||
| » | |||
|} | |||
F | |||
F | |||
V | |||
} | |||
un signo proposicional. | un signo proposicional. | ||
| Line 1,298: | Line 1,290: | ||
Las funciones de verdad de cada número de proposiciones elementales pueden ser escritas en un esquema del siguiente tipo: | Las funciones de verdad de cada número de proposiciones elementales pueden ser escritas en un esquema del siguiente tipo: | ||
'''''[NB]''''' | |||
A aquellas posibilidades de verdad de sus argumentos de verdad, las cuales confirman la proposición, quiero llamarlas sus {{spaced text|razones de verdad<!-- template:spaced text -->}} [''Wahrheitsgründe'']. | A aquellas posibilidades de verdad de sus argumentos de verdad, las cuales confirman la proposición, quiero llamarlas sus {{spaced text|razones de verdad<!-- template:spaced text -->}} [''Wahrheitsgründe'']. | ||
| Line 1,898: | Line 1,825: | ||
Esto aclara también, que la figura | Esto aclara también, que la figura | ||
[[File:TLP 5.5423.png|250px|center|link=]] | |||
puede verse de dos formas como cubos; todos los fenómenos similares. Pues vemos realmente dos hechos distintos. | puede verse de dos formas como cubos; todos los fenómenos similares. Pues vemos realmente dos hechos distintos. | ||
| Line 2,017: | Line 1,945: | ||
Es decir, el campo visual no tiene, por así decirlo, tal forma: | Es decir, el campo visual no tiene, por así decirlo, tal forma: | ||
[[File:TLP 5.6331.png|250px|center|link=]] | |||
{{parTLP|5.634<!-- template:parTLP -->}} | {{parTLP|5.634<!-- template:parTLP -->}} | ||
| Line 2,129: | Line 2,057: | ||
Para reconocer una tautología como tal, puede uno servirse del siguiente método demostrativo, en los casos en los cuales no ocurre ninguna designación de la generalidad en la tautología: escribo, en lugar de «''p''», «''q''», «''r''», etc. «V''p''F», «V''q''F», «V''r''F», etc. Las combinaciones de verdad las expreso mediante paréntesis, por ejemplo: | Para reconocer una tautología como tal, puede uno servirse del siguiente método demostrativo, en los casos en los cuales no ocurre ninguna designación de la generalidad en la tautología: escribo, en lugar de «''p''», «''q''», «''r''», etc. «V''p''F», «V''q''F», «V''r''F», etc. Las combinaciones de verdad las expreso mediante paréntesis, por ejemplo: | ||
[[File:TLP 6.1203a-it.png|250px|center|link=]] | |||
y la asignación de la verdad o la falsedad de toda la proposición y de las combinaciones de verdad de los argumentos de verdad mediante barras de la siguiente manera: | y la asignación de la verdad o la falsedad de toda la proposición y de las combinaciones de verdad de los argumentos de verdad mediante barras de la siguiente manera: | ||
[[File:TLP 6.1203b-it.png|250px|center|link=]] | |||
Por lo tanto, este signo representaría, por ejemplo, la proposición ''p'' ⊃ ''q''. Ahora quiero investigar, por ejemplo, la proposición ~(''p'' . ~''p'') (ley de la contradicción), si es una tautología. La forma «~''ξ''» es escrita en nuestra notación: | Por lo tanto, este signo representaría, por ejemplo, la proposición ''p'' ⊃ ''q''. Ahora quiero investigar, por ejemplo, la proposición ~(''p'' . ~''p'') (ley de la contradicción), si es una tautología. La forma «~''ξ''» es escrita en nuestra notación: | ||
[[File:TLP 6.1203c-it.png|120px|center|link=]] | |||
la forma «''ξ'' . ''η''» así: | la forma «''ξ'' . ''η''» así: | ||
[[File:TLP 6.1203d-it.png|250px|center|link=]] | |||
Por lo tanto, la proposición ~(''p'' . ~''q'') reza así: | Por lo tanto, la proposición ~(''p'' . ~''q'') reza así: | ||
[[File:TLP 6.1203e-it.png|200px|center|link=]] | |||
Si colocamos aquí, en lugar de «''q''» «''p''», e investigamos la conexión de los V y F más externos con los más internos, entonces resulta que la verdad de la proposición al completo está relacionada con {{spaced text|todas<!-- template:spaced text -->}} las combinaciones de su argumento; su falsedad, con ninguna de sus combinaciones de verdad. | Si colocamos aquí, en lugar de «''q''» «''p''», e investigamos la conexión de los V y F más externos con los más internos, entonces resulta que la verdad de la proposición al completo está relacionada con {{spaced text|todas<!-- template:spaced text -->}} las combinaciones de su argumento; su falsedad, con ninguna de sus combinaciones de verdad. | ||
| Line 2,355: | Line 2,288: | ||
El problema kantiano de la mano derecha e izquierda, que no se pueden superponer, reside ya en plano, ya en el espacio unidimensional donde ambas figuras congruentes ''a'' y ''b'' tampoco pueden ser superpuestas, sin salirse de este espacio. Mano derecha e izquierda son de hecho completamente congruentes. Y que no se puedan superponer, no tiene nada que ver con eso. | El problema kantiano de la mano derecha e izquierda, que no se pueden superponer, reside ya en plano, ya en el espacio unidimensional donde ambas figuras congruentes ''a'' y ''b'' tampoco pueden ser superpuestas, sin salirse de este espacio. Mano derecha e izquierda son de hecho completamente congruentes. Y que no se puedan superponer, no tiene nada que ver con eso. | ||
[[File:TLP 6.36111.png|330px|center|link=]] | |||
El guante derecho se podría poner en la mano izquierda si se le pudiera girar en el espacio tetradimensional. | El guante derecho se podría poner en la mano izquierda si se le pudiera girar en el espacio tetradimensional. | ||