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-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  
  2. 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  
  3. 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  
  4. added 2014-09-09
    David Liggins (2014). 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  
  5. added 2014-08-28
    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  
  6. 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  
  7. 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  
  8. 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.
  9. 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  
  10. 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  
  11. added 2014-07-17
    Fred Sommers, Natural Language and Everyday Reasoning.
  12. 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  
  13. added 2014-06-28
    Nathanael Leedom Ackerman (forthcoming). On Transferring Model Theoretic Theorems of {Mathcal{L}_{{Infty},Omega}} in the Category of Sets to a Fixed Grothendieck Topos. Logica Universalis:1-47.
    Working in a fixed Grothendieck topos Sh(C, J C ) we generalize \({\mathcal{L}_{{\infty},\omega}}\) to allow our languages and formulas to make explicit reference to Sh(C, J C ). We likewise generalize the notion of model. We then show how to encode these generalized structures by models of a related sentence of \({\mathcal{L}_{{\infty},\omega}}\) in the category of sets and functions. Using this encoding we prove analogs of several results concerning \({\mathcal{L}_{{\infty},\omega}}\) , such as the downward Löwenheim–Skolem theorem, the completeness theorem and (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. added 2014-06-28
    Andrzej Indrzejczak (forthcoming). Introduction. Studia Logica:1-4.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. added 2014-06-28
    Nam Trang (2014). Determinacy in L(ℝ, μ). Journal of Mathematical Logic 14 (1):1450006.
    Remove from this list |
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. added 2014-06-28
    Benno van den Berg & Ieke Moerdijk (2014). The Axiom of Multiple Choice and Models for Constructive Set Theory. Journal of Mathematical Logic 14 (1):1450005.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. added 2014-06-26
    Danny Frederick (forthcoming). The Contrast Between Dogmatic and Critical Arguments. Organon F.
    Karl Popper lamented the prevalence of dogmatic argument in philosophy and commended the kind of critical argument that is found in the sciences. David Miller criticises the uncritical nature of so-called critical thinking because of its attachment to dogmatic arguments. I expound and clarify Popper’s distinction between critical and dogmatic arguments and the background to it. I criticise some errors in Miller’s discussion. I reaffirm the need for philosophers to eschew dogmatic arguments in favour of critical ones.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  18. added 2014-06-26
    Hartry Field (forthcoming). Disarming a Paradox of Validity. Notre Dame Journal of Formal Logic.
    Abstract. Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi (“Two Flavor's of Curry's Paradox”) call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists”. To (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  19. added 2014-06-26
    Hartry Field (forthcoming). What Is Logical Validity? In Colin Caret & Ole Hjortland (eds.), Foundations of Logical Consequence.
    What are people who disagree about logic disagreeing about? The paper argues that (in a wide range of cases) they are primarily disagreeing about how to regulate their degrees of belief. An analogy is drawn between beliefs about validity and beliefs about chance: both sorts of belief serve primarily to regulate degrees of belief about other matters, but in both cases the concepts have a kind of objectivity nonetheless.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  20. added 2014-06-25
    Peter Schroeder-Heister (forthcoming). The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony. Studia Logica:1-32.
    We present our calculus of higher-level rules, extended with propositional quantification within rules. This makes it possible to present general schemas for introduction and elimination rules for arbitrary propositional operators and to define what it means that introductions and eliminations are in harmony with each other. This definition does not presuppose any logical system, but is formulated in terms of rules themselves. We therefore speak of a foundational (rather than reductive) account of proof-theoretic harmony. With every set of introduction rules (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. added 2014-06-25
    Allen P. Hazen & Francis Jeffry Pelletier (forthcoming). Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different. Studia Logica:1-40.
    Gentzen’s and Jaśkowski’s formulations of natural deduction are logically equivalent in the normal sense of those words. However, Gentzen’s formulation more straightforwardly lends itself both to a normalization theorem and to a theory of “meaning” for connectives (which leads to a view of semantics called ‘inferentialism’). The present paper investigates cases where Jaskowski’s formulation seems better suited. These cases range from the phenomenology and epistemology of proof construction to the ways to incorporate novel logical connectives into the language. We close (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. added 2014-06-25
    Jan von Plato (forthcoming). From Axiomatic Logic to Natural Deduction. Studia Logica:1-18.
    Recently discovered documents have shown how Gentzen had arrived at the final form of natural deduction, namely by trying out a great number of alternative formulations. What led him to natural deduction in the first place, other than the general idea of studying “mathematical inference as it appears in practice,” is not indicated anywhere in his publications or preserved manuscripts. It is suggested that formal work in axiomatic logic lies behind the birth of Gentzen’s natural deduction, rather than any single (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. added 2014-06-25
    M. Baaz & A. Leitsch (forthcoming). Cut-Elimination: Syntax and Semantics. Studia Logica:1-28.
    In this paper we first give a survey of reductive cut-elimination methods in classical logic. In particular we describe the methods of Gentzen and Schütte-Tait from the abstract point of view of proof reduction. We also present the method CERES (cut-elimination by resolution) which we classify as a semi-semantic method. In a further section we describe the so-called semantic methods. In the second part of the paper we carry the proof analysis further by generalizing the CERES method to CERESD (this (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. added 2014-06-25
    William Young (forthcoming). From Interior Algebras to Unital ℓ-Groups: A Unifying Treatment of Modal Residuated Lattices. Studia Logica:1-22.
    Much work has been done on specific instances of residuated lattices with modal operators (either nuclei or conuclei). In this paper, we develop a general framework that subsumes three important classes of modal residuated lattices: interior algebras, Abelian ℓ-groups with conuclei, and negative cones of ℓ-groups with nuclei. We then use this framework to obtain results about these three cases simultaneously. In particular, we show that a categorical equivalence exists in each of these cases. The approach used here emphasizes the (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. added 2014-06-25
    Ermanno Bencivenga (forthcoming). Jaśkowski's Universally Free Logic. Studia Logica:1-8.
    A universally free logic is a system of quantification theory, with or without identity, whose theses remain logically true if (a) the domain of quantification is empty and (b) some of the singular terms present in the language do not denote existing objects. In the West, (inclusive) logics satisfying (a) and (free) ones satisfying (b) were developed starting in the 1950s. But Stanisław Jaśkowski preceded all this work by some twenty years: his paper “On the Rules of Supposition in Formal (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation