Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. Programa de Pós-Graduação em Filosofia. / Made available in DSpace on 2012-10-22T13:31:36Z (GMT). No. of bitstreams: 0 / Esta dissertação trata da possibilidade do conhecimento proposicional. Investiga o que seja crença justificada partindo da definição platônica de conhecimento. Objetiva aprofundar a compreensão das argumentações referentes à justificação do conhecimento tendo como eixo o confiabilismo de Alvin Goldman. Pretendemos investigar as contribuições de algumas teorias epistemológicas contemporâneas ao estabelecimento da definição de conhecimento proposicional. E junto com a busca de uma definição dessa ordem, procura uma interpretação e definição mais adequada de crença justificada, já que não parece ser possível uma adequada definição sobre o que seja conhecimento sem considerar as questões que envolvam crenças e, em se tratando de conhecimento proposicional, crenças justificadas. Tratamos não somente de crenças justificadas, mas também verdadeiras. Apresentamos as contribuições à definição de conhecimento de Alfred Ayer, Roderick Chisholm e de Bertrand Russell como tentativas de melhorar a definição tradicional. Discutimos o problema de Gettier, apresentado em: "Is Justified True Belief Knowledge?", no qual questiona as tentativas de definição de conhecimento até então feitas, mostrando que aquelas não conseguiram articular uma definição que fosse plausível. Defende a noção de conhecimento como não sendo apenas crença verdadeira e justificada. Tratamos o que vem a ser justificação epistêmica, fazendo menção a um entendimento do conhecimento intitulado internalismo e externalismo em Epistemologia. Apresentamos a 'solução' de Alvin Goldman, enfatizando a versão do seu artigo: "What Is Justified Belief?" e sua versão mais acurada apresentada em: Epistemology and Cognition, fazendo menção também a outros de seus textos. Analisamos, assim, alguns pontos do Confiabilismo de Goldman, apresentando sua ênfase nos processos formadores de crenças e naqueles que permitem novos processos para a origem de novas crenças. Defendemos a garantia do conhecimento proposicional a partir de seu impreterível vínculo à origem da crença em processos que sejam confiáveis. Apresenta a avaliação e críticas de Susan Haack, descrita em seu Evidence and Inquiry. Discute a versão de crença justificada segundo Ernest Sosa, em: Reliabilism and intellectual virtue e as críticas feitas a Goldman. A pesquisa estabelece contrapontos entre alguns importantes autores contemporâneos a respeito da problemática do conhecimento e da crença justificada. Conclui que a proposta confiabilista de Goldman aparentemente é excelente, mas que, feito um estudo com maior propriedade, mostra-se bastante frágil e com muitos problemas. Por esta razão não consegue estabelecer passo seguro e garantido à superação do problema de Gettier e seus correlatos. This dissertation deals with the possibility of propositional knowledge. In it I investigate what is justified belief according to the platonic definition of knowledge. I aim to go deeper into the understanding of the arguments referring to the justification of knowledge, resorting to Alvin Goldman's reliabilibilism. I also intend to investigate the contributions of some contemporary epistemological theories to the establishment of a definition of propositional knowledge. Together with the search for a definition of this kind, I look for a more suitable interpretation and definition of justified belief, since it does not seem to be suitable a definition of what knowledge is without considering beliefs and, when propositional knowledge is concerned, the issues that involve justified beliefs. I am concerned not only with justified - but also with - true beliefs. I present the contributions to the definition of knowledge by Alfred Ayer, Roderick Chisholm and Bertrand Russell, as attempts to improve the traditional definition. I examine Gettier's problem, presented in: "Is Justified True Belief Knowledge?", in which he discusses the attempts of defining knowledge up to that point, showing that such definitions could not articulate a reasonable view. I argue for the notion of knowledge as being not only true but also justified belief. I discuss what comes to be epistemic justification, by mentioning an understanding of knowledge from an internalist and externalist perspective in Epistemology. I present Alvin Goldman's "solution", found mainly in his article: "What Is Justified Belief?", and his more accurate version, presented in Epistemology and Cognition, mentioning others of his texts as well. Thus, analyzing some points of Goldman's reliabilism, I call attention to his notion of producing-beliefs processes and to those which allow new processes for the origin of new beliefs. He argues for a guarantee of the propositional knowledge from its obligatory link to the origin of the belief in processes that are trustworthy. I review Susan Haack's evaluation and critique presented in her Evidence and Inquire. I discuss the version of justified belief according to Ernest Sosa, in Reliabilism and intellectual virtue, and his critique of Goldman. My research establishes counterpoints between some important contemporary authors regarding the problem of knowledge and justified belief. I conclude that apparently Goldman's reliabilist proposal is excellent, but if a deeper study is done it reveals itself very fragile and with many problems. For this reason, Goldman cannot safely and assuredly overcome Gettier's problem and his correlations.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2014. / Made available in DSpace on 2015-02-05T20:42:24Z (GMT). No. of bitstreams: 1 328190.pdf: 2083116 bytes, checksum: db3146fe74bf4b521655ac66a7835db8 (MD5) Previous issue date: 2014 / Nos últimos anos, muitos filósofos da ciência (Lakatos 1978, Feyerabend 1988, Priest 1987, da Costa e French 2003, da Costa e Krause 2011) defenderam que certas teorias científicas são extremamente úteis e bem sucedidas, apesar de serem inconsistentes. Esta dissertação de mestrado procura analisar diversas formas de inconsistências em teorias científicas, tornando precisos os vários (e muitas vezes não equivalentes) conceitos de "inconsistência". O trabalho destaca o modo como inconsistências aparecem, ou podem aparecer, em diversos estágios na elaboração de uma teoria científica, pois para começarmos a falar sobre inconsistências em ciência - ou inconsistências em teorias científicas - precisamos assumir uma postura sobre o que são teorias, ou como elas deveriam ser concebidas, para assim avaliar casos de inconsistências em ciência de modo adequado. Todavia, apesar de parecer à primeira vista algo a ser evitado, nós poderíamos e deveríamos ir além e estudar teorias científicas inconsistentes (Bueno 2006). O passo crucial a ser tomado neste estudo é a mudança da lógica subjacente a teorias científicas inconsistentes. Assim, ao adotarmos, por exemplo, uma lógica para consistente, abarcamos a inconsistência evitando a trivialidade e proporcionando uma análise sem a perda de dados científicos importantes. Além disso, às vezes a única maneira de obtermos novos dados de um fenômeno científico é através de uma teoria inconsistente. A Teoria do Átomo de Bohr, por exemplo, apesar de inconsistente estabeleceu previsões corretas quanto ao comprimento de onda das linhas de emissão do espectro de hidrogênio. Desta forma, levando em conta os avanços sobre o entendimento das bases lógicas da ciência, o abandono de teorias científicas inconsistentes já não nos parece ser mais algo viável, já que algumas dessas nos ajudam a entender melhor certos aspectos científicos; assim, parece-nos no mínimo sensato investigar inconsistências em ciência.<br> / Abstract : In the last years, many philosophers of science (Lakatos 1978,Feyerabend 1988, Priest 1987, da Costa e French 2003, da Costa eKrause 2011) argued that certain scientific theories are extremely usefuland well succeeded, although inconsistent. This master's thesis iswilling to analyze the various forms of inconsistencies in scientifictheories, making accurate the many (and often not equivalent) conceptsof "inconsistency". This work stand out the way inconsistencies appear,or may appear, in different stages in the development of a scientifictheory, as to begin to deal with inconsistencies in science - orinconsistencies in scientific theories - we need to assume an attitudeabout what scientific theories are, or how they should be conceived, tothereby evaluate cases of inconsistencies in science in a proper way.However, although at first it seems something to be avoided, we couldand should go further and study inconsistent scientific theories (Bueno2006). The crucial step to be taken in this study is the shift of theunderling logic of the inconsistent theories. Therefore, adopting, forexample, a paraconsistent logic, we embrace the inconsistency avoidingthe triviality and providing an analysis without losing importantscientific data. Besides, sometimes the only way to get new data from ascientific phenomenon is through an inconsistent theory. The Bohr'sAtom Theory, for example, despite inconsistent, established correctpredictions regarding the wave length of the emission lines of thehydrogen spectrum. Thus, taking into account the progress of theunderstanding of the logical basis of science, the abandonment ofinconsistent scientific theories no longer seems to be somethingpracticable, since some of this help us to better understand certainscientific aspects; thereby, it seems at least reasonable to investigateinconsistencies in science.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Jurídicas. Programa de Pós-Graduação em Direito. / Made available in DSpace on 2012-10-21T04:30:32Z (GMT). No. of bitstreams: 0Bitstream added on 2013-07-16T19:29:40Z : No. of bitstreams: 1 206797.pdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / A presente dissertação consiste na apresentação da perspectiva jusfilosófica do autor alemão pós-positivista, Robert ALEXY e em um esforço de sistematizar o seu pensamento sobre a teoria da argumentação jurídica. No primeiro momento, é feito um inventário do estado da arte no tocante a teoria da argumentação, ressaltando suas principais correntes e pensadores. Procura-se compreender como se formou o pensamento sobre raciocínio jurídico no decorrer da história. A segunda parte, é dedicada ao estudo dos marcos teóricos do pensamento de Robert ALEXY. Neste ponto a contribuição de Jürgen HABERMAS é significativa. Na terceira parte, o estudo é sistematizador da obra Teoria da Argumentação Jurídica. Trabalha-se com o `discurso prático racional geral´, tentativa contrafática de Robert ALEXY em elaborar um código para a razão prática. A `argumentação jurídica´ é estudada como um caso especial, como uma espécie do gênero `discurso prático racional geral. Finalmente no desfecho do trabalho, apresentam-se alguns dos aspectos centrais da teoria da fundamentação jurídica de Robert ALEXY, bem como em anexo são incluídas tabelas de formas e regras de argumentos, visando facilitar ao leitor acompanhar o desenvolvimento teórico esboçado no capítulo terceiro.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-21T08:20:26Z (GMT). No. of bitstreams: 0 / Pesquisas recentes em prova automática de teoremas para lógica clausal de primeira ordem lidam com fórmulas representadas em apenas uma de suas formas normais, conjuntiva ou disjuntiva, para realizar inferências lógicas. No entanto, a autora toma outro caminho e examina o uso simultâneo de ambas formas normais de uma fórmula para realizar estas inferências. A motivação original foi o desenvolvimento de uma estratégia que melhorasse a eficiência do Método de Inferência por Transformação Dual (Método Dual). Este método, para lógica de primeira ordem, processa uma inferência lógica sem a explícita aplicação de nenhuma regra de inferência; ao invés, ele transforma sucessivamente a fórmula em suas formas normais conjuntiva e disjuntiva e remove as contradições tornadas explícitas por estas transformações. A fim de desenvolver uma estratégia que explorasse a representação de uma fórmula nas duas formas normais, relações estruturais apresentadas por esta representação foram formalizadas e usadas como base para expressar e filtrar inferências realizadas durante o processo de dedução. Conseqüentemente, este trabalho apresenta resultados em duas áreas: as formas normais de uma fórmula lógica, suas relações, simplificação e transformação de uma para a outra; e a estratégia propriamente dita. Embora o uso simultâneo de ambas formas normais pela estratégia tenha se mostrado redundante, este estudo deu origem a um novo método de inferência com interessantes características: (i) ele combina atributos de ambos cálculos: de saturação e de tableau e conexão, (ii) ele permite o processamento paralelo de inferências, e (iii) ele facilita o reuso de inferências previamente efetuadas. Estas são características não encontradas em nenhum outro método conhecido pela autora.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Jurídicas / Made available in DSpace on 2012-10-19T08:57:21Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T22:35:05Z : No. of bitstreams: 1 179155.pdf: 5085203 bytes, checksum: 9809bac5f22d3caff2c3b37aefa18891 (MD5) / Esta dissertação analisa a teoria da fundamentação jurídica de Robert ALEXY proposta no livro "Teoria de la argumentación jurídica". Nesta obra o autor sustenta a tese de que o discurso jurídico é um caso especial do discurso prático e estqbelece regras procedimentais que definem as condições para a racionalidade de ambas as modalidades de discurso. Para efetuar uma análise da teoria da fundamentação jurídica, parte-se da filosofia da linguagem ordinária e da teoria do discurso, esboçando algumas características do discurso jurídico. A dissertação descreve a elaboração teórica de ALEXY, que desenvolve um sistema de regras para o discurso prático racional, para então traçar regras específicas para o discurso jurídico, a partir do modelo dogmático de direito. Após adentrar na construção da fundamentação jurídica deALEXY, sua teoria é contextualizada nos estudos do direito, com a posterior análçise sob a perspectiva da linguística, especificamente da pragmática e da análise do discurso, da linguagem normativa e da ideologia. Finalmente, são elalboradas algumas considerações finais a partir da análise da teoria da fundamentação de Robert ALEXY

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-19T11:45:02Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T00:14:39Z : No. of bitstreams: 1 184301.pdf: 1994981 bytes, checksum: 06897e01ca96b80d4e81bfbdf621f13c (MD5) / Expõe que ambos os métodos, tanto dos Tableaux como das Resoluções fazem parte daquilo que se chama prova automática de teoremas. O método da Resolução trabalha com prova por refutação: "se a negação de um teorema é falsa, então ele será verdadeiro." Este método é baseado em uma regra de inferência única, chamada regra de resolução, e utiliza intensivamente um algoritmo de casamento de padrões chamado algoritmo de unificação. Faz-se algumas comparações entre os dois métodos, pois, o algoritmo dos Tableaux não necessita de transformações para qualquer forma normal. Revela que a principal vantagem do método dos Tableaux, em relação ao método tradicional e conhecido de Resolução é fato deste evitar utilização de cláusulas nas suas formas. Forma de Medição no Processo de Alfabetização dos (as) Alunos (as) com Necessidades Educativas Especiais

Made available in DSpace on 2014-06-11T19:25:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2012-02-24Bitstream added on 2014-06-13T20:13:58Z : No. of bitstreams: 1 rodrigues_ap_me_mar.pdf: 615560 bytes, checksum: 6ad248ede2e9a91f3297ec680b6f9138 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O objetivo deste trabalho é, em um primeiro momento, fazer um estudo detalhado sobre quantificadores, os quais são estudados desde Aristóteles [384-322 a. C.]. Apresentamos algumas concepções sobre quantificadores generalizados, a saber, a concepção de Mostowski (1957), criada com o intuito de formalizar alguns conceitos matemáticos, e a concepção de Barwise e Cooper (1981), desenvolvida para tentar aproximar a lógica da linguagem natural. Com este estudo, concluímos que não há uma definição geral de quantificadores e, por isso, trabalhos como o de Sette, Carnielli e Veloso (1999), no qual introduziram a Lógica do Ultrafiltro, são importantes. A Lógica do Ultrafiltro estende a lógica clássica de primeira ordem por meio do acréscimo de um novo quantificador, o qual é chamado de quantificador ‘quase sempre’. Assim, em um segundo momento, formalizamos algebricamente este novo quantificador introduzido pela Lógica do Ultrafiltro. Introduzimos a lógica proposicional do ‘quase sempre’, que estende o cálculo proposicional clássico pela adição de um novo operador, em um sistema hilbertiano, e depois em um sistema de cálculo de sequentes / The objective of this paper is, in a first moment, to do a detailed study on quantifiers, which are studied since Aristotle [384-322 BC]. We show some conceptions of the generalized quantifiers, namely, the conception of Mostowski (1957), created with the purpose of to formalize some mathematical concepts, and the one of Barwise and Cooper (1981), developed to try an approach to the logical nature of language. From this study we concluded that there is no an absolute definition of quantifiers and so the several presentations like the paper of Sette, Carnielli and Veloso (1999), on which it is introduced the Ultrafilter Logic, are important. The Ultrafilter Logic extends the first order classical logic by the addition of a new quantifier called ‘almost always’. Thus, in a second moment, we formalize algebraically this new quantifier introduced in the Ultrafilter Logic. We introduce the ‘almost always’ propositional logic, which extends the classical propositional calculus by the addition of a new operator, in a Hilbert system and in a sequent calculus system

Resumo: 0 método das conexões de Bibel é uma alternativa ao método de resolução e vem sendo aplicado a vários sistemas lógicos, incluindo fragmentos da lógica linear, lógica intuicionista e várias lógicas modais. Em um trabalho anterior, o método das conexões de Bibel foi estendido para um tipo de lógica paraconsistente, chamada de lógica anotada. Neste trabalho o método do trabalho anterior é estendido tornando as definições mais adequadas à implementação. Um procedimento que melhora a eficiência do método das conexões de Bibel é apresentado e uma implementação do método é desenvolvida na linguagem SML. Os agentes inteligentes e sistemas especialistas podem utilizar métodos de prova em seus módulos raciocinadores para derivar conclusões de uma base de conhecimentos. A lógica anotada trata uma base de conhecimentos inconsistente de modo adequado. Um exemplo ilustrativo de uso de uma base de conhecimentos inconsistente em um sistema médico é automatizado através da implementação. Por fim, uma comparação de eficiência é apresentada.

No description available.

Orientador : Prof. Dr. Cesar Antonio Serbena / Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Jurídicas, Programa de Pós-Graduação em Direito. Defesa: Curitiba, 04/04/2016 / Inclui referências : f. 125-128 / Resumo: A lógica deôntica consolidou-se como modelo formal correspondente à função prescritiva da linguagem sobre a base técnica e conceitual da lógica modal alética. Essa derivação, conquanto tenha tornado o sistema-padrão de lógica deôntica (Standard Deontic Logic - SDL) completo e correto, gerou resultados contraintutivos que limitaram sua capacidade de análise da linguagem normativa. Em especial, a opção por atribuir uma matriz exclusivamente proposicional à lógica deôntica, oriunda em grande medida da intensa influência que os sistemas modais exerceram sobre a constituição sintática e semântica dos sistemas deônticos, eliminou uma importante característica já presente no sistema original de Georg Henrik von Wright, o propositor moderno da lógica normativa: a possibilidade de representar formalmente prescrições em termos de agentes e ações (dever-fazer) e não apenas em termos de estados de coisas cuja atualização se pretende (dever-ser). Através da apresentação de alguns sistemas vinculados a esta primeira tradição, também denominada Lógica Deôntica da Ação, e do aparato filosófico correlato, notadamente de alguns dos modelos propostos por von Wright e pelo lógico Héctor- Neri Castañeda, o trabalho pretende sugerir caminhos possíveis para o desenvolvimento de uma lógica deôntica sobre bases agenciais, bem como avaliar o modo como tal opção teórica, nas diferentes vertentes apresentadas, responde aos problemas conceituais mais destacados dos sistemas formais normativos. Palavras-chave: Lógica deôntica, lógica modal, semântica, ação, norma, dever-ser, dever-fazer. / Abstract: Deontic logic has established itself as a formal model of ordinary language's prescriptive function upon the technical and conceptual basis of alethic modal logic. Although this derivation had rendered the standard system of deontic logic (SDL) complete and sound, it also gendered counterintuitive results, reducing its analytical sharpness in the scrutiny of normative language. Particularly, opting to assign an exclusively propositional matrix to deontic logic due to the major influence that modal systems exerted over the syntactical and semantical constitution of deontic systems resulted in the elimination of an important feature already present in Georg Henrik von Wright's (the modern proponent of the logic of norms) original system: the formal possibility of depicting norms in terms of agents and actions (ought-to-do), and not only in terms of willingly realizable states of affairs (ought-to-be). Through the introduction of some systems pertaining to the former tradition, also known as Deontic Logic of Action, and the related philosophical aparatus (namely, models proposed by von Wright and the logician Héctor-Neri Castañeda), this work intends to suggest possible ways of developing deontic logic on agential basis, as well as to evaluate how this theoretical option, in the different aspects exhibited, answer to the highlighted conceptual problems of formal normative systems. Keywords: Deontic logic, modal logic, semantics, action, prescription, ought-to-be, ought-to-do.