16 found
Order:
See also
Nils Kürbis
King's College London
  1. Some Comments on Ian Rumfitt’s Bilateralism.Nils Kürbis - 2016 - Journal of Philosophical Logic 45 (6):623-644.
    Ian Rumfitt has proposed systems of bilateral logic for primitive speech acts of assertion and denial, with the purpose of ‘exploring the possibility of specifying the classically intended senses for the connectives in terms of their deductive use’ : 810f). Rumfitt formalises two systems of bilateral logic and gives two arguments for their classical nature. I assess both arguments and conclude that only one system satisfies the meaning-theoretical requirements Rumfitt imposes in his arguments. I then formalise an intuitionist system of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.Nils Kürbis - 2015 - Journal of Philosophical Logic 44 (6):713-727.
    This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  72
    Molnar on Truthmakers for Negative Truths.Nils Kürbis - 2018 - Metaphysica 19 (2):251-257.
    Molnar argues that the problem of truthmakers for negative truths arises because we tend to accept four metaphysical principles that entail that all negative truths have positive truthmakers. This conclusion, however, already follows from only three of Molnar´s metaphysical principles. One purpose of this note is to set the record straight. I provide an alternative reading of two of Molnar´s principles on which they are all needed to derive the desired conclusion. Furthermore, according to Molnar, the four principles may be (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  23
    Bilateralism: Negations, Implications and Some Observations and Problems About Hypotheses.Nils Kürbis - 2017 - In Thomas Piecha & Jean Fichot (eds.), Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22-27 May 2017. Tübingen, Germany:
    This short paper has two loosely connected parts. In the first part, I discuss the difference between classical and intuitionist logic in relation to different the role of hypotheses play in each logic. Harmony is normally understood as a relation between two ways of manipulating formulas in systems of natural deduction: their introduction and elimination. I argue, however, that there is at least a third way of manipulating formulas, namely the discharge of assumption, and that the difference between classical and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. What is Wrong with Classical Negation?Nils Kürbis - 2015 - Grazer Philosophische Studien 92 (1):51-86.
    The focus of this paper are Dummett's meaning-theoretical arguments against classical logic based on consideration about the meaning of negation. Using Dummettian principles, I shall outline three such arguments, of increasing strength, and show that they are unsuccessful by giving responses to each argument on behalf of the classical logician. What is crucial is that in responding to these arguments a classicist need not challenge any of the basic assumptions of Dummett's outlook on the theory of meaning. In particular, I (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Stable Harmony.Nils Kürbis - 2008 - In Peliš Michal (ed.), Logica Yearbook 2007.
    In this paper, I'll present a general way of "reading off" introduction/elimination rules from elimination/introduction rules, and define notions of harmony and stability on the basis of it.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Review of Bob Hale's Necessary Beings. [REVIEW]Nils Kürbis - 2015 - Disputatio (40).
    Review of Bob Hale's "Necessary Beings: An Essay on Ontology, Modality, and the Relations Between Them". Oxford: Oxford University Press 2013, ISBN 9780199669578.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  91
    Bilateralist Detours: From Intuitionist to Classical Logic and Back.Nils Kürbis - 2017 - Logique Et Analyse 60 (239):301-316.
    There is widespread agreement that while on a Dummettian theory of meaning the justified logic is intuitionist, as its constants are governed by harmonious rules of inference, the situation is reversed on Huw Price's bilateralist account, where meanings are specified in terms of primitive speech acts assertion and denial. In bilateral logics, the rules for classical negation are in harmony. However, as it is possible to construct an intuitionist bilateral logic with harmonious rules, there is no formal argument against intuitionism (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. How Fundamental is the Fundamental Assumption?Nils Kürbis - 2012 - Teorema: International Journal of Philosophy 2 (2):5-19.
    The fundamental assumption of Dummett’s and Prawitz’ proof-theoretic justification of deduction is that ‘if we have a valid argument for a complex statement, we can construct a valid argument for it which finishes with an application of one of the introduction rules governing its principal operator’. I argue that the assumption is flawed in this general version, but should be restricted, not to apply to arguments in general, but only to proofs. I also argue that Dummett’s and Prawitz’ project of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  69
    Harmony, Normality and Stability.Nils Kurbis - manuscript
    The paper begins with a conceptual discussion of Michael Dummett's proof-theoretic justification of deduction or proof-theoretic semantics, which is based on what we might call Gentzen's thesis: 'the introductions constitute, so to speak, the "definitions" of the symbols concerned, and the eliminations are in the end only consequences thereof, which could be expressed thus: In the elimination of a symbol, the formula in question, whose outer symbol it concerns, may only "be used as that which it means on the basis (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  48
    Negation. A Problem for the Proof-Theoretic Justification of Deduction.Nils Kürbis - 2015
    This is only a very short essay on negation and harmony in philosophical logic. If you buy it anyway, you'll help me pay the bills and I'll be able to write longer things.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. A Pluralist Justification of Deduction.Nils Kurbis - unknown
    Ph.D. thesis submitted for Philosophy (KCL) on 24 July 2007. Supervisors: Keith Hossack, Mark Sainsbury and Wilfried Meyer-Viol.
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  39
    What is Interpretation? A Dilemma for Davidson.Nils Kurbis - 2014 - Conceptus: Zeitschrift Fur Philosophie 40 (98):54-66.
    The core idea of Davidson’s philosophy of language is that a theory of truth constructed as an empirical theory by a radical interpreter is a theory of meaning. I discuss an ambiguity that arises from Davidson's notion of interpretation: it can either be understood as the hypothetical process of constructing a theory of truth for a language or as a process that actually happens when speakers communicate. I argue that each disambiguation is problematic and does not result in a theory (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  14. Necessary Beings: An Essay on Ontology, Modality, and the Relations Between Them, by Bob Hale.Nils Kürbis - 2015 - Disputatio.
    No categories
     
    Export citation  
     
    Bookmark  
  15.  8
    Proof and Falsity: A Logical Investigation.Nils Kürbis - 2019 - Cambridge, UK: Cambridge University Press.
    This book argues that the meaning of negation, perhaps the most important logical constant, cannot be defined within the framework of the most comprehensive theory of proof-theoretic semantics, as formulated in the influential work of Michael Dummett and Dag Prawitz. Nils Kürbis examines three approaches that have attempted to solve the problem - defining negation in terms of metaphysical incompatibility; treating negation as an undefinable primitive; and defining negation in terms of a speech act of denial - and concludes that (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. The Importance of Being Erroneous.Nils Kürbis - forthcoming - Australasian Philosophical Review 2 (3).
    This is a commentary on MM McCabe's "First Chop your logos... Socrates and the sophists on language, logic, and development". In her paper MM analyses Plato's Euthydemos, in which Plato tackles the problem of falsity in a way that takes into account the speaker and complements the Sophist's discussion of what is said. The dialogue looks as if it is merely a demonstration of the silly consequences of eristic combat. And so it is. But a main point of MM's paper (...)
     
    Export citation  
     
    Bookmark