en tanto actividad mental se
corresponde con la actividad
lingüística de argumentar. En otras
palabras, un argumento es la
expresión lingüística de un
razonamiento.
razonamiento lógico o causal
es un proceso de lógica mediante el
cual, partiendo de uno o más juicios, se
deriva la validez, la posibilidad o la
falsedad de otro juicio distinto.
Logica
La lógica es una ciencia
formal que estudia los
principios de la
demostración e inferencia
válida.
Logica Matematica
La lógica matemática es una
parte de la lógica y la
matemática, que consiste en el
estudio matemático de la lógica,
y en la aplicación de dicho
estudio a otras áreas de la
matemática y de las ciencias.
Personajes
Augustos De Morgan
Escribió varias obras de
lógica en las que se
encuentra la idea de
aplicar en esta esfera los
métodos matemáticos,
así como los primeros
resultados de tal
aplicación.
David Hilbert
Hilbert proponía
desarrollar la
matemática
formalmente,
partiendo de un
sistema de axiomas,
y mediante el uso de
las reglas de
inferencia de la lógica
clásica.
Giuseppe Peano
La gran aportación de Peano al
respecto fue la idea de que es
posible poner todas las
argumentaciones de la lógica de
enunciados y de la lógica de
clases en un lenguaje artificial
de signos, conectados mediante
implicaciones.
Razonamiento matemático
El razonamiento
matemático puede
referirse tanto al
razonamiento formal
como al razonamiento no
estrictamente formal
usado para demostrar
proposiciones y teoremas
matemáticos.