This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Most recently added entries found
Search inside:
(import / add options)   Sort by:
  1. added 2014-09-23
    Gregory Wheeler (2014). Defeat Reconsidered and Repaired. The Reasoner 8 (2):15-15.
  2. added 2014-09-22
    Kazumi Inoue (2014). Dialectical Contradictions and Classical Formal Logic. International Studies in the Philosophy of Science 28 (2):113-132.
    A dialectical contradiction can be appropriately described within the framework of classical formal logic. It is in harmony with the law of noncontradiction. According to our definition, two theories make up a dialectical contradiction if each of them is consistent and their union is inconsistent. It can happen that each of these two theories has an intended model. Plenty of examples are to be found in the history of science.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. added 2014-09-21
    Carlo Cellucci (2014). Why Should the Logic of Discovery Be Revived? In E. Ippoliti (ed.), Heuristic Reasoning. Springer. 11-27.
    Three decades ago Laudan posed the challenge: Why should the logic of discovery be revived? This paper tries to answer this question arguing that the logic of discovery should be revived, on the one hand, because, by Gödel’s second incompleteness theorem, mathematical logic fails to be the logic of justification, and only reviving the logic of discovery logic may continue to have an important role. On the other hand, scientists use heuristic tools in their work, and it may be useful (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  4. added 2014-09-21
    Carlo Cellucci (2014). Does Logic Slowly Pass Away, or Has It a Future? In E. Moriconi & L. Tescari (eds.), Second Pisa Colloquium in Logic, Language and Epistemology. ETS. 122-136.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  5. added 2014-09-20
    Moritz Cordes & Friedrich Reinmuth, Ein Redehandlungskalkül: Folgern in einer Sprache. XXII. Deutscher Kongress für Philosophie.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  6. added 2014-09-20
    Moritz Cordes, Jens Glatzer, Friedrich Reinmuth & Geo Siegwart (2010). Deduktive Begründung. Zu einem Explikationsvorschlag von Reinhard Kleinknecht. Conceptus. Zeitschrift Fur Philosophie Salzburg 39 (95):31-60.
    In his paper "Deduktive Begründung und deduktive Ableitung" Reinhard Kleinknecht offers an explication of the concepts of deduetive reason and deductive argument respectively. To this end, he provides seven conditions that he sees as individually necessary and jointly sufficient for being a deductive reason. We argue that some of his conditions are far too restrictive and that his concept of deductive argument is therefore to narrow to capture the usual practice of deductively establishing propositions as true. We also show that (...)
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  7. added 2014-09-18
    Friedrich Reinmuth (2014). Logische Rekonstruktion. Ein hermeneutischer Traktat. Dissertation, University of Greifswald
    The thesis aims at a methodological reflection of logical reconstruction and tries to develop this method in detail, especially with regard to the reconstruction of natural language arguments. First, the groundwork for the thesis is laid by presenting and, where necessary, adapting its foundations with regard to the philosophy of language and the theory of argument. Subsequently, logical reconstruction, especially the logical reconstruction of arguments, is presented as a hermeneutic method and as a tool for the application of (formal) logic (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  8. added 2014-09-09
    David Liggins (forthcoming). Constructive Methodological Deflationism, Dialetheism and the Liar. Analysis:anu087.
    Thanks to the work of Kendall Walton, appeals to the notion of pretence (or make-believe) have become popular in philosophy. Now the notion has begun to appear in accounts of truth. My aim here is to assess one of these accounts, namely the ‘constructive methodological deflationism’ put forward by Jc Beall. After introducing the view, I argue that Beall does not manage to overcome the problem of psychological implausibility. Although Beall claims that constructive methodological deflationism supports dialetheism, I argue that (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. added 2014-08-29
    Thomas Macaulay Ferguson (forthcoming). Faulty Belnap Computers and Subsystems of FDE. Journal of Logic and Computation.
    In this article, we consider variations of Nuel Belnap's "artificial reasoner". In particular, we examine cases in which the artificial reasoner is faulty, e.g. situations in which the reasoner is unable to calculate the value of a formula due to an inability to retrieve the values of its atoms. In the first half of the article, we consider two ways of modelling such circumstances and prove the deductive systems arising from these two types of models to be equivalent to Graham (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. added 2014-08-27
    Thomas Macaulay Ferguson (2014). Łukasiewicz Negation and Many-Valued Extensions of Constructive Logics. In Proc. 44th International Symposium on Multiple-Valued Logic. IEEE Computer Society Press. 121-127.
    This paper examines the relationships between the many-valued logics G~ and Gn~ of Esteva, Godo, Hajek, and Navara, i.e., Godel logic G enriched with Łukasiewicz negation, and neighbors of intuitionistic logic. The popular fragments of Rauszer's Heyting-Brouwer logic HB admit many-valued extensions similar to G which may likewise be enriched with Łukasiewicz negation; the fuzzy extensions of these logics, including HB, are equivalent to G ~, as are their n-valued extensions equivalent to Gn~ for any n ≥ 2. These enriched (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. added 2014-08-13
    Louis deRosset (forthcoming). On Weak Ground. Review of Symbolic Logic.
    Though the study of grounding is still in the early stages, Kit Fine, in ”The Pure Logic of Ground”, has made a seminal attempt at formalization. Formalization of this sort is supposed to bring clarity and precision to our theorizing, as it has to the study of other metaphysically important phenomena, like modality and vagueness. Unfortunately, as I will argue, Fine ties the formal treatment of grounding to the obscure notion of a weak ground. The obscurity of weak ground, together (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. added 2014-08-12
    Paul D. Thorn & Gerhard Schurz (2013). Ampliative Inference Under Varied Entropy Levels. In Christoph Beierle & Gabriele Kern-Isberner (eds.), Proceedings of the 4th Workshop on Dynamics of Knowledge and Belief (DKB-2013). Fakultät für Mathematik und Informatik, FernUniversität in Hagen. 77-88.
  13. added 2014-08-11
    Daniel Nolan & Alexander Sandgren (2014). Creationism and Cardinality. Analysis:anu089.
    Creationism about fictional entities requires a principle connecting what fictions say exist with which fictional entities really exist. The most natural way of spelling out such a principle yields inconsistent verdicts about how many fictional entities are generated by certain inconsistent fictions. Avoiding inconsistency without compromising the attractions of creationism will not be easy.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. added 2014-08-05
    Spyridon George Couvalis (2011). Aristotle on Non-Contradiction. In Michael Tsianikas (ed.), Greek Research in Australia. Department of Modern Greek. 36-43.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  15. added 2014-07-17
    Fred Sommers, Natural Language and Everyday Reasoning.
  16. added 2014-07-15
    Catharine Saint Croix & Richmond Thomason (2014). Chisholm's Paradox and Conditional Oughts. Lecture Notes in Computer Science 8554:192-207.
    Since it was presented in 1963, Chisholm’s paradox has attracted constant attention in the deontic logic literature, but without the emergence of any definitive solution. We claim this is due to its having no single solution. The paradox actually presents many challenges to the formalization of deontic statements, including (1) context sensitivity of unconditional oughts, (2) formalizing conditional oughts, and (3) distinguishing generic from nongeneric oughts. Using the practical interpretation of ‘ought’ as a guideline, we propose a linguistically motivated logical (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation