En la introduccin a la lgica en dcadas pasadas buscaban la razn del

todo explicar que es vlido o invlido (inferencia), en esta interrogante

apareci la lgica aristotlica. Aristteles se bas en la razn del todo, en
las premisas y as dar una conclusin que puede ser vlida o invalida pero a
un nivel inferior que en smbolos utilizados para representar los trminos en
proposiciones en un silogismo esto no era suficiente para hoy en da
definiciones de Toyama Omura, Hugues Leblanc, Jorge Witker y Rogelio
Larios todas tienen como objeto de estudio al razonamiento que utilizan una
relacin inferencial, los cuales son representados con el uso de lenguajes
simblicos para determinar la validez de las relaciones que se den.
Aristteles consider tambin que el conocimiento deben ser deductivo e
inductivo, en este ltimo razonamiento fue en el que Aristteles no pudo
encontrar en la induccin un mtodo formal para determinar su validez, hoy
en da a diferencia de lo que mencionaba Aristteles la induccin o lgica
inductiva es un estudio que nos permite medir la probabilidad de los
argumentos a diferencia de lo que mencionaba Aristteles que era un
razonamiento que consiste en obtener conclusiones a partir de premisas.
Bibliografa:
Mi gran academia, Aritmtica; Alfredo Montoya Cerdan
Lgica matemtica. Wikipedia. https://es.wikipedia.org/wiki/L%C3%B3gica
Benjmin Prado. PURA LOGICA. Pg 28