Virtual Information in the Light of Kant’s Practical Reason
In (D’Agostino M, Floridi L, Synthese 167:271–315, 2009) the authors face the so-called “scandal of deduction” (Hintikka J, Logic, language games and information. Kantian themes in the philosophy of logic. Clarendon Press, Oxford, 1973). This lies in the fact that the Bar-Hillel and Carnap theory of semantic information implies that tautologies carry no information. Given that any mathematical demonstration and more in general every logical inference in a first-order language can be reduced to a tautology; this would imply, that demonstrations bring no fresh information at all.
Addressing this question (D’Agostino M, Floridi L, Synthese 167:271–315, 2009) offers both: (i) a logical model for a strictly analytical reasoning, where the conclusions depend just on the information explicitly present in the premises; and (ii) a proposal for the ranking of the informativeness of deductions according to their increasing recourse to so called “virtual information”, namely information that is temporarily assumed but not contained in the premises.
In this paper I will focus on the status of virtual information in its connection with the Kantian philosophical spirit. Exploiting the standard Kantian difference between theoretical and practical reason, my aim is to show that the access to virtual information is due to what Kant calls practical reason rather then to the theoretical one, even though the effects of its deployment are purely theoretical, i.e. don’t lead an agent to any moral action but just to acquiring new information.
KeywordsCarnap-Bar-Hillel paradox Semantic information Scandal of deduction Virtual information Synthetic a-priori Practical reason Theoretical reason Kant
- Carnap, R., and Y. Bar-Hillel. 1953. An outline of a theory of semantic information. In Language and information: Selected essays on their theory and application, ed. Y. Bar-Hillel, 221–274. Reading: Addison-Wesley.Google Scholar
- D’Agostino, Marcello. 2010. Tractable depth-bounded logics and the problem of logical omniscience. In Probability, uncertainty and rationality, ed. F. Montagna and H. Hosni, 245–275. Springer.Google Scholar
- D’Agostino, Marcello. 2013. Semantic information and the trivialization of logic: Floridi on the scandal of deduction. In Information 2013, vol. 4, 33–59.Google Scholar
- Kant, Immanuel. 1785. Groundwork for the metaphysic of the moral. Ed. and Trans. Allen W. Wood. New Haven/London: Yale University Press, 2002.Google Scholar
- ———. 1787. Kritik der reinen Vernunft, in: Kant’s Gesammelte Schriften „Akademieausgabe“, Königlich Preußische Akademie der Wissenschaften, Berlin 1900ff, III Band, 1904, 1911.Google Scholar
- ———. 1789. Kritik der praktischen Vernunft, in: Kant’s Gesammelte Schriften „Akademieausgabe“, Königlich Preußische Akademie der Wissenschaften, Berlin 1900ff, V Band, 1913.Google Scholar