Results for 'Lógica paraconsistente'

1000+ found
Order:
  1. Lógica paraconsistente, mundos posibles y ficciones narrativas.Adolfo Vásquez Rocca - 2005 - A Parte Rei 38:3.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Lógica de los mitos: lógica paraconsistente: una alternativa en la discusión sobre la lógica del mito.Guillermo Páramo Rocha - 1989 - Ideas Y Valores 38 (79):27-67.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  93
    Sobre s História da Paraconsistência e a Obra de Da Costa: A Instauração da Lógica Paraconsistente.Evandro Luis Gomes - 2013 - Dissertation, University of Campinas, Brazil
  4.  14
    Sobre a História da Paraconsistência E a Obra de da Costa: Ainstauração da Lógica Paraconsistente [On the History of Paraconsistency and da Costa’s Work: The Establishment of Paraconsistent Logic]. . 535p + Appendixes.Evandro Luís Gomes - 2018 - Bulletin of Symbolic Logic 24 (4):464-465.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  49
    Review of Nicola Grana, Filosofia della logica, Sentieri della logica & Logica paraconsistente[REVIEW]Lorenzo Peña - 1985 - Theoria 2 (2):573-577.
  6.  18
    Revisão de Crenças Paraconsistente baseada em um operador formal de consistência.Rafael Testa - 2014 - Dissertation, University of Campinas
    A Revisão de Crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O sistema AGM, trabalho mais influente desta área apresentado por Alchourrón, Gärdenfos e Makinson, postula critérios de racionalidade para os diferentes tipos de mudança de crenças e oferece construções explícitas para tais - a equivalência entre os postulados e operações é chamado de teroema da representação. Trabalhos recentes mostram como o paradigma AGM pode ser compatível com diferentes lógicas não-clássicas, o que é chamado de AGM-compatibilidade (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  7.  36
    El Significado de la Negación Paraconsistente.Gladys Palau & Cecilia Duran - 2009 - Principia: An International Journal of Epistemology 13 (3):357-370.
    http://dx.doi.org/10.5007/1808-1711.2009v13n3p357 Neste trabalho concorda-se com a tese de I. Hacking segundo a qual o significado das constantes lógicas é dado pelas Regras de Introdução e Eliminação do cálculo de sequentes de Gentzen que caracterizam a concepção da noção de consequência lógica abstrata. Perguntamos quais são as regras mínimas que um conectivo deve satisfazer para que seja considerado uma negação genuína. Tomaremos como referência para tratar dessa questão os C-sistemas de Newton da Costa e o sistema LP de Graham Priest. (...)
    No categories
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  6
    Lógicas no clásicas de la vaguedad.Paula Teijeiro - 2015 - Revista de Humanidades de Valparaíso 5:7.
    En el presente artículo presentaremos un panorama sencillo de las principales lógicas no clásicas que se han propuesto para lidiar con la paradoja de Sorites, esto es, las lógicas débilmente paracompletas, las débilmente paraconsistentes y las difusas de tipo 1. Notaremos algunas ventajas y problemas de estos sistemas, y finalmente propondremos una cuarta solución -basada en una lógica difusa de tipo 2- que permite superar algunas de las dificultades planteadas.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  13
    Tigres Azules de J. L. Borges. Lógica, Verdad y Mundos Imposibles.Fernán Rioseco P. - 2017 - Revista de Humanidades de Valparaíso 10:7.
    El propósito de este artículo es mostrar el modo en que Borges, en su relato Tigres azules, desarrolla varias ideas interesantes en torno a la lógica, el lenguaje y las matemáticas. El punto de partida es el escepticismo borgeano sobre la capacidad de la lógica clásica para abordar el problema de la verdad y los mundos imposibles. Se defiende que objetos inconsistentes e, incluso, autocontradictorios no necesariamente dan lugar a mundos física o lógicamente imposibles. Se sugiere que las (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  6
    Paraconsistencia pura.Bruno Da Ré - 2019 - Revista de Humanidades de Valparaíso 13:90-101.
    Dentro del conjunto de las lógicas no clásicas, las lógicas paraconsistentes han suscitado de manera particular el interés de diversos filósofos. Además de las definiciones tradicionales, en los últimos años, se han propuesto nuevas maneras de caracterizar a la paraconsistencia. Lo que tienen en común todas estas definiciones es que alguna forma de la regla o de la metarregla de explosión debe ser rechazada. En este artículo, presentaré dichas definiciones y evaluaré el rol que juegan la negación y la transitividad (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  30
    Aristotle's Theory of Deduction and Paraconsistency.Evandro L. Gomes & Ítala M. L. D.?Ottaviano - 2010 - Principia: An International Journal of Epistemology 14 (1):71-97.
    No Órganon Aristóteles descreve alguns esquemas dedutivos nos quais a presença de inconsistências não acarreta a trivialização da teoria lógica envolvida. Esta tese é corroborada por três diferentes situações teóricas estudadas por ele, as quais são apresentadas neste trabalho. Analizamos o esquema de inferência utilizado por Aristóteles no Protrepticus e o método de demonstração indireta para os silogismos categóricos. Ambos os métodos exemplificam como Aristóteles emprega estratégias de redução ao absurdo logicamente clássicas. Na sequência, discutimos os silogismos válidos a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  59
    Truth as a Mathematical Object.Jean-Yves Béziau - 2010 - Principia: An International Journal of Epistemology 14 (1):31-46.
    Neste artigo, discutimos em que sentido a verdade é considerada como um objeto matemático na lógica proposicional. Depois de esclarecer como este conceito é usado na lógica clássica, através das noções de tabela de verdade, de função de verdade, de bivaloração, examinamos algumas generalizações desse conceito nas lógicas não clássicas: semânticas matriciais multi-valoradas com três ou quatro valores, semântica bivalente não veritativa, semânticas dos mundos possiveis de Kripke. DOI:10.5007/1808-1711.2010v14n1p31.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  5
    Total Paraconsistency.Bruno Da Ré - 2019 - Humanities Journal of Valparaiso 13:90-101.
    In the context of non-classical logics, many philosophers have been particularly interested in the paraconsistent logics. In addition to traditional definitions, in recent years, new ways of characterizing the notion of paraconsistency have been proposed. In all of these definitions the rule or the meta-rule of explosion is abandoned. In this article, I present those definitions and evaluate the role that the negation and the transitivity play in each of them. Finally, I propose a new definition of paraconsistency which I (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Razão e irracionalidade na representação do conhecimento.Walter A. Carnielli & Mamede Lima Marques - 1991 - Trans/Form/Ação 14:165-177.
    How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solution would (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  7
    Reason and irrationality in the representation of knowledge.Walter Carnielli & Mamede Marques - 1991 - Trans/Form/Ação 14:165-177.
    How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solution would (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  5
    Ambiguidades Indutivas, Paraconsistência, Paracompletude E As Duas Abordagens Da Indução.Ricardo Silvestre - 2007 - Manuscrito 30 (1):101-134.
    O objetivo desse artigo é realizar o que podemos chamar de uma análise conceitual da noção de indução, tomando como ponto de partida o problema das ambigüidades indutivas. Tentaremos mostrar que existe não apenas uma, mas duas maneiras igualmente autênticas de lidar com o problema das ambigüidades indutivas, e que quando certos aspec-tos lógicos dos dois conceitos de plausibilidade oriundos dessas duas abor-dagens da indução são considerados, muito da controvérsia a respeito das ambigüidades indutivas é dissolvido. Dentre tais aspectos está (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  17.  12
    Existência e Contradição.Edelcio Gonçalves de Souza - 2003 - Cognitio 4 (1):80-86.
    Resumo: No presente artigo, discutiremos os aspectos filosóficos de teorias de conjuntos paraconsistentes. A fim de ilustrar nossas considerações de modo mais concreto, abordaremos uma nova teoria de conjuntos baseada em um sistema bem conhecido de Quine e em um cálculo paraconsistente.Palavras-chave: existência, contradição, lógica e paraconsistência.: In the present paper we deal with the philosophical aspects of paraconsistent set theories. In order to illustrate our points more concretely, we will discuss new paraconsistent set theory based both on (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  12
    Logica matematica, storia E filosofia Della logica.Storia E. Filosofia Della Logica - 2001 - In V. Fano, M. Stanzione & G. Tarozzi (eds.), Prospettive Della Logica E Della Filosofia Della Scienza. Rubettino.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Logica E Filosofia Della Scienza, Problemi E Prospettive Atti Del Congresso Triennale Della Società Italiana di Logica E Filosofia Delle Scienze, Lucca, 7-10 Gennaio 1993.Maria Concetta Di Maio, Carlo Cellucci, Gino Roncaglia, Problemi E. Prospettive Società Italiana di Logica E. Filosofia Della Scienza & Congresso Logica E. Filosofia Della Scienza - 1994 - Edizioni Ets.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  11
    Against Paraconsistentism.Alan Musgrave - 2020 - In Wenceslao J. Gonzalez (ed.), New Approaches to Scientific Realism. De Gruyter. pp. 133-144.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  18
    Paraconsistent Orbits of Logics.Edelcio G. de Souza, Alexandre Costa-Leite & Diogo H. B. Dias - 2021 - Logica Universalis 15 (3):271-289.
    Some strategies to turn any logic into a paraconsistent system are examined. In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called paraconsistentization by consistent sets. Moreover, by means of the notions of paradeduction and paraconsequence we go on applying the process of changing a logic converting it into a paraconsistent system. We also examine how this transformation can be performed using multideductive abstract (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  62
    La Lógica Matemática: Una Disciplina En Busca de Encuadre.José Ferreirós - 2010 - Theoria : An International Journal for Theory, History and Fundations of Science 25 (3):279-299.
    We offer an analysis of the disciplinary transformations underwent by mathematical or symbolic logic since its emergence in the late 19 th century. Examined are its origins as a hybrid of philosophy and mathematics, the maturity and institutionalisation attained under the label “logic and foundations,” a second wave of institutionalisation in the Postwar period, and the institutional developments since 1975 in connection with computer science and with the study of language and informatics. Although some “internal history” is discussed, the main (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  2
    Logica, Mente E Persona: Studi Sulla Filosofia Antica.Antonina M. Alberti - 1990
  24.  28
    On a Paraconsistentization Functor in the Category of Consequence Structures.Edelcio G. De Souza, Alexandre Costa-Leite & Diogo H. B. Dias - 2016 - Journal of Applied Non-Classical Logics 26 (3):240-250.
    This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which ex falso quodlibet holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic not able to deal with contradictions into a paraconsistent one. Moreover, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25. Temi E Prospettive Della Logica E Della Filosofia Della Scienza Contemporanee Organizzato Dalla Società Italiana di Logica E Filosofia Delle Scienze : Cesena, 7-10 Gennaio 1987.Carlo Cellucci & Società Italiana di Logica E. Filosofia Della Scienza - 1988 - Cooperativa Libraria Universitaria Editrice Bologna.
  26. Logica Voor Informatica.Johan van Benthem - 2003 - Pearson Education.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. Lógica e Ciência em Aristóteles.Lucas Angioni - 2014 - Phi.
  28.  14
    H. MacColl, cs Peirce Y la lógica proposicional en el S. XIX.Pilar Castrillo, Uned Dpto de Lógica & Filosofía de la Ciencia - 1994 - Endoxa 3:73-93.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Lógica.Juan José Sanguineti - 1985 - Eunsa.
    A textobook on classical Aristotelian and Thomistic Logic, with some comparisons with modern authors. Topics: Conceptos, Universals, Predicables, Analogy, Proposition, Syllogism,Sophisms, Scientific Knowledge.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  30. Logica Modernorum in Prague About 1400 the Sophistria Disputation 'Quoniam Quatuor' : With a Partial Reconstruction of Thomas of Cleve's Logica : Edition with an Introduction and Appendices.Egbert P. Bos & Thomas - 2004
     
    Export citation  
     
    Bookmark  
  31. Logica.Immanuel Kant & Leonardo Amoroso - 1984
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  32. lógica en el derecho. Una respuesta a Riccardo Guastini.Luigi Ferrajoli & César E. Moreno Monroe - 2019 - Isonomía. Revista de Teoría y Filosofía Del Derecho 50:134-150.
    Este ensayo, motivado por una crítica de Riccardo Guastini, ilustra el papel de la lógica en el derecho y precisamente: a) en la construcción de la teoría del derecho, b) en el razonamiento y en los discursos desarrollados por las disciplinas jurídicas positivas y c) en los razonamientos y en las operaciones de operadores jurídicos y en particular de los jueces.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. La logica dell'irrazionale: Studi sul significato e sui problemi della Kritik der Urteilskraft.Marco Sgarbi - 2010 - Mimesis.
  34. Verdad lógica, analiticidad y convencionalismo en Carnap.Tomás M. Simpson - 1975 - Dianoia 21 (21):121.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  87
    Introducción a la lógica moderna.Andrés Páez - 2007 - Ediciones Uniandes.
    Introducción a la lógica moderna es un libro de texto dedicado al estudio de la lógica simbólica elemental. No presupone familiaridad alguna con la lógica, las matemáticas o la filosofía, y se ha hecho un esfuerzo deliberado por adaptarlo a los intereses de estudiantes provenientes de las más diversas disciplinas. Al mismo tiempo, los conceptos centrales son expuestos de una manera precisa y rigurosa, sin ocultar los detalles y problemas técnicos y filosóficos que hacen de la (...) un área de estudio interesante en sí misma. El libro está dividido en tres partes. La primera se ocupa de la lógica proposicional, la segunda de la lógica de primer orden y la tercera de la lógica modal proposicional. Los tres temas se estudian semánticamente utilizando árboles de verdad, y sintácticamente a través de sistemas de deducción natural. Al final de cada sección hay numerosos ejercicios de práctica, la mitad de los cuales son resueltos en el apéndice. El texto está diseñado para un curso de un año de duración y permite gran flexibilidad en el diseño del mismo. (shrink)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Lógica Escrita, Lógica Oral: Entre-Lugar Cultural.Maria Antonieta Antonacci - 2022 - Resistances. Journal of the Philosophy of History 3 (5):e21082.
    A "modernidade" desempenhou processos de barbárie e incultura a regiões externas à Europa, em seculares relações entre sociedades do Ocidente e não ocidentais. O potencial da imprensa e do letramento produziu "atitude textual" na Europa, utilizada na invenção do Oriente pelo Ocidente. Portadora da hegemonia ocidental, a escrita letrada, entre racismos e exclusões anularam alteridade de outros povos, como entre povos negros e nativos. Povos tradicionais de África e Américas, socializados em tradições orais, na aceleração da modernidade Ocidental, acumulam tensões (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. Logica Yearbook 2014.Pavel Arazim & Michal Dancak (eds.) - 2015 - College Publications.
     
    Export citation  
     
    Bookmark  
  38.  1
    The Logica Yearbook 2014.Pavel Arazim & Michal Dancak (eds.) - 2015 - College Publications.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. The Logica Yearbook 2013.Punčochář Vít & Dančák Michal (eds.) - 2014 - College Publications.
     
    Export citation  
     
    Bookmark  
  40. Logica, scienze della natura e mondo della vita, Lezioni 1978-1980.Andrea Vasa - 1988 - Revue Philosophique de la France Et de l'Etranger 178 (3):399-399.
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. La logica che è pensieroIl pensiero che è logicaE la vita che è altro.Alessandro Pizzo - 2022 - Filosofiaenuovisentieri 1.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  2
    Investigações Lógicas: Obras de Edmund Husserl / Direcção: Pedro M.S. Alves. Prolegómenos À Lógica Pura / de Acordo Com o Texto Husserliana Xviii Editado Por Elmar Holenstein ; Tradução de Diogo Ferrer, Aprovada Pelos Arquivos-Husserl de Lovaina.Edmund Husserl - 2005 - Centro de Filosofia da Universidade de Lisboa.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  43.  1
    Sobre un sistema paraconsistente.Oscar Masaveu - 1997 - Areté. Revista de Filosofía 9 (2):253-269.
    This paper summarizes the preliminary results of the A.'s systcmatic study of modal and deontic systems with a paraconsistent basis. Some considerations on the meaning of "non-triviality" and its differences with the concept of consistency are expounded. The A. argues in favour of the reasons why paraconsistent basis is the most natural one for deontic and other similar logics.
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. Atti Del Congresso Nuovi Problemi Della Logica E Della Filosofia Della Scienza.Domenico Costantini, Maria Carla Galavotti & Società Italiana di Logica E. Filosofia Della Scienza - 1991 - Editrice Clueb.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. Computatio, Sive, Logica = Logic.Thomas Hobbes, Aloysius Martinich, Isabel Payson Creed Hungerland & George R. Vick - 1981
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  46. Lógica y ontología formal.Barry Smith - 2004 - In Grupo de Acción Filosófica (GAF). Buenos Aires, Argentina,: Grupo de Acción Filosófica (Gaf), Buenos Aires.
    La lógica es para Husserl una ciencia de la ciencia, una ciencia de lo que todas las ciencias tienen en común respecto de sus modos de validación. De este modo, la lógica trata por un lado con leyes universales relacionadas con la verdad, la deducción, la verificación y la falsación; y, por otro lado, con leyes relacionadas con la teoría como tal, y con lo que produce la unidad teorética. Ambos tipos de leyes se refieren por una parte (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  10
    Lógica: Una introducción sistemática e histórica.Agustina Borzi & Camillo Fiore - forthcoming - In Claudia Mársico & Rodrigo Illarraga (eds.), Un introductorio recorrido filosófico al pensamiento científico: historia, epistemología, lógica y sociedad. Buenos Aires: Teseo Press.
    En este capítulo ofrecemos una introducción sistemática e histórica a la lógica, disciplina que contribuyó en gran medida a la producción del conocimiento en general y a la formación del pensamiento científico en particular. La primera sección contiene la introducción sistemática: primero, presentamos las distintas disciplinas que forman parte de la lógica en el sentido amplio del término; luego, identificamos a la lógica en sentido canónico o estricto como el estudio la validez; por último, explicamos en qué (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. Summa Logicae.Guillemi De Ockham - 1974
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   17 citations  
  49.  33
    Forma Lógica Das Proposições Científicas E Ontologia da Predicação: Um Falso Dilema Nos Segundos Analíticos de Aristóteles.Breno Andrade Zuppolini - 2014 - Philósophos - Revista de Filosofia 19 (2):11-45.
    In the Posterior Analytics, Aristotle imposes some requirements on the formulation of scientific propositions: their terms must be able to perform the role of subject as well as of predicate; their terms should be universal; every demonstration must involve “primary” subjects denoted by terms that “cannot be said of another underlying subject”. Several interpreters, inspired by theses from the Categories, believed that this third requirement refers to names and descriptions of particular substances as basic subjects of predicative statements, since they (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. Logica e ontologia formale nelle «Logische Untersuchungen» di Husserl.Barry Smith - 1991 - Rivista di Filosofia 83 (1):53-70.
    Per Husserl, come per Bolzano, la logica e una dottrina della sdenza. Husserl prende pero piu sul serio l'idea che le teorie scientifiche siano costituite dagli atti mentali di soggetti conoscenti. Quella che segue e un' esposizione della concezione husserliana della logica e della scienza, fondata appunto sugli atti; essa approdera a una delineazione dell'idea husserliana di «ontologia formale».
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000