38 found
Order:
See also
Ricardo Silvestre
Federal University of Campina Grande
  1. Logic and the Concept of God.Stanisław Krajewski & Ricardo Sousa Silvestre - 2019 - Journal of Applied Logics 6 (6):999-1005.
    This paper introduces the special issue on the Concept of God of the Journal of Applied Logics (College Publications). The issue contains the following articles: Logic and the Concept of God, by Stanisław Krajewski and Ricardo Silvestre; Mathematical Models in Theology. A Buber-inspired Model of God and its Application to “Shema Israel”, by Stanisław Krajewski; Gödel’s God-like Essence, by Talia Leven; A Logical Solution to the Paradox of the Stone, by Héctor Hernández Ortiz and Victor Cantero; No New Solutions to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Karma Theory, Determinism, Fatalism and Freedom of Will.Ricardo Sousa Silvestre - 2017 - Logica Universalis 11 (1):35-60.
    The so-called theory of karma is one of the distinguishing aspects of Hinduism and other non-Hindu south-Asian traditions. At the same time that the theory can be seen as closely connected with the freedom of will and action that we humans supposedly have, it has many times been said to be determinist and fatalist. The purpose of this paper is to analyze in some deepness the relations that are between the theory of karma on one side and determinism, fatalism and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  35
    Logic and Religion.Jean-Yves Beziau & Ricardo Silvestre - 2017 - Logica Universalis 11 (1):1-12.
    This paper introduces the special issue on Logic and Religion of the journal Logica Universalis (Springer). The issue contains the following articles: Logic and Religion, by Jean-Yves Beziau and Ricardo Silvestre; Thinking Negation in Early Hinduism and Classical Indian Philosophy, by Purushottama Bilimoria; Karma Theory, Determinism, Fatalism and Freedom of Will, by Ricardo Sousa Silvestre; From Logic in Islam to Islamic Logic, by Musa Akrami; Leibniz’s Ontological Proof of the Existence of God and the Problem of Impossible Objects, by Wolfgang (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  18
    On the Concept of Theodicy.Ricardo Silvestre - 2017 - Sophia 56 (2):207-225.
    My purpose in this paper is to clarify or explicate the concept of theodicy. More specifically, I shall provide an account of the concept that takes its logical aspects seriously into consideration as well as satisfies the basic intuitions philosophers of religions have had about it. This shall be done by systematically analysing the several theodical conditions found in the literature. As it shall be seen, these conditions are logically related to one another; collectively, they point not to one, but (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5. A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant.Ricardo Silvestre - 2018 - Journal of Applied Logics 5 (7):1441-1474.
    The purpose of this paper is twofold. First, it aims at introducing the ontological argument through the analysis of five historical developments: Anselm’s argument found in the second chapter of his Proslogion, Gaunilo’s criticism of it, Descartes’ version of the ontological argument found in his Meditations on First Philosophy, Leibniz’s contribution to the debate on the ontological argument and his demonstration of the possibility of God, and Kant’s famous criticisms against the (cartesian) ontological argument. Second, it intends to critically examine (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Formal Approaches to the Ontological Argument.Ricardo Silvestre & Jean-Yves Beziau - 2018 - Journal of Applied Logics 5 (7):1433-1440.
    This paper introduces the special issue on Formal Approaches to the Ontological Argument of the Journal of Applied Logics (College Publications). The issue contains the following articles: Formal Approaches to the Ontological Argument, by Ricardo Sousa Silvestre and Jean-Yves Béziau; A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant, by Ricardo Sousa Silvestre; A Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument, by John Rushby; A Tractarian Resolution to the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. On the Representation of the Concept of God.Ricardo Sousa Silvestre - 2021 - Philosophia 49:1-25.
    While the failure of the so-called classical theory of concepts - according to which definitions are the proper way to characterize concepts - is a consensus, metaphysical philosophy of religion still deals with the concept of God in a predominantly definitional way. It thus seems fair to ask: Does this failure imply that a definitional characterization of the concept of God is equally untenable? The first purpose of this paper is to answer this question. I focus on the representational side (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. A Formal-Logical Approach to the Concept of God.Ricardo Sousa Silvestre - 2021 - Manuscrito. Revista Internacional de Filosofia 44 (4):224-260.
    In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9. Induction and Plausibility. A Conceptual Analysis From the Standpoint of Nonmonotonicity, Paraconsistency and Modal Logic.Ricardo Sousa Silvestre - 2010 - Berlin: Lambert.
    Induction, conceived as the class of rational non-truth preserving inferences, has been a perennial problem in philosophy. Aside from the problem of justification of induction, a less debated issue is the problem of properly describing inductive inferences. The purpose of this book is to conceptually investigate this descriptive problem of induction from the standpoint of the nonmonotonic logical tradition raised inside the field of Artificial Intelligence in the last thirty years. As we try to show, an essential part of this (...)
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  10.  29
    Teoria Clássica dos Conceitos e o Conceito de Deus (The Classical Theory of Concepts and the Concept of God).Ricardo Sousa Silvestre - 2021 - Filosofia Unisinos 2 (22):1-13.
    Ao mesmo tempo que o malogro da assim chamada teoria clássica dos conceitos - de acordo com a qual definições são a maneira apropriada de caracterizar conceitos - é um consenso, a filosofia metafísica da religião parece ainda lidar com o conceito de Deus de forma predominantemente definicional. Podemos então nos perguntar: Seria esse malogro suficiente para inviabilizar uma caracterização definicional do conceito de Deus? Meu propósito central neste artigo é responder essa pergunta. Adoto uma ênfase representacional. Em outras palavras, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. A Estrutura do Yoga na Bhagavad-Gita.Ricardo Silvestre - 2017 - Numen 1 (20):28-46.
    O objetivo deste artigo é analisar o conceito de yoga da Bhagavad-gītā. Cinco concepções de yoga encontradas no texto são descritas: yoga enquanto disciplina ou prática, yoga enquanto disciplina qualificada, yoga enquanto estado mental de equanimidade e renúncia, yoga enquanto estado de união e yoga enquanto poder místico. As relações existentes entre essas concepções são explicitadas e o que podemos chamar de a estrutura do yoga na Bhagavad-gītā é pormenorizada.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Logic and Philosophy of Religion.Ricardo Silvestre & Jean-Yves Beziau - 2017 - Sophia 56 (2):139–145.
    This paper introduces the special issue on Logic and Philosophy of Religion of the journal Sophia: International Journal of Philosophy and Traditions (Springer). The issue contains the following articles: Logic and Philosophy of Religion, by Ricardo Sousa Silvestre and Jean-Yvez Béziau; The End of Eternity, by Jamie Carlin Watson; The Vagueness of the Muse—The Logic of Peirce’s Humble Argument for the Reality of God, by Cassiano Terra Rodrigues; Misunderstanding the Talk(s) of the Divine: Theodicy in the Wittgensteinian Tradition, by Ondřej (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. Some Thoughts on the Logical Aspects of the Problem of Evil.Ricardo Sousa Silvestre - 2020 - In Ricardo Sousa Silvestre, Benedikt Paul Göcke, Jean-Yves Beziau & Purushottama Bilimoria (eds.), Beyond Faith and Rationality: Essays on Logic, Religion and Philosophy. Berlin, Germany: Springer. pp. 121-135.
    My purpose in this chapter is to take seriously the idea that problem of evil is an incompatibility between the proposition that the world was created and is ruled by an omnipotent, omniscient and unlimitedly good being and one that says that there is evil and suffering in our world. Besides being in accordance with much of the literature on the problem of evil, this idea takes the problem at face value, that is to say, it sees it as a (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  84
    On The Logical Formalization of Ansem's Ontological Argument.Ricardo Silvestre - 2015 - Revista Brasileira de Filosofia da Religião 2 (1):142–161.
    he general theme of this paper is the issue of formalization in philosophy; in a more specific way, it deals with the issue of formalization of arguments in analytic philosophy of religion. One argument in particular – Anselm’s Proslogion II ontological argument – and one specific attempt to formalize it – Robert Adams’ formalization found in his paper “The Logical Structure of Anselm’s Arguments”, published in The Philosophical Review in 1971 – are taken as study cases. The purpose of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  59
    Paraconsistent Logic as Model Building.Ricardo Sousa Silvestre - 2018 - South American Journal of Logic 1 (4):195-217.
    The terms “model” and “model-building” have been used to characterize the field of formal philosophy, to evaluate philosophy’s and philosophical logic’s progress and to define philosophical logic itself. A model is an idealization, in the sense of being a deliberate simplification of something relatively complex in which several important aspects are left aside, but also in the sense of being a view too perfect or excellent, not found in reality, of this thing. Paraconsistent logic is a branch of philosophical logic. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  40
    Sobre a teologia do ser perfeito nas tradições não-abraâmicas: o Vedanta como estudo de caso.Ricardo Silvestre - 2014 - Cultura Oriental 1 (1):41-48.
    This paper aims at examining the issue of the role of supreme being theology in non-Abrahamic traditions. According to the dominant view in contemporary philosophy of religion, the philo-sophical project of inferring divine properties from the concept of God as a maximally perfect being, usually called supreme being theology, is an exclusivity of the Abrahamic traditions. In attempting to question this view, I investigate the developments of two key-concepts of Vedāntatradition –the concepts of Brahman (literally, the greatest) and Bhagavān (literally, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  3
    Modality, Paraconsistency and Paracompleteness.Ricardo Sousa Silvestre - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 449-467.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  40
    Sobre a Formalização Lógica de Mudança de Teorias e Anomalias Científicas.Ricardo Silvestre - 2017 - ARGUMENTOS - Revista de Filosofia 1 (17):72-91.
    Neste trabalho, é apresentada uma investigação do que poderia ser chamado de formalização lógica do processo de mudança de teorias devido a anomalias. Por anomalia entende-se um fato observado que faz parte do escopo explanatório de uma teoria, mas que vai de encontro à previsão da mesma. Uma abordagem clássica para restaurar o poder explicativo de uma teoria ameaçada por uma anomalia é a postulação de hipóteses novas e provisórias que, em conjunto com as demais hipóteses auxiliares originais, sejam capazes (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  39
    Paranormal Modal Logic – Part II: K?, K and Classical Logic and Other Paranormal Modal Systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
    In this two-part paper we present paranormal modal logic: a modal logic which is both paraconsistent and paracomplete. Besides using a general framework in which a wide range of logics – including normal modal logics, paranormal modal logics and classical logic – can be defined and proving some key theorems about paranormal modal logic (including that it is inferentially equivalent to classical normal modal logic), we also provide a philosophical justification for the view that paranormal modal logic is a formalization (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  59
    Paranormal Modal Logic–Part I: The System K? And the Foundations of the Logic of Skeptical and Credulous Plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.
    In this two-parts paper we present paranormal modal logic: a modal logic which is both paraconsistent and paracomplete. Besides using a general framework in which a wide range of logics  including normal modal logics, paranormal modal logics and classical logic can be defined and proving some key theorems about paranormal modal logic (including that it is inferentially equivalent to classical normal modal logic), we also provide a philosophical justification for the view that paranormal modal logic is a formalization of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  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  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Induction and Confirmation Theory: An Approach Based on a Paraconsistent Nonmonotonic Logic.Ricardo Sousa Silvestre - 2010 - Princípios 17 (28):71-98.
    This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what adjustments it could work as a logic of induction in the philosophical sense. By making use of this analysis, we extend default logic so as to make it able to minimally perform the task of a logic of induction, having (...)
     
    Export citation  
     
    Bookmark  
  23.  37
    O mal e as razões de Deus: O projeto de teodiceia e suas condições de adequação (Evill and the reasons of God: The theodicy project and its adequacy conditions).Ricardo Sousa Silvestre - 2012 - Filosofia Unisinos 13 (1):68-89.
    Our purpose in this paper is to contribute to the project of meta-theodicy, understood here as the elucidation of the concept of theodicy through the analysis of its adequacy. In our case, the analysis shall be made inside a framework including a taxonomical view of the theodical adequacy conditions which allows for a rigorously acceptable description of them as well as for a natural appraisal of the role, importance and intra-logical relations holding between them. The result of the analysis shall (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  9
    Beyond Faith and Rationality: Essays on Logic, Religion and Philosophy.Ricardo Sousa Silvestre, Benedikt Paul Göcke, Jean-Yves Béziau & Purushottama Bilimoria (eds.) - 2020 - London, UK: Springer.
    This volume deals with the relation between faith and reason, and brings the latest developments of modern logic into the scene. Faith and rationality are two perennial key concepts in the history of ideas. Philosophers and theologians have struggled to bring into harmony these otherwise conflicting concepts. Despite the diversity of approaches about what rationality effectively means, logic remains the cannon of objective and rational thought. The chapters in this volume analyze several issues pertaining to the philosophy of religion and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  3
    Filosofia e Teologia da Bhagavad-gita. Hinduísmo e o Vaishnavismo de Caitanya. Homenagem a Howard Resnick.Ricardo Sousa Silvestre & Ithamar Theodor (eds.) - 2015 - São Paulo: Juruá.
    O propósito deste livro é preencher a lacuna existente no mercado editorial brasileiro no que diz respeito a obras de cunho acadêmico sobre hinduísmo e filosofia indiana. Essa lacuna se reflete, dentre outras, na inexistência de publicações em português que pretendam ir além do mero aspecto introdutório deste que é um dos maiores clássicos da literatura religiosa indiana e mundial: a Bhagavad-gita; também se reflete na inexistência de literatura especializada sobre as várias tradições indianas que têm a Bhagavad- gita como (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Handbook of the First World Congress on Logic and Religion.Ricardo Sousa Silvestre & Jean-Yves Beziau (eds.) - 2015 - Campina Grande, PB, Brasil: EDUFCG.
    This is the handbook of abstracts of the 1st World Congress on Logic and Religion, which took place in João Pessoa, Brazil, April 01-05, 2015. -/- .
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  4
    Logic and Religion: Special Issue of Logica Universalis.Jean-Yves Beziau & Ricardo Silvestre (eds.) - 2017 - Londres, Reino Unido: Springer.
    This special issue of Logica Universalis (Springer) deals with the relations between logic and religion, broadly conceived. It contains the following articles: Logic and Religion, by Jean-Yves Beziau and Ricardo Silvestre; Thinking Negation in Early Hinduism and Classical Indian Philosophy, by Purushottama Bilimoria; Karma Theory, Determinism, Fatalism and Freedom of Will, by Ricardo Sousa Silvestre; From Logic in Islam to Islamic Logic, by Musa Akrami; Leibniz’s Ontological Proof of the Existence of God and the Problem of Impossible Objects, by Wolfgang (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Logic of Induction: A Dead Horse? Some Thoughts on the Logical Foundations of Probability.Ricardo Sousa Silvestre - 2007 - Princípios 14 (22):43-78.
    Sáo dois os propósitos deste artigo. Primeiro desejamos examinar porque o projeto de Carnap de construir uma lógica indutiva náo foi bem sucedido. De forma a realizar isso, nos apoiaremos na distinçáo entre o problema da justificaçáo da induçáo e o problema da descriçáo da induçáo. Tentaremos mostrar que a principal razáo pela qual o projeto de Carnap falhou foi sua relaçáo com o problema da justificaçáo da induçáo. Nosso segundo objetivo é propor algumas idéias de como seria um lógica (...)
     
    Export citation  
     
    Bookmark  
  29. Philosophical Logic = Philosophy + Logic?Ricardo Sousa Silvestre - 2021 - In J.-Y. Beziau, J.-P. Desclés, A. Moktefi & A. Pascau (eds.), Logic-in-Question (Workshop at the Sorbonne 2011-2019). Basiléia, Suíça: pp. 299-327.
    My purpose in this paper is to shed some light on two questions: In what sense is logic philosophical? And what is philosophical logic? I take these two questions as co-extensive: an answer to one of them is also (or can easily be converted into) an answer to the other. I approach the problem from three perspectives: a conceptual, a descriptive and a prescriptive perspective. In other words, I try to answer the following questions: (i) In what sense can logic (...)
     
    Export citation  
     
    Bookmark  
  30. 19th Brazilian Logic Conference: Book of Abstracts.Cezar A. Mortari & Ricardo Silvestre (eds.) - 2019 - João Pessoa, PB, Brasil: EDUFCG.
    This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from undergraduate students to senior researchers. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  2
    The Concept of God: Special Issue of the Journal of Applied Logics.Ricardo Silvestre (ed.) - 2019 - Londres, Reino Unido: College Publications.
    This special issue of the Journal of Applied Logics deals with the logical aspects of the concept of God. It contains the following articles: Logic and the Concept of God, by Stanisław Krajewski and Ricardo Silvestre; Mathematical Models in Theology. A Buber-inspired Model of God and its Application to “Shema Israel”, by Stanisław Krajewski; Gödel’s God-like Essence, by Talia Leven; A Logical Solution to the Paradox of the Stone, by Héctor Hernández Ortiz and Victor Cantero; No New Solutions to the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Um Curso de Lógica.Ricardo Sousa Silvestre - 2011 - Petrópolis: Vozes.
    Este livro se propõe a ser uma introdução fácil e acessível, porém rigorosa e tecnicamente precisa, à lógica. Prioridade é dada à clareza e lucidez na explicação das definições e teoremas, bem como à aplicação prática da lógica na análise de argumentos. O livro foi concebido de forma a permitir sua utilização por qualquer pessoa interessada em aprender lógica, independentemente de sua área de atuação ou bagagem teórica prévia. Em especial, ele deve ser útil a estudantes e professores de filosofia, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  33
    Logic, Planning Agency and Branching Time.Ricardo Souza Silvestre - 2010 - Principia: An International Journal of Epistemology 14 (3):421-438.
    O propósito desse artigo é fornecer um tratamento formal para um tipo de ação até o momento negligenciada nas lógicas modais filosóficas da ação: ação em plano. Ao fazer isso nós seguimos a abordagem padrão nas lógicas modais da ação exemplificados pelos trabalhos de Belnap, Chellas and Pörn. Como nós acreditamos que existe uma relação forte entre plano, tempo e indeterminismo, nós usamos a teoria do tempo ramificado para investigar as características básicas da ação em plano. Além de introduzir uma (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  34. An Inductive Modal Approach for the Logic of Epistemic Inconsistency.Ricardo Silvestre - 2010 - Abstracta 6 (1):136-155.
    The purpose of this paper is twofold. First we want to extent a specific paranormal modal logic in such a way as obtain a paraconsistent and paracomplete multimodal logic able to formalize the notions of plausibility and certainty. With this logic at hand, and this is our second purpose, we shall use a modified version of Reiter‘s default logic to build a sort of inductive logic of plausibility and certainty able to represent some basic principles of epistemic inductive reasoning, such (...)
     
    Export citation  
     
    Bookmark  
  35.  2
    On the Representation of the Concept of God.Ricardo Sousa Silvestre - 2021 - Philosophia 50 (2):731-755.
    While the failure of the so-called classical theory of concepts—according to which definitions are the proper way to characterize concepts—is a consensus, metaphysical philosophy of religion still deals with the concept of God in a predominantly definitional way. It thus seems fair to ask: Does this failure imply that a definitional characterization of the concept of God is equally untenable? The first purpose of this paper is to answer this question. I focus on the representational side of the matter. My (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  4
    Inductive Plausibility and Certainty.Ricardo Sousa Silvestre - 2021 - In Marcin Trepczyński (ed.), Philosophical Approaches to the Foundations of Logics and Mathematics. Leiden, Países Baixos: pp. 193-210.
    Is it possible to combine different logics into a coherent system with the goal of applying it to specific problems so that it sheds some light on foundational aspects of those logics? These are two of the most basic issues of combining logics. Paranormal modal logic is a combination of paraconsistent logic and modal logic. In this paper, I propose two further combinatory developments, focusing on each one of these two issues. On the foundational side, I combine paranormal modal logic (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  4
    Sur l'Aspect Inférenciel de la Logique des Dialogues Intelligents.Ricardo Sousa Silvestre - 2009 - Dissertatio 30:249-268.
    O objetivo geral deste artigo é o de fazer algumas considerações teoréticas sobre o aspecto inferencial da Lógica dos Diálogos Inteligentes dentro do quadro conceitual fornecido pelas lógicas do senso comum desenvolvidas dentro da Inteligência Artificial. Mais especificamente, tentarei mostrar aqui que, para bem cumprir o seu papel, a LDI deve possuir uma maneira de representar as inferências não-monotônicas. Como argumento principal, defenderei a tese de que a não-monotonicidade é uma característica intrínseca à compreensão e uso da linguagem. O principal (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  5
    On the Logical Formalization of Theory Change and Scientific Anomalies.Ricardo Silvestre - 2012 - Logic Journal of the IGPL 20 (2):517-532.
    An investigation of what might be called the logical formalization of the process of theory change due to anomalies is presented. By anomaly, we mean an observed fact falling into the explanatory scope of a theory that does not agree with the theory prevision. A classical approach to restore the explicative power of a theory faced with an anomaly is to propose new, tentative auxiliary hypotheses which, along with part of the old set of auxiliary hypotheses, are able to solve (...)
    Direct download  
     
    Export citation  
     
    Bookmark