Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-11T17:55:59Z (GMT). No. of bitstreams: 1 Gomes_FabricioVasconcelos_M.pdf: 656938 bytes, checksum: 1e98ca2830957c3cb09e2f3bd7d4ad28 (MD5) Previous issue date: 2008 / Resumo: Muito se fala na qualidade que possuiriam certas sentenças judiciais de serem "lógicas" em algum sentido. O presente trabalho tem por objetivo esclarecer e propor um possível sentido para esta qualidade quando referente a sentenças judiciais, e, secundariamente, analisar se, segundo o sentido adotado, poderiam realmente algumas sentenças judiciais serem lógicas, ou mesmo se todas o seriam. Para tanto, o trabalho parte da análise e adoção de uma particular proposta de demarcação da Lógica, qual seja, aquela que se dá pelo critério da formalidade. A adoção desta proposta traz consigo, além de uma grande quantidade de ferramentas analíticas fornecidas pela Lógica como assim concebida, o condão de mostrar que qualquer consideração sobre a relação entre Lógica e Direito _e profundamente determinada pela maneira como se concebe e se demarca o objeto do estudo lógico, constatação esta que tem sua importância enlevada quando tomamos em conta o fato de que um posicionamento consciente e claro ante tal demarcação frequentemente é omitido nos estudos de lógica jurídica no Brasil. / Abstract: Much is said about a character that certain judicial decisions supposedly have, that of being "logical", in some sense. This work have as a goal to make clear and to propose a suitable meaning for this characther when it refers to judicial decisions, and, secondarily, to analyze if, acording to the meaning here adopted, some judicial decisions really could be thought of as being logical, or even if all of them could be so. To reach this goal, this work starts with the analysis and adoption of a particular proposal on the demarcation of Logic, the demarcation by the formality criterion. The adoption of this proposal brings on, besides the great amount of analitycal tools supplied by Logic so conceived, the advantage of showing that any consideration about the relation between Logic and Law is deeply determined by the way that is conceived the object of logical study. This remark gains importance when we consider the fact that a clear and conscient positioning about the cited concept of Logic seldomly is omited on the studies pertaining to the field of Law 's Logic in Brazil. / Mestrado / Mestre em Filosofia

Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-12T04:24:47Z (GMT). No. of bitstreams: 1 Testa_RafaelRodrigues_M.pdf: 526495 bytes, checksum: 51a1bb2b8ec08b5fab8947cdac7f3ae4 (MD5) Previous issue date: 2008 / Resumo: Nosso objetivo neste trabalho é apresentar uma proposta de solução a paradoxos relacionados à lógica deôntica presentes na literatura, reunidos sob o que é chamado de dilemas deônticos - situações nas quais duas obrigações conflitantes estão presentes num mesmo sistema normativo. Situações deste tipo, quando formalizadas (em SDL - standard deontic logic - ou em outras lógicas relacionadas), levam a uma inconsistência. Nossa proposta baseia-se em relações de preferência que geram uma ferramenta de escolha dentre as duas soluções normativas conflitantes, o que evita a inconsistência e permite o pleno cumprimento do sistema. Justificativas filosóficas são fornecidas as ferramentas lógicas, bem como as suas implicações. / Abstract: The main purpouse of this dissertation is the proposal of a solution to some paradoxes related to deontic logic presented in the literature, also known as deontic dilemmas - situations in which two conflicting obligations are present in the same normative system. Such situations, when formalized (in SDL - standard deontic logic - or in other related logic), lead to inconsistency. Our proposal is based on preference relations that generate a tool of choice between the two conflicting normative solutions, which avoids the inconsistency and allows the full implementation of the system. Philosophical justifications are given for the logical tools as well as for their implications. / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Itala Maria Loffredo D'Ottaviano / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-19T03:32:32Z (GMT). No. of bitstreams: 1 Almeida_DanteCardosoPintode_M.pdf: 571204 bytes, checksum: 5d6a5ced0609a9ec16f84bc5badb751d (MD5) Previous issue date: 2011 / Resumo: Esta dissertação tem como objetivo a análise de um resultado em lógica aléticoepistêmica, divulgado por Frederic Fitch em 1963, conhecido como Paradoxo da Cognoscibilidade. Segundo este resultado, se todas verdades podem ser conhecidas, então todas verdades são conhecidas. Isto sugere que há alguma verdade impossível de ser conhecida. Descrevemos, nesta dissertação, a lógica modal alética e a epistêmica, que consistem em recursos formais requeridos para a análise do Paradoxo. Também esclarecemos o papel deste no debate filosófico entre as correntes de pensamento realistas e antirealistas. Apontamos e analisamos duas propostas de solução do Paradoxo mais discutidas na literatura. Como principal ojetivo desta dissertação, investigamos o Paradoxo da Cognoscibilidade em sistemas multiagentes. Demonstramos que, apesar de em tais sistemas o Paradoxo ser minimizado, ele ainda não é completamente resolvido. Por fim, também apresentamos várias formas de obter a contraparte doxástica do Resultado, conhecida como Paradoxo da Credibilidade / Abstract: This text studies a result in epistemic-alethic logic, published by Frederic Fitch in 1963, known as Knowability Paradox. According to this result, if all truths are knowable, then all truths are known. This suggests there are unknowable truths. We describe alethic and epistemic modal logics, which are formal resources required in order to study the paradox. Also, we examine its role in the philosophical debate between realists and anti-realists. We point out and analize two attempts to solve the Paradox. The main aim of this text is to explore the Knowability Paradox in multi-agents systems. We shoe that, although in these systems the Paradox is weaker, it's not entirely solved. We also show many ways to derive the doxastic counterpart of the result, known as Belivability Paradox / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Ítala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-21T17:22:51Z (GMT). No. of bitstreams: 1 Alves_MarcosAntonio_D.pdf: 1540719 bytes, checksum: ef2df1bb686bd9200a4eb2597ab54495 (MD5) Previous issue date: 2012 / Resumo: Nosso objetivo nesta Tese é desenvolver uma definição da consequência lógica a partir de uma perspectiva quantitativa da informação. O trabalho pode ser dividido em duas partes. Na primeira, que consiste dos três capítulos iniciais, fazemos um estudo crítico de algumas das principais concepções usuais de consequência lógica. No primeiro capítulo expomos três das características centrais da consequência lógica, quais sejam, necessidade, formalidade e anterioridade. Apresentamos uma noção geral de consequência lógica, a partir da qual classificamos as diferentes noções de consequência lógica em clássicas e não-clássicas. Nos dois próximos capítulos tratamos da consequência lógica a partir das perspectivas sintática e semântica, analisando em que medida elas satisfazem as três características acima enunciadas. Na segunda parte, constituída dos três últimos capítulos, desenvolvemos a nossa proposta. No quarto capítulo expomos criticamente a concepção de informação a ser utilizada na Tese. No quinto capítulo construímos uma semântica probabilística para a lógica sentencial clássica, mostrando os seus principais resultados. A partir desta semântica, definimos, no sexto capítulo, a quantidade de informação em uma fórmula da lógica sentencial clássica e a consequência lógica probabilística. Feito isso, definimos a consequência lógica informacional, demonstrando os seus principais resultados / Abstract: Our goal in this work is to develop a definition of logical consequence from a quantitative perspective of information. The work can be divided into two parts. The first, consisting of three chapters, we make a critical study of some key concepts usual logical consequence. In the first chapter we expose three of the central features of logical consequence, namely, necessity, formality and apriority. We present a general notion of logical consequence, from which classify the different notions of logical consequence in classical and non-classical. In the next two chapters deal with the logical consequence from the syntactic and semantic perspectives, analyzing the extent to which they meet the three above features. In the second part, which consists of the last three chapters, we developed our proposal. In the fourth chapter critically expose the concept of information to be used in the thesis. In the fifth chapter we build a probabilistic semantics for classical sentential logic, showing its main results. From this semantics, we define, in the sixth chapter, the amount of information in a formula of classical sentence logic and probabilistic logical consequence. That done, we define the informational logical consequence, showing its main results / Doutorado / Filosofia / Doutor em Filosofia

Orientador: Lucas Angioni / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-20T11:18:44Z (GMT). No. of bitstreams: 1 Ferreira_MateusRicardoFernandes_D.pdf: 823119 bytes, checksum: 7ba656176385de662b9d8593f14aa89d (MD5) Previous issue date: 2012 / Resumo: Nesta tese discuto aspectos da logica de Aristóteles que sao ressaltados por abordagens contemporâneas dos Primeiros Analíticos e que mostram uma teoria mais rica e sutil do que tradicionalmente se entende como sendo a lógica aristotelica. Em especial, abordo teses sobre como devem ser compreendidas as proposições categóricas, o que sao precisamente silogismos, o que sao silogismos perfeitos e quais problemas enfrenta a parte da lógica de Aristoteles que lida com proposicoes modais. Nessa direcao, abordo evidencias textuais para duas concepcoes de proposicao categorica e as dificuldades para coaduna-las com as proposicoes singulares. Alem disso, argumento que silogismos devem ser compreendidos como cadeias de predicacoes e que Aristoteles concebe um sistema logico quando procura justificar quais arranjos entre termos formam de fato tais cadeias. Argumento, tambem, que os silogismos perfeitos sao evidentes nesse sistema nao porque considerados indemonstraveis, mas porque podem ser deduzidos a partir de definicoes das proposicoes categoricas e de certas regras gerais, isto e, de regras aplicaveis nao apenas a um tipo de proposicao categorica. Por fim, apresento as caracteristicas gerais e as dificuldades de uma parte da logica de Aristoteles muito pouco associada a logica aristotelica como tradicionalmente entendida: a silogistica modal / Abstract: The present dissertation discusses aspects of Aristotle's Logic which are enhanced by contemporary approaches to Prior Analytics and display a logical theory richer and subtler than what traditionally is comprehended as being the Aristotelian Logic. My main claims concern how categorical propositions must be understood, what is the exact nature of syllogisms, what is a perfect syllogism, as well as some questions in the part of Aristotelian Logic which deals with modal propositions. From an examination of texts that support two different conceptions of categorical proposition, I discuss the difficulties in adjusting each of them to singular propositions. I also argue that syllogisms must be comprehended as chains of predications and that Aristotle conceives a logical system when he proceeds to justify which terms arrangement does produce chains of the required kind. I also argue that in this system perfect syllogisms must be understood as evident not because they are unproved, but because they are deduced from definitions for categorical propositions and from general rules, i.e. rules not applied just to some categorical propositions. Finally, I discuss general features and problems concerning a part of Aristotle's Logic rarely attached to the Aristotelian Logic as traditionally comprehended: the modal syllogistic / Doutorado / Filosofia / Doutor em Filosofia

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-02T18:02:38Z (GMT). No. of bitstreams: 1 Cunha_DeniseMariaMaldonadoda_M.pdf: 630817 bytes, checksum: b79c7cd74fd041ea0461293543078db2 (MD5) Previous issue date: 2003 / Mestrado

A combinação de lógica e probabilidade (lógicas probabilísticas) tem sido um tópico bastante estudado nas últimas décadas. A maioria de propostas para estes formalismos pressupõem que tanto as sentenças lógicas como as probabilidades sejam especificadas por especialistas. Entretanto, a crescente disponibilidade de dados relacionais sugere o uso de técnicas de aprendizado de máquina para produzir sentenças lógicas e estimar probabilidades. Este trabalho apresenta contribuições em termos de representação de conhecimento e aprendizado. Primeiro, uma linguagem lógica probabilística de primeira ordem é proposta. Em seguida, três algoritmos de aprendizado de lógica de descrição probabilística crALC são apresentados: um algoritmo probabilístico com ênfase na indução de sentenças baseada em classificadores Noisy-OR; um algoritmo que foca na indução de inclusões probabilísticas (componente probabilístico de crALC); um algoritmo de natureza probabilística que induz sentenças lógicas ou inclusões probabilísticas. As propostas de aprendizado são avaliadas em termos de acurácia em duas tarefas: no aprendizado de lógicas de descrição e no aprendizado de terminologias probabilísticas em crALC. Adicionalmente, são discutidas aplicações destes algoritmos em processos de recuperação de informação: duas abordagens para extensão semântica de consultas na Web usando ontologias probabilísticas são discutidas. / The combination of logic and probabilities (probabilistic logics) is a topic that has been extensively explored in past decades. The majority of work in probabilistic logics assumes that both logical sentences and probabilities are specified by experts. As relational data is increasingly available, machine learning algorithms have been used to induce both logical sentences and probabilities. This work contributes in knowledge representation and learning. First, a rst-order probabilistic logic is proposed. Then, three algorithms for learning probabilistic description logic crALC are given: a probabilistic algorithm focused on learning logical sentences and based on Noisy-OR classiers; an algorithm that aims at learning probabilistic inclusions (probabilistic component of crALC) and; an algorithm that using a probabilistic setting, induces either logical sentences or probabilistic inclusions. Evaluation of these proposals has been performed in two situations: by measuring learning accuracy of both description logics and probabilistic terminologies. In addition, these learning algorithms have been applied to information retrieval processes: two approaches for semantic query extension through probabilistic ontologies are discussed.

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-09-11T21:14:41Z (GMT). No. of bitstreams: 1 Bueno-Soler_Juliana_D.pdf: 1230879 bytes, checksum: c04ce9e8061c154854f6283749f9c12b (MD5) Previous issue date: 2009 / Resumo: O presente trabalho tem por objetivo investigar o papel da negação no âmbito das modalidades, de forma a poder esclarecer até que ponto a negação pode ser atenuada, controlada ou mesmo totalmente eliminada em favor da melhor expressabilidade lógica de certas teorias, asserções ou raciocínios que sofrem os efeitos da negação. Contudo, atenuar ou eliminar a negação tem um alto preço: métodos tradicionais em lógica podem deixar de ser válidos e certos resultados, como teoremas de completude para sistemas lógicos, podem ser derrogados. Do ponto de vista formal, a questão central que investigamos aqui e até que ponto tais métodos podem ser restabelecidos. Com tal finalidade, iniciamos nosso estudo a partir do que denominamos sistemas anódicos" (sem negação) e, a posteriori, introduzimos gradativamente o elemento catódico" (negações, com diversas gradações e diferentes características) nos sistemas modais por meio de combinações com certas lógicas paraconsistentes, as chamadas lógicas da inconsistência formal (LFIs). Todos os sistemas tratados são semanticamente caracterizados por semânticas de mundos possíveis; resultados de incompletude são também obtidos e discutidos. Obtemos ainda semânticas modais de traduções possíveis para diversos desses sistemas. Avançamos na direção das multimodalidades, investigando os assim chamados sistemas multimodais anódicos e catódicos. Finalmente, procuramos avaliar criticamente o alcance e o interesse dos resultados obtidos na direção da racionalidade sensível à negação. / Abstract: The present work aims to investigate the role of negations in the scope of modalities and in the reasoning expressed by modalities. The investigation starts from what we call anodic" systems (without any form of negation) and gradually reaches the cathodic" elements, where negations are introduced by means of combining modal logics with certain paraconsistent logics known as logics of formal inconsistency (LFIs). We obtain completeness results for all treated systems, and also show that certain incompleteness results can be obtained. The class of the investigated systems includes all normal modal logics that are extended by means of the schema Gk;l;m;n due to E. J. Lemmon and D. Scott combined with LFIs. We also tackle the question of obtaining modal possible-translations semantics for these systems. Analogous results are analyzed in the scope of multimodalities, where anodic as much as cathodic logics are studied. Finally, we advance a critical evaluation of the reach and scope of all the results obtained to what concerns expressibility of reasoning considered to be sensible to negation. We also critically assess the obtained results in contrast with problems of rationality that are sensible to negation. / Doutorado / Doutor em Filosofia

O presente trabalho tem como objeto de estudo o primeiro e único livro publicado por Wittgensein, seu Tractatus Logico-Philosophicus. Nosso tópico consiste nas dificuldades envolvidas em uma de suas teses mais centrais: a tese segundo a qual toda e qualquer proposição pode ser expressa em termos da aplicação de um operador de verdade primitivo de negação conjunta a proposições elementares. Dentre os problemas exegéticos envolvidos com o aforismo 6 e seu lugar na lógica do Tractatus, nos interessa tratar de dois grupos de questões sucitados na literatura secundária. O primeiro diz respeito à capacidade expressiva da notação do Tractatus, isto é, se podemos expressar, como afirma Wittgenstein, através da forma geral [ p, , N( )], toda função de verdade de proposições elementares apenas com “aplicações sucessivas do operador N” (5.32). O segundo grupo de questões diz respeito à possibilidade de conciliar a tese de 6 e 5.32 com o famoso resultado de que não pode haver um procediemento de decisão para todo o cálculo de predicados. No primeiro capítulo argumentaremos que a lógica do Tractatus é, em princípio, capaz de expressar qualquer proposição do cálculo de predicados de primeira ordem que contém quantificação (simples e múltipla) como resultado de um número finito de aplicações sucessivas do operador N. Defenderemos essa posição com base em uma sugestão de complemento notacional de Peter Geach que será defendida a partir de uma leitura da noção de generalidade do Tractatus, levando em conta dificuldades sucitadas contra essa posição por alguns comentadores, especialmente Robert Fogelin. No segundo capítulo argumentaremos, em um primeiro momento, que apesar de Wittgenstein estar comprometido com a decidibilidade da lógica no Tractatus, a tese de 6 e 5.32 é independente do cálculo de predicados ser decidível ou não.Em um segundo momento será argumentado (seguindo ideias sugeridas por Roger White e Michael Potter) que é uma possibilidade bastante plausível que o compromisso de Wittgenstein com a decidibilidade da lógica se fundamenta nas seguintes teses tractarianas: a)A proposição mostra seu sentido. b) O sentido de uma proposição consiste em suas condições de verdade. c) A proposição descreve a realidade completamente. Assim, mostraremos que a tese tractariana de que deve haver um procedimento de decisão para toda lógica pode estar fundamentada na concepção tractariana da compreensão do sentido proposicional.

O presente trabalho tem como objeto de estudo o primeiro e único livro publicado por Wittgensein, seu Tractatus Logico-Philosophicus. Nosso tópico consiste nas dificuldades envolvidas em uma de suas teses mais centrais: a tese segundo a qual toda e qualquer proposição pode ser expressa em termos da aplicação de um operador de verdade primitivo de negação conjunta a proposições elementares. Dentre os problemas exegéticos envolvidos com o aforismo 6 e seu lugar na lógica do Tractatus, nos interessa tratar de dois grupos de questões sucitados na literatura secundária. O primeiro diz respeito à capacidade expressiva da notação do Tractatus, isto é, se podemos expressar, como afirma Wittgenstein, através da forma geral [ p, , N( )], toda função de verdade de proposições elementares apenas com “aplicações sucessivas do operador N” (5.32). O segundo grupo de questões diz respeito à possibilidade de conciliar a tese de 6 e 5.32 com o famoso resultado de que não pode haver um procediemento de decisão para todo o cálculo de predicados. No primeiro capítulo argumentaremos que a lógica do Tractatus é, em princípio, capaz de expressar qualquer proposição do cálculo de predicados de primeira ordem que contém quantificação (simples e múltipla) como resultado de um número finito de aplicações sucessivas do operador N. Defenderemos essa posição com base em uma sugestão de complemento notacional de Peter Geach que será defendida a partir de uma leitura da noção de generalidade do Tractatus, levando em conta dificuldades sucitadas contra essa posição por alguns comentadores, especialmente Robert Fogelin. No segundo capítulo argumentaremos, em um primeiro momento, que apesar de Wittgenstein estar comprometido com a decidibilidade da lógica no Tractatus, a tese de 6 e 5.32 é independente do cálculo de predicados ser decidível ou não.Em um segundo momento será argumentado (seguindo ideias sugeridas por Roger White e Michael Potter) que é uma possibilidade bastante plausível que o compromisso de Wittgenstein com a decidibilidade da lógica se fundamenta nas seguintes teses tractarianas: a)A proposição mostra seu sentido. b) O sentido de uma proposição consiste em suas condições de verdade. c) A proposição descreve a realidade completamente. Assim, mostraremos que a tese tractariana de que deve haver um procedimento de decisão para toda lógica pode estar fundamentada na concepção tractariana da compreensão do sentido proposicional.