{"title":"K. C. F. Krause: The Combinatorian as Logician","authors":"U. Meixner","doi":"10.24204/ejpr.2022.3589","DOIUrl":null,"url":null,"abstract":"In a time which it is not amiss to term “the Dark Ages of logic”, Karl Christian Friedrich Krause stayed not only true to logic but actually did something for its advancement. Besides making systematic use of Venn-diagrams long before Venn, Krause — once more taking his inspiration from Leibniz — propounded what appears to be the first completely symbolic systematic representation of logical forms, strongly suggestive of the powerful symbolic languages that have become the mainstay of logic since the beginning of the 20th century. However, Krause’s limits in logic are also clearly visible: Krause’s method in logic is, in the main, not axiomatic; it is combinatorial (in other words, it consists in systematically producing finite lists of logical laws, following some organizational principle). More importantly, Krause remained entirely within the confines of traditional syllogistics (his flirt with “quantification of the predicate” notwithstanding), neglecting propositional logic and, of course, first-order relational terms.","PeriodicalId":43251,"journal":{"name":"European Journal for Philosophy of Religion","volume":null,"pages":null},"PeriodicalIF":0.4000,"publicationDate":"2022-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"European Journal for Philosophy of Religion","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.24204/ejpr.2022.3589","RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"0","JCRName":"PHILOSOPHY","Score":null,"Total":0}
引用次数: 0
Abstract
In a time which it is not amiss to term “the Dark Ages of logic”, Karl Christian Friedrich Krause stayed not only true to logic but actually did something for its advancement. Besides making systematic use of Venn-diagrams long before Venn, Krause — once more taking his inspiration from Leibniz — propounded what appears to be the first completely symbolic systematic representation of logical forms, strongly suggestive of the powerful symbolic languages that have become the mainstay of logic since the beginning of the 20th century. However, Krause’s limits in logic are also clearly visible: Krause’s method in logic is, in the main, not axiomatic; it is combinatorial (in other words, it consists in systematically producing finite lists of logical laws, following some organizational principle). More importantly, Krause remained entirely within the confines of traditional syllogistics (his flirt with “quantification of the predicate” notwithstanding), neglecting propositional logic and, of course, first-order relational terms.
期刊介绍:
European Journal for Philosophy of Religion (EJPR) is a peer-reviewed international journal devoted to the problems of the philosophy of religion. EJPR has been founded with the aim of fostering the development of philosophy of religion in Europe and elsewhere.