Mi Tractatus

(c) Mi Tractatus CXIX " Puesto que evidentemente, resulta fácil expresar cómo pueden expresarse proposiciones con esta operación y cómo no pueden formarse proposiciones con ella, también esto ha de encontrar una expresión exacta. " 5.503. W. escribe de nuevo sobre dominios. Todo lo que no pertenece a un conjunto está fuera de su dominio. Dentro de la teoría de conjuntos estaríamos ante el conjunto complementario. Una proposición como "Pitágoras conoció a Zarathustra" puede expresarse como pRz y su negación como not(Rpz) o not(pRz). En términos de lógica de Boole, se puede asignar a la proposición una variable como s. Entonces el valor de s es "Pitágoras conoció a Zarathustra". También puede descomponerse en tres partes con tres variables p="Pitágoras", c="conoció a" y por último z="Zarathustra". La variable p, engloba a todas las personas que conocieron a Zarathustra, y la variable z, a todas las personas que conocieron a ...

(c) Mi Tractatus CXVIII " Toda función veritativa es resultado de la aplicación sucesiva de la operación (-----V)(&) a proposiciones elementales. Esta operación niega todas las proposiciones en el paréntesis derecho y la llamo la negación de estas proposiciones. " 5.5. W. escribió numerosas veces que su libro, el Tractatus no iba a ser entendido por muchas personas. Esta proposición podría ser una de las causas. Las funciones veritativas consisten en crear una tabla de verdad con todas las posibilidades V o F, de las proposiciones. La operación lógica consiste en atribuir el signo V o F, a todas las proposiciones. Negar la proposición supone realizar si a implica b, no b implica no a. La velocidad se define como relación entre espacio y tiempo. v=sRt, no v= no R(st) . Si no existe relación entre espacio y tiempo, la variable velocidad no forma parte del problema. " A una expresión entre paréntesis cuyos miembros sean proposiciones la denoto -si el orden serial ...

(c) Mi Tractatus CXVII " El número de las operaciones fundamentales necesarias depende sólo de nuestra notación. " 5.474. Podemos utilizar los mismos símbolos para expresar la misma realidad. Cada cultura de cada civilización humana ha desarrollado distintas formas de contar. Lo común a todas ellas es que todas contaban de 1 a 10, y de 10 a 100. La realidad, las cosas que contaban, era común a todas ellas. La notación, los símbolos que utilizamos para realizar operaciones es fundamental para reducir el número de operaciones lógicas necesarias. El símbolo forma parte de la proposición elemental y el signo no puede ser ambiguo. No podemos operar con matrices o determinantes como si fueran sumas o restas porque no existe una realidad subyacente. Una matriz o un determinante pueden representar sistemas de ecuaciones, espacios o líneas geométricas, problemas de planificación económica, estructuras input output , problemas de ingeniería naval...etc. Una forma cuadrática es un si...

(c) Mi Tractatus CXVI " La evidencia, de la que Russell tanto habló, sólo puede resultar superflua en la lógica en la medida en que el lenguaje mismo impide todo error lógico.- Que la lógica sea a priori consiste en que nada ilógico puede ser pensado. " 5.4731. Si definimos especie utilizando la lógica, nada erróneo puede ser escrito sobre las especies y subespecies. Si utilizáramos la lógica posiblemente averiguaríamos por qué el caballo desapareció del continente americano y no lo hizo en Europa o Asia. Los indios norteamericanos antes de la introducción del caballo por los españoles, se trasladaban a pie. El mamut posiblemente desapareció por un cambio climático que alteró las especies vegetales base de su alimentación. Desde esta perspectiva, el cambio climático no es global sino local. La filosofía de W. gira en torno a una de sus proposiciones, la imagen lógica de los hechos, es el pensamiento. " No podemos dar a un signo el sentido incorrecto. " 5.4732....

(c) Mi Tractatus CXV " La forma general de la proposición es la esencia de la proposición " 5.471. La forma general es la forma lógica y ésta es la esencia de la proposición. La proposición "El cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos" es una forma esencial de la proposición en trigonometría y pertenece a la lógica formal. Es una relación lógica entre tres objetos cuyo signo sería c=aRb. Los triángulos rectángulos tienen en común dicha proposición. Para hallar el valor de la hipotenusa es necesario una operación denominada raíz cuadrada que relaciona un elemento con otros dos. " Dar la esencia de la proposición quiere decir dar la esencia de toda descripción , o sea, la esencia del mundo ." 5.4711. La proposición anterior relacionada con los triángulos rectángulos supone definir un triángulo rectángulo. La esencia de un triángulo rectángulo es dicha relación entre sus lados. El mundo eran todos los hechos y una image...

(c) Mi Tractatus CXIV " Es significativo el hecho aparentemente sin importancia de que las pseudorelaciones lógicas como or o incluido en , precisan de paréntesis; contrariamente a las relaciones genuinas. El uso de los paréntesis con aquellos signos primitivos aparentes remite ya, en efecto, al hecho de que éstos no son los signos primitivos genuinos. Y nadie creerá, desde luego, que los paréntesis tienen un significado autónomo. " 5.461. Existen diversas formas gramaticales para destacar algo sin cambiar el sentido de la frase. Este es el objeto de los paréntesis. Sin embargo, en lógica, los paréntesis representan cierta unidad o bloques lógicos. (A or B) , suele ir entre paréntesis si sumamos otra proposición lógica como and (C or D) . Son símbolos útiles para separar o diferenciar bloques lógicos. En sí mismos, los paréntesis no tienen significado alguno y todo lo que se puede decir es que guardan cierta similitud con los símbolos lógicos o gráficos lógicos de las len...

(c) Mi Tractatus CXIII " Todos los números de la lógica ha de resultar justificables. O más bien: debe hacerse evidente que en la lógica no hay números. No hay números prominentes. " 5.453. Podría ser que existiera un proceso lógico y este proceso tiene que resultar justificado, explicado o suficientemente entendido. No hay números en la lógica. Un mapa, un diagrama, un modelo de economía, un lenguaje informático, un diario contable, un plano... son ejemplos de aplicaciones lógicas, en las que no hay números y si los hay es porque están relacionados con operaciones lógicas. " En la lógica no hay relación de contigüidad, no puede haber clasificación alguna. En la lógica no puede haber nada más general ni más especial. " 5.454. En el estudio de la lógica, existen distintas ramas, lógica formal o matemática, lógica filosófica.... Sin embargo, W. no admite clasificación alguna dentro de la lógica ya que la lógica es esencialmente lo más general y lo más especial o ...