Switch to: References

Citations of:

Rejection and valuations

Analysis 70 (1):3 - 10 (2010)

Add citations

You must login to add citations.
  1. Weak Assertion.Luca Incurvati & Julian J. Schlöder - 2019 - Philosophical Quarterly 69 (277):741-770.
    We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Inferentialism.Florian Steinberger & Julien Murzi - 2017 - In Blackwell Companion to Philosophy of Language. Wiley Blackwell. pp. 197-224.
    This article offers an overview of inferential role semantics. We aim to provide a map of the terrain as well as challenging some of the inferentialist’s standard commitments. We begin by introducing inferentialism and placing it into the wider context of contemporary philosophy of language. §2 focuses on what is standardly considered both the most important test case for and the most natural application of inferential role semantics: the case of the logical constants. We discuss some of the (alleged) benefits (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • More Reflections on Consequence.Julien Murzi & Massimiliano Carrara - 2014 - Logique Et Analyse 57 (227):223-258.
    This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that such objections (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Classical Harmony and Separability.Julien Murzi - 2020 - Erkenntnis 85 (2):391-415.
    According to logical inferentialists, the meanings of logical expressions are fully determined by the rules for their correct use. Two key proof-theoretic requirements on admissible logical rules, harmony and separability, directly stem from this thesis—requirements, however, that standard single-conclusion and assertion-based formalizations of classical logic provably fail to satisfy :1035–1051, 2011). On the plausible assumption that our logical practice is both single-conclusion and assertion-based, it seemingly follows that classical logic, unlike intuitionistic logic, can’t be accounted for in inferentialist terms. In (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • A Meta-Logic of Inference Rules: Syntax.Alex Citkin - 2015 - Logic and Logical Philosophy 24 (3).
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Carnap's Problem: What is It Like to Be a Normal Interpretation of Classical Logic?Arnold Koslow - 2010 - Abstracta 6 (1):117-135.
    Carnap in the 1930s discovered that there were non-normal interpretations of classical logic - ones for which negation and conjunction are not truth-functional so that a statement and its negation could have the same truth value, and a disjunction of two false sentences could be true. Church ar-gued that this did not call for a revision of classical logic. More recent writers seem to disa-gree. We provide a definition of "non-normal interpretation" and argue that Church was right, and in fact, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (2-3):239-259.
    The paper suggests a revision of the notion of harmony, a major necessary condition in proof-theoretic semantics for a natural-deduction proof-system to qualify as meaning conferring, when moving to a bilateral proof-system. The latter considers both forces of assertion and denial as primitive, and is applied here to positive logics, lacking negation altogether. It is suggested that in addition to the balance between introduction and elimination rules traditionally imposed by harmony, a balance should be imposed also on: negative introduction and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
    The paper suggests a revision of the notion of harmony, a major necessary condition in proof-theoretic semantics for a natural-deduction proof-system to qualify as meaning conferring, when moving to a bilateral proof-system. The latter considers both forces of assertion and denial as primitive, and is applied here to positive logics, lacking negation altogether. It is suggested that in addition to the balance between (positive) introduction and elimination rules traditionally imposed by harmony, a balance should be imposed also on: (i) negative (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Causes and Causal Explanations: Davidson and His Critics.Neil Campbell - 2003 - Philosophia 31 (1-2):149-157.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Note on Carnap’s Result and the Connectives.Tristan Haze - 2019 - Axiomathes 29 (3):285-288.
    Carnap’s result about classical proof-theories not ruling out non-normal valuations of propositional logic formulae has seen renewed philosophical interest in recent years. In this note I contribute some considerations which may be helpful in its philosophical assessment. I suggest a vantage point from which to see the way in which classical proof-theories do, at least to a considerable extent, encode the meanings of the connectives (not by determining a range of admissible valuations, but in their own way), and I demonstrate (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Weak Rejection.Luca Incurvati & Julian J. Schlöder - 2017 - Australasian Journal of Philosophy 95 (4):741-760.
    ABSTRACTLinguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give examples of inferences with weakly rejected sentences as premisses and conclusions. We then propose a logic of weak rejection which accounts for the relevant phenomena and is motivated by principles of coherence in dialogue. We give a semantics for which this logic is sound and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Is 'No' a Force-Indicator? Sometimes, Possibly.Luca Incurvati & Peter Smith - 2012 - Analysis 72 (2):225-231.
    Some bilateralists have suggested that some of our negative answers to yes-or-no questions are cases of rejection. Mark Textor (2011. Is ‘no’ a force-indicator? No! Analysis 71: 448–56) has recently argued that this suggestion falls prey to a version of the Frege-Geach problem. This note reviews Textor's objection and shows why it fails. We conclude with some brief remarks concerning where we think that future attacks on bilateralism should be directed.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Unity and Autonomy in Expressivist Logic.John Cantwell - 2014 - Dialectica 68 (3):443-457.
    It is argued that expressivists can solve their problems in accounting for the unity and autonomy of logic – logic is topic independent and does not derive from a general ‘logic’ of mental states – by adopting an analysis of the logical connectives that takes logically complex sentences to express complex combinations of simple attitudes like belief and disapproval and dispositions to form such simple attitudes upon performing suppositional acts, and taking acceptance and rejection of sentences to be the common (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation