TY - CHAP UR - http://lib.ugent.be/catalog/pug01:6935979 ID - pug01:6935979 LA - eng TI - The Feasability of Modeling Hypothetical Reasoning by Formal Logics PY - 2016 PB - Springer 2016 AU - Gauderis, Tjerk LW01 001996006685 AU - Magnani, Lorenzo editor AU - Bertolotti, Tommaso editor AU - Aliseda, Atocha editor AB - In this paper, it is discussed to which extent hypothetical reasoning can be modeled by formal logics. The paper starts by exploring this ideain general (Section 1 and 2), which leads to the conclusion that in order to model this kind of reasoning formally, a more ne-grained classica-tion of reasoning patterns is in order. After such a classication is provided in Section 3, a formal framework that has proven successful to capture some of these patterns is described (Sections 4 and 6) and some of the specic problems for this procedure are discussed (Section 5). The paper concludes by presenting two logics for hypothetical reasoning in an informal way (Sections 7 and 8) such that the non-technically skilled reader can get a flavour how formal methods can beused to describe hypothetical reasoning. ER -Download RIS file
00000nam^a2200301^i^4500 | |||
001 | 6935979 | ||
005 | 20161219154416.0 | ||
008 | 150923s2016------------------------eng-- | ||
024 | a 1854/LU-6935979 2 handle | ||
040 | a UGent | ||
245 | a The Feasability of Modeling Hypothetical Reasoning by Formal Logics | ||
260 | b Springer c 2016 | ||
520 | a In this paper, it is discussed to which extent hypothetical reasoning can be modeled by formal logics. The paper starts by exploring this ideain general (Section 1 and 2), which leads to the conclusion that in order to model this kind of reasoning formally, a more ne-grained classica-tion of reasoning patterns is in order. After such a classication is provided in Section 3, a formal framework that has proven successful to capture some of these patterns is described (Sections 4 and 6) and some of the specic problems for this procedure are discussed (Section 5). The paper concludes by presenting two logics for hypothetical reasoning in an informal way (Sections 7 and 8) such that the non-technically skilled reader can get a flavour how formal methods can beused to describe hypothetical reasoning. | ||
598 | a B2 | ||
100 | a Gauderis, Tjerk u LW01 0 001996006685 0 802000774622 | ||
700 | a Magnani, Lorenzo e editor | ||
700 | a Bertolotti, Tommaso e editor | ||
700 | a Aliseda, Atocha e editor | ||
650 | a Philosophy and Religion | ||
773 | t Springer Handbook of Model-Based Science g Springer Handbook of Model-Based Science. 2016. Springer. q :< | ||
856 | 3 Full Text u https://biblio.ugent.be/publication/6935979/file/6935980 z [no access] y | ||
920 | a chapter | ||
852 | x LW b LW01 | ||
922 | a UGENT-LW |
All data below are available with an Open Data Commons Open Database License. You are free to copy, distribute and use the database; to produce works from the database; to modify, transform and build upon the database. As long as you attribute the data sets to the source, publish your adapted database with ODbL license, and keep the dataset open (don't use technical measures such as DRM to restrict access to the database).
The datasets are also available as weekly exports.