{"title":"通用推理程序简图","authors":"Federico L G Faroldi","doi":"10.1093/jigpal/jzae083","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"1 1","pages":""},"PeriodicalIF":0.6000,"publicationDate":"2024-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Generic reasoning: A programmatic sketch\",\"authors\":\"Federico L G Faroldi\",\"doi\":\"10.1093/jigpal/jzae083\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":51114,\"journal\":{\"name\":\"Logic Journal of the IGPL\",\"volume\":\"1 1\",\"pages\":\"\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2024-08-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Logic Journal of the IGPL\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1093/jigpal/jzae083\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Logic Journal of the IGPL","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1093/jigpal/jzae083","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"LOGIC","Score":null,"Total":0}
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.
期刊介绍:
Logic Journal of the IGPL publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering.
Logic Journal of the IGPL is published under licence from Professor Dov Gabbay as owner of the journal.