A Logical Investigation Of Heterogeneous Reasoning With Graphs In Elementary Economics

Heterogeneous reasoning is a salient component of logic, mathematics, and computer science. Another remarkable field it applies to is economics. In this paper, we apply the proof-theoretic techniques developed in our previous studies [7,8] to heterogeneous reasoning with graphs in elementary economics. We apply the natural deduction-style formalization, which makes it possible to apply well-developed proof-theoretic techniques to the analysis of heterogeneous reasoning with graphs. We also apply the proof-theoretic analysis of free rides developed in [7], and analyze the efficiency of heterogeneous reasoning with graphs. We further discuss abductive reasoning in elementary economics. Abduction has been discussed by philosophers and logicians, and has been extensively studied in the literature on artificial intelligence (see, for example, [2]). In the context of heterogeneous reasoning, we are able to formalize abductive reasoning in elementary economics in the style we employ in our actual reasoning.