Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
    Download  
     
    Export citation  
     
    Bookmark   173 citations  
  • Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
    This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.
    Download  
     
    Export citation  
     
    Bookmark   349 citations  
  • The taming of the true.Neil Tennant - 1997 - New York: Oxford University Press.
    The Taming of the True poses a broad challenge to realist views of meaning and truth that have been prominent in recent philosophy. Neil Tennant argues compellingly that every truth is knowable, and that an effective logical system can be based on this principle. He lays the foundations for global semantic anti-realism and extends its consequences from the philosophy of mathematics and logic to the theory of meaning, metaphysics, and epistemology.
    Download  
     
    Export citation  
     
    Bookmark   196 citations  
  • Natural logicism via the logic of orderly pairing.Neil Tennant - manuscript
    The aim here is to describe how to complete the constructive logicist program, in the author’s book Anti-Realism and Logic, of deriving all the Peano-Dedekind postulates for arithmetic within a theory of natural numbers that also accounts for their applicability in counting finite collections of objects. The axioms still to be derived are those for addition and multiplication. Frege did not derive them in a fully explicit, conceptually illuminating way. Nor has any neo-Fregean done so.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Logical concepts and logical inferences.Paolo Casalegno† - 2004 - Dialectica 58 (3):395–411.
    Some philosophers find the following thesis attractive: for every logical constant C there is a set of logical rules of inference R such that a subject knows the meaning of C if and only if she accepts the rules in R. I point out some obvious but, apparently, easily forgotten difficulties concerning this thesis.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • (1 other version)A priori knowledge.Philip Kitcher - 1980 - Philosophical Review 89 (1):3-23.
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • A general theory of abstraction operators.Neil Tennant - 2004 - Philosophical Quarterly 54 (214):105-133.
    I present a general theory of abstraction operators which treats them as variable-binding term- forming operators, and provides a reasonably uniform treatment for definite descriptions, set abstracts, natural number abstraction, and real number abstraction. This minimizing, extensional and relational theory reveals a striking similarity between definite descriptions and set abstracts, and provides a clear rationale for the claim that there is a logic of sets (which is ontologically non- committal). The theory also treats both natural and real numbers as answering (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Anti-realism and logic: truth as eternal.Neil Tennant - 1987 - New York: Oxford University Press.
    Anti-realism is a doctrine about logic, language, and meaning that is based on the work of Wittgenstein and Frege. In this book, Professor Tennant clarifies and develops Dummett's arguments for anti-realism and ultimately advocates a radical reform of our logical practices.
    Download  
     
    Export citation  
     
    Bookmark   123 citations  
  • A Study of Concepts.Christopher Peacocke - 1992 - Studia Logica 54 (1):132-133.
    Download  
     
    Export citation  
     
    Bookmark   680 citations  
  • Changes of mind: an essay on rational belief revision.Neil Tennant - 2012 - Oxford: Oxford University Press.
    An account of how a rational agent should revise beliefs in the light of new evidence.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
    We define a system IR of first-order intuitionistic relevant logic. We show that intuitionistic mathematics (on the assumption that it is consistent) can be relevantized, by virtue of the following metatheorem: any intuitionistic proof of A from a setX of premisses can be converted into a proof in IR of eitherA or absurdity from some subset ofX. Thus IR establishes the same inconsistencies and theorems as intuitionistic logic, and allows one to prove every intuitionistic consequence of any consistent set of (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.
    Download  
     
    Export citation  
     
    Bookmark   76 citations  
  • Cut for core logic.Neil Tennant - 2012 - Review of Symbolic Logic 5 (3):450-479.
    The motivation for Core Logic is explained. Its system of proof is set out. It is then shown that, although the system has no Cut rule, its relation of deducibility obeys Cut with epistemic gain.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • (2 other versions)Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
    Download  
     
    Export citation  
     
    Bookmark   171 citations  
  • Anti-realism and Logic. Truth as Eternal.W. D. Hart & Neil Tennant - 1989 - Journal of Symbolic Logic 54 (4):1485.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • (2 other versions)Natural Logic.Wilfried Sieg - 1983 - Journal of Symbolic Logic 48 (1):215-217.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Minimal logic is adequate for Popperian science.Neil Tennant - 1985 - British Journal for the Philosophy of Science 36 (3):325-329.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Autologic.Neil Tennant - 1992 - Edinburgh University Press.
    Shows how to program on a computer (in Prolog) the effective skills taught in introductory and intermediate logic courses. The topics include the relevance of relevance, representing formulae and proofs, avoiding loops and blind alleys, and other aspects. Of interest to computational logicians, proof-theorists, cognitive scientists, and workers in artificial intelligence. Distributed by Columbia U. Press. Annotation copyright by Book News, Inc., Portland, OR.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • The Law of Excluded Middle Is Synthetic A Priori, If Valid.Neil Tennant - 1996 - Philosophical Topics 24 (1):205-229.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Natural Logic.H. A. Lewis - 1981 - Philosophical Quarterly 31 (125):376.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • (1 other version)A Priori Knowledge.Philip Kitcher - 2000 - In Sven Bernecker & Fred I. Dretske (eds.), Knowledge: readings in contemporary epistemology. New York: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   36 citations