Lógica formal

Lógica formal

La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.

La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal.

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • lógica formal — ► locución Conjunto de las leyes y las reglas relativas al razonamiento deductivo …   Enciclopedia Universal

  • lógica — (Del lat. logĭca, y este del gr. λογική). 1. 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 …   Diccionario de la lengua española

  • formal — (Del lat. formālis). 1. adj. Perteneciente o relativo a la forma, por contraposición a esencial. 2. Que tiene formalidad. 3. Dicho de una persona: Seria, amiga de la verdad y enemiga de chanzas. 4. Expreso, preciso, determinado. ☛ V. acto formal …   Diccionario de la lengua española

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

  • Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español

  • Lógica — (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 …   Enciclopedia Universal

  • Lógica matemática — La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la… …   Wikipedia Español

  • Lógica informal — La lógica informal, o lógica no formal, es el estudio de los argumentos, tal como se presentan en la vida diaria, en oposición al estudio de los argumentos en una forma técnica o artificial, que corresponde a la lógica formal. Esta parte de la… …   Wikipedia Español

  • Lógica de clases — La lógica de clases considera la proposición considerando la pertenencia o no pertenencia de un elemento o individuo a una determinada clase. Es la interpretación de una proposición o enunciado lingüístico bajo la formalización de la teoría de… …   Wikipedia Español

  • lógica — s f 1 Disciplina que trata de la estructura y las relaciones que hay entre los diferentes elementos del discurso, como son los conceptos y los juicios, y establece los principios formales del razonamiento: lógica formal, lógica dialéctica, lógica …   Español en México

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”