Switch to: Citations

References in:

Semantics and the Justification of Deductive Inference

Hommage À Wlodek: Philosophical Papers Dedicated to Wlodek Rabinowicz (2007)

Add references

You must login to add references.
  1. Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
    A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.
    Download  
     
    Export citation  
     
    Bookmark   938 citations  
  • (1 other version)What the tortoise said to Achilles.Lewis Carroll - 1895 - Mind 4 (14):278-280.
    Download  
     
    Export citation  
     
    Bookmark   641 citations  
  • (1 other version)What The Tortoise Said To Achilles.Lewis Carroll - 1895 - Mind 104 (416):691-693.
    Download  
     
    Export citation  
     
    Bookmark   407 citations  
  • (1 other version)The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.
    Download  
     
    Export citation  
     
    Bookmark   304 citations  
  • (4 other versions)What is a Theory of Meaning? (II).Michael Dummett - 1976 - In Gareth Evans & John McDowell, What is a Theory of Meaning? Oxford: Clarendon Press.
    Download  
     
    Export citation  
     
    Bookmark   225 citations  
  • The justification of deduction.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press.
    Download  
     
    Export citation  
     
    Bookmark   105 citations  
  • Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
    Download  
     
    Export citation  
     
    Bookmark   213 citations  
  • (4 other versions)What is a theory of meaning?Michael Dummett - 1975 - In Samuel D. Guttenplan, Mind and language. Oxford [Eng.]: Clarendon Press.
    Download  
     
    Export citation  
     
    Bookmark   221 citations  
  • The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.
    Download  
     
    Export citation  
     
    Bookmark   173 citations  
  • Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos, Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 138--157.
    Download  
     
    Export citation  
     
    Bookmark   176 citations  
  • Knowledge of Logic.Paul Boghossian - 2000 - In Paul Artin Boghossian & Christopher Peacocke, New Essays on the A Priori. Oxford, GB: Oxford University Press.
    Paul Boghossian defends a meaning‐based approach to the apriority of the propositions of logic. His model is based on the idea that the logical constants are implicitly defined by some of the axioms and inference rules in which they are involved, thereby offering an alternative to those theories that deny that grasp of meaning can contribute to the explanation of a thinker's entitlement to a particular type of transition or belief.
    Download  
     
    Export citation  
     
    Bookmark   131 citations  
  • How Are Objective Epistemic Reasons Possible?Paul Boghossian - 2001 - Philosophical Studies 106 (1-2):1-40.
    Epistemic relativism has the contemporary academy in its grip. Not merely in the United States, but seemingly everywhere, most scholars working in the humanities and the social sciences seem to subscribe to some form of it. Even where the label is repudiated, the view is embraced. Sometimes the relativism in question concerns truth, sometimes justification. The core impulse appears to be a relativism about knowledge. The suspicion is widespread that what counts as knowledge in one cultural, or broadly ideological, setting (...)
    Download  
     
    Export citation  
     
    Bookmark   108 citations  
  • Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
    Download  
     
    Export citation  
     
    Bookmark   157 citations  
  • Multiple Conclusions.Greg Restall - 2005 - In Petr Hájek, Luis Valdés-Villanueva & Dag Westerståhl, Logic, Methodology, and Philosophy of Science. College Publications.
    Our topic is the notion of logical consequence: the link between premises and conclusions, the glue that holds together deductively valid argument. How can we understand this relation between premises and conclusions? It seems that any account begs questions. Painting with very broad brushtrokes, we can sketch the landscape of disagreement like this: “Realists” prefer an analysis of logical consequence in terms of the preservation of truth [29]. “Anti-realists” take this to be unhelpful and o:er alternative analyses. Some, like Dummett, (...)
    Download  
     
    Export citation  
     
    Bookmark   139 citations  
  • The justification of deduction.Susan Haack - 1976 - Mind 85 (337):112-119.
    It is often taken for granted by writers who propose--and, for that matter, by writers who oppose--'justifications' of inductions, that deduction either does not need, or can readily be provided with, justification. The purpose of this paper is to argue that, contrary to this common opinion, problems analogous to those which, notoriously, arise in the attempt to justify induction, also arise in the attempt to justify deduction.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • (1 other version)Meaning and proofs: On the conflict between classical and intuitionistic logic.Dag Prawitz - 1977 - Theoria 43 (1):2--40.
    Download  
     
    Export citation  
     
    Bookmark   82 citations  
  • [Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
    Reviewed Works:Gaisi Takeuti, Proof Theory.Georg Kreisel, Proof Theory: Some Personal Recollections.Wolfram Pohlers, Contributions of the Schutte School in Munich to Proof Theory.Stephen G. Simpson, Subsystems of $\mathbf{Z}_2$ and Reverse Mathematics.Solomon Feferman, Proof Theory: A Personal Report.
    Download  
     
    Export citation  
     
    Bookmark   92 citations  
  • Logical consequence, proof theory, and model theory.Stewart Shapiro - 2005 - In Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 651--670.
    This chapter provides broad coverage of the notion of logical consequence, exploring its modal, semantic, and epistemic aspects. It develops the contrast between proof-theoretic notion of consequence, in terms of deduction, and a model-theoretic approach, in terms of truth-conditions. The main purpose is to relate the formal, technical work in logic to the philosophical concepts that underlie reasoning.
    Download  
     
    Export citation  
     
    Bookmark   76 citations  
  • On engendering an illusion of understanding.Dana Scott - 1971 - Journal of Philosophy 68 (21):787-807.
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • (1 other version)Meaning and Proofs: On the Conflict between Classical and Intuitionistic Logic.Dag Prawitz - 1977 - Theroia 43:1--40..
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Foundations of Intuitionistic Logic.G. Kreisel - 1965 - Journal of Symbolic Logic 30 (2):243-244.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Foundations Without Foundationalism: A Case for Second-Order Logic.Michael Potter - 1994 - Philosophical Quarterly 44 (174):127-129.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Proof Theory and Meaning.B. G. Sundholm - unknown
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Dummett's justification of deduction.Susan Haack - 1982 - Mind 91 (362):216-239.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • What is the manifestation argument?Alexander Miller - 2002 - Pacific Philosophical Quarterly 83 (4):352–383.
    I consider the well known “manifestation challenge” to semantic realism propounded by Michael Dummett, and further developed by Crispin Wright and Bob Hale. I distinguish between strong and weak versions of the challenge, and show that anti–realists effectively concede that realism can meet the strong version. I then argue that the weak version is unmotivated. Building on work by John McDowell and Peter Strawson, and responding to criticisms from Wright, I argue further that the semantic realist can meet even the (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • (1 other version)Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics.D. M. Gabbay - 1979 - Synthese 40 (2):353-373.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Rule-Circularity and the Justification of Deduction.Neil Tennant - 2005 - Philosophical Quarterly 55 (221):625 - 648.
    I examine Paul Boghossian's recent attempt to argue for scepticism about logical rules. I argue that certain rule- and proof-theoretic considerations can avert such scepticism. Boghossian's 'Tonk Argument' seeks to justify the rule of tonk-introduction by using the rule itself. The argument is subjected here to more detailed proof-theoretic scrutiny than Boghossian undertook. Its sole axiom, the so-called Meaning Postulate for tonk, is shown to be false or devoid of content. It is also shown that the rules of Disquotation and (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations