Generic reasoning: A programmatic sketch

被引:0
|
作者
Faroldi, Federico L. G. [1 ,2 ]
机构
[1] Univ Pavia, Dept Law, I-27100 Pavia, Italy
[2] Flanders FWO, Res Fdn, Brussels, Belgium
关键词
LOGIC;
D O I
10.1093/jigpal/jzae083
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
A single significant instance may support general conclusions, with possible exceptions being tolerated. This is the case in practical human reasoning (e.g. moral and legal normativity: general rules tolerating exceptions), in theoretical human reasoning engaging with external reality (e.g. empirical and social sciences: the use of case studies and model organisms) and in abstract domains (possibly mind-unrelated, e.g. pure mathematics: the use of arbitrary objects). While this has been recognized in modern times, such a process is not captured by current models of supporting general conclusions. This paper articulates the thesis that there is a kind of reasoning, generic reasoning, previously unrecognized as an independent type of reasoning. A theory of generic reasoning explains how a single significant instance may support general conclusions, with possible exceptions being tolerated. This paper will adopt, as a working hypothesis, that generic reasoning is irreducible to currently recognized kinds of 'pure' reasoning. The aim is to understand generic reasoning, both theoretically and in its applications.
引用
收藏
页数:9
相关论文
共 50 条
  • [21] Analogical reasoning for reliability analysis based on generic data
    Riso Natl Lab, Roskilde, Denmark
    [J]. Reliab Eng Syst Saf, 1 (59-64):
  • [22] Deliberative discourse and reasoning from generic argument structures
    Yearwood, John L.
    Stranieri, Andrew
    [J]. AI & SOCIETY, 2009, 23 (03) : 353 - 377
  • [23] Analogical reasoning for reliability analysis based on generic data
    Kozin, IO
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 1996, 54 (01) : 59 - 64
  • [24] Generic fault tolerant software architecture reasoning and customization
    Yuan, Ling
    Dong, Jin Song
    Sun, Jing
    Basit, Hamid Abdul
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 2006, 55 (03) : 421 - 435
  • [25] Lifting the Reasoning Level in Generic Weak Memory Verification
    Bargmann, Lara
    Wehrheim, Heike
    [J]. INTEGRATED FORMAL METHODS, IFM 2023, 2024, 14300 : 175 - 192
  • [26] Geometric reasoning in sketch-based volumetric decomposition framework for hexahedral meshing
    Lu, Jean Hsiang-Chun
    Song, Inho
    Quadros, William Roshan
    Shimada, Kenji
    [J]. ENGINEERING WITH COMPUTERS, 2014, 30 (02) : 237 - 252
  • [27] Geometric reasoning in sketch-based volumetric decomposition framework for hexahedral meshing
    Jean Hsiang-Chun Lu
    Inho Song
    William Roshan Quadros
    Kenji Shimada
    [J]. Engineering with Computers, 2014, 30 : 237 - 252
  • [28] Biology instruction using a generic framework of scientific reasoning and argumentation
    Dorfner, Tobias
    Foertsch, Christian
    Germ, Michael
    Neuhaus, Birgit J.
    [J]. TEACHING AND TEACHER EDUCATION, 2018, 75 : 232 - 243
  • [29] Fuzzy-Syllogistic Systems: A Generic Model for Approximate Reasoning
    Kumova, Bora I.
    [J]. TRENDS IN APPLIED KNOWLEDGE-BASED SYSTEMS AND DATA SCIENCE, 2016, 9799 : 169 - 181
  • [30] A generic complete dynamic logic for reasoning about purity and effects
    Mossakowski, Till
    Schroeder, Lutz
    Goncharov, Sergey
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 4961 : 199 - +