发布求助
文献互助 智能选刊 最新文献

History and Philosophy of Logic最新文献

筛选
英文 中文
Cavaillès on Gentzen ‘ dans son poêle ’: A Brief Historical Note 关于根岑' dans son poêle '的评论:一个简短的历史注释
3区 哲学
History and Philosophy of Logic Pub Date : 2023-09-20 DOI: 10.1080/01445340.2023.2249355
Peter Milne
{"title":"Cavaillès on Gentzen ‘ <i>dans son poêle</i> ’: A Brief Historical Note","authors":"Peter Milne","doi":"10.1080/01445340.2023.2249355","DOIUrl":"https://doi.org/10.1080/01445340.2023.2249355","url":null,"abstract":"In a letter to Lautman, Cavaillès speaks of Gentzen ‘dans son poêle’ in Göttingen. The translators of the English edition of Menzler-Trott's biography of Gentzen miss the allusion to Descartes.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136308395","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Aristotle’s Syllogistic Underlying Logic: His Model with His Proofs of Soundness and Completeness 亚里士多德的三段论基础逻辑:他的模型及其完备性的证明
3区 哲学
History and Philosophy of Logic Pub Date : 2023-09-15 DOI: 10.1080/01445340.2023.2240671
C. G. King
{"title":"Aristotle’s Syllogistic Underlying Logic: His Model with His Proofs of Soundness and Completeness","authors":"C. G. King","doi":"10.1080/01445340.2023.2240671","DOIUrl":"https://doi.org/10.1080/01445340.2023.2240671","url":null,"abstract":"Click to increase image sizeClick to decrease image size Notes1 Ebbinghaus Citation1964, Smiley Citation1973, Corcoran Citation1974. Ebbinghaus was the first to formulate an interpretation of Aristotle’s syllogistic in terms of deduction rules, but his work is studiously ignored in the publications of Corcoran and, unfortunately, in the book under review. Ebbinghaus’ work is surely known to any informed person working in the history of ancient logic: Patzig Citation1963, ii n. 2 cites it in connection with his second thoughts about reconstructing the syllogistic (with Łukasiewicz Citation1957) as an axiomatic system of propositional logic.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135435044","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Timpler, Clemens. Logicae systema methodicum Libris V. comprehensum, in quo universus bene disserendi et sciendi modus, tam generatim, quam speciatim, per praecepta et quaestiones breviter ac dilucide explicatur & probatur Timpler，Clemens。五、理解的书籍的逻辑系统，其中所有的东西都被很好地分布和学习，以及我推测的这一代人，都是通过简短而勤奋的解决方案的规则和例子来解释的。
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2023-09-05 DOI: 10.1080/01445340.2023.2249364
M. Walter
{"title":"Timpler, Clemens. Logicae systema methodicum Libris V. comprehensum, in quo universus bene disserendi et sciendi modus, tam generatim, quam speciatim, per praecepta et quaestiones breviter ac dilucide explicatur & probatur","authors":"M. Walter","doi":"10.1080/01445340.2023.2249364","DOIUrl":"https://doi.org/10.1080/01445340.2023.2249364","url":null,"abstract":"","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49055338","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Hegel’s Logic and Metaphysics 黑格尔的《逻辑学与形而上学
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2023-08-30 DOI: 10.1080/01445340.2023.2251828
C. Yang
{"title":"Hegel’s Logic and Metaphysics","authors":"C. Yang","doi":"10.1080/01445340.2023.2251828","DOIUrl":"https://doi.org/10.1080/01445340.2023.2251828","url":null,"abstract":"","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47692663","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Logic in Question. Talks from the Annual Sorbonne Logic Workshop (2011–2019) 逻辑问题。索邦逻辑研讨会(2011-2019)演讲
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2023-08-30 DOI: 10.1080/01445340.2023.2251827
G. Guibert, B. Sauzay
{"title":"Logic in Question. Talks from the Annual Sorbonne Logic Workshop (2011–2019)","authors":"G. Guibert, B. Sauzay","doi":"10.1080/01445340.2023.2251827","DOIUrl":"https://doi.org/10.1080/01445340.2023.2251827","url":null,"abstract":"","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43493050","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Aristotle's Proofs Through the Impossible in Prior Analytics 1.15 亚里士多德在先验分析中的不可能证明1.15
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2023-08-17 DOI: 10.1080/01445340.2023.2241183
Riccardo Zanichelli
{"title":"Aristotle's Proofs Through the Impossible in Prior Analytics 1.15","authors":"Riccardo Zanichelli","doi":"10.1080/01445340.2023.2241183","DOIUrl":"https://doi.org/10.1080/01445340.2023.2241183","url":null,"abstract":"In Prior Analytics 1.15, Aristotle attempts to give a proof through the impossible of Barbara, Celarent, Darii, and Ferio with an assertoric first premiss, a contingent second premiss, and a possible conclusion. These proofs have been controversial since antiquity. I shall show that they are valid, and that Aristotle is able to explain them by relying on two meta-syllogistic lemmas on the nature of possibility interpreted as syntactic consistency. It will turn out that Aristotle's proofs are not of the intended schemata. I shall investigate some of the results that the impact of this reconstruction on the modal syllogistic has: the relationship between Aristotle's syllogistic and the logics of relevance; the value of Aristotle's requirement that universal affirmative propositions be taken ‘absolutely’; the destruction of many Aristotelian proofs; the recovery of certain principles of modal opposition from a charge of inconsistency.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45800094","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Arthur Prior's Proofs of the Necessities of Identity and Difference 阿瑟·普赖尔对同一性和差异性必然性的证明
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2023-08-11 DOI: 10.1080/01445340.2023.2237758
Nils Kürbis
{"title":"Arthur Prior's Proofs of the Necessities of Identity and Difference","authors":"Nils Kürbis","doi":"10.1080/01445340.2023.2237758","DOIUrl":"https://doi.org/10.1080/01445340.2023.2237758","url":null,"abstract":"This paper draws attention to a proof of the necessity of identity given by Arthur Prior. In its simplicity it is comparable to a proof of Quine’s, popularised by Kripke, but it is slightly di ff erent. Prior’s Polish notation is transcribed into more familiar idiom. Prior’s proof is followed by a proof of the necessity of di ff erence, possibly the first such proof in the literature, which is also repeated here and transcribed. The paper concludes with a brief discussion of Prior’s views on identity and di ff erence over time.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48452942","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Logicism and Principle of Tolerance: Carnap’s Philosophy of Logic and Mathematics* 逻辑学与宽容原则：卡纳普的逻辑与数学哲学*
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2023-07-27 DOI: 10.1080/01445340.2023.2230103
Stefano Domingues Stival
{"title":"Logicism and Principle of Tolerance: Carnap’s Philosophy of Logic and Mathematics*","authors":"Stefano Domingues Stival","doi":"10.1080/01445340.2023.2230103","DOIUrl":"https://doi.org/10.1080/01445340.2023.2230103","url":null,"abstract":"ABSTRACT In this paper, the connection between logicism and the principle of tolerance in Carnap’s philosophy of logic and mathematics is to be presented in terms of the history of its development. Such development is conditioned by two lines of criticism to Carnap’s attempt to combine Logicism and Conventionalism, the first of which comes from Gödel, the second from Alfred Tarski. The presentation will take place in three steps. First, the Logicism of Carnap before the publication of The Logical Syntax of Language will be analyzed in its main features. Second, the relationship between Logicism and the Principle of Tolerance at the time of the publication of Logical Syntax, and thirdly, in the so-called semantical phase of Carnap’s thought will be examined. On the basis of the two preceding points, we will then critically analyze two interpretations of the possibility to maintain a philosophical position like that of Carnap nowadays.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49303561","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An Enhanced Account of Relative Identity: Double-Reference Starting Point and Dual-Track Feature 相对同一性的一种增强描述：双参考起点和双轨特征
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2023-07-26 DOI: 10.1080/01445340.2023.2229611
B. Mou
{"title":"An Enhanced Account of Relative Identity: Double-Reference Starting Point and Dual-Track Feature","authors":"B. Mou","doi":"10.1080/01445340.2023.2229611","DOIUrl":"https://doi.org/10.1080/01445340.2023.2229611","url":null,"abstract":"This article gives a holistic re-examination of the semantic content and syntactic structure of the concept of relative identity: it suggests and explains an expanded and enhanced dual-track characterization ofrelativeidentity.Itisexpandedinthissense:itsduecoverageisnot narrowlyrestrictedtothe equal-status caseof identity statements(the symmetric case for identity simplex) but also includes the category-assimilating case (the asymmetric case for identity complex), both of which are unified by the shared semantic core content of relative identity. It is enhanced in this sense: it is intended to give a more refined characterization of relative identity for the sake of enhancing our understanding of the structure and content of real-life relative-identity statements in people’s basic employment of language in view of the relation between thought, language, and the world.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46521994","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Connexivity in Aristotle’s Logic 亚里士多德逻辑学中的连通性
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2023-07-11 DOI: 10.1080/01445340.2023.2203984
Fabian Ruge
{"title":"Connexivity in Aristotle’s Logic","authors":"Fabian Ruge","doi":"10.1080/01445340.2023.2203984","DOIUrl":"https://doi.org/10.1080/01445340.2023.2203984","url":null,"abstract":"At APr 2.4 57a36–13, Aristotle presents a notorious reductio argument in which he derives the claim ‘If B is not large, B is large’ and calls that result impossible. Aristotle is thus committed to some form of connexivity and this paper argues that his commitment is to a strong form of connexivity which excludes even cases in which ‘B is large’ is necessary. It is further argued that Aristotle’s view of connexivity is best understood as arising from his analysis of affirmation and negation in terms of combination and separation: a proposition that separates two terms cannot entail a proposition that combines the same two terms. In order to motivate this account of connexivity, this paper interprets Aristotle as emphasising the predicative structure, especially the copulae, of the argument’s component propositions. The arguments for this are based on a consideration of the larger context of APr 2.2–4. A reconstruction of the argument using propositional variables does not fully capture Aristotle’s intentions.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2023-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43064935","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信