En la lógica de predicados clásica, se supone comúnmente que el dominio de los objetos no está vacío. Esto valida inferencias tales como
Contrariamente a la creencia popular, muchos teoremas se expresan de manera más elegante si permitimos estructuras vacías. Solo por ejemplo, la siguiente es una de las pruebas más útiles para la eliminación de cuantificadores.
Una teoría tiene eliminación de cuantificador si y solo si para todos los modelos y , cualquier subestructura y cualquier incrustación , es un mapa elemental parcial.
El teorema es falso si requerimos la estructura ser no vacío. Si observa el libro Model Theory: An Introduction , Theorem 3.1.4 de Marker, en realidad agrega la hipótesis antinatural de que el lenguaje contiene un símbolo constante para solucionar este problema.
Por otro lado, uno de los únicos lugares que conozco donde realmente ayuda asumir que todas las estructuras no están vacías es la forma normal prenex. Por ejemplo, la oración , dónde es un -símbolo de relación aria y es un símbolo de proposición (un -símbolo de relación aria) no es equivalente a ninguna oración en forma de prenexo. Por supuesto, esto se puede arreglar cambiando el teorema: cada fórmula de primer orden es equivalente sobre estructuras no vacías a una en forma de prenexo. Pero admito que es un poco insatisfactorio.
Si alguien tiene otros ejemplos de lugares donde prohibir estructuras vacías realmente parece mejorar la teoría, me gustaría conocerlos. (Aunque una advertencia justa: soy un verdadero partidario de este tema, por lo que probablemente responderé tratando de convencerlo de que existe una solución elegante que permite estructuras vacías).
En mi experiencia, realmente no hay problemas para desarrollar los conceptos básicos de la lógica de primer orden con estructuras vacías, ¡una vez que arreglas las reglas de prueba para que sean sólidas en estructuras vacías, por supuesto! Pero nuevamente, hay sistemas de prueba que son sólidos y completos en estructuras vacías y tan elegantes como los sistemas de prueba tradicionales, si no más. Si desea ver los detalles del teorema de completitud resuelto, puede consultar el Capítulo 3 de estas notas de clase sobre la teoría de modelos , donde doy un sistema de cálculo secuencial que es sólido y completo para la lógica de primer orden de orden múltiple en la que cualquiera o todos los géneros pueden estar vacíos.
Presentaré una versión abreviada de la explicación tradicional de la semántica de la lógica clásica ordenada, explicaré por qué no podemos permitir modelos vacíos bajo esta semántica y mostraré cómo podemos modificar la explicación tradicional para permitir modelos vacíos.
arreglar un idioma - es decir, una colección de símbolos de función y símbolos de predicado.
Una estructura es un conjunto no vacío. , junto con, para cada -símbolo de función aria , Una función , y para cada -símbolo de predicado ario , un - predicado ario . La estructura generalmente se denota abusivamente como .
Recuerde que tomamos el conjunto de todas las variables como un conjunto numerable infinito . Dada una estructura , una asignación variable para se define como una función . Dada una asignación de variable , una variable , y algo , definimos ser el envío de asignación variable a y enviar a .
dado un término y una asignación variable , podemos definir la "interpretación de en ", Escrito como , como sigue:
cuando sea
(aquí, el lado izquierdo es "la interpretación de
en
"y el lado derecho es la aplicación de función)
cuando sea
es un
-símbolo de función aria y
son términos.
La declaración , dónde es una estructura, es una asignación variable, y es una declaración en lógica de primer orden en el lenguaje , se define recursivamente de la siguiente manera:
si y solo si
si y solo si
siempre
nunca
si y solo si
y
... (se omiten otros conectores)
si y solo si hay alguna
tal que
si y solo si para todos
,
Definimos significar que para todos , se da el caso de que . Esto se lee como " es un modelo de ".
Tenga en cuenta que esta definición se encuentra inmediatamente con un problema si permitimos estar vacío Esto se debe a que no hay asignaciones de variables. . Por lo tanto, para todos , . ¡Esto no es lo que queremos! No queremos modelos de fenómenos contradictorios. Queremos que haya modelos de declaraciones si y solo si estas declaraciones son consistentes.
Afortunadamente, hay una manera de revisar esta cuenta para permitir modelos vacíos.
Una asignación de variable flexible se define como una función parcial , dónde es un subconjunto de . Una asignación variable flexible se dice que es "compatible con (mi propia terminología) si . Dada alguna asignación variable flexible , alguna variable , y algo , podemos definir una asignación variable flexible que envía a y envía , a .
Una vez que hemos definido las asignaciones de variables flexibles, podemos definir la interpretación de un término sobre esta asignación flexible. Una asignación variable flexible es compatible con un término si y si . Si es compatible con , entonces la interpretación de en , escrito , es definido por
cuando sea
es una variable (el lado derecho es la aplicación de la función real, el lado izquierdo es "la interpretación de
en
)
para todos
-símbolos de funciones arias
y términos
La declaración , dónde es una estructura, es una asignación variable flexible en , es una declaración en el idioma , y es compatible con , se define recursivamente para significar
si y solo si
si y solo si
siempre
nunca
si y solo si
y
.
... (se omiten otros conectores)
si y solo si existe
tal que
.
si y solo si para todos
,
.
La declaración significa que para todas las asignaciones de variables flexibles compatible con , se da el caso de que .
Tenga en cuenta que hay un poco más de trabajo aquí. Por ejemplo, tenemos que demostrar que si es compatible con , entonces es compatible con .
Pero esto nos saca del acertijo anterior al permitir estar vacío Esto se debe a que siempre existe la asignación de variable vacía, que es compatible con la instrucción . Así que nunca es el caso de que incluso cuando esta vacio.
Resulta que no es demasiado difícil modificar ligeramente las reglas normales de la lógica clásica de predicados para que sean sólidas y completas sobre esta definición modificada de "modelos". Las reglas modificadas prueban exactamente las mismas afirmaciones que las "reglas ordinarias" si asume .
Si permite que el dominio no esté vacío, debe introducir más complejidad para manejar símbolos no lógicos.
Puede relajarse o eliminar la suposición de que el dominio no está vacío, lo que le brinda varios tipos de lógica libre .
A primera vista, la lógica libre aborda un problema ligeramente diferente, a saber, cómo manejar símbolos constantes que no se refieren a nada ni a funciones parciales.
Sin embargo, estas son preguntas que debe abordar si desea permitir símbolos constantes en su vocabulario no lógico. En la teoría de la Aritmética de Peano, por ejemplo, hay una constante . En una estructura vacía, no hay nada que puede referirse a... por lo que no está claro cómo construir una estructura con un dominio vacío que podría ser o no ser un modelo de PA.
En la lógica de predicados clásica (cuantificada), asumimos que el dominio del discurso contiene al menos un objeto y que cada constante en el lenguaje se refiere a un objeto en ese dominio. Por supuesto, puede crear su propio sistema lógico sin tal idealización, pero siempre tendrá en cuenta que es posible que no tengamos objetos para abarcar en su fórmula, lo que complicará considerablemente la forma del lenguaje sin mucho beneficio en el análisis de problemas reales. Los problemas reales siempre se basan en objetos abstractos físicos o bien definidos (mentales) existentes; de lo contrario, es un problema metafísico algo nihilista o puramente imaginario similar al unicornio / pegaso que se puede emplear para describir la lógica libre .
Una lógica libre es una lógica con menos presupuestos existenciales que la lógica clásica. Las lógicas libres pueden permitir términos que no denoten ningún objeto. Las lógicas libres también pueden permitir modelos que tienen un dominio vacío. Una lógica libre con la última propiedad es una lógica inclusiva.
En un nivel filosófico más profundo, el filósofo Quine tiene un dicho famoso
"Ser es ser el valor de una variable ligada".
La existencia en sí misma no es un predicado en la lógica clásica consistente con el espíritu de Quine, por lo que primero debemos asumir la no vacuidad del dominio que se va a abarcar para la variable ligada. En otras palabras, la existencia de todas sus variables en FOL clásico ya está implícitamente asegurada por la suposición de no vacío del dominio del discurso en esta etapa de génesis , los cuantificadores posteriores deciden aún más su existencia bajo predicados correspondientes... Como resumen aquí en lógica clásica todos somos realistas y nos comprometemos con el no vacío de cualquier dominio del discurso de interés. Si resulta que ningún objeto en este dominio no vacío satisface algún predicado P(x), entonces simplemente concluimos la proposición o .
Guardar marca
eric wofsey
Siesta D. Amante
jair taylor
máx.
mohottnad
Dan Christensen