Explaining Deductive Inference
暂无分享,去创建一个
[1] Lewis Carroll,et al. What the Tortoise Said to Achilles , 2022, Arguing About Knowledge.
[2] A. Heyting. Die intuitionistische Grundlegung der Mathematik , 1931 .
[3] A. Errera,et al. Sur la logique intuitionniste , 1932 .
[4] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .
[5] A. Heyting. Mathematische Grundlagenforschung : Intuitionismus, Beweistheorie , 1935 .
[6] R. Carnap. Logische Syntax der Sprache , 1935 .
[7] Aristotle,et al. Aristotle's Prior and Posterior Analytics , 1949 .
[8] A. Heyting,et al. Intuitionism: An introduction , 1956 .
[9] Arthur N. Prior,et al. The Runabout Inference-Ticket , 1960 .
[10] Georg Kreisel,et al. Foundations of Intuitionistic Logic , 1962 .
[11] Georg Kreisel,et al. On weak completeness of intuitionistic predicate logic , 1962, Journal of Symbolic Logic.
[12] William W. Tait,et al. Intensional interpretations of functionals of finite type I , 1967, Journal of Symbolic Logic.
[13] D. Prawitz. Ideas and Results in Proof Theory , 1971 .
[14] J. Fenstad. Proceedings of the Second Scandinavian Logic Symposium , 1971 .
[15] A. Troelstra. Metamathematical investigation of intuitionistic arithmetic and analysis , 1973 .
[16] John Corcoran,et al. Ancient Logic and its Modern Interpretations , 1974 .
[17] John Corcoran,et al. Aristotle’s Natural Deduction System , 1974 .
[18] H. Keisler,et al. Handbook of mathematical logic , 1977 .
[19] A. S. Troelstra,et al. Aspects of Constructive Mathematics , 1977 .
[20] Göran Sundholm,et al. Constructions, proofs and the meaning of logical constants , 1983, J. Philos. Log..
[21] J. Etchemendy. The Concept of Logical Consequence , 1991 .
[22] A. Troelstra. Constructivism in mathematics , 1988 .
[23] Michael Dummett,et al. The logical basis of metaphysics , 1991 .
[24] Paul C. Brown,et al. Constructive Semantics , 1992, NAPAW.
[25] Cesare Cozzo. Meaning and argument: A theory of meaning centred on immediate argumental role , 1994 .
[26] G. Sundholm,et al. Existence, proof and truth-making: A perspective on the intuitionistic conception of truth , 1994 .
[27] Gianluigi Oliveri,et al. Truth in Mathematics , 1998 .
[28] B. G. Sundholm. Inference versus Consequence , 1998 .
[29] M. Dummett. Elements of Intuitionism , 2000 .
[30] E. Lepore,et al. Meaning and Argument , 2000 .
[31] Timothy Williamson,et al. Knowledge and Its Limits , 2000 .
[32] P. Boghossian. How Are Objective Epistemic Reasons Possible? , 2001 .
[33] P. Boghossian. I—Paul Boghossian , 2003 .
[34] J. Maucourant. À propos de l'économie des sanctuaires de l'Antiquité : une perspective institutionnaliste , 2005 .
[35] Nicholas J. J. Smith. Frege's Judgement Stroke and the Conception of Logic as the Study of Inference not Consequence , 2009 .
[36] D. Prawitz. Proofs and Perfect Syllogisms , 2011 .
[37] Göran Sundholm. “Inference versus consequence” revisited: inference, consequence, conditional, implication , 2011, Synthese.
[38] Peter Pagin,et al. Assertion, inference, and consequence , 2011, Synthese.
[39] Carlo Cellucci. Philosophy of mathematics: Making a fresh start , 2013 .
[40] R. Neta. WHAT IS AN INFERENCE , 2013 .
[41] Paul Boghossian,et al. What is inference? , 2014 .