Tratado lógico-filosófico: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 1,067: Line 1,067:
Las posibilidades de verdad podemos representarlas mediante esquemas del siguiente tipo («V» significa «verdadero», «F», «falso». Las series de «V» y «F» bajo las series de proposiciones elementales significan en simbolismo fácil de entender sus posibilidades de verdad).
Las posibilidades de verdad podemos representarlas mediante esquemas del siguiente tipo («V» significa «verdadero», «F», «falso». Las series de «V» y «F» bajo las series de proposiciones elementales significan en simbolismo fácil de entender sus posibilidades de verdad).


{| class="wikitable"
{{TLP 4.31 es}}
 
{| class="wikitable"
{{parTLP|p<!-- template:parTLP -->}}
{{parTLP|q<!-- template:parTLP -->}}
{{parTLP|r<!-- template:parTLP -->}}
 
V
V
V
 
F
V
V
 
V
F
V
 
F
F
V
 
F
V
F
 
V
F
F
 
F
F
F
}
 
{| class="wikitable"
{{parTLP|p<!-- template:parTLP -->}}
{{parTLP|q<!-- template:parTLP -->}}
 
V
V
 
F
V
 
V
F
 
F
F
}
 
{| class="wikitable"
{{parTLP|p<!-- template:parTLP -->}}
 
V
 
F
}
}
 
 


{{parTLP|4.4<!-- template:parTLP -->}}  
{{parTLP|4.4<!-- template:parTLP -->}}  
Line 1,385: Line 1,322:
{{parTLP|5.1241<!-- template:parTLP -->}}  
{{parTLP|5.1241<!-- template:parTLP -->}}  
«''p'' . ''q''» es una de las proposiciones, las cuales afirman «''p''» y a la vez una de las proposiciones, las cuales afirman «''q''».
«''p'' . ''q''» es una de las proposiciones, las cuales afirman «''p''» y a la vez una de las proposiciones, las cuales afirman «''q''».


Dos proposiciones son opuestas entre sí, cuando no hay ninguna proposición significativa que las afirme a ambas.
Dos proposiciones son opuestas entre sí, cuando no hay ninguna proposición significativa que las afirme a ambas.


Cada proposición que contradice a otra, la niega.
Cada proposición que contradice a otra, la niega.
Line 1,457: Line 1,392:


{{parTLP|5.151<!-- template:parTLP -->}}  
{{parTLP|5.151<!-- template:parTLP -->}}  
Sea en un esquema como el de arriba en el número 5.101 V<sub>r</sub> el número de «''V''» en la proposición ''r''; ''V''<sub>rs</sub>, el número de aquellas «''V''» en la proposición ''s'' que están en la misma columna con «''V''» de la proposición ''r''. La proposición ''r'' da, entonces, a la proposición ''s'' la probabilidad: ''V''<sub>rs</sub> : ''V''<sub>r</sub>.
Sea en un esquema como el de arriba en el número [[#5.101|5.101]] ''V''<sub>r</sub> el número de «''V''» en la proposición ''r''; ''V''<sub>rs</sub>, el número de aquellas «''V''» en la proposición ''s'' que están en la misma columna con «''V''» de la proposición ''r''. La proposición ''r'' da, entonces, a la proposición ''s'' la probabilidad: ''V''<sub>rs</sub> : ''V''<sub>r</sub>.


{{parTLP|5.1511<!-- template:parTLP -->}}  
{{parTLP|5.1511<!-- template:parTLP -->}}  
Line 1,577: Line 1,512:


{{parTLP|5.31<!-- template:parTLP -->}}  
{{parTLP|5.31<!-- template:parTLP -->}}  
Los esquemas [del punto] número 4.31 tienen también un significado cuando «''p''», «''q''», «''r''», etc. no son proposiciones elementales.
Los esquemas [del punto] número [[#4.31|4.31]] tienen también un significado cuando «''p''», «''q''», «''r''», etc. no son proposiciones elementales.


Y es fácil ver que el signo proposicional en [el] número 4.442, también cuando «''p''» y «''q''» son funciones de verdad de proposiciones elementales, expresa una función de verdad de proposiciones elementales.
Y es fácil ver que el signo proposicional en [el] número [[#4.442|4.442]], también cuando «''p''» y «''q''» son funciones de verdad de proposiciones elementales, expresa una función de verdad de proposiciones elementales.


{{parTLP|5.32<!-- template:parTLP -->}}  
{{parTLP|5.32<!-- template:parTLP -->}}