Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2015. / Made available in DSpace on 2016-02-16T03:05:03Z (GMT). No. of bitstreams: 1 337766.pdf: 1112781 bytes, checksum: 02a6e0cb07b21940d633d3cc77336e98 (MD5) Previous issue date: 2015 / Dentre as lógicas multimodais, a lógica epistêmica dinâmica foi desenvolvida para modelar as mudanças de estados epistêmicos em grupos de agentes. Inspirada em recursos da lógica dinâmica (concebida para lidar com programas computacionais), aquela lógica permite representar a própria transição entre estados epistêmicos, tanto individuais como grupais, dos agentes considerados. Essa transição pode ser devida a diferentes ações epistêmicas (p.ex., o compartilhamento de uma informação com uma pessoa ou grupo em privado). A versão mais simples (e inicial) dessa lógica ficou conhecida como lógica do anúncio público, que considera apenas um tipo de ação epistêmica: a divulgação pública e simultânea de uma informação para todos os agentes. Essa divulgação é referida genericamente como "anúncio público"; porém, não precisa consistir, a rigor, em um anúncio típico, podendo ser um evento percebido simultaneamente por todos os agentes, contanto que cada agente saiba que todos os agentes estão acessando essa informação juntos, e que todos saibam desse mesmo fato, etc. A lógica do anúncio público apresenta pelo menos duas especificidades, não necessariamente preservadas por suas extensões que incluam outras ações epistêmicas: trata-se de uma lógica funcional (quando um anúncio for exequível, haverá somente uma maneira de fazê-lo) e dispensa o emprego de definições e provas por dupla indução (não há necessidade de se definir fórmulas e ações como duas categorias distintas e mutuamente dependentes de expressões da linguagem). Alguns trabalhos foram publicados sobre essa lógica, explorando diferentes axiomatizações, tratamentos semânticos e extensões; entretanto, quase todos se dedicam exclusivamente ao nível proposicional. Em nossa pesquisa bibliográfica, encontramos somente um artigo que desenvolve satisfatoriamente uma versão de primeira ordem para a lógica do anúncio público (KISHIDA, K. Public announcements under sheaves. In: New Frontiers in Artificial Intelligence, p. 96-108, 2013, ISBN 978-3-642-39930-5). Contudo, apesar da extrema sofisticação e elevado rigor técnico encontrados naquele trabalho, seu tratamento considera linguagens com anúncios públicos contendo somente fórmulas fechadas (sentenças), bem como um único agente epistêmico. Além disso, sua semântica, uma combinação de semântica de vizinhanças com semântica de feixes, motivada por um interesse filosófico bem específico (a interpretação intuitiva do operador epistêmico usual como representando conhecimento verificável), pode ser vista como desnecessariamente complicada se estamos interessados em uma interpretação standard para aquele operador, além de comprometer-se com uma perspectiva (um tanto polêmica) de contrapartes individuais, segundo a qual o mesmo objeto do domínio de interpretação não pode estar associado a mais de um ponto no modelo. Nossa contribuição propõe duas famílias, por assim dizer, de extensões de primeira ordem para a lógica do anúncio público, para quaisquer conjuntos finitos não-vazios de agentes epistêmicos e para anúncios contendo quaisquer fórmulas de suas respectivas linguagens. Os sistemas da primeira família estendem os correspondentes sistemas epistêmicos estáticos, providos com os usuais operadores epistêmicos para agentes individuais; e os da segunda fazem o mesmo com seus correspondentes sistemas estáticos, os quais, além de operadores epistêmicos individuais, adotam operadores de conhecimento distribuído em grupos de agentes. Além disso, nosso framework é o tradicional (modelos relacionais), o que simplifica consideravelmente o tratamento do assunto e não se compromete com indivíduos world-bounded. Antes de construir aquelas extensões dinâmicas, dedicamos alguns capítulos ao estudo dos vários sistemas epistêmicos estáticos que servirão como lógicas de base para nossa lógica do anúncio público, inclusive detalhando sistemas epistêmicos com conhecimento distribuído, e mostramos a completude em cada caso. Em se tratando de lógica epistêmica de primeira ordem, também fazemos brevemente uma defesa filosófica do emprego de quantificadores atualistas na lógica modal, com curiosos resultados relacionados com os esquemas conhecidos como Fórmula de Barcan e sua recíproca.<br> / Abstract : Among multimodal logics, Dynamic Epistemic Logic has been developed for modelling changes in epistemic states for groups of agents. Inspired by resources from Dynamic Logic (designed for dealing with computational programs), Dynamic Epistemic Logic manages to represent the very transition between epistemic states, either individual or collective, involving relevant agents. That transition might be caused by several epistemic actions (ex., sharing privately an information with a person or group). The simplest (and earliest) version for that logic became known as Public Announcement Logic, which considers a single type of epistemic action: a public and simultaneous disclosure of an information for all agents. This disclosure is generically referred as a "public announcement"; however, it doesn't have to be a typical announcement, and it might be an event, provided that this event be simultaneously realized by every agent, and that each agent knows that everybody is accessing that information together, and that everyone know this later fact, etc. Public Announcement Logic displays at least two peculiarities, not necessarily shared with its extensions including other epistemic actions: it's a functional logic (meaning that, when an announcement is feasible, there should be a unique way of doing it), and it dispenses with definitions and proofs based on double induction (i.e, there's no need for defining formulas and actions as two distinct and mutually dependent categories of language expressions). Some results have been published on this logic, exploring different axiomatizations, semantic treatments and extensions; however, almost all of them deal exclusively with propositional level. In our bibliographical survey, we found a single paper with a satisfactory study on first-order Public Announcement Logic (KISHIDA, K. Public announcements under sheaves. In: New Frontiers in Artificial Intelligence, p. 96-108, 2013, ISBN 978-3-642-39930-5). Nevertheless, in spite of its extreme refinement and high technical rigor, its approach is restricted to single-agent languages where announcements contain only closed formulas (sentences). Besides, its semantics, a combination of neighborhood semantics with sheaf semantics, motivated by a peculiar philosophical interest (the intuitive interpretation of the usual epistemic operator as representing verifiable knowledge), might be seen as unnecessarily complicated, especially if we are interested in the standard interpretation for that operator, and it forcibly commits itself with the (somewhat controversial) perspective of individual counterparts, according to which the same object in the interpretation domain must be uniquely associated to a point in the model. Our contribution provides two families, so to speak, of first-order extensions for Public Announcement Logic, for any non-empty finite sets of agents, as well as for announcements containing any formulas from their respective languages. The systems in the first family extend their correspondent static epistemic systems, containing the usual epistemic operators for individual agents; and the systems in the second one, do the same with their correspondent static systems, which, beside individual epistemic operators, include operators for distributed knowledge in groups of agents. Moreover, our framework is traditional (relational models), which considerably simplifies the approach and doesn't commit itself to world-bounded individuals. Before presenting those dynamic extensions, we dedicate a few chapters to the study of those static epistemic systems which shall be the basis for our Public Announcement Logic, also detailing some epistemic systems with distributed knowledge, and we prove completeness for each case. Concerning first-order epistemic logic, we additionally make a brief philosophical defense for actualist quantification in modal logic, with interesting results related to the schemes known as Barcan Formula and its converse.

Orientador: Pedro Angelo Pagni / Banca: Ana Maria de Andrade Caldeira / Banca: Rodrigo Gelamo / Banca: Marcelo Carbone Carneiro / Banca: Leoni Maria Padilha Henning / Resumo: Esta pesquisa, Lógica pragmática e educação: experiência e linguagem em Dewey e Peirce, é uma análise da filosofia pragmatista, com destaque aos aspectos enunciados no título, concernentes ao legado de Dewey e às relações de aproximação e contraste que este mantém com os escritos de Peirce. O percurso investigativo, ao buscar contribuir para as pesquisas sobre os fundamentos teóricos do pragmatismo deweyano, poderá auxiliar o profissional de educação, no sentido de subsidiá-lo em uma reflexão acerca dos alicerces de uma filosofia da experiência, como a pragmática, o que poderá levá-lo a rever posturas tradicionais, tais como a supervalorização dos conteúdos e da memória, frente à rotina escolar. Nosso problema de pesquisa diz respeito à notável ausência de estudos concernentes à influência da filosofia de Peirce sobre a descrição do processo de conhecer em Dewey; inquietação que, ao ordenar nossa investigação, fê-la revelar-se um aporte teórico que pode nos socorrer com relação à indiferença do estudante frente ao processo educativo. Nas análises empreendidas, procuramos descrever de que modo a linguagem viabiliza a experiência (e vice-versa), cujo ambiente se constitui física e culturalmente. As relações entre a lógica e o pensamento reflexivo foram enunciadas em diversos aspectos, capitaneadas pela inferência - núcleo de toda ação inteligente, segundo o autor -. O símbolo revelou-se um operador cognitivo central neste processo, em consonância com a descrição semiótica de Peirce, que concebia aquele signo como realização de terceiridade, em sua tríade mais importante: ícone / índice / símbolo. Embora não tenhamos analisado a teoria peirceana com a mesma amplitude da lógica de Dewey... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This research, Pragmatic logics and education: experience and language, according to Dewey and Peirce, is an analysis of the pragmatic philosophy, highlighting the enunciated aspects in the title, concerning to the legacy of Dewey and the relations of approximation and contrast that Dewey maintains with the papers of Peirce. The investigative route, when searching to contribute for the researches about the theoretical basis of deweyan pragmatism, might help the education professional, referring to supporting him on a reflection about the basis of a philosophy of experience, as the pragmatic, which will lead him to rethink about traditional attitudes, such as the super valorization of the contents and memory in relation to the scholastic routine. Our problem of research refers to the notable absence of studies concerning the influence of the philosophy of Peirce about the description of the process of knowledge according to Dewey; inquietation, that, when directing our investigation, made it be revealed as an theoretical apport, which can help us, referring to the indifference of the student concerning the educational process. On the analyses elaborated, we tried to describe how the language enables the experience (and vice versa), whose environment is constituted physically and culturally. The relations between logics and the reflexive thought were enunciated in several aspects, conducted by the inference - nucleus of all the intelligent action, according to the author -. The symbol demonstrated to be a central cognitive operator in this process, in accordance with the semiotic description of Peirce, which conceived that sign as the realization of the thirdness, in his most important tryad: icon / index / symbol. Although we have not analyzed the theory of Peirce with the same amplitude of the logics of Dewey... (Complete abstract click electronic access below) / Doutor

Entre los múltiples temas de la fenomenología, el de la intencionalidad es un concepto clave que permite tentar una interpretación del significado del pensamiento husserliano respecto de su difícil relación con la modernidad y de su puesto en la filosofía contemporánea. La presente contribución sigue las huellas de ese concepto en la obra temprana de Edmund Husserl. Paralelamente, aborda la posición de Husserl respecto de la equívoca noción de conciencia o subjetividad la que, siguiendo ciertas concepciones de la modernidad, se venía entendiendo hacia fines del siglo XlX como inmanencia o presencia a sí. Algunos textos tempranos de Husserl son puestos en relación con la primera edición de su Quinta Investigación Lógica (1901), por ser éste el lugar en el que se halla expuesta, de modo quizás privilegiado, la tensión husserliana entre la tradición y la cosa misma

En el artículo primero se pone de manifiesto la necesidad de aclarar qué son los portadores de valores de verdad; luego se revisan las objeciones de Quine a la teoría de las proposiciones; y por último, a partir de la consideración de las oraciones tipo eternas de Quine se propone a las proposiciones como las portadoras de valores de verdad.

En este artículo se dan condiciones necesarias y suficientes para una forma generalizada del metateorema de deducción y se lo aplica a varios sistemas lógicos usándolo como un criterio para determinar la existencia de una implicación interna a tales sistemas.

Entre los múltiples temas de la fenomenoogía, el de la intencionalidad es un concepto clave que permite tentar una interpretación del significado del pensamiento husserliano respecto de su difícil relación con la modernidad de su puesto en la filosofía contemporánea. La presente contribución sigue las huellas de este concepto en la obra temprana de Edmund Husserl. Paralelamente, aborda la posición de Husserl respecto de la equivoca noción de conciencia o subjetividad la que, siguiendo ciertas concepciones de la modernidad, se venía entendiendo hacia fines del siglo XIX como inmanencia o presencia a si'. Algunos textos tempranos de Husserl son puestos en relación con la primera edición de su Quinta Investigación Lógica (1901), por ser este el lugar en el que se halla expuesta, de todo quizás privilegiado, la tensión husserliana entre la tradición y la cosa misma.

Orientador: Jose Alexandre Durry Guerzoni / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-19T12:28:05Z (GMT). No. of bitstreams: 1 Magossi_JoseCarlos_M.pdf: 10085958 bytes, checksum: 78f696d242fe4880bc35c9334cf34e9c (MD5) Previous issue date: 1994 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Lógica e Filosofia da Ciência

Orientador: Carlos Alberto Lungarzo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-24T16:29:44Z (GMT). No. of bitstreams: 1 Castro_MiltonAugustinisde_M.pdf: 3539736 bytes, checksum: 4f144a2bbdab30d1239bf7c8b631cfa7 (MD5) Previous issue date: 1998 / Resumo: A aplicação do método de dedução natural, via o método de provas subordinadas, nas lógicas proposicionais paraconsistentes Cn (1 '< ou =' n'< ou =' ¿ômega¿) é apresentada neste trabalho. Através desse método elabora-se uma hierarquia de sistemas de dedução natural DNCn, constituídos exclusivamente por regras de dedução (ou esquemas de dedução), dispensando, quaisquer esquemas de postulados. Provamos que esses sistemas DNCn (0 '< ou =' n '< ou =' ¿ômega¿) são logicamentes equivalentes aos sistemas Cn(0 '< ou =' n '< ou =' ¿ômega¿) de DA COSTA. Elaboramos uma valoração bivalente e provamos vários temas sintáticos e semânticos referentes aos sistemas formais, tais como, consistência, corretude forte, completude forte no caso dos sistemas DNCn(1 '< ou =' '< ou =' ¿ômega¿). Provamos a decidibilidade dos sistemas paraconsistentes de dedução natural DNCn(1 '< ou =' n '< ou =' ¿ômega¿) pelo método de tableau. Provamos a equivalência entre os sistemas DNCn (1 '< ou =' n '< ou =' ¿ômega¿) e o sistemas de tableau TDNCn (1 '< ou =' n '< ou =' ¿ômega¿), a corretude e a decidibilidade desses sistemas. Duas novas formulações para a hierarquia de sistemas proposicionais paraconsistentes Cn (0 '< ou =' n '< ou =' ¿ômega¿) são apresentadas / Abstract: In this paper, we present an application of the method of natural deduction, via the method of subordinate proofs. By using this method, we develop a hierarchy of logical systems of natural deduction DNCn containing just deduction rules (or schemes of deduction) with no axioms schemes. We proved that these systems DNCn(0 '< ou =' n '< ou =' ¿ômega¿) are logically equivalent to the da Costas's systems Cn (0 '< ou =' n '< ou =' ¿ômega¿). By introducing of a special bivalent valuation concept, we prove some the standard syntactical as well as semantical properties of formal systems, like consistency, strong soundness, and strong completeness in the case of the DNCn(1 '< ou =' n '< ou =' ¿ômega¿). The decidability of the paraconsistent systems of natural deduction DNCn(1 '< ou =' n '< ou =' ¿ômega¿) is proved by specifically introduced systems of tableau. We prove the logical equivalence between the systems DNCn(1 '< ou =' n '< ou =' ¿ômega¿) and the tableau system TDNCn (1 '< ou =' n '< ou =' ¿ômega¿) and also prove the soundness and decidability of these systems. Two new formulations for the hierarchy of da Costa's systems Cn (0 '< ou =' n '< ou =' ¿ômega¿) are introduced. / Mestrado / Logica e Epistemologia / Mestre em Lógica e Filosofia da Ciência

No description available.

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.