-
Alrededor de del año 322 a.n.e el filósofo Aristóteles crea una ciencia enfocada al estudio de los razonamientos correctos que además servía como herramienta para las demás ciencias; fue llamada Lógica y proviene del ¨logos¨ cuya traducción significa ¨ley, razón o palabra¨
-
Durante la Grecia antigua era considerada como el ¨arte de dialogar o discutir¨, ya que se utilizaba para defender o argumentar puntos de vista.La lógica como habilidad argumentativa era esencial en la vida crítica de los ciudadanos, puesto que tener conocimiento de sí mismo y discutir sobre los problemas era valorado por la comunidad griega.
-
Es una forma básica del razonamiento deductivo. Fue considerado como el modelo del conocimiento científico hasta la baja Edad Media. Está constituida por dos premisas (mayor y menor) , una conclusión y tres términos (mayor, medio y menor)
-
Se enfoca exclusivamente en la forma o estructura del argumento y deja a un lado el contexto que lo originó. su objeto de estudio son los razonamientos, juicios y conceptos. aunque ocurran dentro de la mente, la lógica lo estudia en forma ideas y no como entidades lingüísticas.
-
Se entiende así al sistema lógico deductivo constituido por un lenguaje formal. Esto permite formular expresiones correctas y bien estructuradas.
Las lógicas clásicas respetas ciertas reglas o principios básico: principio de identidad, principio de no-contradicción y principio del tercer excluido. -
Son el fundamento para la coherencia del pensamiento. Son verdades evidentes que permiten sistematizar el pensamiento. La Lógica clásica y aristotélica se basa en los siguientes principios:
- Identidad : Todo objeto es igual a sí mismo.
- No-contradicción: Es imposible que algo sea y no sea al mismo tiempo.
- Tercer excluido: Todo tiene que ser o no ser
- Razón suficiente: Todo lo que existe tiene una razón de ser , nada existe sin una razón o causa determinante. -
Se basaba en el trabajo de Aristóteles y los sacerdotes se encargaron de difundirlo a través de los conventos, iglesias y universidades. De los grandes pensadores de la época se destacan Pedro Hispano y Jean Buridan, estableciendo que ¨de dos premisas contradictorias, se puede deducir cualquier conclusión¨
-
Le añadió un apéndice <<lógica parva >> o <<parva logicalea>> a la obra de lógica de Aristóteles ya terminada en el siglo Xll. Escribió ¨Summulae Logicales¨ donde recoge la Silogística y Dialéctica de Aristóteles e incluye la novedosa discusión acerca de las propiedades de los términos.
-
Teólogo escolástico discípulo de Guillermo de Ockham, defensor del libre albedrío y de la posibilidad de ponderar toda decisión a través de la razón.
Buridán es autor de otra paradoja muy poco conocida, y que tiene relación con los fundamentos de la lógica matemática. Consta de dos proposiciones:
a) Dios existe.
b) Ni la proposición anterior ni esta son ciertas -
Representa las funciones lógicas por medio de ángulos y triángulos en su libro “De la censura de lo verdadero”
-
Descubre el metodo experimental con las matemáticas y hipótesis
-
introdujo el cálculo lógico llamado “Mathesis Universalis” que fuese operacionalmente mecánico, inequívoco y no cuantitativo que permitiera acabar con todas las disputas y controversias. también desarrolló el cálculo de la Lógica Proposicional.
-
George Boole construye la teoría de clases.Venn aclara los procedimientos de Boole representando los procesos algebraicos en los diagramas de Venn.
-
introduce el cálculo proporcional que combina la teoría de la demostración de Leibniz con una presentación de las conectivas lógicas
La lógica de Frege combina las virtudes de Crispo y las de Leibniz. -
En el siglo XX había desembocado, desde principio del siglo, en cuestiones irresolubles. Esto produjo un paulatino alejamiento de la lógica con respecto a la matemática, así como un deslindamiento de las competencias respectivas. Se producen así un acercamiento de la lógica a la lingüística y a la epistemología. Filósofos como L. Wittgenstein, R. Carnap inicialmente bajo la influencia formalista y logicista, dan un viraje en su filosofar orientándose hacia preocupaciones lógico - semántica.
-
Arvizu Rodríguez Odette.
Del Puerto Enríquez Andrea Danae.
Cruz Aguilar Ethan Yael.
Santander López Óscar Aldair.
