Una expansión implicativa de la matriz tetravaluada de Belnap: una lógica modal tetravaluada carente de las paradojas modales fuertes tipo Łukasiewicz

Blanco Sánchez, José Miguel

Una expansión implicativa de la matriz tetravaluada de Belnap: una lógica modal tetravaluada carente de las paradojas modales fuertes tipo Łukasiewicz

[ES]Hacia el final de su vida el gran lógico polaco J. Lukasiewicz desarrollaría el sistema modal tetravaluado conocido como L. Este sistema verificaba tesis como (MA ^MB) ! M (A ^ B) ó L(A v B) ! (LA v LB), enclavadas dentro de las paradojas modales fuertes tipo Lukasiewicz. El sistema fue ampliame...

Descripción completa

Detalles Bibliográficos
Autor:	Blanco Sánchez, José Miguel
Tipo de recurso:	tesis doctoral
Fecha de publicación:	2018
País:	España
Institución:	Universidad de Salamanca (USAL)
Repositorio:	GREDOS. Repositorio Institucional de la Universidad de Salamanca
OAI Identifier:	oai:gredos.usal.es:10366/139440
Acceso en línea:	http://hdl.handle.net/10366/139440
Access Level:	acceso abierto
Palabra clave:	Tesis y disertaciones académicas Universidad de Salamanca (España) Tesis Doctoral Academic dissertations Lógica simbólica y matemática Relevancia (Filosofía) Modalidad (Lógica) 11 Lógica

id	ES_98abdbce44a922df4dcc3b96df331ed2
oai_identifier_str	oai:gredos.usal.es:10366/139440
network_acronym_str	ES
network_name_str	España
repository_id_str
dc.title.none.fl_str_mv	Una expansión implicativa de la matriz tetravaluada de Belnap: una lógica modal tetravaluada carente de las paradojas modales fuertes tipo Łukasiewicz
title	Una expansión implicativa de la matriz tetravaluada de Belnap: una lógica modal tetravaluada carente de las paradojas modales fuertes tipo Łukasiewicz
spellingShingle	Una expansión implicativa de la matriz tetravaluada de Belnap: una lógica modal tetravaluada carente de las paradojas modales fuertes tipo Łukasiewicz Blanco Sánchez, José Miguel Tesis y disertaciones académicas Universidad de Salamanca (España) Tesis Doctoral Academic dissertations Lógica simbólica y matemática Relevancia (Filosofía) Modalidad (Lógica) 11 Lógica
title_short	Una expansión implicativa de la matriz tetravaluada de Belnap: una lógica modal tetravaluada carente de las paradojas modales fuertes tipo Łukasiewicz
title_full	Una expansión implicativa de la matriz tetravaluada de Belnap: una lógica modal tetravaluada carente de las paradojas modales fuertes tipo Łukasiewicz
title_fullStr	Una expansión implicativa de la matriz tetravaluada de Belnap: una lógica modal tetravaluada carente de las paradojas modales fuertes tipo Łukasiewicz
title_full_unstemmed	Una expansión implicativa de la matriz tetravaluada de Belnap: una lógica modal tetravaluada carente de las paradojas modales fuertes tipo Łukasiewicz
title_sort	Una expansión implicativa de la matriz tetravaluada de Belnap: una lógica modal tetravaluada carente de las paradojas modales fuertes tipo Łukasiewicz
dc.creator.none.fl_str_mv	Blanco Sánchez, José Miguel
author	Blanco Sánchez, José Miguel
author_facet	Blanco Sánchez, José Miguel
author_role	author
dc.contributor.none.fl_str_mv	Robles Vázquez, Gemma Méndez Rodríguez, José Manuel
dc.subject.none.fl_str_mv	Tesis y disertaciones académicas Universidad de Salamanca (España) Tesis Doctoral Academic dissertations Lógica simbólica y matemática Relevancia (Filosofía) Modalidad (Lógica) 11 Lógica
topic	Tesis y disertaciones académicas Universidad de Salamanca (España) Tesis Doctoral Academic dissertations Lógica simbólica y matemática Relevancia (Filosofía) Modalidad (Lógica) 11 Lógica
description	[ES]Hacia el final de su vida el gran lógico polaco J. Lukasiewicz desarrollaría el sistema modal tetravaluado conocido como L. Este sistema verificaba tesis como (MA ^MB) ! M (A ^ B) ó L(A v B) ! (LA v LB), enclavadas dentro de las paradojas modales fuertes tipo Lukasiewicz. El sistema fue ampliamente criticado por la verificación de dichas tesis. Por otra parte, en [Brady, 1982], R. T. Brady presenta la lógica relevante BN4, una versión tetravaluada del clásico sistema del condicional relevante R. Con ambos antecedentes, el objetivo de la presente investigación pasa por desarrollar un sistema que actúe como compañero de BN4 tal y como E lo es con respecto a R y que carezca de las paradojas que asolan el sistema de Lukasiewicz. Para ello, en primer lugar, definiremos la matriz M4, que servirá como base para los sistemas que posteriormente desarrollaremos. Una vez definida la matriz daremos dos semánticas distintas: la semántica tetravaluada intrínseca a la matriz y una semántica bivalente tipo Belnap-Dunn, demostrando que las dos semánticas son equivalentes. Posteriormente definiremos un sistema basado en FDE al que llamaremos FDF4. Daremos para este sistema pruebas de corrección, completud y probaremos que surge de la matriz M4. Adicionalmente definiremos un sistema con E como base al que denominaremos EF4, para el que también daremos pruebas de corrección, completud y además probaremos que se trata de una axiomatización de la matriz M4, todo ello apoyándonos en el hecho de tratarse de un sistema equivalente a FDF4. Con respecto a EF4 desarrollaremos dos modalidades distintas: Una a través de las extensiones interdefinicionales de Lukasiewicz que, en este caso, resulta equivalente a la modalidad inherente a E, y otra basada en la propuesta de J. Y. Beziau que entronca con la propuesta de J. M. Font y M. Rius, a su vez ligada a la tradición de los algebristas portugueses encabezados por A. Monteiro. De esta manera definiremos dos sistemas modales diferentes, EF4-M y EF4-L. Para el primero daremos una única axiomatización, como es habitual, mientras que para el segundo daremos cuatro axiomatizaciones distintas. Para cada uno de ellos, EF4-M y EF4-L, desarrollaremos tanto una prueba de corrección como de completud. En último término, desarrollaremos tanto una semántica relacional ternaria de modelos reducidos, como una semántica relacional ternaria basada en 2 set-up para EF4, ofreciendo, de nuevo, pruebas de corrección y completud con respecto a ambas. Para concluir, probaremos que FDF4 es también correcto y completo con respecto a las semánticas relacionales que hemos definido y probaremos que la semántica de 2 set-up es un caso particular de la semántica de modelos reducidos.
publishDate	2018
dc.date.none.fl_str_mv	2018 2019 2019
dc.type.none.fl_str_mv	info:eu-repo/semantics/doctoralThesis
format	doctoralThesis
dc.identifier.none.fl_str_mv	http://hdl.handle.net/10366/139440
url	http://hdl.handle.net/10366/139440
dc.language.none.fl_str_mv	Español
language_invalid_str_mv	Español
dc.rights.none.fl_str_mv	Attribution-NonCommercial-NoDerivs 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/ info:eu-repo/semantics/openAccess
rights_invalid_str_mv	Attribution-NonCommercial-NoDerivs 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/
eu_rights_str_mv	openAccess
dc.format.none.fl_str_mv	application/pdf
dc.source.none.fl_str_mv	reponame:GREDOS. Repositorio Institucional de la Universidad de Salamanca instname:Universidad de Salamanca (USAL)
instname_str	Universidad de Salamanca (USAL)
reponame_str	GREDOS. Repositorio Institucional de la Universidad de Salamanca
collection	GREDOS. Repositorio Institucional de la Universidad de Salamanca
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_	1869414211978788864
spelling	Una expansión implicativa de la matriz tetravaluada de Belnap: una lógica modal tetravaluada carente de las paradojas modales fuertes tipo ŁukasiewiczBlanco Sánchez, José MiguelTesis y disertaciones académicasUniversidad de Salamanca (España)Tesis DoctoralAcademic dissertationsLógica simbólica y matemáticaRelevancia (Filosofía)Modalidad (Lógica)11 Lógica[ES]Hacia el final de su vida el gran lógico polaco J. Lukasiewicz desarrollaría el sistema modal tetravaluado conocido como L. Este sistema verificaba tesis como (MA ^MB) ! M (A ^ B) ó L(A v B) ! (LA v LB), enclavadas dentro de las paradojas modales fuertes tipo Lukasiewicz. El sistema fue ampliamente criticado por la verificación de dichas tesis. Por otra parte, en [Brady, 1982], R. T. Brady presenta la lógica relevante BN4, una versión tetravaluada del clásico sistema del condicional relevante R. Con ambos antecedentes, el objetivo de la presente investigación pasa por desarrollar un sistema que actúe como compañero de BN4 tal y como E lo es con respecto a R y que carezca de las paradojas que asolan el sistema de Lukasiewicz. Para ello, en primer lugar, definiremos la matriz M4, que servirá como base para los sistemas que posteriormente desarrollaremos. Una vez definida la matriz daremos dos semánticas distintas: la semántica tetravaluada intrínseca a la matriz y una semántica bivalente tipo Belnap-Dunn, demostrando que las dos semánticas son equivalentes. Posteriormente definiremos un sistema basado en FDE al que llamaremos FDF4. Daremos para este sistema pruebas de corrección, completud y probaremos que surge de la matriz M4. Adicionalmente definiremos un sistema con E como base al que denominaremos EF4, para el que también daremos pruebas de corrección, completud y además probaremos que se trata de una axiomatización de la matriz M4, todo ello apoyándonos en el hecho de tratarse de un sistema equivalente a FDF4. Con respecto a EF4 desarrollaremos dos modalidades distintas: Una a través de las extensiones interdefinicionales de Lukasiewicz que, en este caso, resulta equivalente a la modalidad inherente a E, y otra basada en la propuesta de J. Y. Beziau que entronca con la propuesta de J. M. Font y M. Rius, a su vez ligada a la tradición de los algebristas portugueses encabezados por A. Monteiro. De esta manera definiremos dos sistemas modales diferentes, EF4-M y EF4-L. Para el primero daremos una única axiomatización, como es habitual, mientras que para el segundo daremos cuatro axiomatizaciones distintas. Para cada uno de ellos, EF4-M y EF4-L, desarrollaremos tanto una prueba de corrección como de completud. En último término, desarrollaremos tanto una semántica relacional ternaria de modelos reducidos, como una semántica relacional ternaria basada en 2 set-up para EF4, ofreciendo, de nuevo, pruebas de corrección y completud con respecto a ambas. Para concluir, probaremos que FDF4 es también correcto y completo con respecto a las semánticas relacionales que hemos definido y probaremos que la semántica de 2 set-up es un caso particular de la semántica de modelos reducidos.[EN]Towards the end of his life, the great Polish logician J. Lukasiewicz developed the fourth-valued modal system known as L. This system validated theses as (MA ^MB) ! M (A ^ B) or L(A v B) ! (LA v LB), which are part of what it is known as strong modal Lukasiewicz-type paradoxes. Because of this, this system was strongly criticized. On the other hand, in [Brady, 1982], R. T. Brady presents his relevant logic BN4, a fourth-valued version of the relevant implication system R. Taking this background into account, the main goal of this research is to build a system that works as a companion of BN4 (just like E does with respect to R) and lacks the paradoxes that can be found in Lukasiewicz's system. Firstly, we define the matrix M4, which is the base for all the systems that we develop later. We then introduce two different semantics, i.e., the fourth-valued semantics related to the matrix and a bivalent Belnap- Dunn type semantics, and we show that both semantics are equivalent. Next, the system that we have labeled FDF4, which is based on FDE, is defined. We prove that this system is both sound and complete in the strong sense and that it is indeed an axiomatization of the M4 matrix. Afterwards, we define a system based on E that we name EF4, for which we also prove strong soundness and completeness and how it originates from the M4 matrix, all of this based on the fact that EF4 is a system equivalent to FDF4. With respect to EF4, two different modalities are presented: the first one, which in this case is equivalent to the inherent modality of E, is developed from the interdefinitional extensions used by Lukasiewicz, and the second one, from the proposal of J. Y. Beziau related to the approach of J. M. Font and M. Rius that in its turn is linked to the Portuguese algebraic tradition led by A. Monteiro. This way, we get two different modal systems, EF4-M and EF4-L. For the former, we give just one axiomatization, while for the latter, we supply up to four dfferent ones. For both systems, EF4-M and EF4-L, we prove soundness and completeness. Furthermore, EF4 is provided with a reduced ternary relational semantics, as well as with a 2-set-up ternary relational semantics, and it is proved that it is sound and complete with respect to both semantics. Finally, it is shown that the system FDF4 is also sound and complete with respect to both aforementioned relational semantics and that the 2-set-up semantics is a particular case of the reduced semantics.Robles Vázquez, GemmaMéndez Rodríguez, José Manuel201920192018info:eu-repo/semantics/doctoralThesisapplication/pdfhttp://hdl.handle.net/10366/139440reponame:GREDOS. Repositorio Institucional de la Universidad de Salamancainstname:Universidad de Salamanca (USAL)EspañolAttribution-NonCommercial-NoDerivs 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessoai:gredos.usal.es:10366/1394402026-06-07T06:28:51Z
score	15,300724

Una expansión implicativa de la matriz tetravaluada de Belnap: una lógica modal tetravaluada carente de las paradojas modales fuertes tipo Łukasiewicz

Similares en LA Referencia