5,960
edits
Tratado lógico-filosófico: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 1,041: | Line 1,041: | ||
{{parTLP|4.27<!-- template:parTLP -->}} | {{parTLP|4.27<!-- template:parTLP -->}} | ||
Respecto al darse y no darse de ''n'' estados de las cosas, hay | Respecto al darse y no darse de ''n'' estados de las cosas, hay <math>K_n = \sum_{v=0}^n \binom{n}{v}</math> posibilidades. | ||
Pueden darse todas las combinaciones de los estados de las cosas, los otros no se dan. | Pueden darse todas las combinaciones de los estados de las cosas, los otros no se dan. | ||
| Line 1,129: | Line 1,127: | ||
{{parTLP|4.411<!-- template:parTLP -->}} | {{parTLP|4.411<!-- template:parTLP -->}} | ||
Es probable desde el comienzo que la introducción de proposiciones elementales sea fundamental para el entendimiento de todos los otros tipos de proposiciones. En efecto, el entendimiento de las proposiciones generales depende {{spaced text|sensiblemente<!-- template:spaced text -->}} del de las proposiciones elementales. | Es probable desde el comienzo que la introducción de proposiciones elementales sea fundamental para el entendimiento de todos los otros tipos de proposiciones. En efecto, el entendimiento de las proposiciones generales depende {{spaced text|sensiblemente<!-- template:spaced text -->}} del de las proposiciones elementales. | ||
{{parTLP|4.42<!-- template:parTLP -->}} | {{parTLP|4.42<!-- template:parTLP -->}} | ||
Respecto a la concordancia y no concordancia de una proposición con las posibilidades de verdad de ''n'' proposiciones elementales hay | Respecto a la concordancia y no concordancia de una proposición con las posibilidades de verdad de ''n'' proposiciones elementales hay <math>\sum_{k=0}^{K_n} \binom{K_n}{k} = L_n</math> posibilidades. | ||
{{parTLP|4.43<!-- template:parTLP -->}} | {{parTLP|4.43<!-- template:parTLP -->}} | ||
| Line 1,185: | Line 1,179: | ||
un signo proposicional. | un signo proposicional. | ||
La «raya de juicio» de Frege | La «raya de juicio» de Frege «<math>\vdash</math>» carece por completo lógicamente de sentido, solo muestra en Frege (y Russell) que estos autores tienen las proposiciones así señaladas por verdaderas. «<math>\vdash</math>» pertenece, por lo tanto, tan poco al armazón proposicional como, por así decirlo, el número de la proposición. Es imposible que una proposición pueda decir de sí misma que es verdadera). | ||
Si está establecido de una vez por todas el orden de las posibilidades de verdad en el esquema mediante una regla de combinación, entonces la última columna es por sí misma ya un término de las condiciones de verdad. Si escribimos esta columna en una fila, entonces el signo proposicional se vuelve: | Si está establecido de una vez por todas el orden de las posibilidades de verdad en el esquema mediante una regla de combinación, entonces la última columna es por sí misma ya un término de las condiciones de verdad. Si escribimos esta columna en una fila, entonces el signo proposicional se vuelve: | ||
| Line 1,715: | Line 1,709: | ||
{{parTLP|5.501<!-- template:parTLP -->}} | {{parTLP|5.501<!-- template:parTLP -->}} | ||
Un término entre paréntesis cuyos miembros son proposiciones, lo denoto – cuando el orden de los miembros entre paréntesis es igualmente válido – mediante un signo de la forma «( | Un término entre paréntesis cuyos miembros son proposiciones, lo denoto – cuando el orden de los miembros entre paréntesis es igualmente válido – mediante un signo de la forma «<math>( \bar{\xi} )</math>». «''ξ''» es una variable cuyos valores son los miembros del término entre paréntesis, y la barra sobre la variable indica que ella representa todos sus valores en los paréntesis. | ||
(Así, si tiene ξ, digamos, los tres valores P, Q, R, entonces es <math>( \bar{\xi} )</math> = (''P'', ''Q'', ''R'')). | |||
Los valores de las variables son establecidos. | Los valores de las variables son establecidos. | ||
| Line 1,730: | Line 1,722: | ||
{{parTLP|5.502<!-- template:parTLP -->}} | {{parTLP|5.502<!-- template:parTLP -->}} | ||
Así pues, escribo, en lugar de «(‒ ‒ ‒ ‒ ‒V)(''ξ'', . . . .)», « | Así pues, escribo, en lugar de «(‒ ‒ ‒ ‒ ‒V)(''ξ'', . . . .)», «<math>N ( \bar{\xi} )</math>». | ||
<math>N ( \bar{\xi} )</math> es la negación de todos los valores de la variable proposicional {{spaced text|ξ<!-- template:spaced text -->}}. | |||
{{parTLP|5.503<!-- template:parTLP -->}} | {{parTLP|5.503<!-- template:parTLP -->}} | ||
| Line 1,738: | Line 1,730: | ||
{{parTLP|5.51<!-- template:parTLP -->}} | {{parTLP|5.51<!-- template:parTLP -->}} | ||
Si | Si ξ tiene solo un valor, entonces es <math>N ( \bar{\xi} )</math> = ~''p'' (no ''p''), si tiene dos valores, entonces es <math>N ( \bar{\xi} )</math> = ~''p .'' ~''q'' (ni ''p'' ni ''q''). | ||
{{parTLP|5.511<!-- template:parTLP -->}} | {{parTLP|5.511<!-- template:parTLP -->}} | ||
| Line 1,773: | Line 1,765: | ||
{{parTLP|5.52<!-- template:parTLP -->}} | {{parTLP|5.52<!-- template:parTLP -->}} | ||
Si son todos valores de ''ξ'' todos los valores de una función ''fx'' para todos los valores de ''x'', entonces será | Si son todos valores de ''ξ'' todos los valores de una función ''fx'' para todos los valores de ''x'', entonces será <math>N ( \bar{\xi} )</math> = ~(∃''x'') . ''fx''. | ||
{{parTLP|5.521<!-- template:parTLP -->}} | {{parTLP|5.521<!-- template:parTLP -->}} | ||
| Line 2,031: | Line 2,023: | ||
{{parTLP|6<!-- template:parTLP -->}} | {{parTLP|6<!-- template:parTLP -->}} | ||
La forma general de la función de verdad es [ | La forma general de la función de verdad es <math>[ \bar{p}, \bar{\xi}, N (\bar{\xi}) ]</math>. | ||
Esta es la forma general de la proposición. | Esta es la forma general de la proposición. | ||
{{parTLP|6.001<!-- template:parTLP -->}} | {{parTLP|6.001<!-- template:parTLP -->}} | ||
Esto no dice nada más que cada proposición es un resultado de la aplicación sucesiva de la operación | Esto no dice nada más que cada proposición es un resultado de la aplicación sucesiva de la operación <math>N (\bar{\xi})</math> a las proposiciones elementales. | ||
{{parTLP|6.002<!-- template:parTLP -->}} | {{parTLP|6.002<!-- template:parTLP -->}} | ||
| Line 2,042: | Line 2,034: | ||
{{parTLP|6.01<!-- template:parTLP -->}} | {{parTLP|6.01<!-- template:parTLP -->}} | ||
La forma general de la operación | La forma general de la operación <math>\Omega ' (\bar{\eta})</math> es, por lo tanto: <math>[\bar{\xi}, N(\bar{\xi})]' (\bar{\eta}) (= [ \bar{\eta}, \bar{\xi}, N (\bar{\xi}) ])</math>. | ||
Esta es la forma más general de la transición de una proposición a otra. | Esta es la forma más general de la transición de una proposición a otra. | ||