(c) Mi Tractatus LXXXXIV

"Las funciones veritativas de un número cualquiera de proposiciones elementales pueden escribirse en un esquema del tipo siguiente:

(1,1,1,1 )(p,q) Tautología Si p entonces p, Si q entonces q; p contenido en p, q contenido en q
(0,1,1,1 ) (p,q) en palabras..... No ambas p y q [ no (p.q)]
(1,0,1,1 ) (p,q) en palabras..... Si q entonces p (q incluido en p)
(1,1,0,1 ) (p,q) en palabras..... Si p entonces q (q incluido en p)
(1,1,1,0 ) (p,q) en palabras..... p ó q
(0,0,1,1 ) (p,q) en palabras..... No(q)
(0,1,0,1 ) (p,q) en palabras..... No(p)
(0,1,1,0 ) (p,q) en palabras..... p ó q, pero no ambas
(1,0,0,1 ) (p,q) en palabras..... Si p entonces q; Si q entonces p
(1,0,1,0 ) (p,q) en palabras..... p
(1,1,0,0 ) (p,q) en palabras..... q
(0,0,0,1 ) (p,q) en palabras..... Ni p ni q: no(p), no(q)
(0,0,1,0 ) (p,q) en palabras..... p y no(q)
(0,1,0,0 ) (p,q) en palabras..... q y no(p)
(1,0,0,0 ) (p,q) en palabras..... q y p
(0,0,0,0 ) (p,q) en palabras..... Contradicción, q y no(q), p y no(p)

 A las posibilidades veritativas de los argumentos veritativos que hacen verdadera la proposición las llamo sus fundamentos veritativos." 5.101. W. enumera las posibilidades de verdad de dos sucesos, una relación estadística y condicional. Para ello utiliza operadores lógicos de condición y negación, en inglés if y not. La notación vectorial en este caso, no parece ser de gran utilidad, lo que representa cierta heterogeneidad de la proposición. Los sucesos pueden o no ocurrir independientemente uno de otro o estar relacionados. W. no utiliza diagramas de Venn o de Euler, que consideran conjuntos y subconjuntos de posibilidades de verdad. Actualmente Si p entonces q, es una estructura, en caso necesario anidada. La subestructura puede duplicarse dentro de la estructura con otros parámetros con la instrucción elseif, en castellano sino. El S=I se transforma en

Si S entonces S
SI I entonces I

ya que S=I, es una tautología.

"Si todos los fundamentos veritativos que son comunes a un número de proposiciones son, al mismo tiempo, fundamentos veritativos de una determinada proposición, entonces decimos que la verdad de ésta se sigue de la verdad de aquéllas." 5.11. Los modelos lógicos dependen de las verdades fundamentales. Las proposiciones están relacionadas con eslabones de verdad, sus fundamentos veritativos. Existe, de acuerdo con W., un sistema de deducción a partir de los fundamentos veritativos comunes a un número de proposiciones que posiblemente determinan un modelo. Los argumentos veritativos eran las proposiciones elementales, básicas. Otra proposición añadida al modelo tiene que encajar con el resto de las proposiciones. Tiene que respetar o estar de acuerdo con las proposiciones elementales o argumentos veritativos. Los argumentos veritativos crean posibilidades veritativas y para el caso en el que la proposición es verdadera o toma el valor de verdad, pasan a denominarse fundamentos veritativos.

Doy por finalizada esta entrada. 20/02/2018

Comentarios

Publicar un comentario

Entradas populares de este blog

(c) Mi Tractatus CVIII " Una operación puede anular el efecto de otra. Las operaciones pueden cancelarse entre sí ." 5.253. Para anular la operación de una suma tenemos que utilizar otra operación llamada resta. Si 1+1=2 , queda anulada si restamos 1, (1+1-1)=(2-1) . En este caso partimos de una realidad o un hecho de una unidad. El término izquierdo es la unidad inicial y la unidad posterior es otro hecho añadido o sumado. Si después de sumar uno, restamos uno, la operación queda anulada ya que la imagen inicial, el hecho inicial no ha sido modificado. La anulación tiene normalmente un sentido contrario. La suma queda anulada con la resta y la multiplicación con la división, la diferenciación con la integración, los exponenciales con los logaritmos...etc. Un hecho puede ser anulado o neutralizado por otro hecho, el capitalismo por el comunismo, la pobreza con la riqueza, la inteligencia con la contrainteligencia, la utopía con la antiutopía...etc. " La operación pue...
Leer más
(c) Mi Tractatus CVIL " Esto aclara la cuestión de por qué las proposiciones lógicas no pueden ser confirmadas por la experiencia, como tampoco pueden ser refutadas por ella. Una proposición de la lógica no sólo no puede ser refutada por experiencia posible alguna, sino que tampoco debe ser confirmada por ella. " 6.1222. Ciertamente si definimos la energía cinética como E c =1/2(mv²), reconoceremos que esta expresión no puede ser confirmada por la experiencia y tampoco puede ser refutada por ella, de acuerdo con W. De hecho, es difícil hallar su origen en la historia de la física aunque es el resultado de multiplicar la masa por la integral de la velocidad (v dv). La función velocidad es continua.Si definimos la energía en el sentido de Einstein como E=mc², podremos evaluar que no introducimos la fracción 1/2, lo que supone en cierto grado la consideración de una energía potencial o de una expresión que contiene la E c y la E p . Las proposiciones lógicas no son ciertame...
Leer más
(c) Mi Tractatus CLXIII Para Karl Mannheim, filósofo y sociólogo húngaro, el pensamiento está relacionado con una clase social o política y una situación. Esta idea ha sido utilizada por el marxismo, la escuela hegeliana, el historicismo de Weber o la psicología de la forma. En filosofía el estudio de la realidad es denominada metafísica que significa más allá de la física; dentro de la misma, se encuentra la ontología. El principio de razón suficiente o la razón por la que existe un objeto o un hecho, es un concepto que puede atribuirse a Leibniz. Este principio es definido como fundamento indemostrable del conocimiento científico junto al principio de no contradicción. Es similar al principio de causalidad. La razón es, en sí misma, un nuevo tema de filosofía. " Que, por ejemplo, dos colores estén a la vez en un lugar del campo visual es imposible,y a decir verdad, lógicamente imposible, puesto que ello viene excluido por la estructura lógica del color. Pensemos cómo se repr...
Leer más