Lógica
De Wikipedia, la enciclopedia libre
La Lógica es un término que deriva del griego "Λογικός" (logikê-logikós), que a su vez es logos, que significa razón.<ref>Diccionario etimológico chileno en línea</ref> Se considera que Aristóteles fue el que fundó la Lógica como un medio de conocimiento o Propedéutica, una herramienta básica para todas las Ciencias<ref>e considera a Aristóteles (s IV a. C.) el fundador de la lógica. Para Aristóteles, la lógica era una propedéutica o introducción al saber general, pues constituye una especie de instrumento de todas las ciencias. ver más en Clasificación de las ciencias</ref>. La Lógica según Immanuel Kant es una ciencia formal, es decir, aquella ciencia que estudia las formas del pensamiento prescindiendo de todo contenido.<ref>Interrogantes de la Lógica</ref>. Carl Sagan, en su obra El Mundo y sus Demonios, presenta a la razón y el uso de la lógica como un modelo de causas-efectos encadenados por una transformación, que dada la naturaleza de nuestro universo, es eminentemente termodinámica.
Tabla de contenidos |
[editar] Condicionantes
Cuando se viola este esquema, se dice que se ha cometido una falacia. Cuando se requiere poner voluntad para conservar la veracidad del planteamiento, se dice que es sesgada. Cuando hay un interés personal, se dice que es egoísta. Cuando únicamente recoge una serie de hechos, describiendo las transformaciones entre los hechos, se dice que el resultado se verifica, bien sea cierto o falso. La lógica plantea certezas y la razón busca la verdad mediante el uso de certezas descritas por la lógica material.
[editar] Historia de la lógica
Históricamente la palabra ha ido cambiando de sentido. Comenzó siendo una modelización de los razonamientos propuesta por los filósofos griegos y posteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teoría.
La lógica formal como un análisis explícito de los métodos de razonamientos se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el Siglo V y el Siglo I a.C.
En China no duró mucho tiempo: la traducción y la investigación escolar en lógica fue reprimida por la dinastía Qin, acorde con la filosofía legista. En India, la lógica duró bastante más: se desarrolló ( por ejemplo con la nyaya) hasta que en el mundo islámico apareció la escuela de Asharite, la cual suprimió parte del trabajo original en lógica. (A pesar de lo anterior, hubo innovaciones escolásticas indias hasta principios del siglo XIX, pero no sobrevivió mucho dentro de la India Colonial). El tratamiento sofisticado y formal de la lógica moderna aparentemente proviene de la tradición griega.
Aristóteles fue el primero en emplear el término “Lógica” para referirse al estudio de los argumentos dentro del lenguaje natural. En el Organon Aristóteles la define como “el arte de la argumentación correcta y verdadera”.
Nació así la anteriormente definida “Lógica Informal”, o el estudio metódico de los argumentos. Durante varios siglos, sólo fue investigada por la retórica, la oratoria y la filosofía, entre otras ramas del conocimiento. Se especializó medularmente en la identificación de falacias y paradojas, así como en la construcción correcta de razonamientos.
A partir de mediados del Siglo XIX la lógica formal comenzó a ser estudiada en el campo de las matemáticas y posteriormente por las ciencias computacionales, naciendo así la Lógica simbólica. Ésta trata de esquematizar los pensamientos claramente usando un lenguaje de signos propio y distinto al verbal, evitando así las ambigüedades.
Así, en la edad contemporánea, la lógica generalmente es entendida para describir razonamiento en una forma prescripta. Esto es, describe cómo el razonar debería tomar lugar.
Además de encontrarle múltiples e importantes usos computacionales y matemáticos a la lógica simbólica, se ha mantenido la lógica aristotélica, la cual principalmente se ocupa de enseñar el buen argumento, y es todavía enseñada con ese designio en la época contemporánea. Para la Lógica matemática y la filosofía analítica la lógica es un objeto de estudio en sí mismo, por lo que ésta es estudiada a un nivel más abstracto.
Existen muchos otros sistemas lógicos, como la lógica dialéctica, lógica difusa, lógica probabilística, lógica modal y la lógica no monótona.
Martin Heidegger —discípulo de Edmund Husserl—, se aparta de estas líneas de consideración de la lógica —aunque sin despreciarlas y comprendiendo su alcance (pero también sus límites)—, planteando que una lógica más originaria se podría encontrar en un plano previo a las proposiciones, sentencias, declaraciones o juicios. Tomar en cuenta eso podría llevar a un replanteamiento de la lógica de la proposición o la lógica del juicio, puesto que nos conduciría a movernos en las raíces de la lógica tal como ha sido habitualmente entendida, raíces que hasta ahora han sido insuficientemente atendidas. Para él, la lógica tendría que partir de una suficiente meditación del λόγος ( lógos), el cual debería ser distinguido de la ratio (razón), que, en rigor, significa algo distinto.
[editar] Definiciones aplicadas
La lógica puede definirse por un lado como Ciencia y como Proceso, estudiados por la filosofía en un Lenguaje formal.
[editar] Aplicada a las ciencias
La lógica estudia los problemas del movimiento del hombre hacia el conocimiento certero, las leyes del origen. Para la lógica lo central es aclarar qué es una certeza y cómo se alcanza. La lógica no entra en definir que es verdad y que es mentira, esos conceptos al tener cierta carga moral, son competencia del razonamiento. Por tanto, la ciencia no define que es verdad o mentira, define certezas, siendo estas indispensables para todas las ciencias.
La filosofía es la disciplina que se encarga de enseñar a elaborar y proponer metodologías de como falsar las certezas firmes, a través de los razonamientos, ya sean deductivos, inductivos ó abductivos.
[editar] Aplicada a los procesos
La lógica es el "proceso de reflejo del mundo objetivo en la conciencia del hombre y de verificacion de la correccion de este reflejo por la práctica, es generada historicamente por la vida de los hombres concretos, cuando se separan de los fenómenos de la naturaleza", sus categorias (cantidad, calidad, medida, esencia, etc,) son escalones y puntos focales del conocimiento de la naturaleza objetivamente existente, lo que caracteriza la conciencia del hombre que se desprende de la naturaleza objetivamente existente. (Davídov, Vasili; La enseñanza escolar y el desarrollo psíquico, Investigación psicológica teórica y experimental, Editorial Progeso, Moscú, 1986, 277p, ISBN 5-01-000621-9, Impreso en la URSS).
[editar] Aplicada a las matemáticas
El hombre de hoy se relaciona más frecuentemente con la lógica matemática que se refiere a un sistema deductivo en el que existen ciertos axiomas básicos y ciertas reglas de deducción. Ese sistema está formado por un conjunto de expresiones (o símbolos) que permiten construir determinadas proposiciones (o secuencias de signos dotables de significado), las reglas deductivas permiten reconocer cuales son las afirmaciones deducibles de los axiomas mediante las reglas de deducción y cuáles no.
[editar] Lógica Material y lógica formal
La Lógica material , por lo común, se dedica al análisis de los conceptos y procedimientos involucrados usados para elaborar conclusiones a partir de información dada. Tradicionalmente, esta lógica parte de la base que el pensamiento humano es muchas veces falso. Así, ésta ha tenido como finalidad una búsqueda de la verdad, por lo que se ha dedicado a clasificar entre razonamientos correctos y los falaces.
La Lógica formal , a diferencia de la anterior, se refiere al estudio de argumentos racionales en forma estrictamente esquematizada y organizada. Parte de la idea de que todos razonamos bien e intentamos mejorar el razonamiento a niveles superiores. Forma relaciones altamente abstractas entre las ideas. Esta lógica, la formal, no debe ser confundida con la lógica matemática o simbólica, la cual es sólo un tipo de lógica que se encuentra dentro del campo de la lógica formal.
La existencia de una gran cantidad de concepciones distintas de la lógica implica que ésta no es estudiada en el vacío, sino que es usada en un contexto. Es decir, que puede ser usada por las otras ciencias. La lógica, en cualquiera de sus formas, se ha convertido en el pensamiento de la ciencia por excelencia.
El uso de la lógica está al servicio de la razón, diferenciándose en dos tipos de razonamientos posibles: Deductivo e Inductivo.
[editar] Conectores
- Negación
- Conjunción
- Disyunción
- Condicional o implicador
- Bicondicional o coimplicador
[editar] Diferentes sistemas lógicos
- Lógica aristotélica
- Lógica baconiana
- Lógica matemática
- Lógica de primer orden
- Lógica de segundo orden
- Lógica intuicionista
- Lógica temporal
- Lógica modal
- Lógica no monotónica
- Lógica formal
- Lógica informal
- Lógica polivalente
- Lógica proposicional
- Lógica booleana
- Lógica descriptiva
- Lógica predicativa
- Lógica transcendental
- Empirismo lógico
[editar] Referencias
[editar] Bibliografía
- El mundo y sus demonios, Carl Sagan, ED 1997. Dep. Legal: B. 10.298-1997. ISBN 84-08-02043-9
[editar] Véase también
- Condición necesaria y suficiente
- Operador lógico
- Método científico
- Dilema del prisionero
- Apofántica
- Teorema de la incompletitud de Gödel
- Kurt Gödel
- Principio de no contradicción
- Principio del tercero excluido
- Principio de identidad
- Principio de razón suficiente
- Aristóteles
- Hegel
- Edmund Husserl
- Ludwig Wittgenstein
- Quine
- Heidegger
- George Boole
- Leibniz
- Jan Łukasiewicz
- Guillermo de Ockham
- Tadeusz Marian Kotarbiński.
- Círculo de Viena
- Suma de lógica (libro de Ockham)
- Lógica descriptiva
[editar] Enlaces externos
an:Lochica
ar:منطق
az:Məntiq
be-x-old:Логіка
bg:Логика
bn:যুক্তি
ca:Lògica
cs:Logika
cv:Логика
da:Logik
de:Logik
en:Logic
eo:Logiko
et:Loogika
eu:Logika
fa:منطق
fi:Logiikka
fiu-vro:Loogiga
fr:Logique
gl:Lóxica
he:לוגיקה
hr:Logika
hu:Logika
ia:Logica
id:Logika
io:Logiko
it:Logica
ja:論理学
ka:ლოგიკა
ko:논리학
la:Logica
lt:Logika
lv:Loģika
mk:Логика
ms:Logik
nl:Logica
no:Logikk
oc:Logica
pl:Logika
pt:Lógica
ro:Logică
ru:Логика
scn:Lòggica
simple:Logic
sk:Logika
sl:Logika
sr:Логика
su:Logika
sv:Logik
th:ตรรกศาสตร์
tk:Logika
tl:Lohika
tpi:Lajik
tr:Mantık
uk:Логіка
vi:Logic
wa:Lodjike
yi:לאגיק
zh:逻辑
zh-classical:理則

