12 found
Order:
  1.  24
    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   2 citations  
  2.  10
    Logic and Philosophy of Religion.Ricardo Sousa Silvestre & Jean-Yvez Béziau - 2017 - Sophia 56 (2):139-145.
    This paper introduces a special issue on logic and philosophy of religion in this journal. 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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  10
    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   1 citation  
  4.  12
    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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. 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  
  6.  30
    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  
  7.  24
    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  
  8.  10
    Logic, Planning Agency and Branching Time DOI:10.5007/1808-1711.2010v14n3p421.Ricardo Souza Silvestre - 2010 - Principia: An International Journal of Epistemology 14 (3).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  14
    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  
  10.  10
    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.  12
    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 (6 more)  
     
    Export citation  
     
    Bookmark  
  12. 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