¿Existen otros ‘lenguajes’ basados ​​en la lógica como las matemáticas?

Answer 1

Mi opinión difiere de las otras proporcionadas hasta ahora. Varios ven la lógica como un subdominio de las matemáticas, pero creo que tiene el carro antes que el caballo.

A mi entender, la lógica proporciona una teoría de prueba formal para todas las matemáticas y la física y las otras ciencias exactas. También proporciona aproximaciones aproximadas y modelos parciales de razonamiento de sentido común ordinario.

Como otros han sugerido, la lógica se entiende mejor como una familia de lenguajes simbólicos y principios de inferencia. Cada uno tiene su propia sintaxis distintiva (forma o estructura), semántica (contenido y modelo de verdad) y pragmática (uso práctico y valor). Muchos de los lenguajes se superponen e intersectan, teniendo axiomas, teoremas, reglas de inferencia, características sintácticas y semánticas, y usos y aplicaciones prácticas en común.

Los humanos son capaces de al menos tres modos de razonamiento analítico o inferencia: deducción, inducción y abducción. La lógica ofrece una amplia variedad de lenguajes y modelos de inferencia para expresar esos modos de inferencia o razonamiento para una variedad de propósitos.

La matemática es claramente el campo primario de la aplicación pragmática de la lógica formal como teoría de prueba . La matemática misma también sirve como teoría de prueba para la física teórica y la cosmología. Entonces las matemáticas son, como sugiere la pregunta, un lenguaje basado en la lógica. Como otros han sugerido, los lenguajes de programación de computadoras también son implementaciones más o menos directas de la lógica y la teoría de la prueba (por ejemplo, el motor de inferencia de la cláusula Horn de Prolog) o las traducciones a la lógica digital de los conjuntos de instrucciones de la máquina de la computadora (por ejemplo, el álgebra booleana binaria de la lógica proposicional implementado en forma de circuitos digitales).

Answer 2

Las matemáticas no son un idioma. Es un sistema de notaciones en el que se pueden expresar muchos tipos de cosas, incluidas lógicas, álgebras y algoritmos. Hay unas pocas docenas de tipos de lógica matemática, que usan notaciones diferentes y tienen reglas diferentes. Se agregan nuevas anotaciones al sistema, siempre que un matemático quiera un símbolo para denotar un nuevo concepto, o una breve notación para algo que es tedioso de expresar de otra manera. Entonces, no, no hay “otros lenguajes basados ​​en la lógica” que sean “como las matemáticas”, porque cualquier lenguaje escrito sería “matemático”.

Dicho esto, los filósofos afirman que discuten la lógica y usan la lógica para razonar sobre otras cosas, sin usar la notación matemática. Lo hacen en idiomas naturales, como el inglés o el francés. Sus idiomas no son “como las matemáticas”, en absoluto.

Answer 3

Hay un lenguaje de computadora llamado prolog. Utiliza una sintaxis menos complicada que algunos otros idiomas, y es algo legible para los humanos.

Puede escribir hechos y reglas y luego preguntar / consultar si una situación es posible, y le dirá una o todas las formas en que algo es posible. Cuanto mejor se escriban las reglas y los hechos junto con una consulta claramente definida, obtendrá una respuesta integral sobre las relaciones entre las reglas y los hechos en su situación descrita.

Answer 4

Cual lógica? La matemática es el estudio de numerosas lógicas, y por sí misma no es un solo lenguaje, sino cientos.

Answer 5

El inglés es un idioma “basado en la lógica”.

Answer 6

Existen varios de esos lenguajes artificiales que imitan la “lógica”, como el lojban si recuerdo bien.