Switch to: References

Citations of:

Proof and truth

In John Haldane & Crispin Wright (eds.), Reality, Representation, and Projection. Oxford University Press. pp. 165--190 (1993)

Add citations

You must login to add citations.
  1. Proof and canonical proof.Bernhard Weiss - 1997 - Synthese 113 (2):265-284.
    Certain anti-realisms about mathematics are distinguished by their taking proof rather than truth as the central concept in the account of the meaning of mathematical statements. This notion of proof which is meaning determining or canonical must be distinguished from a notion of demonstration as more generally conceived. This paper raises a set of objections to Dummett's characterisation of the notion via the notion of a normalised natural deduction proof. The main complaint is that Dummett's use of normalised natural deduction (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Thought structure, belief content, and possession conditions.Wayne A. Davis - 2008 - Acta Analytica 23 (3):207-231.
    According to Peacocke, concepts are individuated by their possession conditions, which are specified in terms of conditions in which certain propositions containing those concepts are believed. In support, Peacocke tries to explain what it is for a thought to have a structure and what it is for a belief to have a propositional content. I show that the possession condition theory cannot answer such fundamental questions. Peacocke’s theory founders because concepts are metaphysically fundamental. They individuate the propositions and thoughts containing (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Concept individuation, possession conditions, and propositional attitudes.Wayne A. Davis - 2005 - Noûs 39 (1):140-66.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Concepts and epistemic individuation.Wayne A. Davis - 2005 - Philosophy and Phenomenological Research 70 (2):290-325.
    Christopher Peacocke has presented an original version of the perennial philosophical thesis that we can gain substantive metaphysical and epistemological insight from an analysis of our concepts. Peacocke's innovation is to look at how concepts are individuated by their possession conditions, which he believes can be specified in terms of conditions in which certain propositions containing those concepts are accepted. The ability to provide such insight is one of Peacocke's major arguments for his theory of concepts. I will critically examine (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Tonking a theory of content: an inferentialist rejoinder.Jon Cogburn - 2004 - Logic and Logical Philosophy 13:31-55.
    If correct, Christopher Peacocke’s [20] “manifestationism without verificationism,” would explode the dichotomy between realism and inferentialism in the contemporary philosophy of language. I first explicate Peacocke’s theory, defending it from a criticism of Neil Tennant’s. This involves devising a recursive definition for grasp of logical contents along the lines Peacocke suggests. Unfortunately though, the generalized account reveals the Achilles’ heel of the whole theory. By inventing a new logical operator with the introduction rule for the existential quantifier and the elimination (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.
    What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Getting It Right By Accident.Masahiro Yamada - 2010 - Philosophy and Phenomenological Research 83 (1):72-105.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Three principles of rationalism.Christopher Peacocke - 2002 - European Journal of Philosophy 10 (3):375–397.
    It is just over fifty years since the publication of Quine’s ‘Two Dogmas of Empiricism’. That paper expresses a broad vision of the system of relations between meaning, experience, and the rational formation of belief. The deepest challenges the paper poses come not from the detailed argument of its first four sections – formidable though that is – but from the visionary material in its last two sections.1 It is this visionary material that is likely to force the reader to (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • How Are A Priori Truths Possible?1.Christopher Peacocke - 1993 - European Journal of Philosophy 1 (2):175-199.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • Can Concepts Ground Apriori Knowledge? Peacocke’s Referential Turn and its Challenges.Nenad Miščević - 2008 - Acta Analytica 23 (3):233-256.
    The paper is a critical examination of Peacocke’s pioneering work on concepts as grounding the possibility of a priori knowledge. It focuses upon his more recent turn to reference and referential domain, and the two enlargements of the purely conceptual bases for apriority, namely appeal to conceptions and to direct referential sensitivity. I argue that the two are needed, but they produce more problem for the strategy as a whole than they solve. I conclude by suggesting that they point to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Ways From Meaning to Metaphysics a Critical Study of Dummett’s “the Logical Basis of Metaphysics”.Wolfram Hinzen - 1997 - Kriterion - Journal of Philosophy 11 (1):16-25.
    Download  
     
    Export citation  
     
    Bookmark  
  • An Inferentialist Approach to Paraconsistency.James Trafford - 2014 - Abstracta 8 (1):55-73.
    This paper develops and motivates a paraconsistent approach to semantic paradox from within a modest inferentialist framework. I begin from the bilateralist theory developed by Greg Restall, which uses constraints on assertions and denials to motivate a multiple-conclusion sequent calculus for classical logic, and, via which, classical semantics can be determined. I then use the addition of a transparent truth-predicate to motivate an intermediate speech-act. On this approach, a liar-like sentence should be “weakly asserted”, involving a commitment to the sentence (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Devious Stipulations.John Horden - 2017 - Oxford Studies in Metaphysics 10.
    Recent attempts to answer ontological questions through conceptual analysis have been controversial. Still, it seems reasonable to assume that if the existence of certain things analytically follows from sentences we already accept, then there is no further ontological commitment involved in affirming the existence of those things. More generally, it is plausible that whenever a sentence analytically entails another, the conjunction of those sentences requires nothing more of the world for its truth than the former sentence alone. In his ‘Analyticity (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logical Form and the Limits of Thought.Manish Oza - 2020 - Dissertation, University of Toronto
    What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, requires that (...)
    Download  
     
    Export citation  
     
    Bookmark