Lógicas modais têm sido amplamente utilizadas em Ciência da Computação e inteligência artificial. Além disso, aplicações de lógicas modais na representação do conhecimento em sistemas distribuídos e, mais recentemente, em sistemas multiagentes, têm apresentado resultados promissores. No entanto, outros sistemas de prova para estas lógicas que não os sistemas axiomáticos à la Hilbert são raros na literatura. Este trabalho tem como objetivo principal preencher esta lacuna existente na literatura, ao propor um sistema de prova por dedução natural rotulada para lógicas do conhecimento.

Dissertação (mestrado)—Universidade de Brasília,Instituto de Ciências Humanas, Programa de Pós-Graduação em Filosofia, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-06-17T17:01:28Z No. of bitstreams: 1 2015_FábioSalgadodeCarvalho.pdf: 926698 bytes, checksum: 85cc3fd6d96c5bf34ccd6a64b9242755 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2016-06-22T15:39:30Z (GMT) No. of bitstreams: 1 2015_FábioSalgadodeCarvalho.pdf: 926698 bytes, checksum: 85cc3fd6d96c5bf34ccd6a64b9242755 (MD5) / Made available in DSpace on 2016-06-22T15:39:30Z (GMT). No. of bitstreams: 1 2015_FábioSalgadodeCarvalho.pdf: 926698 bytes, checksum: 85cc3fd6d96c5bf34ccd6a64b9242755 (MD5) / Desenvolvemos, nesta dissertação, uma nova teoria da argumentação que chamamos de “abordagem negativa”, inspirada no que Julio Cabrera tem chamado de “lógica negativa”. Mostramos por que denominamos as teorias existentes de afirmativas, apresentando os seis dogmas que cremos que as têm pautado. Discutimos o fenômeno da verodependência, mostrando como o entendimento acerca do que vem a ser o conceito de “verdade” influencia as argumentações de maneira determinante, servindo-nos de cinco teorias da verdade em quatro exemplos de argumentações filosóficas. Mostramos, também, como a determinação de se um argumento é ou não falacioso, igualmente, é dependente da concepção que temos do que vem a ser a verdade. A partir do diagnóstico negativo que oferecemos com base na nossa teoria da argumentação, investigamos as possibilidades diante dele desenvolvendo uma metafísica gestáltica, que nos permitirá criar bases epistemológicas e metafísicas que justificam a aplicação do princípio hermenêutico da caridade. Fazemos, ainda, um breve percurso pelo conceito de verdade na Filosofia e oferecemos uma lista de sete falácias que não estão na literatura corrente sobre o assunto. _______________________________________________________________________________________________ ABSTRACT / We develop, in this master thesis, a new theory of argumentation that we call “negative approach”, inspired in what Julio Cabrera has called “negative logic”. We show why we call existing the ories affirmatives, showing six dogmas we belief have guided it. We discuss the phenomenon of truth-dependence, showing how the understanding of the concept of truth influences the arguments in a decisive way, using five the ories of truth in four examples of philosophical argumentation. We also show how the determination of whether an argument is fallacious or not depends on the adopted conception of truth. From the negative diagnosis that we offer based on our the ory argumentation, we investigate the possibilities before it developing a gestaltic metaphysics, which will allow us to create epistemological and metaphysical bases to justify the application of the hermeneutic charity principle. We also offer a brief tour of the concept of truth in the history of philosophy and a list of seven fallacies that are not in the current literature on the subject.

Lógicas modais têm sido amplamente utilizadas em Ciência da Computação e inteligência artificial. Além disso, aplicações de lógicas modais na representação do conhecimento em sistemas distribuídos e, mais recentemente, em sistemas multiagentes, têm apresentado resultados promissores. No entanto, outros sistemas de prova para estas lógicas que não os sistemas axiomáticos à la Hilbert são raros na literatura. Este trabalho tem como objetivo principal preencher esta lacuna existente na literatura, ao propor um sistema de prova por dedução natural rotulada para lógicas do conhecimento.

Made available in DSpace on 2018-08-24T22:53:12Z (GMT). No. of bitstreams: 1 tese_4364_.pdf: 2894665 bytes, checksum: 47826dbd71e4ee9b1469007ddba38fc2 (MD5) Previous issue date: 2010-08-30 / O aumento da demanda energética nos dias atuais tornou a sociedade dependente do uso de um recurso natural não renovável, o petróleo. A busca por reservas e a retirada deste produto é de fundamental importância social e econômica. No entanto, em casos de acidente, as conseqüências ambientais são algumas vezes catastróficas. Devido a esse caráter, a busca por medidas que auxiliem no processo de tomada de decisão é fundamental. Este trabalho trata do uso do Modelo Numérico OILMAP para modelamento de cenários de contenção, recolhimento e dispersão química em casos de acidentes de óleo sob diferentes parâmetros ambientais, com intuito de proporcionar informações necessárias para montagem de uma base de regras que dêem suporte para modelar através de um Modelo Fuzzy uma maneira para se obter respostas de maneira mais ágil e com menor custo computacional. A Lógica Fuzzy adiciona valores lingüísticos ao invés de numéricos, o que proporciona a adição de incerteza no problema, melhor compreensão por parte de não especialistas, respostas mais rápidas e menores custos computacionais. Foram simulados cenários utilizando um modelo numérico de transporte sob diferentes condições ambientais, que serviram de base para montagem de um Modelo Fuzzy. O Modelo Fuzzy apresentou resultados condizentes com o modelo numérico, e com esforço computacional inferior e maior velocidade de resposta o que demonstra que esta metodologia representa uma importante ferramenta no auxílio à tomada de decisão.

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia eCiencias Humanas / Made available in DSpace on 2018-07-23T14:56:19Z (GMT). No. of bitstreams: 1 Feitosa_HerculesdeAraujo_D.pdf: 4244790 bytes, checksum: 1ce087f1bac361fda9b53035ab9cd130 (MD5) Previous issue date: 1997 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Mestre em Filosofia

Orientador: Itala Maria Loffredo D'Ottaviano / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-02T21:14:26Z (GMT). No. of bitstreams: 1 Scheer_MauroCesar_M.pdf: 5841295 bytes, checksum: 0ec03e18461fd9ac68e7b409b32a9673 (MD5) Previous issue date: 2002 / Resumo: Há inúmeras situações pertinentes ao mundo real em que necessariamente trabalhamos com conhecimento incompleto. Muitas vezes temos que tomar decisões que pensamos ser as mais corretas, decisões que são corroboradas por um conjunto de informações incompletas, ou seja, inferimos conclusões "plausíveis" e "consistentes" com nossa base de conhecimento. Um formalismo para "raciocinar" de forma eficiente sobre uma base de conhecimento incompleto deve ser capaz de admitir expressões que sejam válidas em geral, reconhecer e assimilar exceções quando necessário. As lógicas não monotônicas são adequadas ao tipo de formalismo a que estamos nos referindo. Mas quais são as propriedades mínimas que caracterizam a não monotonicidade de certas lógicas? As propriedades consideradas fundamentais para sistemas não monotônicos serão apresentadas neste trabalho, juntamente com as várias relações entre essas propriedades. Nos primeiros capítulos apresentamos a família dos operadores cumulativos e, a partir da propriedade distributiva, dedutiva e supracompacta apresentamos outras famílias de operadores cumulativos. Em capítulo intermediário o conceito de lógica cumulativa é apresentado. O último capítulo do trabalho é dedicado ao estudo de traduções (traduções conservativas) entre lógicas cumulativas. Procuramos estabelecer resultados que caracterizam a existência ou não de traduções (traduções conservativas) entre lógicas cumulativas e resultados que nos permitam dizer quais propriedades das respectivas lógicas envolvidas em tais traduções são preservadas / Abstract: There are countless situations in the real world in which we necessarily deal without a complete knowledge. Sometimes we have to make decisions that we think to be the most correct ones which are confirmed by an incomplete set of information, in other words, we infer "plausible" and "consistent" conclusions based on our actual knowledge. A formalism to think in an efficient way on an incomplete knowledge base should be able to admit expressions of general validity, to recognize and to assimilate exceptions when necessary. The non-monotonic logics are appropriate to the kind of formalism that we are referring to. But what are the minimum properties that characterize the non-monotonicity of certain logics? The properties considered essential to non-monotonic systems will be presented in this study, together with an analysis of the relation ships among them. In the first chapters we present the family of cumulative operators and, from the distributive, deductive and supracompact properties, we present other families of cumulative operators. In an intermediate chapter the concept of cumulative logic is presented. The last chapter is dedicated to the study of translations (conservative translations) between cumulative logics. We look for to establishing results that characterize the existence of translations (conservative translations) between cumulative logics and results that allow us to determine which properties are preserved from the logics involved in such translations / Mestrado / Mestre em Filosofia

En la tesis de licenciatura de Miguel Angel Merma Mora, autor de la presente investigación, se establece una interpretación algebraica de la lógica proposicional y del lenguaje predicativo monádico en un nivel básicamente intuitivo, ya que en esa investigación no interpreta algebraicamente los axiomas del cálculo lógico de primer orden. En esta tesis de maestría se interpreta algebraicamente cada uno de los seis axiomas de la lógica de primer orden, logrando con ello rigor y generalidad. También se establece que la interpretación funciona, tanto para la lógica proposicional, como para el lenguaje predicativo poliádico y se ofrece una buena cantidad de ejemplos ilustrativos. / Tesis

Al hablar de lógica jurídica, y según han evidenciado ciertas tendencias teóricas en el siglo pasado, que son susceptibles de ser remitidas, en general, a una misma corriente, parece partirse del supuesto de que existe un tipo de argumentación que resulta ser patrimonio exclusivo de los procesos contenciosos. Con ello, se quiere decir que existiría un modo particular de razonar y argumentar en el curso de un proceso judicial, cuando los involucrados en él plantean sus problemas con el propósito de dirimir de una u otra forma una controversia dada en ese terreno.Modo de razonar aquel que rebasaría cualquier intento de reconstrucción analítica que se efectúe tomando como instrumento los recursos formales de la lógica deductiva. Una postura tal, de hecho, es la adoptada a partir de la irrupción a inicios del siglo XX de la que podría ser llamada la corriente antiformalista, que, por cierto, está integrada por diversas orientaciones, cada una de las cuales poseedora, como no podría por menos de esperarse, de un matiz propio, pero, asimismo, todas ellas reacias a aceptar que un tratamiento lógico-formal de estos asuntos sea un camino adecuado a seguir.

Tesis para optar al grado de Magíster en Estudios Cognitivos / Facultad de Filosofía y Humanidades / En esta tesis se propone que la formación y evolución de los exponentes de futuro en las distintas lenguas está motivada por la interacción de dos formas de la cognición temporal. La primera de ellas se denomina tiempo fenomenológico, y se refiere a la experiencia directa del presente vivido (cf. Husserl 1905, Varela 1995). La segunda, derivada a partir de la primera, se denomina tiempo simbólico, y se relaciona con la capacidad de localizar intervalos en un tiempo considerado homogéneo (cf. Wearden 2008). Proponemos que las formas aspectuales y modales son más sensibles al primer tipo de temporalidad, pero se desarrollan, con el tiempo, como exponentes de tiempo simbólico. Así, puede darse cuenta de casos como la evolución del latín cantare habeo al español cantaré, o la actual sustitución de esta forma sintética por una forma en principio aspectual (voy a cantar).

Informe de Seminario para optar al grado de Licenciado en Filosofía / El objetivo de este trabajo es hacer una aproximación al problema de la relación entre las llamadas “leyes lógicas” y la metafísica analítica, desde la perspectiva novedosa de los adelantos en Lógica Universal. Se espera ilustrar en qué forma la consideración de enfoques no axiomáticos de la lógica permitirían enriquecer nuestra visión metafísica del mundo, por cuanto facilitarían la eliminación de las constricciones que, en el espacio lógico, se corresponden con las leyes fundamentales de la lógica clásica (bivalencia, no-contradicción, exclusión de tercero y el mundo cerrado). En el desarrollo del argumento cada uno de estos elementos será expuesto y desarrollado, a saber: la visión no axiomática de la Lógica Universal (basada principalmente en los trabajos de Jean- Yves Béziau), la relación entre lógica clásica y metafísica (con apoyo en algunos textos de reconocida influencia), y la proyección desde sistemas lógicos de mayor flexibilidad hacia posibles ontologías estructuradas de acuerdo a ellos (utilizando de modelo el sistema universal de Huacan He). Para finalizar se hará una breve defensa filosófica de la relevancia de esta propuesta, con algunos ejemplos de interés.