{"title":"布尔的不确定符号重新检验","authors":"D. Makinson","doi":"10.26686/ajl.v19i5.8011","DOIUrl":null,"url":null,"abstract":"We show how one can give a clear formal account of Boole’s notorious “indefinite\" (or “auxiliary”) symbols by treating them as variables that range over functions from classes to classes rather than just over classes while, at the same time, following Hailperin’s proposal of binding them existentially.","PeriodicalId":367849,"journal":{"name":"The Australasian Journal of Logic","volume":"101 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Boole's indefinite symbols re-examined\",\"authors\":\"D. Makinson\",\"doi\":\"10.26686/ajl.v19i5.8011\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We show how one can give a clear formal account of Boole’s notorious “indefinite\\\" (or “auxiliary”) symbols by treating them as variables that range over functions from classes to classes rather than just over classes while, at the same time, following Hailperin’s proposal of binding them existentially.\",\"PeriodicalId\":367849,\"journal\":{\"name\":\"The Australasian Journal of Logic\",\"volume\":\"101 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-12-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"The Australasian Journal of Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.26686/ajl.v19i5.8011\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"The Australasian Journal of Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.26686/ajl.v19i5.8011","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
We show how one can give a clear formal account of Boole’s notorious “indefinite" (or “auxiliary”) symbols by treating them as variables that range over functions from classes to classes rather than just over classes while, at the same time, following Hailperin’s proposal of binding them existentially.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
