Skip to main content
SpringerLink
Log in
SpringerLink
Log in

A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics

  • Conference paper
  • First Online:
Diagrammatic Representation and Inference (Diagrams 2016)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9781))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Barwise, J., Etchemendy, J.: Hyperproof: For Macintosh. CSLI Publications, Stanford (1995)

    MATH  Google Scholar 

  2. Denecker, M., Kakas, A.C.: Abduction in logic programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, pp. 402–436. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  3. Farley, A.M., Lin, K.P.: Qualitative reasoning in economics. J. Econ. Dyn. Control 14, 465–490 (1990)

    Article  MathSciNet  Google Scholar 

  4. Kalagnanam, J., Simon, H.A., Iwasaki, Y.: The mathematical bases for qualitative reasoning. IEEE Expert 6(2), 11–19 (1991)

    Article  Google Scholar 

  5. Krugman, P.R., Wells, R.: Economics, 3rd edn. Worth Publishers, New York (2012)

    Google Scholar 

  6. Shimojima, A.: On the efficacy of representation. Ph.D. thesis, Indiana University (1996)

    Google Scholar 

  7. Takemura, R.: Proof theory for reasoning with Euler diagrams: a logic translation and normalization. Studia Logica 101(1), 157–191 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  8. Takemura, R., Shimojima, A., Katagiri, Y.: Logical investigation of reasoning with tables. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS, vol. 8578, pp. 261–276. Springer, Heidelberg (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Nihon University, Tokyo, Japan

    Ryo Takemura

Authors
  1. Ryo Takemura
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ryo Takemura .

Editor information

Editors and Affiliations

  1. The University of Cambridge , Cambridge, United Kingdom

    Mateja Jamnik

  2. The University of Tokyo , Tokyo, Japan

    Yuri Uesaka

  3. Millersville University , Millersville, Pennsylvania, USA

    Stephanie Elzer Schwartz

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Takemura, R. (2016). A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics. In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds) Diagrammatic Representation and Inference. Diagrams 2016. Lecture Notes in Computer Science(), vol 9781. Springer, Cham. https://doi.org/10.1007/978-3-319-42333-3_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-42333-3_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-42332-6

  • Online ISBN: 978-3-319-42333-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation