Véase la sección «1.4 An Axiom System for the Propositional Calculus» en Mendelson, Eliott (1997). Introduction to Mathematical Logic (4ª edición). Chapman & Hall. pp. 34-35.
Evans, Jonathan (18 de abril de 2005). «8. Deductive reasoning». En Morrison, Robert, ed. The Cambridge Handbook of Thinking and Reasoning(en inglés). Cambridge University Press. ISBN978-0-521-82417-0.
Müller, Ulrich; Overton, Willis F.; Reene, Kelly (2001-02). «Development of Conditional Reasoning: A Longitudinal Study». Journal of Cognition and Development2 (1): 27-49. S2CID143955563. doi:10.1207/S15327647JCD0201_2.
Evans, J. St B. T.; Lynch, J. S. (1973-08). «Matching Bias in the Selection Task». British Journal of Psychology64 (3): 391-397. doi:10.1111/j.2044-8295.1973.tb01365.x.
Gentzen, Gerhard (1934). «Untersuchungen über das logische Schließen. I». Mathematische Zeitschrift39 (2): 176–210. S2CID121546341. doi:10.1007/BF01201353. «Ich wollte nun zunächst einmal einen Formalismus aufstellen, der dem wirklichen Schließen möglichst nahe kommt. So ergab sich ein "Kalkül des natürlichen Schließens. (First I wished to construct a formalism that comes as close as possible to actual reasoning. Thus arose a "calculus of natural deduction".)».
Houde, R. «Deduction». New Catholic Encyclopedia. «Modern logicians sometimes oppose deduction to induction on the basis that the first concludes from the general to the particular, whereas the second concludes from the particular to the general; this characterization is inaccurate, however, since deduction need not conclude to the particular and its process is far from being the logical inverse of the inductive procedure.»
Stump, David J. «Fallacy, Logical». New Dictionary of the History of Ideas.
Shieh, Sanford (2006). «LOGICAL KNOWLEDGE». En Borchert, Donald, ed. Macmillan Encyclopedia of Philosophy, 2nd Edition. Macmillan.
HOUDE, R.; CAMACHO, L. «Induction». New Catholic Encyclopedia.
Müller, Ulrich; Overton, Willis F.; Reene, Kelly (2001-02). «Development of Conditional Reasoning: A Longitudinal Study». Journal of Cognition and Development2 (1): 27-49. S2CID143955563. doi:10.1207/S15327647JCD0201_2.
Gentzen, Gerhard (1934). «Untersuchungen über das logische Schließen. I». Mathematische Zeitschrift39 (2): 176–210. S2CID121546341. doi:10.1007/BF01201353. «Ich wollte nun zunächst einmal einen Formalismus aufstellen, der dem wirklichen Schließen möglichst nahe kommt. So ergab sich ein "Kalkül des natürlichen Schließens. (First I wished to construct a formalism that comes as close as possible to actual reasoning. Thus arose a "calculus of natural deduction".)».
MacFarlane, John (2017). «Logical Constants». The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Consultado el 21 de noviembre de 2021.
Hansen, Hans (2020). «Fallacies». The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Consultado el 12 de marzo de 2022.
Douven, Igor (2021). «Abduction». The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University.
Hawthorne, James (2021). «Inductive Logic». The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Consultado el 6 de enero de 2022.
Hawthorne, James (2021). «Inductive Logic». The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Consultado el 13 de marzo de 2022.
Steup, Matthias; Neta, Ram (2020). «Epistemology». The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Consultado el 19 de marzo de 2022.
Goldman, Alvin; Beddor, Bob (2021). «Reliabilist Epistemology». The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Consultado el 19 de marzo de 2022.
Henderson, Leah (2020). «The Problem of Induction». The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Consultado el 14 de marzo de 2022.
Pelletier, Francis Jeffry; Hazen, Allen (2021). «Natural Deduction Systems in Logic». The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Consultado el 15 de marzo de 2022.
Gentzen, Gerhard (1934). «Untersuchungen über das logische Schließen. I». Mathematische Zeitschrift39 (2): 176–210. S2CID121546341. doi:10.1007/BF01201353. «Ich wollte nun zunächst einmal einen Formalismus aufstellen, der dem wirklichen Schließen möglichst nahe kommt. So ergab sich ein "Kalkül des natürlichen Schließens. (First I wished to construct a formalism that comes as close as possible to actual reasoning. Thus arose a "calculus of natural deduction".)».