17 found
Order:
See also
Ricardo Sousa Silvestre
Federal University of Campina Grande
  1.  28
    Logic and Religion.Jean-Yves Beziau & Ricardo Silvestre - 2017 - Logica Universalis 11 (1):1-12.
    We first start by describing the happening of the 1st World Congress on Logic and Religion. We then explain the motivation for developing the interaction between logic and religion. In a third part we discuss some papers presented at this event published in the present special issue.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  12
    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   2 citations  
  3.  36
    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  
  4.  53
    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  
  5. 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   2 citations  
  6.  3
    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  
  7. 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  
  8.  18
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9. Beyond Faith and Rationality: Essays on Logic, Religion and Philosophy.Ricardo Sousa Silvestre, Benedikt Paul Göcke, Jean-Yves Beziau & Purushottama Bilimoria (eds.) - forthcoming - Berlin, Germany: Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  10.  16
    O mal e as razões de Deus:o projeto de teodiceia e suas condições de adequação.Ricardo Sousa Silvestre - 2012 - Filosofia Unisinos 13 (1).
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. 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 and briefly introduces the ontological argument from the standpoint of logic and philosophy of religion (more specifically the debate on the rationality of theistic belief).
     
    Export citation  
     
    Bookmark  
  12.  80
    Handbook of the First World Congress on Logic and Religion.Ricardo Sousa Silvestre & Jean-Yves Beziau (eds.) - 2015 - Campina Grande, PB, Brasil: EDUFCG.
  13. 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  
  14. Logic and Philosophy of Religion.Ricardo Silvestre & Jean-Yves Beziau - 2017 - Sophia 56 (2):139–145.
    This paper introduces a special issue on logic and philosophy of religion in this journal (Sophia). After discussing the role played by logic in the philosophy of religion along with classical developments, we present the basic motivation for this special issue accompanied by an exposition of its content.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. 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  
  16.  32
    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  
  17.  3
    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