Rastrea las posibles fuentes de las que se nutrió Russell para poder elaborar su conocida paradoja: la teoría conjuntista de Georg Cantor, la fundamentación lógica de la aritmética de Gottlob Frege y el desarrollo histórico de la paradoja de El Mentiroso. Explica el hallazgo de la paradoja de Russell por lo que da cuenta las actividades este filósofo realizaba al formularla. Así, constatamos que Russell estaba intentando solucionar la paradoja de Cantor sobre la cardinalidad del conjunto potencia del conjunto universal. Asimismo, también le hacía frente a la paradoja de Burali-Forti sobre el mayor número ordinal. Sin embargo, a pesar de que Russell no tuvo éxito intentando solucionar estas paradojas matemáticas, consiguió diseñar una paradoja más simple y preocupante: la paradoja de las clases. Da a conocer también las tesis planteadas por Kleene y Kilmister acerca de cómo probablemente Russell procedió a descubrir su paradoja. Expone el impacto que esta paradoja causó en la discusión acerca de los fundamentos de la matemática.

O presente trabalho tem como objetivo proporcionar aos estudantes que precisem da lógica modal como ferramenta um texto conciso mas suficientemente completo. Embora seja um texto de cunho matemático, procura-se manter o equilíbrio entre os conceitos matemáticos e suas motivações filosóficas, pela crença de que tal equilíbrio é essencial para situar o pensamento em um texto introdutório. O primeiro capítulo começa com um breve histórico filosófico e trabalha os conceitos fundamentais de um ponto de vista sintático. O segundo capítulo retoma os conceitos do primeiro capítulo de um ponto de vista semântico e faz a conexão entre sintaxe e semântica. O terceiro capítulo trabalha o conceito de bissimulação e apresenta ferrametas que abrirão caminho para aplicações. / The goal of this work is to provide the studens who need to deal with modal logic as a tool with a text which might be concise but complete enough at the same time. Although this is a rather mathematical text, an effort is made in order to maintain the equilibrium between mathematical concepts and their philosophical origins for believing this equilibium is of great importance for clarifing the ideas in a work for beginners. The first chapter starts with a brief historical approach of logic and then discusses some fundamental concepts from a syntactical point of view. The second chapter discusses the same concepts from a semantical point of view and links syntact and semantics. The third chapter presents the concept of bisimulation and paves the way for working with applications.

El presente trabajo de tesis está orientado principalmente al área de Ingeniería de Control. El tema central consiste en diseñar e implementar un controlador de agua temperada enfocado al uso doméstico. Como parte introductoria, el documento contiene información acerca de productos o soluciones similares existentes en el mercado así como la problemática que los usuarios presentan con estos mismos. A lo largo del documento, se expone información técnica sobre el desarrollo de un controlador difuso, basado en microcontroladores, elaborado con componentes electrónicos y circuitos integrados del mercado peruano. Además se presenta información relacionada al modelamiento del controlador difuso, así como también muestra el diseño de circuitos para una etapa de sensado y potencia las cuales son las encargadas de monitorear y controlar, respectivamente, el proceso de calentamiento del agua. Por último, se presentan las simulaciones y pruebas del diseño propuesto para comprobar su correcto funcionamiento. El trabajo desarrollado en esta tesis pretende ofrecer una solución que se ajuste, de la mejor manera posible, con las necesidades de los usuarios para lograr resolver y mejorar los problemas existentes en los sistemas actuales. / Tesis

En nuestro país, la credibilidad del sector justicia por parte de la población es poco prometedora, pues la confianza en las instituciones no se ha incrementado al paso que quisiéramos. Entre muchas de las razones que explican la poca aprobación del sector justicia se encuentra lo imprevisible que pueden ser las decisiones judiciales en base a interpretaciones distintas. Por esta razón, el sistema judicial ha procurado uniformizar su jurisprudencia utilizando herramientas que ayuden a prever el criterio de interpretación de los jueces en casos sustancialmente análogos. El Perú ha desarrollado una cultura jurídica influenciada principalmente de dos sistemas jurídicos diferentes, el civil law y el common law, a través de los cuales nuestro sistema ha creado diversas instituciones y herramientas que nos ayuden a procurar el máximo ideal de justicia. Entre estas herramientas se encuentra la jurisprudencia vinculante y los acuerdos plenarios. La jurisprudencia vinculante es un producto desarrollado desde elcommon law, mientras que los acuerdos plenarios no podría decirse que fueron desarrollados del civil law, pero como podrá observarse en el transcurso del presente trabajo pueden encontrarse algunos rasgos similares a sus orígenes en el sistema continental. A la actualidad, tanto la jurisprudencia vinculante como los acuerdos plenarios han tomado relevancia en cuanto a su elaboración y uso como medios de uniformidad jurisprudencial, sin embargo, aún no se ha desarrollado legislativa respecto de su uso para la resolución de casos concretos. El uso de estas herramientas se desarrolla en la motivación de las resoluciones judiciales, ya sea al aplicarlos como para dejarlos de aplicar, ambos merecen una motivación específica. / Tesis

Orientador: Hércules de Araújo Feitosa / Coorientador: Maria Cláudia Cabrini Grácio / Banca: Mauri Cunha do Nascimento / Banca: Marcelo Esteban Coniglio / Resumo: Grácio (1999), em sua tese de doutorado intitulada "Lógicas moduladas e raciocínio sob in-certeza", estabeleceu uma formalização no ambiente quantificacional para o termo da lingua-gem natural: "muitos". Buscando a formalização desse conceito no ambiente proposicional, Feitosa, Nascimento e Grácio (2009) no artigo "Algebraic elements for the notions of „many‟", apresentam uma estrutura matemática denominada conjuntos fechados superior-mente que torna possível o desenvolvimento de uma álgebra para "muitos" e também de uma lógica proposicional para "muitos". De modo similar ao trabalho apresentado por Feitosa, Nascimento e Grácio (2009) para a noção de "muitos", este trabalho investiga os elementos algébricos necessários para a formalização da noção de "poucos" e desenvolve uma álgebra para "poucos", que tem como base uma estrutura matemática denominada conjuntos quase fechados inferiormente. A partir dessa álgebra para "poucos", este trabalho apresenta uma lógica proposicional para "poucos" (LPP) nos sistemas dedutivos: hilbertiano e tableaux / Abstract: Grácio (1999), in her doctorate thesis entitled "Lógicas moduladas e raciocínio sob incerteza", provided a formalization of the term "many", whose can be met in natural language, inside a quantificational context. To formalize this concept in a propositional environment, Feitosa, Nascimento and Grácio (2009) presented another mathematical structure entitled upper closed sets in the paper "Algebraic elements for the notions of „many‟ ", whose allows the develop-ment of an algebra for "many" and also a propositional logic for many. In a similar way, this paper investigates the necessary algebraic elements for the formalization of the notion of "few". We also develop an algebra for "few" which is based on a mathematical structure called lower almost closed sets. From this algebra for "few", we present a propositional logic for few (LPP) in a Hilbert system. After that we present the LPP in tableaux / Mestre

Orientador: Luís Roberto Almeida Gabriel Filho / Resumo: Em virtude das mudanças climáticas que vem ocorrendo e da necessidade de tecnologias que melhorem o manejo pecuário, o objetivo desta dissertação é elaborar um modelo matemático baseado em lógica Fuzzy capaz de fornecer instantaneamente o escore de fertilidade de touros a partir da avaliação do sêmen animal e, aplicá-lo a um conjunto de dados para validá-lo e verificar a influência das estações do ano na fertilidade. Para isso, o modelo considerou os limites estabelecidos pelo CBRA/MAPA para as variáveis Turbilhão, Motilidade, Vigor, Defeitos Maiores, Defeitos Menores e Defeitos Totais do sêmen, compondo uma base de regras de 735 combinações do tipo "Se...Então", pelo método de inferência Mamdani para determinar a Fertilidade Fuzzy, sendo aplicado a 152 amostras validas coletadas de touros da raça Nelore e Simental durante o período de um ano. Os resultados foram analisados por meio de testes estatísticos (teste Tukey, análises de variância, correlação, clusters, regressão e curva ROC), mostrando que o modelo é eficiente em seu objetivo de classificação e que as condições climáticas afetam os animais de maneira geral, sem indicadores significativos para diferenças entre as raças, sendo que as variáveis apresentaram-se bastante representativas ao modelo, possibilitando uma nova ferramenta de auxilio ao produtor. / Abstract: The objective of this dissertation is to elaborate a mathematical model based on Fuzzy logic capable of providing instantaneously the fertility score of bulls from the evaluation of the animal semen and apply it to a set of data to validate it and verify the influence of the seasons of the year on fertility. For this, the model considered the limits established by the CBRA / MAPA for the variables Turbidity, Motility, Vigor, Major Defects, Minor Defects and Total Defects of the semen, composing a rule base of 735 "If ... Then", combined by the Mamdani inference method to determine Fuzzy Fertility, being applied to 152 valid samples collected from Nelore and Simmental bulls during a one year period. The results were analyzed by means of statistical tests (Tukey test, analysis of variance, correlation, clusters, regression and ROC curve) showing that the model is efficient in its classification objective and that the climatic conditions affect the animals in general, without significant indicators for differences among races, and the variables were quite representative of the model, allowing a new tool to assist the producer. / Mestre

Made available in DSpace on 2018-08-01T23:30:13Z (GMT). No. of bitstreams: 1 tese_10958_Dissertação Marianna.pdf: 58609148 bytes, checksum: 537a8ab8d4f35eb2e7a3339d24bb8200 (MD5) Previous issue date: 2017-05-02 / Este trabalho discute a ideia da casualidade, desenvolvida pela artista Moyra Davey em textos e trabalhos fotográficos, associando-a à lógica do índice da semiótica de Charles Sanders Peirce como ela é desenvolvida pela crítica de arte Rosalind Krauss em seus textos Notas sobre o índice: Parte 1, Notas sobre o índice: Parte 2 e Marcel Duchamp ou o Campo Imaginário. Palavras-chave: Moyra Davey, fotografia, lógica do índice, Rosalind Krauss

La lógica difusa puede ser descrita como un sistema interpretativo en el cual los objetos o elementos son relacionados con conjuntos de fronteras no nítidamente definidas, otorgándoles un grado de pertenencia relativa o graduada y no estricta como es costumbre en la lógica tradicional. Lo anterior ha permitido incorporar sentencias del lenguaje común, las que se caracterizan por ser un tanto indefinidas, para interpretar el estado de las variables de cierto proceso, asignándoles en cada momento un grado de pertenencia a estos conjuntos difusos. Esta interpretación puede ser fácilmente relacionada mediante operadores lógicos tradicionales con ciertas medidas de acción, también de naturaleza no exacta, que son diseñadas de tal manera que produzcan un cambio deseado en las variables de interés. En resumen se puede diseñar un controlador, que interprete en forma intuitiva (y no numéricamente exacta) el estado de ciertas variables, y en base a ello deduzca en forma lógica una actuación posible que permita llevar la variable al estado deseado

No se posee.

Cuaderno de trabajo para el curso de Lógica (HU210), que el Área de Humanidades imparte para los alumnos de la Facultad de Derecho en UPC. El curso está dividido en tres unidades. En la primera de ellas, veremos las nociones fundamentales necesarias para el análisis posterior. En la segunda unidad nos dedicaremos a trabajar el Lenguaje de la Lógica proposicional; cómo está construido (sintaxis), cómo se interpretan sus símbolos (semántica), cómo se traducen sus símbolos al lenguaje natural (simbolización) y cómo se demuestra la validez de los razonamientos aplicando un procedimiento deductivo (derivación). En la tercera y última unidad, analizaremos argumentos silogísticos haciendo uso ya sea de diagramas de Venn o de las reglas aristotélicas clásicas.