The problem of basic deductive inference

Abstract

Knowledge can be transmitted by a valid deductive inference. If I know that p, and I know that if p then q, then I can infer that q, and I can thereby come to know that q. What feature of a valid deductive inference enables it to transmit knowledge? In some cases, it is a proof of validity that grounds the transmission of knowledge. If the subject can prove that her inference follows a valid rule, then her inference transmits knowledge. However, this only pushes the question back to the inference that was made in this proof. What feature of that inference enables it to transmit knowledge? A vicious regress looms here. Every proof requires a valid inference, and every valid inference must follow at least one rule of inference. So every proof must follow at least one rule of inference. Therefore not every valid inference that transmits knowledge can acquire this power through a proof, on pain of vicious infinite regress. So it must be possible to transmit knowledge by making an inference that follows an underived rule. A deductive inference that follows an underived rule is what I will call a basic deductive inference. It must be possible to transmit knowledge by making a basic deductive inference. But how is this possible? What feature of a basic deductive inference gives it this power to transmit knowledge?

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Assertion, inference, and consequence.Peter Pagin - 2012 - Synthese 187 (3):869 - 885.
.[author unknown] - unknown
Epistemology today: A perspective in retrospect. [REVIEW]Ernest Sosa - 1981 - Philosophical Studies 40 (3):309 - 332.
The Metaphoric Fallacy to a Deductive Inference.Brian Lightbody & Berman Michael - 2010 - Informal Logic: Reasoning and Argumentation in Theory and Practice 30 (2):185-193.
What is an inference rule?Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1992 - Journal of Symbolic Logic 57 (3):1018-1045.
Poincaré against the logicians.Michael Detlefsen - 1992 - Synthese 90 (3):349 - 378.

Analytics

Added to PP
2009-01-28

Downloads
168 (#111,743)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gordon Barnes
State University of New York (SUNY)

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references