Lógica proposicional que extiende la lógica intuicionista
En lógica matemática , una lógica superintuicionista es una lógica proposicional que extiende la lógica intuicionista . La lógica clásica es la lógica superintuicionista consistente más fuerte; por tanto, las lógicas superintuicionistas consistentes se denominan lógicas intermedias (las lógicas son intermedias entre la lógica intuicionista y la lógica clásica). [1]
Definición
Una lógica superintuicionista es un conjunto L de fórmulas proposicionales en un conjunto contable de variables p i que satisfacen las siguientes propiedades:
- 1. todos los axiomas de la lógica intuicionista pertenecen a L ;
- 2. si F y G son fórmulas tales que F y F → G pertenecen a L , entonces G también pertenece a L (cierre bajo modus ponens );
- 3. si F ( p 1 , p 2 , ..., p n ) es una fórmula de L y G 1 , G 2 , ..., G n son fórmulas cualesquiera, entonces F ( G 1 , G 2 , ..., G n ) pertenece a L (cierre bajo sustitución).
Semejante lógica es intermedia si, además,
- 4. L no es el conjunto de todas las fórmulas.
Propiedades y ejemplos
Existe un continuo de diferentes lógicas intermedias y muchas de esas lógicas exhiben la propiedad de disyunción (DP). Las lógicas superintuicionistas o intermedias forman un entramado completo con la lógica intuicionista como base y la lógica inconsistente (en el caso de las lógicas superintuicionistas) o la lógica clásica (en el caso de las lógicas intermedias) como cima. La lógica clásica es la única capa en el entramado de las lógicas superintuicionistas; La red de lógicas intermedias también tiene un coatom único, a saber, SmL [ cita requerida ] .
Las herramientas para estudiar la lógica intermedia son similares a las utilizadas para la lógica intuicionista, como la semántica de Kripke . Por ejemplo, la lógica de Gödel-Dummett tiene una caracterización semántica simple en términos de órdenes totales . Se pueden dar lógicas intermedias específicas mediante una descripción semántica.
Otros suelen obtenerse añadiendo uno o más axiomas a
- Lógica intuicionista (normalmente denominada cálculo proposicional intuicionista IPC , pero también Int , IL o H )
Ejemplos incluyen:
- Lógica clásica ( CPC , Cl , CL ):
- = IPC + ¬¬ p → p (Eliminación por doble negación, DNE)
- = IPC + (¬ p → p ) → p ( Consequentia mirabilis )
- = IPC + p ∨ ¬ p ( Principio del tercero excluido , PEM)
Las variantes generalizadas de lo anterior (pero en realidad principios equivalentes sobre la lógica intuicionista) son, respectivamente,
- = IPC + (¬ p → ¬ q ) → ( q → p ) ( principio de contraposición inversa )
- = IPC + (( p → q ) → p ) → p ( principio de Pierce PP, comparar con Consequentia mirabilis)
- = IPC + ( q → p ) → ((¬ q → p ) → p ) (otro esquema que generaliza Consequentia mirabilis)
- = IPC + p ∨ ( p → q ) (siguiendo de PEM vía principio de explosión )
- Lógica de Smetanich ( SmL ):
- = IPC + (¬ q → p ) → ((( p → q ) → p ) → p ) (un PP condicional)
- = IPC + ( p → q ) ∨ ( q → p ) (Principio de Dirk Gfully, DGP o linealidad)
- = IPC + ( p → ( q ∨ r )) → (( p → q ) ∨ ( p → r )) (una forma de independencia de la premisa IP)
- = IPC + (( p ∧ q ) → r ) → (( p → r ) ∨ ( q → r )) (Cuarta ley de De Morgan generalizada )
- Profundidad acotada 2 ( BD 2 , ver generalizaciones a continuación. Comparar con p ∨ ( p → q )):
- = IPC + p ∨ ( p → ( q ∨ ¬ q ))
- = IPC + ¬¬ p ∨ ¬ p (PEM débil, también conocido como WPEM)
- = IPC + ( p → q ) ∨ (¬ p → ¬ q ) (un DGP débil)
- = IPC + ( p → ( q ∨ ¬ r )) → (( p → q ) ∨ ( p → ¬ r )) (una variante, con negación, de una forma de IP)
- = IPC + ¬( p ∧ q ) → (¬ q ∨ ¬ p ) (cuarta ley de De Morgan )
- = IPC + ((¬¬ p → p ) → ( p ∨ ¬ p )) → (¬¬ p ∨ ¬ p ) (un WPEM condicional)
- = IPC + (¬ p → ( q ∨ r )) → ((¬ p → q ) ∨ (¬ p → r )) (la otra variante, con negación, de una forma de IP)
Esta lista no es, en su mayor parte, ningún tipo de ordenamiento. Por ejemplo, se sabe que LC no prueba todos los teoremas de SmL , pero no se compara directamente en fuerza con BD 2 . Asimismo, por ejemplo, KP no se compara con SL . La lista de igualdades para cada lógica tampoco es exhaustiva. Por ejemplo, al igual que ocurre con WPEM y la ley de De Morgan, se pueden expresar varias formas de DGP utilizando conjunción.
Incluso (¬¬ p ∨ ¬ p ) ∨ (¬¬ p → p ), un mayor debilitamiento de WPEM, no es un teorema de IPC .
También puede valer la pena señalar que, dando por sentada toda la lógica intuicionista, las igualdades dependen notablemente de la explosión. Por ejemplo, según la lógica mínima , el principio PEM ya es equivalente a Consequentia mirabilis, pero no implica ni la DNE ni el PP más fuertes, y no es comparable a la DGP.
Continuando:
- lógicas de profundidad acotada ( BD n ):
- IPC + p n ∨ ( p n → ( p n −1 ∨ ( p n −1 → ... → ( p 2 ∨ ( p 2 → ( p 1 ∨ ¬ p 1 )))...)))
- Lógicas valoradas en n de Gödel ( G n ):
- LC + BD n −1
- = LC + BC n −1
- lógicas de cardinalidad acotada ( BC n ):
![{\displaystyle \textstyle \mathbf {IPC} +\bigvee _{i=0}^{n}{\bigl (}\bigwedge _{j<i}p_{j}\to p_{i}{\bigr ) }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- lógicas de ancho superior acotado ( Por cierto n ):
![{\displaystyle \textstyle \mathbf {IPC} +\bigvee _{i=0}^{n}{\bigl (}\bigwedge _{j<i}p_{j}\to \neg \neg p_{i} {\Gran R )}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Lógicas de ancho acotado, también conocida como lógica de anti-cadenas acotadas, Ono (1972) ( BW n , BA n ):
![{\displaystyle \textstyle \mathbf {IPC} +\bigvee _{i=0}^{n}{\bigl (}\bigwedge _{j\neq i}p_{j}\to p_{i}{\bigr )}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- lógicas de ramificación acotada, Gabbay y de Jongh (1969, 1974) ( T n , BB n ):
![{\displaystyle \textstyle \mathbf {IPC} +\bigwedge _{i=0}^{n}{\bigl (}{\bigl (}p_{i}\to \bigvee _{j\neq i}p_{ j}{\bigr )}\to \bigvee _{j\neq i}p_{j}{\bigr )}\to \bigvee _{i=0}^{n}p_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Además:
- Lógicas de realizabilidad
- Lógica de problemas finitos de Medvedev ( LM , ML ): definida semánticamente como la lógica de todos los marcos de la forma para conjuntos finitos X ("hipercubos booleanos sin parte superior"), no se sabe que sea recursivamente axiomatizable
- ...
Las lógicas proposicionales SL y KP tienen la propiedad de disyunción DP. La lógica de la realizabilidad de Kleene y la lógica fuerte de Medvedev también la tienen. No existe una lógica máxima única con DP en la red. Tenga en cuenta que si una teoría consistente valida WPEM pero aún tiene declaraciones independientes al asumir PEM, entonces no puede tener DP.
Semántica
Dada un álgebra de Heyting H , el conjunto de fórmulas proposicionales que son válidas en H es una lógica intermedia. Por el contrario, dada una lógica intermedia es posible construir su álgebra de Lindenbaum-Tarski , que entonces es un álgebra de Heyting.
Un marco de Kripke intuicionista F es un conjunto parcialmente ordenado , y un modelo de Kripke M es un marco de Kripke con una valoración tal que es un subconjunto superior de F. El conjunto de fórmulas proposicionales que son válidas en F es una lógica intermedia. Dada una lógica intermedia L es posible construir un modelo de Kripke M tal que la lógica de M sea L (esta construcción se llama modelo canónico ). Puede que no exista un marco Kripke con esta propiedad, pero siempre existe un marco general .![{\displaystyle \{x\mid M,x\Vdash p\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Relación con la lógica modal
Sea A una fórmula proposicional. La traducción de Gödel- Tarski de A se define recursivamente de la siguiente manera:
![{\displaystyle T(p_{n})=\Box p_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle T(\neg A)=\Box \neg T(A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle T(A\land B)=T(A)\land T(B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle T(A\vee B)=T(A)\vee T(B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle T(A\to B)=\Box (T(A)\to T(B))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si M es una lógica modal que extiende S4 entonces ρ M = { A | T ( A ) ∈ M } es una lógica superintuicionista, y M se llama compañero modal de ρ M . En particular:
- IPC = ρS4
- KC = ρ S4.2
- CL = ρ S4.3
- CPC = ρ S5
Para cada lógica intermedia L hay muchas lógicas modales M tales que L = ρ M .
Ver también
Notas
Referencias
- Medvédev, Yu T. (1962). "[Problemas finitos]" (PDF) . Matemáticas soviéticas (en ruso). 3 (1): 227–230. doi :10.2307/2272084. JSTOR 2272084.
Traducción al inglés de XXXVIII 356(20) de Elliott Mendelson.
- Medvédev, Yu T. (1963). "[Interpretación de fórmulas lógicas mediante problemas finitos y su relación con la teoría de la legibilidad]" (PDF) . Matemáticas soviéticas (en ruso). 4 (1): 180–183. doi :10.2307/2272084. JSTOR 2272084.
Traducción al inglés de XXXVIII 356(21) por Sue Ann Walker.
- Medvédev, Yu T. (1966). «[Interpretación de fórmulas lógicas mediante problemas finitos]» (PDF) . Matemáticas soviéticas (en ruso). 7 (4): 857–860. doi :10.2307/2272084. JSTOR 2272084.
Traducción al inglés de XXXVIII 356(22) por Sue Ann Walker
- Umezawa, Toshio (junio de 1959). "Sobre lógicas intermedias entre la lógica de predicados intuicionista y clásica". Revista de Lógica Simbólica . 24 (2): 141-153. doi :10.2307/2964756. JSTOR 2964756. S2CID 13357205.
enlaces externos