Desire-Based Model of Reasoning

  • Ivo PezlarEmail author
Part of the Topics in Intelligent Engineering and Informatics book series (TIEI, volume 9)


The aim of this paper is to draft a conceptual framework for explicating desires, and to outline basic mechanisms for reasoning model based upon these desires. The explication will be framed in the system of Transparent Intensional Logic (TIL).


desires dummy-desires desire statement desire engine reasoning engine humean machine Transparent Intensional Logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Montague, R.: Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven (1974)Google Scholar
  2. 2.
    Duží, M.: Til as the logic of communication in a multi-agent system. Research in Computing Science 33(1), 27–40 (2008)Google Scholar
  3. 3.
    Hume, D.: A Treatise of Human Nature. Clarendon Press (1896)Google Scholar
  4. 4.
    Thomson, J.J.: Killing, letting die, and the trolley problem. The Monist 59(2), 204–217 (1976)CrossRefGoogle Scholar
  5. 5.
    Tichý, P.: The foundations of Frege’s logic. Forum Jazz Rock Pop. W. de Gruyter (1988)Google Scholar
  6. 6.
    Duží, M., Jespersen, B., Materna, P.: Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Logic, epistemology and the unity of science. Springer, Netherlands (2010)Google Scholar
  7. 7.
    Oddie, G., Tichý, P.: The logic of ability, freedom and responsibility. Studia Logica 41(2-3), 227–248 (1982)CrossRefzbMATHMathSciNetGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Faculty of ArtsMasaryk UniversityBrnoCzech Republic

Personalised recommendations