{"title":"关于FDE“All the Way Up”的注释","authors":"J. Beall, Caleb Camrud","doi":"10.1215/00294527-2020-0007","DOIUrl":null,"url":null,"abstract":"There is a natural ‘combinatorial argument’ for the philosophical view that if the standard (socalled classical) account of logical consequence (henceforth, logic) is right about logic’s fundamental truth values (viz., The True and The False), then FDE, a well-known subclassical logic [1, 2, 6, 8], is a more natural account of the space of ‘logical possibility’. Without officially endorsing that argument, our aim in this note is to defend it from an otherwise powerful objection. Our defense rests on an explicit generalization of a result by Priest [11]. In particular, by way of answering the target objection, we explicitly show that after combining the standard (classical) values in {>,⊥} to get a space of four values, as FDE demands, the given process of combining values ‘all the way up’ to α many values, for any ordinal α, results in the same account of logical consequence (viz., FDE).","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":"13 1","pages":"283-296"},"PeriodicalIF":0.6000,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A Note on FDE \\\"All the Way Up\\\"\",\"authors\":\"J. Beall, Caleb Camrud\",\"doi\":\"10.1215/00294527-2020-0007\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"There is a natural ‘combinatorial argument’ for the philosophical view that if the standard (socalled classical) account of logical consequence (henceforth, logic) is right about logic’s fundamental truth values (viz., The True and The False), then FDE, a well-known subclassical logic [1, 2, 6, 8], is a more natural account of the space of ‘logical possibility’. Without officially endorsing that argument, our aim in this note is to defend it from an otherwise powerful objection. Our defense rests on an explicit generalization of a result by Priest [11]. In particular, by way of answering the target objection, we explicitly show that after combining the standard (classical) values in {>,⊥} to get a space of four values, as FDE demands, the given process of combining values ‘all the way up’ to α many values, for any ordinal α, results in the same account of logical consequence (viz., FDE).\",\"PeriodicalId\":51259,\"journal\":{\"name\":\"Notre Dame Journal of Formal Logic\",\"volume\":\"13 1\",\"pages\":\"283-296\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2020-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Notre Dame Journal of Formal Logic\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1215/00294527-2020-0007\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Notre Dame Journal of Formal Logic","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1215/00294527-2020-0007","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"LOGIC","Score":null,"Total":0}
There is a natural ‘combinatorial argument’ for the philosophical view that if the standard (socalled classical) account of logical consequence (henceforth, logic) is right about logic’s fundamental truth values (viz., The True and The False), then FDE, a well-known subclassical logic [1, 2, 6, 8], is a more natural account of the space of ‘logical possibility’. Without officially endorsing that argument, our aim in this note is to defend it from an otherwise powerful objection. Our defense rests on an explicit generalization of a result by Priest [11]. In particular, by way of answering the target objection, we explicitly show that after combining the standard (classical) values in {>,⊥} to get a space of four values, as FDE demands, the given process of combining values ‘all the way up’ to α many values, for any ordinal α, results in the same account of logical consequence (viz., FDE).
期刊介绍:
The Notre Dame Journal of Formal Logic, founded in 1960, aims to publish high quality and original research papers in philosophical logic, mathematical logic, and related areas, including papers of compelling historical interest. The Journal is also willing to selectively publish expository articles on important current topics of interest as well as book reviews.