Interrogative logic as underlying logic in scientific practices

被引:0
作者
Nepomuceno-Fernandez, Angel [1 ]
机构
[1] Univ Seville, Dept Philosophy Log & Philosophy Sci, Camilo Jose Cela S-N, Seville 41018, Spain
关键词
Logical game; tableaux; presupposition; interrogative logic; queries;
D O I
10.1093/jigpal/jzae094
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
In this paper I propose a version of interrogative logic as a form of representation of the underlying logic of scientific practices-a kind of model-based reasoning, since it takes into account an oracle or model that can be consulted-by means of modified tableaux that can represent a game with two types of moves: logical steps and queries, governed by (modified) tales and a query rule, respectively. In this way, the process of acquiring knowledge is analogous to the justification of a thesis through the method of modified tableaux.
引用
收藏
页数:16
相关论文
共 15 条
  • [1] Corcoran J., 1974, Ancient Logic and Its Modern Interpretations, P86
  • [2] The dynamic turn in twentieth century logic
    Gochet, P
    [J]. SYNTHESE, 2002, 130 (02) : 175 - 184
  • [3] Hintikka J., 1997, HDB LOGIC LANGUAGE, P361
  • [4] Hintikka J., 1999, Jaakko Hintikka Selected Papers, V5, P25
  • [5] Hintikka J., 1999, Jaakko Hintikka Selected Papers, V5, P183
  • [6] Hintikka J., 1999, Jaakko Hintikka Selected Papers
  • [7] Hintikka J., 1999, Jaakko Hintikka Selected Papers, V5, P91
  • [8] Hintikka J., 1973, LANGUAGE GAMES INFOR
  • [9] Hintikka J, 2007, SOCRATIC EPISTEMOLOGY: EXPLORATIONS OF KNOWLEDGE-SEEKING BY QUESTIONING, P83, DOI 10.1017/CBO9780511619298.005
  • [10] Magnani L, 2017, SPRINGER HBK, P1, DOI 10.1007/978-3-319-30526-4