1

FACULTAD DE DERECHO TIJUANA

JACOB ADAFER AYALA MEJIA
02205711
24/02/2023
Lógica .
 2

Este texto trata de la lógica comprensiva entre otros temas que se explicaran en un momento
el texto de lógica comprensiva comienza diciendo que en el diccionario la palabra
comprehender significa incluir virtual mente una cosa en otra , es decir que por lógica
comprensiva podemos comprender ciertos términos formales que implican virtual mente un
cierto contenido material , para poder comprender es que nació este tipo de lógica .
El otro tema que se abarca es la aparición de las nuevas lógicas como formalismo , logicismo
y intuicionismo , y dice que a finales del siglo XIX aparecieron tres nuevas formas del
razonamiento lógico estas formas de razonamiento son producto del cuestionamiento que se
generó a partir del planteamiento en matemáticas de las geometrías no euclidianas.
Antes se consideraba a la geometría como el estudio del espacio real ; pero con la entrada
de las geometrías no euclidianas se concibió la idea de que la geometría consideraba
estructuras abstractas y no necesaria mente reales .
A partir de eso la matemática tradicional cambio y ya no habría una sola matemática con su
geometría ahora se podría estudiar diversos tipos de geometrías matemáticas posibles
Gauss y Bolzano entre muchos otros más matemáticos, se dieron cuenta que al presentar
matemáticamente una situación no debía limitarse a una sola simbolización .
Ocupaba ciertos reconocimientos y compresiones sobre la forma de relacionarse entre los
objetos adecuados para llevar a cabo el análisis entre un elemento de una clase y un
elemento de la otra .
Una de las lógicas como lo es la lógica analítica tradicional solo infería de géneros a
especies , sus causas y efectos implícitos.
Por ejemplo , si queremos sumar cinco litros de un líquido, con dos litros de otro , bien podría
ocurrir que no tuviéramos siete litros. La razón de ello es que en un sistema físico podría
suceder que , al observar el fenómeno, si los líquidos tienen ciertas propiedades , podría
tener lugar alguna reacción química que redujera o aumentara el volumen de los líquidos . En
esos casos puede ocurrir que no tengamos siete litros al sumar ambos líquidos.
En la lógica analítica este tipo de razonamiento no tiene lugar ni de orden lógico.
En este sentido , como tal lo plantea John Stuart mill , el número no es un concepto definitivo,
sino apenas una idea en la mente .
Es algo muy subjetivo . En esta línea se fundo la escuela formalista. Los números son
variables cuyo contenido no esta definido específicamente .
Como podemos ver , esta manera lógica de razonar, aunque se enuncia formalmente
 3

Con ciertos términos, el contenido material en cada uno de ellos varia . De esta forma el
resultado de la combinación de sus formas no es absoluto. Puede tener variaciones,
En razón de sus contenidos materiales , que no litados ni restringidos a sus formas de
expresión . Ante esta nueva postura hubo algunos lógicos matemáticos que quisieron
descubrir esta nueva forma de lógicas y sus errores fundamentales . Quisieron replantear los
problemas que establecían para reducirlos a las formas básicas analíticas de pensamiento
lógico .
Gottlob frege en(1848-1925) para enfrentar las ideas de mill intento demostrar que la
aritmética funciona perfectamente , sin necesidad de la introducción de los elementos extra
lógicos . asi trato de confrontar al formalismo y afirmo que el uso de la palabra variable debe
evitarse por que se presta par interpretaciones erradas . la lógica matemática fusionada por
el no opera solo en la forma . el contenido material se puede establecer de tal manera que
el mero formalismo de variables tipo x + y = z se supondría con contenidos específicos . ese
tema es importante en el campo del razonamiento jurídico .
Para fregué los símbolos matemáticos tienen un significado y se utilizan formulas para
hacer afirmaciones .
Por otra parte , en los logicistas se encuentran filósofos matemáticos como Bertrand
Russell .
Desde su perspectiva existen dos principios fundamentales del razonamiento
lógico : a ) toda noción matemática se puede definir por medios de conceptos lógicos ,
por ejemplo : conjunto , relación , implicación o relación de conceptos lógicos , por ejemplo :
conjunto , relación , implicación o relación , y b ) todo enunciado matemático verdadero se
puede mostrar a partir de enunciados lógicos . es decir con razonamientos puramente
lógicos . por ejemplo , el principio de no contradicción o el principio de tercer excluido . esta
postura , desde el punto de vista jurídico es poco practica , ya que el razonamiento legal
tendría que estar sometido a principios lógicos lo cual no se presenta como una postura
afectiva y segura en la practica social .
 4

Mi conclusión
Este tema empezó por la lógica comprensiva que decía como debemos comprende ciertos
criterios formales y después se pasó a la aparición de nuevas lógicas como el formalismo ,
logicismo e intuicionismo nos mostrando que eran como la aplicaban que pensaba gente
como fregué , mill gauss y Bolzano entre otros matemáticos también hablo sobre la
geometría el descubrimiento de más geometrías que estudiaban figuras abstractas también
habla de la lógica matemática , conceptos lógicos principios fundamentales entre otras
cosas y aun queda texto para mas .