(Del lat. logica < gr. logike.)
► sustantivo femenino
1 LÓGICA Ciencia que expone las leyes, argumentaciones y formas que dan validez y consistencia al conocimiento científico.
2 Capacidad para actuar y tomar decisiones de forma acertada:
■ si piensas con lógica, descubrirás la solución al problema.
SINÓNIMO [sentido común] razón
FRASEOLOGÍA
lógica formal Conjunto de las leyes y las reglas relativas al razonamiento deductivo.
lógica matemática Teoría científica del razonamiento, que se divide en cálculo de enunciados y cálculo de predicados.
lógica natural Capacidad natural para discurrir con acierto sin ayuda de la ciencia.
* * *
lógica (del lat. «logĭca», del gr. «logikḗ», f. de «logikós»)
1 f. Tratado de las operaciones del pensamiento. ⇒ Artes, súmulas. ➢ *Silogismo, sorites. ➢ *Filosofía. *Razón.
2 Manera de razonar o actuar coherente o de sentido común: ‘La lógica de su discurso convenció a los más escépticos. Tiene su lógica que lo hayan ascendido a director. Por lógica, la temperatura es más baja en las cumbres que en los valles’.
* * *
lógica. (Del lat. logĭca, y este del gr. λογική). f. Ciencia que expone las leyes, modos y formas del conocimiento científico. || 2. Tratado de esta ciencia. Escribió una lógica que fue muy comentada. || \lógica borrosa, o \lógica difusa. f. La que admite una cierta incertidumbre entre la verdad o falsedad de sus proposiciones, a semejanza del raciocinio humano. || \lógica formal, o \lógica matemática. f. La que opera utilizando un lenguaje simbólico artificial y haciendo abstracción de los contenidos. || \lógica natural. f. Disposición natural para discurrir con acierto sin el auxilio de la ciencia. || \lógica parda. f. coloq. gramática parda.
* * *
La lógica es un uso especial del lenguaje que está relacionado con el sentido y la exactitud de lo que decimos. En concreto, es la disciplina que estudia la estructura, fundamento y uso de las expresiones del conocimiento humano. El lenguaje puede emplearse de distintas formas: para pedir algo, o para avisar a alguien, para describir algo que hemos visto o simplemente para expresar una sensación, como cuando gritamos al quemarnos. Aristóteles, que es considerado el pionero en el estudio de la Lógica y su creador en su forma clásica, la consideraba como el arte de la argumentación correcta y verdadera. Siguiendo la definición clásica de lógica, podemos decir que se trata de la ciencia -o el estudio- que trata sobre los razonamientos correctos. Durante muchos siglos se desarrolló también un importante desarrollo sobre los razonamientos incorrectos o falacias, emitidos muchas veces con el ánimo de confundir el razonamiento o el debate con otros interlocutores.* * *
► femenino Manera de razonar o discurrir.
► Encadenamiento necesario o razonable de las cosas, hechos o ideas.
► lógica natural Disposición racional para discurrir con acierto sin el auxilio de la disciplina o ciencia de la lógica.
► FILOSOFÍA Ciencia que estudia sistemáticamente las condiciones de validez formal de una inferencia o de una argumentación cualquiera. Su primer tratadista fue Aristóteles con la invención del silogismo y la introducción de variables o de símbolos. La lógica postaristotélica se limitó a sistematizar, comentar o completar su obra. A partir del s. XIII la obra de Aristóteles llegó a Occidente en su totalidad y dio lugar a los grandes tratadistas y comentaristas. Con Bacon, Descartes y Leibniz, fue tomando un nuevo giro que llevaría, a mediados del s. XIX, a la lógica moderna. Los primeros intentos se sitúan en 1847 con la aparición de la obra de Boole, que se caracteriza por la aplicación de los métodos matemáticos a la lógica: construyó un cálculo algebraico puramente formal, posteriormente interpretado, primero como álgebra de clases y después como formalización de la lógica proposicional. Peirce (1839-1914) desarrolló la lógica de relaciones, G. Frege (1848-1925) intentó una fundamentación de las matemáticas. Con ello, abrió una serie de nuevas perspectivas, como la cuantificación de la lógica de términos, la distinción entre variable y constante, el concepto de función lógica, la distinción entre ley y regla, así como consideraciones de carácter metalógico. G. Peano (1858-1932) creó un simbolismo preciso y dio una sistematización del cálculo proposicional más satisfactoria que las anteriores. La obra Principia mathematica (1910-13) de Russell y Whitehead representa la recapitulación y síntesis más importante y original de las teorías lógicas contemporáneas, esp. las de Frege y Peano. La obra de Russell y Whitehead solo ha sido superada en ciertos aspectos por la de Hilbert y Bernays, Fundamento de las matemáticas (1934-39). Paralelamente, a partir de 1920, se produjeron otros descubrimientos como las lógicas polivalentes con los polacos Lukasiewicz, Post y Tarski, y la sis tematización de la lógica modal (Lewis). La lógica contemporánea más reciente ha evolucionado en dos tendencias principales: una orientada a la formalización de una disciplina matemática fundamental (Gödel, Tarski) y otra, en sentido más analiticofilosófico, que tiende a constituir la lógica como una rama de la semiótica o teoría general de los signos, cuyo aspecto más importante es la teoría del lenguaje.
► lógica de clases Planteamiento extensional de la lógica de términos (V. clase, extensionalidad). Las clases se designan con las letras α, β, γ, etc.
► lógica de predicados Planteamiento intensional de la lógica de términos. (V. intensionalidad.)
► lógica de relaciones Parte de la lógica vinculada con la lógica de predicados por su planteamiento intensional y con la lógica de clases por su planteamiento extensional.
► lógica de términos Parte de la lógica moderna que trata del término. (V. término y cuantificador.)
► lógica modal Parte de la lógica proposicional que se refiere a los modos o grados del valor lógico de una proposición. (V. modalidad.)
► lógica proposicional Parte de la lógica moderna que estudia la estructura lógica de las proposiciones y sus relaciones.
* * *
(as used in expressions)
Enciclopedia Universal. 2012.