Lógica

La lógica es una ciencia formal que estudia los principios de la demostración y la inferencia válida. La palabra deriva del griego antiguo λογική logikḗ, que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος ( lógos), « palabra, pensamiento, idea, argumento, razón o principio».

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 partir de premisas.[1] La lógica investiga los fundamentos 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 contenido especí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.

La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática.

Hasta el siglo XIX, la lógica aristotélica y estoica mantuvo siempre una relación con los argumentos formulados en lenguaje natural. Por eso aunque eran formales, no eran formalistas.[2] Hoy esa relación se trata bajo un punto de vista completamente diferente. La formalización estricta ha mostrado las limitaciones de la lógica tradicional o aristotélica, que hoy se interpreta como una parte pequeña de la lógica de clases.

Acepciones

Ciencia argumentativa y propedéutica

El término «lógica», se encuentra en los antiguos peripatéticos y estoicos como una teoría de la argumentación o argumento cerrado.[2]

Con el nombre de Dialéctica, en la Edad Media, la Lógica mantiene la condición de ciencia propedéutica. Así se estudia en la estructura de las enseñanzas del Trivium como una de las artes liberales.

En la Edad Moderna la lógica tradicional aristotélica adquiere un nuevo enfoque en las interpretaciones racionalistas de Port Royal, en el siglo XVII, pero tampoco supusieron un cambio radical en el concepto de la Lógica como ciencia.

Ciencia del pensar

Gottfried Leibniz (1646-1716).

Los filósofos racionalistas, sin embargo, al situar el origen de la reflexión filosófica en la conciencia, aportaron, a través del desarrollo del análisis como método científico del pensar,[8]

Aparecen los primeros intentos y realizaciones de máquinas de cálculo, ( Pascal, Leibniz) y, aunque su desarrollo no fue eficaz, sin embargo la idea de una Mathesis Universal o Característica Universal, es el antecedente inmediato del desarrollo de la lógica simbólica a partir del siglo XX.

Leibniz y Descartes seguían muy de cerca la escuela jesuita, sobre todo a Suárez, quienes a su vez utilizaban la Lógica Mexicana, de Fray Antonio de Rubio, filósofo mexicano (Novohispano).[9]

Además se considera que las lógicas modernizantes nunca lograron la precisión de estos estudios. Sander Pierce, Gottlob Frege, Saussure y Wittgenstein siguieron criterios neoescolásticos para formular sus teorías lógicas, más acabadas.[10]

La palabra «lógica» ha sido utilizada como lógica trascendental por Kant, en el sentido de investigar los conceptos puros a priori del entendimiento o categorías trascendentales.

Hegel considera la lógica dentro del absoluto como proceso dialéctico del Absoluto, entendido éste como Principio Absoluto, Espíritu Absoluto, y Sujeto, como Sujeto Absoluto.[12] La lógica, la epistemología y la ontología van unidas y son expuestas en la filosofía entendida ésta como Sistema Absoluto.

Ciencia formal

En el último tercio del siglo XIX la Lógica va a encontrar su transformación más profunda de la mano de las investigaciones matemáticas y lógicas, junto con el desarrollo de la investigación de las estructuras profundas del lenguaje, la lingüística, convirtiéndose definitivamente en una ciencia formal. Es una ciencia formal, ya que estudia las ideas y constituye una herramienta conceptual para todas las otras ciencias y áreas del conocimiento. y forma parte de un conjunto sistemático de conocimientos racionales y coherentes, que se ocupan del estudio de los procesos lógicos y matemáticos,

Lógica como pensamiento informal

En el lenguaje cotidiano, expresiones como «lógica» o «pensamiento lógico», aporta también un sentido alrededor de un «pensamiento lateral» comparado, haciendo los contenidos de la afirmación coherentes con un contexto, bien sea del discurso o de una teoría de la ciencia, o simplemente con las creencias o evidencias transmitidas por la tradición cultural.

Del mismo modo existe el concepto sociológico y cultural de lógica como, p.e. «la lógica de las mujeres», «lógica deportiva», etc. que, en general, podríamos considerar como «lógica cotidiana» - también conocida como «lógica del sentido común».

En estas áreas la «lógica» suele tener una referencia lingüística en la  pragmática.

Un argumento en este sentido tiene su «lógica» cuando resulta convincente, razonable y claro; en definitiva cuando cumple una función de eficacia. La habilidad de pensar y expresar un argumento así corresponde a la retórica, cuya relación con la verdad es una relación probable.[13]

Other Languages
Afrikaans: Logika
Alemannisch: Logik
aragonés: Lochica
العربية: منطق
مصرى: منطق
অসমীয়া: তৰ্কশাস্ত্ৰ
asturianu: Lóxica
azərbaycanca: Məntiq
تۆرکجه: منطیق
башҡортса: Логика
Boarisch: Logik
žemaitėška: Luogėka
беларуская: Логіка
беларуская (тарашкевіца)‎: Лёгіка
български: Логика
বাংলা: যুক্তি
bosanski: Logika
буряад: Ушар ухаан
català: Lògica
Chavacano de Zamboanga: Logica
нохчийн: Логика
کوردیی ناوەندی: لۆژیک
corsu: Logica
čeština: Logika
Чӑвашла: Логика
Cymraeg: Rhesymeg
dansk: Logik
Deutsch: Logik
Ελληνικά: Λογική
English: Logic
Esperanto: Logiko
eesti: Loogika
euskara: Logika
estremeñu: Lógica
فارسی: منطق
suomi: Logiikka
Võro: Loogiga
français: Logique
Frysk: Logika
Gaeilge: Loighic
贛語: 邏輯學
galego: Lóxica
עברית: לוגיקה
Fiji Hindi: Logic
hrvatski: Logika
magyar: Logika
interlingua: Logica
Bahasa Indonesia: Logika
Interlingue: Logica
Igbo: Ómárí
Ilokano: Lohika
Ido: Logiko
íslenska: Rökfræði
italiano: Logica
日本語: 論理学
Patois: Lajik
la .lojban.: logji
Basa Jawa: Logika
ქართული: ლოგიკა
Gĩkũyũ: Logic
қазақша: Логика
한국어: 논리학
Kurdî: Mentiq
Кыргызча: Логика
Latina: Logica
Lëtzebuergesch: Logik
лакку: Мантикь
lietuvių: Logika
latviešu: Loģika
македонски: Логика
монгол: Логик
Bahasa Melayu: Logik
Mirandés: Lógica
မြန်မာဘာသာ: ယုတ္တိဗေဒ
Plattdüütsch: Logik
नेपाल भाषा: तर्क
Nederlands: Logica
norsk nynorsk: Logikk
norsk bokmål: Logikk
Novial: Logike
occitan: Logica
ਪੰਜਾਬੀ: ਤਰਕ ਸ਼ਾਸਤਰ
polski: Logika
Piemontèis: Lògica
پنجابی: تُک
português: Lógica
română: Logică
русский: Логика
русиньскый: Лоґіка
саха тыла: Логика
sardu: Lògica
sicilianu: Lòggica
Scots: Logic
سنڌي: منطق
srpskohrvatski / српскохрватски: Logika
Simple English: Logic
slovenčina: Logika
slovenščina: Logika
shqip: Logjika
српски / srpski: Логика
Basa Sunda: Logika
svenska: Logik
Kiswahili: Mantiki
தமிழ்: ஏரணம்
тоҷикӣ: Мантиқ
Türkmençe: Logika
Tagalog: Lohika
Tok Pisin: Lajik
Türkçe: Mantık
татарча/tatarça: Мантыйк
тыва дыл: Билиглел
українська: Логіка
اردو: منطق
oʻzbekcha/ўзбекча: Mantiq
Tiếng Việt: Logic
walon: Lodjike
Winaray: Lohika
isiXhosa: I-logic
ייִדיש: לאגיק
Yorùbá: Ọgbọ́n
中文: 逻辑
文言: 理則
Bân-lâm-gú: Lô-chek
粵語: 邏輯學