Lógica libre

Lógica libre

La lógica libre (del inglés Free logic) es un sistema lógico sin presupuestos existenciales. Esto es, sus teoremas son válidos en todos los dominios, incluyendo el dominio vacío.

Fue propuesta por primera vez en la década del cincuenta. Karel Lambert, uno de sus fundadores, fue quien acuñó el término. De acuerdo con Lambert, la expresión "lógica libre" es una abreviación de "libre de suposiciones de existencia con respecto a sus términos, generales o singulares".

Enlaces


Wikimedia foundation. 2010.

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

Mira otros diccionarios:

  • Lógica (desambiguación) — Saltar a navegación, búsqueda Lógica libre Lógica aristotélica Lógica binaria Lógica bivalente Lógica combinatoria Lógica computacional Lógica de control Lógica de descripción Lógica de primer orden Lógica de segundo orden Lógica deóntica Lógica… …   Wikipedia Español

  • Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

  • Lógica deóntica — Giotto di Bondone (1267 1337), Capilla Scrovegni en Padua, Italia. La lógica deóntica es un tipo de lógica modal usada para analizar formalmente las normas o las proposiciones que tratan acerca de las normas. Contenido …   Wikipedia Español

  • Lógica combinatoria — La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar… …   Wikipedia Español

  • Lógica empírica — La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la antigua Grecia. El término empírico deriva del griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ… …   Wikipedia Español

  • Lógica cuántica — En física, la lógica cuántica es el conjunto de reglas algebraicas que rigen las operaciones para combinar y los predicados para relacionar proposiciones asociadas a acontecimientos físicos que se observan a escalas atómicas. Ejemplos de tales… …   Wikipedia Español

  • Lógica combinatoria — Introducción La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede… …   Enciclopedia Universal

  • Historia de la lógica — La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lógico estaba ya… …   Wikipedia Español

  • Hardware libre — |añoacceso=2009 |autor= |enlaceautor= |idioma= }}</ref>]] Hardware libre de Bug Labs.[1] …   Wikipedia Español

  • Lista de artículos que toda Wikipedia debería tener — Wikipedia:Lista de artículos que toda Wikipedia debería tener Saltar a navegación, búsqueda Atajo WP:VITALWP:VITAL Ayuda de edición …   Wikipedia Español

Compartir el artículo y extractos

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