Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-04T02:58:32Z (GMT). No. of bitstreams: 1 Sbardellini_LuisAugusto_D.pdf: 573056 bytes, checksum: 91131e8de503f4803299cc53d599a5da (MD5) Previous issue date: 2005 / Resumo: O presente trabalho é uma investigação filosófica, com desdobramento matemático, acerca da concepção do continuum e dos números reais. Resguardando a idéia de magnitudes variando continuamente como o essencial de maior relevância histórica para o desenvolvimento conceitual do continuum, propomos sua formalização por intermédio da noção matemática de homogeneidade. Discorremos sobre o emprego da linguagem das categorias como abrigo teórico da investigação, aderindo à sua causa, e examinamos a relação entre a linguagem interna de um topos e o construtivismo matemático. Com o auxílio da teoria local de conjuntos, introduzimos, entre outras definições elementares, a noção de persistência uniforme e estabelecemos uma sucessão de resultados que assistiram a demosntração da homogeneidade das estruturas ordenadas dos racionais de Dedekind e dos reais de Cauchy. Illustramos matematicamnte a eleboração abstrata da teoria através do topos dos feixes sobre um espaço topológico / Abstract: The present thesis is a philophical investigation with mathematical development, concerning the conception of the continuum and the real numbers. Upholding the idea continuosly varying magnitudes as the essential attbute of greatest historical relevance to the conceptual development of the continuum, we propound its formalization by means of the mathematical notion of homogeneity. We discuss the use of the language of categories as theoretic environment of the investigation, defending its cause, andwe examine the relation between the internal language of o topos and the mathematical constructivism. With support of the local set theory, we introduce, among other elementary definitions, the notion of uniform persistence and we establish a series of results which attended the proof of the homogeneity of the ordered strutures of the rational numbers, Dedeking reals and Cauchy reals. We illustrate mathematically the abstract elaboration of the theory by means of the topos of sheaves over a topological spaces / Doutorado / Filosofia / Doutor em Filosofia

Orientador: Hércules de Araújo Feitosa / Banca: Marcelo Reicher Soares / Banca: Ana Cláudia de Jesus Golzio / Resumo: O professor Newton C. A. da Costa, notável lógico brasileiro, e colaboradores introduziram a noção de quase-verdade no contexto das ciências empíricas, onde há incompletude do conhecimento. Tal abordagem é considerada uma generalização para contextos parciais da proposta de formalização da verdade introduzida por Alfred Tarski. Inspirado nessa noção de quase-verdade, Silvestrini (2011) introduziu uma de nição de quase-verdade através da satisfação pragmática e, no mesmo trabalho apresentou, num sistema axiomático, uma lógica paraconsistente e trivalente, subjacente a essa noção, a qual denominou por Lógica da Verdade Pragmática (LPT- Logic of Pragmatic Truth ). Posteriormente, Feitosa e Silvestrini (2016) apresentaram algumas alterações no conjunto de axiomas de LPT e deram uma demonstração de adequação segundo a semântica matricial da lógica da verdade pragmática. Hoje, sistemas dedutivos alternativos ao axiomático têm sido de grande interesse para a área da teoria da prova e computabilidade, pois esses, em sua maioria, são métodos mais intuitivos. Alguns são caracterizados como algorítmicos, o que possibilita uma fácil implementação do método em computadores. Dentre esses sistemas de provas, destacamos o método dedutivo dos tableaux analíticos, que foi introduzido de uma forma bastante elegante por Smullyan (1968). Neste trabalho, introduzimos um sistema de tableaux analíticos para a Lógica da Verdade Pragmática e veri camos que todos os resultados dedutivos do sistema axio... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Professor Newton C. A. da Costa, notable Brazilian logician, and collaborators introduced the notion of quasi-truth in the context of the empirical sciences, where there is incompleteness of knowledge. Such an approach is considered a generalization of Tarski's proposal for partial contexts. Inspired by this notion of quasi-truth, Silvestrini (2011) introduced a de nition of quasi-truth through pragmatic satisfaction and, in the same work, presented, in an axiomatic system, a paraconsistent and trivalent logic, underlying this notion, which he called 'Logic of Pragmatic Truth (LPT)'. Later, Feitosa and Silvestrini (2016) presented some changes in the set of axioms of LPT and gave a proof of adequacy according to the trivalent matrix semantics of LPT. Nowadays, alternative axiomatic deductive systems have been of great interest to proof theory and computability, because these are in general intuitive methods. Some of them are characterized as algorithmic, which allows an easy implementation in computers. Among these systems of proof, we highlight the deductive method of analytic tableaux, which was introduced in an elegant way by Smullyan (1968). In this work, we introduce an analytic tableau system for the Logic of Pragmatic Truth and we verify that the results we can develop in the axiomatic system of the LPT coincide with the deductions in this analytic system of tableaux. / Mestre

El volumen que aquí presentamos está organizado en cinco capítulos. En el primero se describen resultados conocidos que facilitarán la lectura de la tesis, el mismo no tiene pretenciones de originalidad. El Capítulo 2 está organizado en tres secciones. En la primera sección investigamos la variedad de álgebras que hemos denominado álgebras de De Morgan temporales, como una generalización natural de las álgebras de Boole temporales. En esta sección nuestro principal interés es la teoría de representación para esta clase de álgebras. La Sección 2.1 está organizada como sigue: En la Subsección 2.1.1 definimos la variedad de las álgebras de De Morgan temporales, introducimos algunos ejemplos y probamos algunas propiedades. En la Subsección 2.1.2 damos un teorema de representación para las álgebras de De Morgan temporales en términos de las álgebras de De Morgan temporales de conjuntos usando un conocido teorema de representación para las álgebras de De Morgan. En la Subsección 2.1.3 describimos una dualidad topológica para las álgebras de De Morgan temporales, extendiendo la dualidad dada por Cornish y Fowler en [42] para las álgebras de De Morgan. Finalmente, en la Subsección 2.1.4 caracterizamos el retículo de las congruencias de estas álgebras en términos de la dualidad antes mencionada y de ciertos subconjuntos cerrados del espacio asociado con él. Los resultados de esta sección fueron publicados en A. V. Figallo, G. Pelaitay. Tense operators on De Morgan algebras. Log. J. IGPL 22, 2, 255–267. 2014. La segunda sección está compuesta por dos subsecciones. En la primera obtenemos una dualidad discreta para las álgebras de Łukasiewicz-Moisil nvaluadas teniendo en cuenta los resultados indicados por Dzik, Orłowska y van Alten en 2006 para las álgebras de De Morgan [49]. En la segunda subsección extendemos la dualidad discreta dada para las álgebras de Łukasiewicz- Moisil n-valuadas al caso de las álgebras de Łukasiewicz-Moisil n−valuadas temporales. Los resultados de esta sección fueron publicados en A. V. Figallo, G. Pelaitay. Discrete duality for tense Łukasiewicz–Moisil algebras. Fund. Inform., 136. 1–13. 2015. La tercer sección está dividida en tres subsecciones. En la Subsección 2.3.1 repasamos definiciones y resultados conocidos sobre las álgebras tetravalentes modales que nos serán de utilidad en las subsecciones siguientes. También mostramos que las álgebras de De Morgan con implicación definidas por Kondo en [102] son polinomialmente equivalentes a las álgebras tetravalentes modales contrapositivas definidas por Figallo y Landini en [58] y estudiadas recientemente por Coniglio y Figallo en [40]. En la Subsección 2.3.2 obtenemos dos dualidades discretas diferentes para las álgebras tetravalentes modales. Finalmente, en la última subsección definimos la variedad de las álgebras tetravalentes modales temporales como una generalización común de las álgebras de Boole temporales y las álgebras de Łukasiewicz-Moisil 3−valuadas temporales. El resultado más importante de esta subsección es la obtención de una dualidad discreta para esta nueva clase de álgebras. El Capítulo 3 está organizado en cinco secciones. La primera está dedicada al estudio de las álgebras de Łukasiewicz-Moisil n ×m−valuadas definidas por Figallo y Sanza en [60]. Esta sección se divide en cinco subsecciones. En la Subsección 3.1.1. repasamos un ejemplo que nos permite legitimar el estudio de las álgebras de Łukasiewicz-Moisil n × m-valuadas. En la Subsección 3.1.2 recordamos definiciones y resultados que nos serán de utilidad para lo que sigue. En la Subsección 3.1.3 introducimos nuevos conectivos de implicación y probamos algunas propiedades básicas de estos conectivos. En la Subsección 3.1.4 recordamos la definición de álgebra de Łukasiewicz- Moisil n ×m−valuada monádica. Estas álgebras fueron definidas por Figallo y Sanza en [69]. Finalmente, en la última subsección definimos la clase de las álgebras de Łukasiewicz-Moisil n ×m−valuadas poliádicas. Estas álgebras, para el caso m = 2, coinciden con las álgebras de Łukasiewicz-Moisil n−valuadas poliádicas [7]. El principal resultado de esta subsección es un teorema de representación para las álgebras de Łukasiewicz-Moisil n ×m−valuadas poliádicas. La Sección 3.2 está dedicada al estudio de las álgebras de Łukasiewicz- Moisil temporales débiles definidas por Figallo y Pelaitay en [78]. Esta sección está dividida en cuatro subsecciones. En la Subsección 3.2.1 introducimos la variedad de las álgebras de Łukasiewicz-Moisil temporales débiles como una generalización común de las álgebras de Boole temporales débiles y de las álgebras de Łukasiewicz-Moisil n−valuadas temporales débiles. En la Subsección 3.2.2, basados en la noción de marco débil, damos un ejemplo de álgebra de Łukasiewicz-Moisil temporal débil que será de utilidad en lo que sigue. En la Subsección 3.2.3 probamos un teorema de representación para las álgebras de Łukasiewicz-Moisil temporales débiles. Finalmente, en la última subsección nos dedicamos al estudio de las congruencias en un álgebra de Łukasiewicz-Moisil n ×m−valuada temporal débil. Estos resultados nos permitieron caracterizar las álgebras simples y subdirectamente irreducibles de la variedad antes mencionada. La Sección 3.3 está dedicada al estudio de las álgebras de Łukasiewicz- Moisil n ×m−valuadas temporales definidas por Figallo y Pelaitay en [79]. Esta sección está dividida en cuatro subsecciones. En la Subsección 3.3.1 introducimos la variedad de las álgebras de Łukasiewicz-Moisil temporales como una generalización común de las álgebras de Boole temporales y de las álgebras de Łukasiewicz-Moisil n−valuadas temporales. En la Subsección 3.3.2, basados en la noción de marco, damos un ejemplo de álgebra de Łukasiewicz-Moisil temporal que será de utilidad en lo que sigue. En la Subsección 3.3.3, probamos un teorema de representación para las álgebras de Łukasiewicz-Moisil temporales; como corolario de este teorema obtenemos el teorema de representación dado porDiaconescu yGeorgescu en [43] para las álgebras de Łukasiewicz-Moisil n−valuadas temporales. Finalmente, en la última subsección nos dedicamos al estudio de las congruencias en un álgebra de Łukasiewicz-Moisil n ×m-valuada temporal. Estos resultados nos permitieron caracterizar las álgebras simples y subdirectamente irreducibles de la variedad antes mencionada. La Sección 3.4 está dedicada al estudio de las álgebras de Łukasiewicz- Moisil n ×m−valuadas poliádicas temporales débiles. Esta sección está dividida en dos subsecciones. En la Subsección 3.4.1 introducimos la clase de las álgebras de Łukasiewicz-Moisil n ×m−valuadas poliádicas temporales débiles como una generalización común de las álgebras de Boole poliádicas temporales débiles y las álgebras de Łukasiewicz-Moisil n−valuadas poliádicas temporales débiles. También, basados en la noción de sistema temporal débil, damos un ejemplo de álgebra de Łukasiewicz-Moisil n ×m−valuada poliádica temporal débil. El resultado más importante de la segunda subsección es un teorema de representación para las álgebras de Łukasiewicz-Moisil temporales débiles. En la última subsección definimos la clase de las álgebras de Łukasiewicz-Moisil n×m−valuadas poliádicas temporales y damos un ejemplo basándonos en la noción de sistema temporal. Algunos de los resultados de este capítulo han sido aceptados para su publicación en A. V. Figallo, G. Pelaitay. A representation theorem for tense n ×m−valued Łukasiewicz–Moisil algebras.Mathematica Bohemica. 2015. A. V. Figallo, G. Pelaitay. n ×m-valued Łukasiewicz–Moisil algebras with two modal operators. South American Journal of Logic. 2015. También han sido presentados y expuestos en A. V. Figallo, G. Pelaitay. Operadores temporales sobre álgebras de Łukasiewicz-Moisil n ×m-valuadas, Actas del XII Congreso Dr. Antonio Monteiro, UNS, Bahía Blanca, Argentina, (2013), 31-32. El Capítulo 4 está organizado en tres secciones. La primera sección está dedicada al estudio de operadores temporales sobre álgebras de Heyting. Esta sección se divide en seis subsecciones. En la primera subsección mostramos que la axiomatización algebraica dada por Chajda en [24] de los operadores temporales F y P en la lógica intuicionista no se ajusta a la definición de Halmos de cuantificador existencial. En la segunda subsección introducimos la variedad de las I K t −álgebras, mostramos algunos ejemplos y probamos algunas propiedades. En la tercera subsección probamos que el sistema IKt de la lógica temporal intuicionista introducido por Ewald en [52], tiene a las I K t −álgebras como contraparte algebraica. En la cuarta subsección describimos una dualidad discreta para las I K t −álgebras teniendo en cuenta los resultados indicados por Orłowska y Rewitzky en [124] para las álgebras de Heyting. En la quinta subsección damos una construcción general de los operadores temporales sobre un álgebra de Heyting completa por medio de los llamados marcos de Heyting. Finalmente, en la última subsección introducimos la noción de sistema deductivo temporal, la cual nos permite determinar el retículo de las congruencias en una I K t −álgebra y caracterizar las álgebras simples y subdirectamente irreducibles de la variedad IKt. Los resultados de esta sección fueron publicados en A. V. Figallo, G. Pelaitay. Remarks onHeyting algebras with tense operators. Bull. Sect. Logic Univ. Lódz 41, 1–2, 71–74. 2012. A. V. Figallo, G. Pelaitay. An algebraic axiomatization of the Ewald’s intuitionistic tense logic. Soft Computing. 18, 10, 1873–1883. 2014. También han sido presentados en A. V. Figallo, G. Pelaitay.Una axiomatización algebraica del sistema IKt, IV Congreso Lationoamericano deMatemáticos, Córdoba, 2012. A. V. Figallo, G. Pelaitay. An algebraic axiomatization of IKt system, 6th Workshop on IntuitionisticModal Logic and Applications, Rio de Janeiro, Brazil, 2013. La segunda sección está dedicada al estudio de operadores temporales sobre álgebras de Heyting simétricas. Esta sección está dividida en tres subsecciones. En la primera definimos la variedad de las álgebras de Heyting simétricas temporales, damos un ejemplo y probamos algunas propiedades. En la segunda subsección obtenemos una dualidad discreta para las álgebras de Heyting simétricas temporales teniendo en cuenta las indicadas en [49] para las álgebras de De Morgan y en [124] para las álgebras de Heyting. En la tercer subsección describimos un cálculo proposicional que tiene a las álgebras de Heyting simétricas temporales como contraparte algebraica. Los resultados de esta sección fueron publicados en A. V. Figallo, G. Pelaitay, C. Sanza.Discrete duality for TSH−algebras. Commun. KoreanMath. Soc., 27, 1, 47–56. 2012. 30 También fueron presentados y expuestos en A.V. Figallo, G. Pelaitay, C. Sanza. Operadores temporales sobre álgebras de Heyting simétricas. LIX Reunión Anual de la Unión Matemática Argentina. Índice de Comunicaciones Científicas. Mar del Plata, Septiembre 2009. A.V. Figallo, G. Pelaitay, C. Sanza. Una dualidad discreta para las álgebras deHeyting simétricas temporales. LX Reunión Anual de laUniónMatemática Argentina. Índice de Comunicaciones Científicas. Tandil, Septiembre 2010. La tercera sección está dedicada al estudio de operadores temporales sobre álgebras de Heyting simétricas de orden n (o SHn−álgebras para abreviar) . Esta sección está dividida en tres subsecciones. En la primera subsección definimos la variedad de las SHn-álgebras temporales, damos un ejemplo y probamos algunas propiedades. En la segunda subsección obtenemos una dualidad discreta para las SHn-álgebras temporales teniendo en cuenta las indicadas en [124] para las SHn-álgebras. En la tercera subsección describimos un cálculo proposicional que tiene a las SHn-álgebras temporales como contraparte algebraica. Los resultados de esta sección fueron publicados en: A. V. Figallo, G. Pelaitay. Tense operators on SHn-algebras. Pioneer Journal of Algebra, Number Theory and its Applications. 1, 1, 33–41. 2011. A. V. Figallo, G. Pelaitay. Note on tense SHn-algebras. An.Univ. Craiova Ser. Mat. Inform., 38, 4, 24–32. 2011. También fueron presentados y expuestos en: A. V. Figallo, G. Pelaitay. Tense operators on SHn−algebras, 16th Brazilian Logic Conference, Petropolis, Brazil, 2011. El Capítulo 5 consiste en una breve enumeración de los posibles desarrollos futuros. / The volume presented here is organized in five chapters. In the first, with no claim to originality, we describe some known results that will facilitate the reading of the thesis. Chapter 2 is organized in three sections. In the first we investigate the variety of algebras that we have called tense De Morgan Algebras as a natural generalization of tense Boolean algebras. In this section our main interest is the representation theory for this class of algebras. Section 2.1 is organized as follows: In Subsection 2.1.1 we define the variety of tense De Morgan algebras, introduce some examples and prove some properties. In Subsection 2.1.2 we give a representation theorem for tense De Morgan algebras in terms of tense De Morgan algebras of sets by using a well-known representation theorem for De Morgan algebras. In Subsection 2.1.3 we describe a topological duality for tense De Morgan algebras, extending the duality given by Cornish and Fowler in [42] for De Morgan algebras. Finally, in Subsection 2.1.4 we characterize the congruences lattice of these algebras in terms of the duality mentioned before and certain closed subsets of the space associated with them. The results obtained in this section were published in A. V. Figallo, G. Pelaitay. Tense operators on De Morgan algebras. Log. J. IGPL 22, 2, 255–267. 2014. The second section consists of two subsections. In the first we obtain a discrete duality for the n-valued Łukasiewicz-Moisil algebras taking into account the results indicated by Dzik, Orłowska and van Alten in 2006 forDeMorgan algebras [49]. In the second subsection we extend the discrete duality given for n-valued Łukasiewicz-Moisil algebras to the case of the tense n-valued Łukasiewicz–Moisil algebras. The results of this sections were published in A. V. Figallo, G. Pelaitay. Discrete duality for tense Łukasiewicz–Moisil algebras. Fund. Inform., 136. 1–13. 2015. The third section is divided into three subsections. In Subsection 2.3.1 we review definitions and known results on tetravalent modal algebras which will be useful in the subsequent subsections. We also show that De Morgan algebras with implication defined by Kondo in [102] are polynominally equivalent to the contrapositive modal tetravalent algebras defined by Figallo and Landini in [58] and recently studied by Coniglio and Figallo in [40]. In Subsection 2.3.2 we obtain two different discrete dualities for the tetravalent modal algebras. Finally, in the last subsection we define the variety of tense tetravalent modal algebras as a common generalization of tense Boolean algebras and tense n−valued Łukasiewicz-Moisil algebras. The most important result in this subsection is having obtained a discrete duality for these new algebras. Chapter 3 is organized into five sections. The first is devoted to the study of the n × m-valued Łukasiewicz-Moisil algebras defined by Figallo and Sanza in [60]. This section has been subdivided into five subsections. In Subsection 3.1.1we review an example which has allowed us to legitimate the study of the n ×m-valued Łukasiewicz-Moisil algebras. In Subsection 3.1.2 we recall definitions and results which will be useful for what follows. In Subsection 3.1.3 we introduce new implication connectives and prove some of their basic properties. In Subsection 3.1.4 the definition of monadic n ×m−valued Łukasiewicz–Moisil algebra is reviewed. These algebras were defined by Figallo and Sanza in [69]. Finally, in the last subsection we define the class of polyadic n ×m-valued Łukasiewicz-Moisil algebras. These algebras, for the case of m = 2, they coincide with polyadic n−valued Łukasiewicz-Moisil algebras [7]. The main result of this subsection is a representation theorem for polyadic n × m−valued Łukasiewicz-Moisil algebras. Section 3.2 is focused on the study of weak-tense n ×m−valued Łukasiewicz-Moisil algebras defined by Figallo and Pelaitay in [78]. This section is divided into four subsections. In Subsection 3.2.1 we introduce the variety of weak-tense n ×m−valued Łukasiewicz-Moisil as a common generalization of weak-tense Boolean algebras and weak-tense n−valued Łukasiewicz-Moisil algebras. In Subsection 3.2.2, based on the notion of weak frame, we provide an example of weak-tense n × m−valued Lukasiewicz-Moisil algebras to bear into consideration for further analysis. In Subsection 3.2.3 we prove a representation theorem for weak-tense n × mvalued Łukasiewicz-Moisil algebras. Finally, in the last subsection we focus on the study of congruences in a weak-tense n ×m−valued Łukasiewicz-Moisil algebra. These results allowed us to characterize simple and subdirectly irreducible algebras from the previously mentioned variety. Section 3.3 is focused on the study of tense n ×m−valued Łukasiewicz-Moisil algebras defined by Figallo and Pelaitay in [79]. This section is divided into four subsections. In Subsection 3.3.1 we introduce the variety of tense n ×m−valued Łukasiewicz- Moisil algebras as a common generalization of tense Boolean algebras and tense n−valued Łukasiewicz-Moisil algebras. In Subsection 3.3.2, based on the notion of frame,we provide an example of tense n×m−valued Łukasiewicz-Moisil algebras, necessary for later analysis. In Subsection 3.3.3, we proved a representation theorem for tense n ×m−valued Łukasiewicz-Moisil algebras; as a corollary of this theorem we obtain the representation theorem provided by Diaconescu and Georgescu in [43] for tense n−valued Łukasiewicz-Moisil algebras. Finally, in the last subsection we focus on the study of congruences in a tense n ×m−valued Łukasiewicz-Moisil algebras. These results allowed us to characterize simple and subdirectly irreducible algebras from the variety previously mentioned. Section 3.4 is focused on the study polyadic weak-tense n × m−valued Łukasiewicz-Moisil algebras. This section is divided into two subsections. In Subsection 3.4.1 we introduced the class of study polyadic weaktense n ×m−valued Łukasiewicz-Moisil algebras as a common generalization of polyadic weak-tense Boolean algebras and polyadic weak-tense n−valued Łukasiewicz-Moisil algebras. Furthermore, based on the notion of weak-tense system, we provide an example of polyadic weak-tense n × m−valued Łukasiewicz-Moisil algebras. The most prominent result from this second subsection is a representation theorem for polyadic weak-tense n × m−valued Łukasiewicz-Moisil algebras. In the last subsection we define the class of polyadic tense n ×m−valued Łukasiewicz-Moisil algebras and we provide an example based on the notion of tense system. Some of the results of this chapter have been accepted for publishing in A. V. Figallo, G. Pelaitay. A representation theorem for tense n ×m−valued Łukasiewicz–Moisil algebras.Mathematica Bohemica. 2015. A. V. Figallo, G. Pelaitay. n ×m-valued Łukasiewicz–Moisil algebras with two modal operators. South American Journal of Logic. 2015. They have also been presented and exposed in A. V. Figallo, G. Pelaitay. Operadores temporales sobre álgebras de Łukasiewicz-Moisil n ×m-valuadas, Actas del XII Congreso Dr. Antonio Monteiro, UNS, Bahía Blanca, Argentina, (2013), 31-32. Chapter four is organized into three sections. The first section is focused to the study of tense operators on Heyting algebras. This section is divided into six subsections. In the first subsection we demonstrate that algebraic axiomatization given by Chajda in [24] of the tense operators F and P in intuitionistic logic is not in accordance with theHalmos definition of existential quantifier. In the second subsection we introduce I K t −algebras variety, we show some examples and prove some of its properties. In the third subsection we prove that intuitionistic tense logic introduced by Ewald in [52] has I K t −algebras as its algebraic counterpart. In the fourth subsection we describe a discrete duality for I K t −algebras bearing into account the results indicated by Orłowska and Rewitzky in [124] for Heyting algebras. In the fifth subsection we give a general construction of tense operators on a completeHeyting algebra via the so-called Heyting frames. Finally, in the last subsection we introduce the notion of tense deductive system which allows us to determine the congruences lattice in an I K t −algebras and characterize simple and subdirectly irreducible from the IKt variety. The results of this section have been published in A. V. Figallo, G. Pelaitay. Remarks onHeyting algebras with tense operators. Bull. Sect. Logic Univ. Lódz 41, 1–2, 71–74. 2012. A. V. Figallo, G. Pelaitay. An algebraic axiomatization of the Ewald’s intuitionistic tense logic. Soft Computing. 18, 10, 1873–1883. 2014. They were also presented and discussed in A. V. Figallo, G. Pelaitay.Una axiomatización algebraica del sistema IKt, IV Congreso Lationoamericano deMatemáticos, Córdoba, 2012. A. V. Figallo, G. Pelaitay. An algebraic axiomatization of IKt system, 6th Workshop on IntuitionisticModal Logic and Applications, Rio de Janeiro, Brazil, 2013. The second section is focused on the study of tense operators on symmetric Heyting algebras. This section is divided into three subsections. In the first section we define tense symmetric Heyting algebras, we provide an example and prove some of their properties. In the second subsection we obtain a discrete duality for tense symmetric Heyting algebras taking into account the indications in [49] for DeMorgan algebras and in [124] for Heyting algebras. In the third subsection we describe a propositional calculus that has tense symmetric Heyting algebras as an algebraic counterpart. The results in this section were published in A. V. Figallo, G. Pelaitay, C. Sanza.Discrete duality for TSH-algebras. Commun. KoreanMath. Soc., 27, 1, 47–56. 2012. They were also presented and discussed in A.V. Figallo, G. Pelaitay, C. Sanza. Operadores temporales sobre álgebras de Heyting simétricas. LIX Reunión Anual de la Unión Matemática Argentina. Índice de Comunicaciones Científicas. Mar del Plata, Septiembre 2009. A.V. Figallo, G. Pelaitay, C. Sanza. Una dualidad discreta para las álgebras deHeyting simétricas temporales. LX Reunión Anual de laUniónMatemática Argentina. Índice de Comunicaciones Científicas. Tandil, Septiembre 2010. The third section is devoted to the study of tense operators on symmetric Heyting algebras of order n (or SHn-algebras). This section is divided in three subsections. In the first subsection,we define the variety of tense SHn-algebras, we provide an example and prove several properties. In the second subsection, we obtain a discrete duality for tense SHn-algebras taking into account the ones indicated in [124] for SHn-algebras. In the third subsection, we describe a propositional calculus that has tense SHn-algebras as algebraic counterparts. The results of this section were published in: A. V. Figallo, G. Pelaitay. Tense operators on SHn-algebras. Pioneer Journal of Algebra, Number Theory and its Applications. 1, 1, 33–41. 2011. A. V. Figallo, G. Pelaitay. Note on tense SHn-algebras. An.Univ. Craiova Ser. Mat. Inform., 38, 4, 24–32. 2011. They were also presented and discussed in: A. V. Figallo, G. Pelaitay. Tense operators on SHn-algebras, 16th Brazilian Logic Conference, Petropolis, Brazil, 2011. Chapter 5 consists of a brief enumeration of the possible future developments.

O ponto central dessa dissertação é expor categorialmente as funções de verdade do cálculo proposicional clássico, assim como provar, também categorialmente, que a definição dada se comporta tal como as tabelas de verdade dos operadores. Para tanto é feita uma exposição axiomática de teoria de categorias, salientando as construções e conceitos que servirão para o propósito principal da dissertação. É dada uma maior atenção ao conceito de Topos, estrutura onde as funções de verdade são em princípio construídas. Tal exposição é precedida de uma breve exposição da história de teoria de categorias. Por fim é apresentada uma possível nova estrutra, mais simples que Topos, onde também se constrói as funções de verdade. / The main purpose of this dissertation is to give a categorial account of the truth functions from the classic propositional calculus, as well as to prove, also categorially, that the definition given behave as the truth tables of the operators. For this end, an axiomatic exposition of category theory is made, focusing on constructions and concepts which will be used for the main purpose of the dissertation. More attention is given to the concept of Topos, structure where the truth functions are primarily constructed. Preceded by a brief exposition of Category Theory history. At the end, a new possible structure in which truth functions may be constructed, simpler than a Topos, is presented.

A Logica Modal tem sido utilizada em Ciencia da Computacao no tratamento de crencas, conhecimento, processamento de linguagem natural, analise de sistemas distribuidos, verificacao de programas concorrentes e paralelos, e raciocinio temporal. Estas aplicacoes requerem o desenvolvimento de provadores automaticos de teoremas para os sistemas modais utilizados nas suas formalizacoes. Este trabalho nas suas formalizacoes. Este trabalho apresenta a implementacao de um provador de teoremas para o sistema modal S4, denominado ProS4. Utilizam-se os tableaux semanticos de Fitting, sendo introduzidas novas heuristicas e estruturas de dados que fazemo provador ser eficiente, sem perder a decidibilidade. Na verificacao da validade ou nao de uma formula modal, o provador apresenta a demonstracao ou o modelo falsificador da formula em questao. O ProS4 pode ser extendido a Logica Temporal Linear de Programas, atraves da adicao do operador proximo (next) e linearizacao na geracao de novos mundos.

FARIAS, Pablo Mayckon Silva. Um estudo sobre as origens da Lógica Matemática e os limites da sua aplicabilidade à formalização da Matemática. 2007. 110 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2007. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T14:54:53Z No. of bitstreams: 1 2007_dis_pmsfarias.pdf: 859405 bytes, checksum: 9d580356cce3820f228499085b2e3cde (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-20T13:48:23Z (GMT) No. of bitstreams: 1 2007_dis_pmsfarias.pdf: 859405 bytes, checksum: 9d580356cce3820f228499085b2e3cde (MD5) / Made available in DSpace on 2016-07-20T13:48:23Z (GMT). No. of bitstreams: 1 2007_dis_pmsfarias.pdf: 859405 bytes, checksum: 9d580356cce3820f228499085b2e3cde (MD5) Previous issue date: 2007 / This work is a study about the origins of Mathematical Logic and the limits of its applicability to the formal development of Mathematics. Firstly, Dedekind’s arithmetical theory is presented, which was the first theory to provide a precise definition for natural numbers and to demonstrate relying on it all facts commonly known about them. Peano’s axiomatization for Arithmetic is also presented, which in a sense simplified Dedekind’s theory. Then, Frege’s Begriffsschrift is presented, the formal language from which modern Logic originated, and in it are represented Frege’s basic definitions concerning the notion of number. Afterwards, a summary of important topics on the foundations of Mathematics from the first three decades of the twentieth century is presented, beginning with the paradoxes in Set Theory and ending with Hilbert’s formalist doctrine. At last, are presented, in general terms, Gödel’s incompleteness. theorems and Turing’s computability concept, which provided precise answers to the two most important points in Hilbert’s program, to wit, a direct proof of consistency for Arithmetic and the decision problem, respectively. Keywords: 1. Mathematical Logic 2. Foundations of Mathematics 3. Gödel’s incompleteness theorems / Este trabalho é um estudo sobre as origens da Lógica Matemática e os limites da sua aplicabilidade ao desenvolvimento formal da Matemática. Primeiramente, é apresentada a teoria aritmética de Dedekind, a primeira teoria a fornecer uma definição precisa para os números naturais e com base nela demonstrar todos os fatos comumente conhecidos a seu respeito. É também apresentada a axiomatização da Aritmética feita por Peano, que de certa forma simplificou a teoria de Dedekind. Em seguida, é apresentada a ome{german}{Begriffsschrift} de Frege, a linguagem formal que deu origem à Lógica moderna, e nela são representadas as definições básicas de Frege a respeito da noção de número. Posteriormente, é apresentado um resumo de questões importantes em fundamentos da Matemática durante as primeiras três décadas do século XX, iniciando com os paradoxos na Teoria dos Conjuntos e terminando com a doutrina formalista de Hilbert. Por fim, são apresentados, em linhas gerais, os teoremas de incompletude de Gödel e o conceito de computabilidade de Turing, que apresentaram respostas precisas às duas mais importantes questões do programa de Hilbert, a saber, uma prova direta de consistência para a Aritmética e o problema da decisão, respectivamente.

ROCHA, Thiago Alves. Complexidade descritiva de classes de complexidade probabilísticas de tempo polinomial e das classes ⊕P e NP∩coNP através de lógicas com quantificadores de segunda ordem. 2014. 81 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2014. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T18:02:32Z No. of bitstreams: 1 2014_dis_tarocha.pdf: 600184 bytes, checksum: 8e317715dd15118a1061361a5251f08e (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-22T12:36:28Z (GMT) No. of bitstreams: 1 2014_dis_tarocha.pdf: 600184 bytes, checksum: 8e317715dd15118a1061361a5251f08e (MD5) / Made available in DSpace on 2016-07-22T12:36:28Z (GMT). No. of bitstreams: 1 2014_dis_tarocha.pdf: 600184 bytes, checksum: 8e317715dd15118a1061361a5251f08e (MD5) Previous issue date: 2014 / Many computable problems can be solved more efficiently or in a more natural way through probabilistic algorithms, which shows that the use of such algorithms is quite relevant in Computer Science. However, probabilistic algorithms may return a wrong answer with a certain probability. Also, the use of probabilistic algorithms does not solve problems that are not computable. In Computational Complexity, the complexity of a problem is characterized based on the amount of computational resources, such as space and time, needed to solve it. Problems that have the same complexity compose the same class. The computational complexity classes are related by a hierarchy. In Descriptive Complexity, a logic is used to express problems and capture computational complexity classes in order to express all and only the problems of this class. Thus, the complexity of a problem does not depend on physical factors, such as time and space, but only on the expressiveness of the logic that defines it. Important results of the area states that several classes of computational complexity can be characterized by a logic. For example, the class NP has been shown equivalent to the class of problems expressed by the existential fragment of Second-Order Logic. This close relationship between these areas allows some results about Logics to be transferred to Computational Complexity and vice versa. Despite of the importance of probabilistic algorithms and of Descriptive Complexity, there are few results on the characterization, by a logic, of probabilistic computational complexity classes. In this work, we show characterizations for each of the polinomial time probabilistic complexity classes. In our results, we use second-order generalized quantifiers to simulate the acceptance of the nondeterministic machines of these classes. We found Logical characterizations in the literature only for classes PP and BPP. In the first case, the logic employed was the first-order added by a quantifier most of second-order. With the approach established in this work, we obtain an alternative proof for the characterization of PP. With the same methodology, we also characterize the class ⊕P through a logic with a second-order parity quantifier. In the case of BPP , there was a result that used a logic with probabilistic semantics. Using our approach of generalized quantifiers, we obtain an alternative characterization for this class. With the same method, we were able to characterize the probabilistic semantic classes RP, coRP, ZPP and the semantic class NP ∩ coNP. Finally, we show an application of Descriptive Complexity results in the creation of algorithms from a logic specification. / Vários problemas computáveis podem ser resolvidos de maneira mais eficiente ou mais natural através de algoritmos probabilísticos, o que mostra que o uso de tais algoritmos é bastante relevante em computação. Entretanto, os algoritmos probabilísticos podem retornar uma resposta errada com uma certa probabilidade. Observe, ainda que o uso de algoritmos probabilísticos não resolve problemas não computáveis. A Complexidade Computacional caracteriza a complexidade de um problema a partir da quantidade de recursos computacionais, como espaço e tempo, para resolvê-lo. Problemas que tem a mesma complexidade compõem uma classe. As classes de complexidade computacional são relacionadas através de uma hierarquia. A Complexidade Descritiva usa lógicas para expressar os problemas e capturar classes de complexidade computacional no sentido de expressar todos, e apenas, os problemas desta classe. Dessa forma, a complexidade de um problema não depende de fatores físicos, como tempo e espaço, mas apenas da expressividade da lógica que o define. Resultados importantes da área mostraram que várias classes de complexidade computacional podem ser caracterizadas por lógicas. Por exemplo, a classe NP foi mostrada equivalente à classe dos problemas expressos pelo fragmento existencial da Lógica de Segunda Ordem. Este estreito relacionamento entre tais áreas permite que alguns resultados da área de Lógica sejam transferidos para a de Complexidade Computacional e vice-versa. Apesar da importância de algoritmos probabilísticos e da Complexidade Descritiva, existem poucos resultados de caracterização, por lógicas, das classes de complexidade computacional probabilísticas. Neste trabalho, buscamos mostrar caracterizações para cada uma das classes de complexidade probabilísticas de tempo polinomial. Nos nossos resultados, utilizamos quantificadores generalizados de segunda ordem para simular a aceitação das máquinas não-determinísticas dessas classes. Achamos caracterizações lógicas na literatura apenas para as classes PP e BPP. No primeiro caso, a lógica utilizada era a de primeira ordem adicionada de um quantificador maioria de segunda ordem. Com a abordagem criada neste trabalho, conseguimos obter uma prova alternativa para a caracterização de PP. Com essa mesma metodologia, também conseguimos caracterizar a classe ⊕P através de uma lógica com um quantificador de paridade. No caso de BPP, existia um resultado que utilizava uma lógica com semântica probabilística. Usando nossa abordagem de quantificadores generalizados, conseguimos obter uma caracterização alternativa para essa classe. Com o mesmo método, conseguimos caracterizar as classes probabilísticas semânticas RP, coRP, ZPP e a classe semântica NP∩coNP. Por fim, mostramos uma aplicação dos resultados de Complexidade Descritiva na criação de algoritmos através de uma especificação lógica.

Made available in DSpace on 2015-07-21T02:04:09Z (GMT). No. of bitstreams: 1 000472408-Texto+Completo-0.pdf: 512200 bytes, checksum: 5f63e80e4169224eed290a1843d451b0 (MD5) Previous issue date: 2015 / This is a qualitative research, a study case. As a question of research it poses the following problem: How are the different conceptions of logic inserted in the teaching practice of a mathematics teachers’ group in High School? Its main objective is to understand the insertion of the different logic conceptions in the teaching practice of a group of mathematics teachers in High School. In order to achieve this goal, the following specific objectives are considered: (1) Identify the different logic conceptions of a group of mathematics teachers in High School; (2) Understand how these teachers realize the presence of logic in their pedagogical practice; and (3) Identify the different logic conceptions present in pedagogical support materials used by these teachers. In the theoretical background the following themes are approached: Philosophy and Logic; The several conceptions of logic (Aristotle, Russell, Bacon, Decarte); The teaching and learning of logic. Six teachers who hold a degree in mathematics, teachers in the three grades of High School and the analysis of pedagogical support materials was made by the teachers. The data were submitted to the Discursive Textual Analysis. From the analysis the following categories emerged: Conceptions of the teachers about logic, The presence of the Logic in the teaching practice and The several conceptions of logic and the teaching material. In the first category showed that this group of teachers there is certain difficulty of defining what logic is. The group presented three definitions of logic which are: (1) all and any way of thinking; (2) all that can be explained through reason; and (3) sets of arguments that we use to validate or invalidate knowledge. Therefore, to the teachers, logic is the built of a solid argumentation, with coherent thinking, well structured, in order to be able to infer on premises, concepts, problem-situations and the reality, being able to modify them in a conscious way, based on reason, determining its validity and its falsity. In the second category, it became evident that all the teachers, somehow, approach logic in their teaching practices. They affirm that there is little time to teach logic as a topic or content of the subject. What refers to the approach of logic in its pedagogical practices, I evinced that this teachers’ group use logic in their classes when they work with demonstrations, either in Mathematics or Physics subjects, when they work the connectives, with combinatorial and probability analysis, in problem solving, set theory, validation of arguments, true and false, and in all and any situation in which the teachers and students need to argument, solve a problem solving situation and interfere in the world and its reality. And in the third category, we evince that the logical conceptions that appear are the Cartesian ones, being this the most present, the conception of Wittgenstein, the Aristotelian conception and the Russell conception. Although these logical conceptions are present in their materials, none of the teachers identified them in an explicit way. This is, they affirm the presence of logic in their materials, but they do not identify which of the conceptions is present in their books, notebooks or booklets. / A pesquisa é de natureza qualitativa, do tipo estudo de caso. Tem como questão de pesquisa o seguinte problema: De que modo as diferentes concepções de Lógica estão inseridas na prática docente de um grupo de professores de Matemática de Ensino Médio? Tem por objeto geral compreender a inserção das diferentes concepções de Lógica na prática docente de um grupo de professores de Matemática de Ensino Médio. Para atingir esse objetivo, são considerados os seguintes objetivos específicos: (1) identificar as diferentes concepções de lógica de um grupo de professores de matemática do Ensino Médio; (2) compreender como esses professores percebem a presença da Lógica na sua prática pedagógica; e (3) Identificar as diferentes concepções de Lógica presentes em materiais de apoio pedagógico utilizado por esses professores. Na fundamentação teórica são abordados os seguintes temas: Filosofia e Lógica; As diversas concepções de Lógica (Aristóteles Russell, Bacon, Descartes e Wittgenstein); A importância da Lógica nos processos de ensino e de aprendizagem de Matemática. Foram entrevistados seis professores licenciados em Matemática, docentes nas três séries do Ensino Médio e realizada a análise de materiais de apoio pedagógico utilizados pelos professores. Os dados foram submetidos à Análise Textual Discursiva. Da análise emergiram as seguintes categorias: Concepções dos professores sobre Lógica, A presença da Lógica na prática docente e As diversas concepções de Lógica presentes no material didático. Na primeira categoria evidenciou-se que neste grupo de professores há uma certa dificuldade em definir o que é lógica. O grupo apresentou três definições de lógica que são: (1) toda e qualquer forma de pensar; (2) tudo que pode ser explicado por meio da razão; e (3) conjuntos de argumentos que utilizamos para validar ou invalidar um conhecimento. Portanto, para os professores, Lógica é a construção de uma argumentação sólida, com pensamentos coerentes, bem estruturados, de modo que possamos inferir sobre premissas, conceitos, situações-problema e a realidade, podendo modificá-las de modo consciente, baseado na razão, determinando a sua validade e falsidade. Na segunda categoria, evidenciou-se que todos os professores, de alguma forma, abordam a Lógica em suas práticas docentes. Afirmam que há pouco tempo para se ensinar a Lógica como um tópico ou conteúdo da matéria. No que se refere à abordagem da Lógica em suas práticas pedagógicas evidenciou-se que este grupo de professores utiliza a Lógica em suas aulas ao trabalhar com demonstrações, seja nas disciplinas de Matemática ou Física, ao trabalhar com conectivos, com Análise Combinatória e Probabilidade, na resolução de problemas, na teoria de conjuntos, na validação de argumentos, e em toda e qualquer situação em que professores e alunos necessitem argumentar, resolver uma situação-problema e interferir no mundo e em sua realidade. E na terceira categoria evidenciou-se que as concepções de Lógica presentes no material didático são as concepções Cartesiana, sendo esta a mais presente, a concepção de Wittgenstein, a concepção Aristotélica e a concepção de Russell. Embora essas concepções lógicas estejam presentes em seus materiais, nenhum dos professores as identificou de forma explícita. Isto é, afirmam a presença da lógica em seus materiais, mas não identificam qual das concepções está presente em seus livros, cadernos ou apostilas.

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias humanas / Made available in DSpace on 2018-07-23T16:07:20Z (GMT). No. of bitstreams: 1 Queiroz_GiovannidaSilvade_D.pdf: 792790 bytes, checksum: dc1138d936a6cc842a387bd0ad8fe3fa (MD5) Previous issue date: 1998 / Doutorado

Orientador : Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-28T18:03:20Z (GMT). No. of bitstreams: 1 Fernandez_VictorLeandro_M.pdf: 540368 bytes, checksum: 0818913d30776ed86715893fde72c2df (MD5) Previous issue date: 2001 / Mestrado