Lógica
Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partirde premisas. La lógica investiga los principios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenidoespecífico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.
Aunque se atribuye su origen a Zenón deElea, el verdadero sistematizador e impulsor de la lógica griega fue Aristóteles, cuyos trabajos, agrupados posteriormente bajo la denominación de "Organon", se consideró durante más de 20 siglos comoun compendio completo y definitivo de lógica.
A finales del siglo XX, sin embargo, debido a los trabajos de Boole y Frege, entre otros, la lógica experimentará un cambio sustancial: deja de basarseen la clasificación de las proposiciones y adopta el principio de generación recursiva, lo que permite prescindir totalmente del lenguaje ordinario a favor de un lenguaje puramente formal, compuestopor un pequeño número de signos y de ciertas reglas de combinación para formar enunciados. Desde entonces los estudios de lógica no han dejado de progresar, quedando reducida la lógica...
Regístrate para leer el documento completo.