Consiste en el estudio matematico de la
logica. La logica matematica no es la
"logica de las matematicas" sino
la"matematica de la logica".
Logica
Estudia la forma de razonamiento
que por medio de reglas y tecnicas
determina si un argumento es
valido, su origen a ZENON DE ELEA .
BOOLE
Y FREGE
Siglo xx la logica experimenta un
cambio sustancial: deja de basarce en
las proporciones y adopta la
generacion recursiva, que permite
prescindir del lenguaje ordinario a
favor del un lenguaje formal de
(Reglas aristotelicas, signos)
Contemporanea
Reviste los ordenes de las
actividades y el conocimiento
humano conexion con el
conocimiento de las matematicas
, clara insidencia en los
fundamentos teoricos y la
computacion.
Tipos de logicas
Formal
La logica dependia del lenguaje
corriente. por ello la logica se centro
en los razonamientos, al margen del
significado de las proporciones.
Percepciones
La verdad de las
proporciones no tiene
que ser confundida con la
verdad de la percepcion
-Aristoteles constituyo la logica
-Perfeccion del lenguaje (reglas)
-Razonamientos rigurosos y verdaderos
-Desarrollo del pensamiento cientifico
-Investigacion de raciocinio
METODOLOGIA
Logica
Matematica
-Conceptos
-Simbologica
-Elementos
Relaciiones y
Leyes Logicas
-Leyes de la logica
proporcional.
Proposicion
Logica
-Observar la relacion
interna de las
proporciones
La "paradoja " afirmacion de
EPIMENIDES, esta es una afirmacion
que va en contra del sentido comun.
Matematica
ARISTOTELES siglo IV a.c, las
matematicas son la ciencia de
la calidad. (aritmetica,
geometria y disciplina) osea
que el origen de logica y la
matematica son muy diferente.
Invencion de la
matematica:
soluciones
Suponemos que el
universo sigue un
orden matematico.
Admitimos que el hombre al
estudiar la naturaleza,aplica
modelos matematicos que se
encuentran en nuestra mente.
Metodo deductivo
y sus limites
EUCLIDES tenia culpa de las
referencias a la experiencia
simple y por ello pretendio "por
un punto exterior a una recta
solo pasa una paralela a esa
recta", por que es evidente para
experiencia.
PLATON
Dice.: los objetos matematicos
son ideas no materiales que
existen en las ideas.
ARISTOTELES
Dice.: los objetos que la razon
saca, por abstraccion, de las
cosas concretas.
PERSONAJES
ARISTOTELES
Propuso una explicacion
concientemente reductiva de los
objetos matematicos, obtenidos de
los objetos ordinarios del mundo.
PLATON
concluyo que la matematica no trataba
con objetos del mundo, si no con una
clase de objetos puramente inteligibles.