7 results on '"*INCONSISTENCY (Logic)"'
Search Results
2. PROJETOS EDUCACIONAIS E ESTUDOS OBSERVACIONAIS EM ANÁLISE FÍLMICA: QUAL O ATUAL STATUS DE PRODUÇÃO NO BRASIL?
- Author
-
Leite, Nildes Pitombo, do Amaral, Iraides Gonçalves, de Freitas, Alessandra Demite Gonçalves, and Alvarenga, Marcelo Aparecido
- Subjects
RESEARCH & development ,DATA mapping ,SCIENTIFIC observation ,INCONSISTENCY (Logic) ,EMPIRICAL research - Abstract
Copyright of Journal of Business & Projects / Revista de Gestão e Projetos is the property of Revista de Gestao e Projetos and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
- Published
- 2012
- Full Text
- View/download PDF
3. A RELAÇÃO UNIVERSIDADE-SOCIEDADE NA PERIFERIA DO CAPITALISMO.
- Author
-
da Silva, Rogério Bezerra
- Subjects
SOCIAL sciences education ,UNIVERSITIES & colleges ,SOCIAL conditions in Brazil ,BUSINESS enterprises ,EDUCATION research ,INCONSISTENCY (Logic) ,INTEREST (Psychology) ,COMPREHENSION - Abstract
Copyright of Revista Brasileira de Ciencias Sociais is the property of Revista Brasileira de Ciencias Sociais and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
- Published
- 2012
- Full Text
- View/download PDF
4. O oto no adolescência como resposta à inconsistencia do Outro.
- Author
-
Stenzel, Mirela and Darriba, Vinicius Anciães
- Subjects
- *
INFLUENCE , *INCONSISTENCY (Logic) , *PSYCHOANALYSIS , *ADOLESCENCE , *TEENAGERS - Abstract
In this article the author uses the theoretical articulation of a clinical case to analyze the impact of the act and the frequent reference, in teenage discourse, of the influence of "bad company." Lacan's discussion on ethics in his Seminars from 19591960 and 1968-1 969 are referred to in the process. The author concludes that the act in adolescence is a possible response to what are seen as inconsistencies in the Others and it aims, through transgression, to reach what Lacan associates with Freud's das Ding. This response is also indicative of desire itself which sets a direction for clinical work. [ABSTRACT FROM AUTHOR]
- Published
- 2011
- Full Text
- View/download PDF
5. Probability of the conditional and conditional probability : excess laws and triviality results in the LFI1 logic
- Author
-
Daniel Alves da Silva Lopes Diniz, Bueno-Soler, Juliana, 1976, Carnielli, Walter Alexandre, 1952, Stern, Julio Michael, Merlussi, Pedro, Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, and UNIVERSIDADE ESTADUAL DE CAMPINAS
- Subjects
Lógica paraconsistente ,Probabilidades - Filosofia ,Probabilities - Philosophy ,Inconsistency (Logic) ,Paraconsistent logic ,Inconsistencia (Lógica) - Abstract
Orientadores: Juliana Bueno, Walter Alexandre Carnielli Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas Resumo: O resumo poderá ser visualizado no texto completo da tese digital Abstract: The abstract is available with the full electronic document Mestrado Filosofia Mestre em Filosofia CAPES
- Published
- 2019
6. On the foundations of paraconsistent logic programming
- Author
-
Tarcísio Genaro Rodrigues, Coniglio, Marcelo Esteban, 1963, Soler, Juliana Bueno, Feitosa, Hercules de Araujo, Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, and UNIVERSIDADE ESTADUAL DE CAMPINAS
- Subjects
Lógica matemática não-clássica ,Programação lógica ,Linguagens formais - Semântica ,Non-classical mathematical logic ,Inconsistency (Logic) ,Lógica simbólica e matemática ,Formal languages - Semantics ,Inconsistencia (Lógica) ,Logic programming ,Symbolic logic and mathematics - Abstract
Orientador: Marcelo Esteban Coniglio Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas Resumo: A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta aproximação deu origem a uma extensa pesquisa com a intenção de definir sistemas de Programação Lógica paraconsistentes, isto é, sistemas nos quais seja possível manipular informação contraditória. Porém, todas as abordagens existentes carecem de uma fundamentação lógica claramente definida, como a encontrada na programação lógica clássica. A questão básica é saber quais são as lógicas paraconsistentes subjacentes a estas abordagens. A presente dissertação tem como objetivo estabelecer uma fundamentação lógica e conceitual clara e sólida para o desenvolvimento de sistemas bem fundados de Programação Lógica Paraconsistente. Nesse sentido, este trabalho pode ser considerado como a primeira (e bem sucedida) etapa de um ambicioso programa de pesquisa. Uma das teses principais da presente dissertação é que as Lógicas da Inconsistência Formal (LFI's), que abrangem uma enorme família de lógicas paraconsistentes, proporcionam tal base lógica. Como primeiro passo rumo à definição de uma programação lógica genuinamente paraconsistente, demonstramos nesta dissertação uma versão simplificada do Teorema de Herbrand para uma LFI de primeira ordem. Tal teorema garante a existência, em princípio, de métodos de dedução automática para as lógicas (quantificadas) em que o teorema vale. Um pré-requisito fundamental para a definição da programação lógica é justamente a existência de métodos de dedução automática. Adicionalmente, para a demonstração do Teorema de Herbrand, são formuladas aqui duas LFI's quantificadas através de sequentes, e para uma delas demonstramos o teorema da eliminação do corte. Apresentamos também, como requisito indispensável para os resultados acima mencionados, uma nova prova de correção e completude para LFI's quantificadas na qual mostramos a necessidade de exigir o Lema da Substituição para a sua semântica Abstract: Logic Programming arises from the interaction between Logic and the Foundations of Computer Science: first-order theories can be seen as computer programs. Logic Programming have been broadly used in some branches of Artificial Intelligence such as Knowledge Representation and Commonsense Reasoning. From this, a wide research activity has been developed in order to define paraconsistent Logic Programming systems, that is, systems in which it is possible to deal with contradictory information. However, no such existing approaches has a clear logical basis. The basic question is to know what are the paraconsistent logics underlying such approaches. The present dissertation aims to establish a clear and solid conceptual and logical basis for developing well-founded systems of Paraconsistent Logic Programming. In that sense, this text can be considered as the first (and successful) stage of an ambitious research programme. One of the main thesis of the present dissertation is that the Logics of Formal Inconsistency (LFI's), which encompasses a broad family of paraconsistent logics, provide such a logical basis. As a first step towards the definition of genuine paraconsistent logic programming we shown, in this dissertation, a simplified version of the Herbrand Theorem for a first-order LFI. Such theorem guarantees the existence, in principle, of automated deduction methods for the (quantified) logics in which the theorem holds, a fundamental prerequisite for the definition of logic programming over such logics. Additionally, in order to prove the Herbrand Theorem we introduce sequent calculi for two quantified LFI's, and cut-elimination is proved for one of the systems. We also present, as an indispensable requisite for the above mentioned results, a new proof of soundness and completeness for first-order LFI's in which we show the necessity of requiring the Substitution Lemma for the respective semantics Mestrado Filosofia Mestre em Filosofia
- Published
- 2010
7. Deontic dilemmas : an approach based on preference relations
- Author
-
Rafael Rodrigues Testa, Coniglio, Marcelo Esteban, 1963, Maranhão, Juliano Souza de Albuquerque, D'Ottaviano, Itala Maria Loffredo, Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, and UNIVERSIDADE ESTADUAL DE CAMPINAS
- Subjects
Mathematical and non classical logic ,Lógica matemática não-clássica ,Paradoxo ,Philosophy ,Inconsistency (Logic) ,Paradoxes ,Filosofia ,Inconsistencia (Lógica) - Abstract
Orientador: Marcelo Esteban Coniglio Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas 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
- Published
- 2008
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.