La evolución de la “lógica deóntica” constituye el pico más alto del progreso científico del lenguaje jurídico. Dicha evolución no se limita únicamente a desembrollar ese gigantesco océano de enunciados jurídicos que lo conforman, muy útiles, por cierto, para ejercer una regulación directa de la conducta del hombre respecto a sus semejantes, sino que aborda también el amplio espectro de las implicancias sociales que suelen generarse con la carencia de una norma en particular, es decir, en la existencia de una laguna jurídica. La detección de lagunas y defectos jurídicos en un ordenamiento legal específico constituye, en ese sentido, un tema de reincidente actualidad que hoy por hoy cobra una inusitada importancia en el desarrollo de la sociedad contemporánea. El valioso papel que viene desempeñando este tipo de lógica en nuestros días se debe principalmente a su perfecta aplicación a la mayoría de situaciones normativas de cualquier ordenamiento jurídico, lo cual constituye por sí mismo un aspecto bastante meritorio que conlleva también a la búsqueda de una identidad propia en el derecho basada en premisas jurídicas sólidas e irrefutables. Por tal razón –a la que deben sumarse otros factores adicionales–, el rigor científico de nuestro derecho todavía es parcial, pese a contar con una rica y variada gama de enunciados jurídicos. En el caso de nuestro país, por ejemplo, se ha hecho una costumbre observar acaloradas disputas académicas por obra y gracia de tales “grietas” jurídicas. Partiendo de estas consideraciones iniciales, nuestra tesis pondrá en evidencia la vital importancia de utilizar dicho método de detección de lagunas y defectos jurídicos en nuestro ordenamiento legal, lo que a la larga contribuirá a perfeccionarlo y, de paso, amoldarlo a nuestra inestable realidad jurídica. La presente tesis se desarrollará de manera deductiva, es decir, partiendo de un panorama general de la lógica para de ahí pasar a un estudio de la lógica deóntica progresivamente hasta llegar a la comprobación del carácter descriptivo y aplicativo de la lógica de Alchourrón y Bulygin.

Made available in DSpace on 2014-06-11T19:25:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-10-09Bitstream added on 2014-06-13T20:53:22Z : No. of bitstreams: 1 vaine_ca_me_mar.pdf: 861556 bytes, checksum: b9547ce891663cdb7ef29fed96d4ef44 (MD5) / Esta dissertação trata, em um primeiro momento, de um estudo sobre quantificadores com seus aspectos históricos e algumas concepções sobre quantificadores generalizados, a saber, a concepção de Mostowski (1957), criada com o objetivo de formalizar alguns conceitos matemáticos, e a concepção de Barwise e Cooper (1981), que tem como objetivo aproximar a lógica da linguagem natural. A partir daí, Sette, Carnielli e Veloso (1999) introduziram um sistema lógico, a lógica dos ultrafiltros, para formalizar a noção de “geralmente” ou “quase todos”, através da introdução de um novo quantificador generalizado na linguagem clássica de primeira ordem. Em continuidade, Grácio (1999) apresentou uma ampla família de sistemas lógicos, a família das lógicas moduladas, determinados por novos quantificadores. Dentre as lógicas moduladas estudadas por Grácio, destacamos a Lógica do Muito, que se caracteriza por estender a lógica clássica através da introdução de um novo quantificador generalizado na sua sintaxe. Por outro lado, Halmos (1962) estuda as álgebras monádicas e apresenta a interpretação dos quantificadores universal e existencial nestas álgebras. Neste trabalho, desenvolvemos uma álgebra monádica e uma lógica monádica do muito, com base nos trabalhos de Halmos, com o intuito de apresentar outro modelo algébrico para a lógica do muito. Por fim, mostramos que a lógica do muito é correta e completa, em relação a álgebra monádica do muito apresentada / This dissertation presents a study of quantifiers with their historical development and some conceptions about generalized quantifiers, namely the designed by Mostowski (1957), which was created with the purpose of formalizing some mathematical concepts, and in a complementary way, the notion of Barwise and Cooper (1981), which aims to link logic and natural language. In 1999, Sette, Carnielli and Veloso introduced a logical system, the logic of ultrafilters, in order to formalize the notion of generally or almost all through the introduction of a new generalized quantifier into the language of classical first order logic. Furthermore, Grácio (1999) presented a wide family of logical systems, named modulated logics determined by new quantifiers. Among the modulated logics studied by Grácio, we take the Logic of Many, which is characterized by extending the classical logic by introducing a new generalized quantifier in its syntax for the notion of “many”. On the other hand, Halmos (1962) studied the monadic algebras associated with classical logic and presented the interpretation of universal and existential quantifiers in these algebras. In this dissertation, we develope a monadic algebra of many and monadic logic of many, based on the work of Halmos for to presenting a different algebraic model for the Logic of Many. Finally, we show that the logic of many is sound and complete in relation to the presented in this dissertation monadic algebra of many

Orientador: Hércules de Araújo Feitosa / Coorientador: Luiz Henrique da Cruz Silvestrini / Banca: Mauri Cunha do Nascimento / Banca: Marcos Antônio Alves / Resumo: Esta dissertação trata, em um primeiro momento, de um estudo sobre quantificadores com seus aspectos históricos e algumas concepções sobre quantificadores generalizados, a saber, a concepção de Mostowski (1957), criada com o objetivo de formalizar alguns conceitos matemáticos, e a concepção de Barwise e Cooper (1981), que tem como objetivo aproximar a lógica da linguagem natural. A partir daí, Sette, Carnielli e Veloso (1999) introduziram um sistema lógico, a lógica dos ultrafiltros, para formalizar a noção de "geralmente" ou "quase todos", através da introdução de um novo quantificador generalizado na linguagem clássica de primeira ordem. Em continuidade, Grácio (1999) apresentou uma ampla família de sistemas lógicos, a família das lógicas moduladas, determinados por novos quantificadores. Dentre as lógicas moduladas estudadas por Grácio, destacamos a Lógica do Muito, que se caracteriza por estender a lógica clássica através da introdução de um novo quantificador generalizado na sua sintaxe. Por outro lado, Halmos (1962) estuda as álgebras monádicas e apresenta a interpretação dos quantificadores universal e existencial nestas álgebras. Neste trabalho, desenvolvemos uma álgebra monádica e uma lógica monádica do muito, com base nos trabalhos de Halmos, com o intuito de apresentar outro modelo algébrico para a lógica do muito. Por fim, mostramos que a lógica do muito é correta e completa, em relação a álgebra monádica do muito apresentada / Abstract: This dissertation presents a study of quantifiers with their historical development and some conceptions about generalized quantifiers, namely the designed by Mostowski (1957), which was created with the purpose of formalizing some mathematical concepts, and in a complementary way, the notion of Barwise and Cooper (1981), which aims to link logic and natural language. In 1999, Sette, Carnielli and Veloso introduced a logical system, the logic of ultrafilters, in order to formalize the notion of "generally" or "almost all" through the introduction of a new generalized quantifier into the language of classical first order logic. Furthermore, Grácio (1999) presented a wide family of logical systems, named modulated logics determined by new quantifiers. Among the modulated logics studied by Grácio, we take the Logic of Many, which is characterized by extending the classical logic by introducing a new generalized quantifier in its syntax for the notion of "many". On the other hand, Halmos (1962) studied the monadic algebras associated with classical logic and presented the interpretation of universal and existential quantifiers in these algebras. In this dissertation, we develope a monadic algebra of many and monadic logic of many, based on the work of Halmos for to presenting a different algebraic model for the Logic of Many. Finally, we show that the logic of many is sound and complete in relation to the presented in this dissertation monadic algebra of many / Mestre

Submitted by Aline Mendes (alinemendes.ufc@gmail.com) on 2014-10-30T16:41:14Z No. of bitstreams: 1 2013_dis_aadodó.pdf: 766766 bytes, checksum: fe9ca34054b8f516e6a8b7c29863d627 (MD5) / Approved for entry into archive by Aline Mendes(alinemendes.ufc@gmail.com) on 2014-10-30T16:43:23Z (GMT) No. of bitstreams: 1 2013_dis_aadodó.pdf: 766766 bytes, checksum: fe9ca34054b8f516e6a8b7c29863d627 (MD5) / Made available in DSpace on 2014-10-30T16:43:23Z (GMT). No. of bitstreams: 1 2013_dis_aadodó.pdf: 766766 bytes, checksum: fe9ca34054b8f516e6a8b7c29863d627 (MD5) Previous issue date: 2013 / This thesis is about the enrichment of modal logics. We use the term enrichment in two distinct ways. In the first of them, it is a semantical enrichment. We propose a fuzzy semantics to di erent normal modal logics and we prove a completeness result for a generous class of this logics enriched with multiple instances of the axiom of confluence. A curious fact about this semantics is that it behaves just like the usual boolean-based Kripke semantics for modal logics. The other enrichment is about the expressibility of the logic and it occurs by means of the addition of new connectives, essentially modal negations. In this sense, firstly we study the positive fragment of classical logic extended with a paraconsistent modal negation and we show that this language is su ciently strong to express the normal modal logics. It is also possible to define a paracomplete modal negation and restoration connectives that internalize at the level object-language the notions of consistency and determinedness. This logic constitutes a Logic of Formal Inconsistency and a Logic of Formal Undeterminedness.In such logics, with the objective of recovering lost inferences of classical logic, Derivability Adjustment Theorems are proved. In the case of the logic with one paraconsistent negation, if we remove the implication we still have a rich language, with both paranormal negations and its respective connectives of restoration. In this logic we study the minimal normal modal logic defined by means of a Gentzen calculus, differently of the others modal systems studied, which are presented by means of Hilbert calculus. Next, after we prove a ompleteness result of the deductive system associated to this calculus, we present some extensions of this system and we look for appropriate Derivability Adjustment Theorems. / Esta dissertação trata do enriquecimento de lógicas modais. O termo enriquecimento é usado em dois sentidos distintos. No primeiro deles, de fundo semântico, propomos uma semântica difusa para diversas lógicas modais normais e demonstramos um resultado de completude para uma extensa classe dessas lógicas enriquecidas com múltiplas instâncias do axioma da confluência. Um fato curioso a respeito dessa semântica é que ela se comporta como as semânticas de Kripke usuais. O outro enriquecimento diz respeito à expressividade da lógica e se dá por meio da adição de novos conectivos, especialmente de negações modais. Neste sentido, estudamos inicialmente o fragmento da lógica clássica positiva estendido com uma negação modal paraconsistente e mostramos que essa linguagem é forte o suficiente para expressar as linguagens modais normais. Vemos que também é possível definir uma negação modal paracompleta e conectivos de restauração que internalizam as noções de consistência e determinação a nível da linguagem-objeto. Esta lógica constitui-se em uma Lógica da Inconsistência Formal e em uma Lógica da Indeterminação Formal. Em tais lógicas, com o objetivo de recuperar inferências clássicas perdidas, demonstram-se Teoremas de Ajuste de Derivabilidade. No caso da lógica estendida com uma negação paraconsistente, se removermos a implicação ainda lidaremos com uma linguagem bastante rica, com ambas negações paranormais e seus respectivos conectivos de restauração. Sobre esta linguagem estudamos a lógica modal normal minimal definida por meio de um cálculo de Gentzen apropriado, à diferença dos demais sistemas estudados até então, que são apresentados via cálculo de Hilbert. Em seguida após demonstrarmos a completude do sistema dedutivo associado a este cálculo, introduzimos algumas extensões desse sistema e buscamos Teoremas de Ajuste de Derivabilidade adequados.

El título de la tesis Lógica como semiótica, una aproximación peirceana es la respuesta de explorar una teoría general acerca de la naturaleza de la lógica a través de la interpretación de la posición del refundador de la ciencia de la lógica: Charles Sanders Peirce (1839-1914). El objetivo central de nuestro trabajo es definir la lógica en un sentido amplio para diferenciarla del sentido estricto o formal que le damos actualmente.

No description available.

El artículo es un esbozo general de los procedimientos decisorios parafórmulas monádicas de primer grado tratados por Juan Bautista Ferro. Seinicia con una breve semblanza de Ferro. Luego trata el problema de ladecisión, y presenta los procedimientos decisorios de Quine (QS, QL y QM),Georg H. Von Wright (VW), Bernays Schonfinkel (BS), S.C. Kleene y elprocedimiento decisorio Ferro Herbrand (FH). Cada uno de estos métodos muestra el esfuerzo por reducir la lógica cuan ti ficacional monádica de primer orden a la lógica proposicional; en este sentido, el método FH opera con mayores ventajas sobre los otros métodos.

La presente investigación busca proveer nuevos elementos de análisis para discutir la idoneidad del constructo de representatividad como variable explicativa de la falacia de la conjunción. Sendos estudios se llevaron a cabo en dos grupos de 33 y 92 estudiantes preuniversitarios de entre 16 y 21 años. El primer estudio, de carácter exploratorio y cualitativo, analiza las respuestas a una variante de la tarea original utilizada por Kahneman y Tversky (1983). Los objetivos de este estudio eran determinar la tasa de falacias en una población local e identificar patrones de razonamiento en las respuestas de los participantes frente a una tarea similar a la propuesta por Kahneman y Tversky. El segundo estudio, de naturaleza más cuantitativa, buscaba determinar el efecto sobre la tasa de falacias de las variables “contexto” y “formato”. La primera está relacionada con la presencia o no de un enunciado previo al cuestionario; la segunda, corresponde al número de preguntas que se presentaba a continuación de cada situación. Los resultados indican que aun cuando la tasa de falacias en la muestra es similar a la hallada por Kahneman y Tversky, ninguno de los participantes hizo uso de un razonamiento formal identificándose seis patrones de razonamiento no excluyentes entre sí. Asimismo, ni la ausencia de enunciado ni el aumento en el número de preguntas provocó una disminución significativa de la tasa de falacias. Los resultados dan cuenta de la importancia de emplear un enfoque cualitativo en el estudio de este tema y de la existencia de otros factores que explican la falacia de la conjunción tales como la dificultad de la activación de esquemas extensionales o las concepciones erróneas sobre el tratamiento de las probabilidades. / This research aims to provide new elements of analysis to discuss the suitability of the construct of representativeness as an explanatory variable of the conjunction fallacy. Two separate studies were conducted in two groups of 33 and 92 pre-college students aged 16 to 21 years. The first study, exploratory and qualitative, analyzes responses to a variant of the original task used by Kahneman and Tversky (1983). The objectives of this study were to determine the rate of fallacies in a local population and identify patterns of reasoning in the answers of the participants facing a task similar to that proposed by Kahneman and Tversky. The second study, more quantitative nature, sought to determine the effect on the rate of fallacies of variables "context" and "format". The first is related to the presence or absence of a statement prior to the questionnaire; the second is the number of questions that are presented below for each situation. The results indicate that although the rate of fallacies in the sample is similar to that found by Kahneman and Tversky, none of the participants made use of formal reasoning and identified six patterns of reasoning are not mutually exclusive. Likewise, neither stated nor the absence of the increase in the number of questions caused a significant decrease in the rate distortion. The results show the importance of using a qualitative approach in the study of this topic and the existence of other factors that explain the fallacy of conjunction such as the difficulty of extensional schema activation or misconceptions about the treatment of probabilities. / Tesis

No description available.

El artículo es una presentación general de la filosofía de Carnap, tanto de sus desarrollos en el campo de las ciencias formales como en el de las ciencias fácticas. En el primero, sus investigaciones están orientadas al estudio de la semiótica (construcción de lenguajes formalizados entendidos como instrumentos para el esclarecimiento de problemas filosóficos). Considera que los procedimientos teóricos de la ciencia requieren de la deducción y el cálculo para ser aplicados a las ciencias empíricas. En las ciencias fácticas, los enunciados sólo expresan regularidades del mundo. Estas son: las leyes universales y las leyes estadísticas; las primeras están formuladas como proposiciones condicionales universales y las últimas se valen de la lógica de la probabilidad, que es distinta de la inducción.