Pub Date : 2023-04-17DOI: 10.1007/s10992-023-09699-3
Mirjam de Vos, R. Verbrugge, Barteld Kooi
{"title":"Solutions to the Knower Paradox in the Light of Haack’s Criteria","authors":"Mirjam de Vos, R. Verbrugge, Barteld Kooi","doi":"10.1007/s10992-023-09699-3","DOIUrl":"https://doi.org/10.1007/s10992-023-09699-3","url":null,"abstract":"","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"52 1","pages":"1101 - 1132"},"PeriodicalIF":1.5,"publicationDate":"2023-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42319566","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-04-15DOI: 10.1007/s10992-023-09705-8
J. Schlöder
{"title":"Identity and Harmony and Modality","authors":"J. Schlöder","doi":"10.1007/s10992-023-09705-8","DOIUrl":"https://doi.org/10.1007/s10992-023-09705-8","url":null,"abstract":"","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"52 1","pages":"1269 - 1294"},"PeriodicalIF":1.5,"publicationDate":"2023-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49443310","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-04-11DOI: 10.1007/s10992-022-09697-x
S Bonzio, V Fano, P Graziani, M Pra Baldi
In the logical context, ignorance is traditionally defined recurring to epistemic logic. In particular, ignorance is essentially interpreted as "lack of knowledge". This received view has - as we point out - some problems, in particular we will highlight how it does not allow to express a type of content-theoretic ignorance, i.e. an ignorance of φ that stems from an unfamiliarity with its meaning. Contrarily to this trend, in this paper, we introduce and investigate a modal logic having a primitive epistemic operator I, modeling ignorance. Our modal logic is essentially constructed on the modal logics based on weak Kleene three-valued logic introduced by Segerberg (Theoria, 33(1):53-71, 1997). Such non-classical propositional basis allows to define a Kripke-style semantics with the following, very intuitive, interpretation: a formula φ is ignored by an agent if φ is neither true nor false in every world accessible to the agent. As a consequence of this choice, we obtain a type of content-theoretic notion of ignorance, which is essentially different from the traditional approach. We dub it severe ignorance. We axiomatize, prove completeness and decidability for the logic of reflexive (three-valued) Kripke frames, which we find the most suitable candidate for our novel proposal and, finally, compare our approach with the most traditional one.
{"title":"A Logical Modeling of Severe Ignorance.","authors":"S Bonzio, V Fano, P Graziani, M Pra Baldi","doi":"10.1007/s10992-022-09697-x","DOIUrl":"10.1007/s10992-022-09697-x","url":null,"abstract":"<p><p>In the logical context, ignorance is traditionally defined recurring to epistemic logic. In particular, ignorance is essentially interpreted as \"lack of knowledge\". This received view has - as we point out - some problems, in particular we will highlight how it does not allow to express a type of content-theoretic ignorance, i.e. an ignorance of <i>φ</i> that stems from an unfamiliarity with its meaning. Contrarily to this trend, in this paper, we introduce and investigate a modal logic having a primitive epistemic operator <b>I</b>, modeling ignorance. Our modal logic is essentially constructed on the modal logics based on weak Kleene three-valued logic introduced by Segerberg (<i>Theoria, 33</i>(1):53-71, 1997). Such non-classical propositional basis allows to define a Kripke-style semantics with the following, very intuitive, interpretation: a formula <i>φ</i> is ignored by an agent if <i>φ</i> is neither true nor false in every world accessible to the agent. As a consequence of this choice, we obtain a type of content-theoretic notion of ignorance, which is essentially different from the traditional approach. We dub it <i>severe ignorance</i>. We axiomatize, prove completeness and decidability for the logic of reflexive (three-valued) Kripke frames, which we find the most suitable candidate for our novel proposal and, finally, compare our approach with the most traditional one.</p>","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":" ","pages":"1-28"},"PeriodicalIF":1.5,"publicationDate":"2023-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10088615/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"10045375","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-04-05DOI: 10.1007/s10992-023-09704-9
L. Mollica
{"title":"The Logic of Action and Control","authors":"L. Mollica","doi":"10.1007/s10992-023-09704-9","DOIUrl":"https://doi.org/10.1007/s10992-023-09704-9","url":null,"abstract":"","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"52 1","pages":"1237 - 1268"},"PeriodicalIF":1.5,"publicationDate":"2023-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46148680","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-03-17DOI: 10.1007/s10992-022-09690-4
Nate Charlow
{"title":"Modus Ponens and the Logic of Decision","authors":"Nate Charlow","doi":"10.1007/s10992-022-09690-4","DOIUrl":"https://doi.org/10.1007/s10992-022-09690-4","url":null,"abstract":"","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"52 1","pages":"859 - 888"},"PeriodicalIF":1.5,"publicationDate":"2023-03-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42888392","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-03-14DOI: 10.1007/s10992-022-09696-y
Balthasar Grabmayr, V. Halbach, Ling Ye
{"title":"Varieties of Self-Reference in Metamathematics","authors":"Balthasar Grabmayr, V. Halbach, Ling Ye","doi":"10.1007/s10992-022-09696-y","DOIUrl":"https://doi.org/10.1007/s10992-022-09696-y","url":null,"abstract":"","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"52 1","pages":"1005 - 1052"},"PeriodicalIF":1.5,"publicationDate":"2023-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49338197","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-02-14DOI: 10.1007/s10992-023-09701-y
N. Gratzl, Edi Pavlović
{"title":"Is, Ought, and Cut","authors":"N. Gratzl, Edi Pavlović","doi":"10.1007/s10992-023-09701-y","DOIUrl":"https://doi.org/10.1007/s10992-023-09701-y","url":null,"abstract":"","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"52 1","pages":"1149 - 1169"},"PeriodicalIF":1.5,"publicationDate":"2023-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49648729","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-02-07DOI: 10.1007/s10992-023-09700-z
Franci Mangraviti, A. Tedder
{"title":"Consistent Theories in Inconsistent Logics","authors":"Franci Mangraviti, A. Tedder","doi":"10.1007/s10992-023-09700-z","DOIUrl":"https://doi.org/10.1007/s10992-023-09700-z","url":null,"abstract":"","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"52 1","pages":"1133 - 1148"},"PeriodicalIF":1.5,"publicationDate":"2023-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45021175","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
扫码关注我们
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号