History and Philosophy of Logic最新文献

筛选
英文 中文
Husserl and Mathematics 胡塞尔与数学
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2022-05-20 DOI: 10.1080/01445340.2022.2065615
M. Roubach
{"title":"Husserl and Mathematics","authors":"M. Roubach","doi":"10.1080/01445340.2022.2065615","DOIUrl":"https://doi.org/10.1080/01445340.2022.2065615","url":null,"abstract":"Ariew, R. 2014. Descartes and the First Cartesians, Oxford: Oxford University Press. Ariew, R. 2015. ‘La Logique de Port-Royal, les premiers Cartésiens et la scolastique tardive’, Archives de Philosophie, 78 (1), 29–48. Ariew, R. 2021. ‘The Nature of Cartesian Logic’, Perspectives on Science, 29 (3), 275–91. Biard, J. 2015. ‘La Sémiologie de Port-Royal’, Archives de Philosophie, 78 (1), 9–28. Chomsky, N. 1966. Cartesian Linguistics. A Chapter in the History of Rationalist Thought, New York: Harper & Row. Pécharman,M. 2007. ‘Port-Royal et l’analyse augustinienne du langage’, in L. Devillairs (ed.),Augustin au XVIIe siècle, Florence: Olschki, pp. 101–34.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":"43 1","pages":"396 - 398"},"PeriodicalIF":0.5,"publicationDate":"2022-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49594916","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
Stipulations Missing Axioms in Frege's Grundgesetze der Arithmetik 弗雷格《算术概论》中缺少公理的规定
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2022-05-10 DOI: 10.1080/01445340.2022.2062664
Gregory Landini
{"title":"Stipulations Missing Axioms in Frege's Grundgesetze der Arithmetik","authors":"Gregory Landini","doi":"10.1080/01445340.2022.2062664","DOIUrl":"https://doi.org/10.1080/01445340.2022.2062664","url":null,"abstract":"Frege's Grundgesetze der Arithmetik offers a conception of cpLogic as the study of functions. Among functions are included those that are concepts, i.e. characteristic functions whose values are the logical objects that are the True/the False. What, in Frege's view, are the objects the True/the False? Frege's stroke functions are themselves concepts. His stipulation introducing his negation stroke mentions that it yields But curiously no accommodating axiom is given, and there is no such theorem. Why is it that some of Frege's informal stipulations never made appearances as axioms? I offer an explanation that sheds new light on the Grundgesetze. No axioms should over-determination the True as a logical object. Perhaps the True = 0, as would be common in the mathematics of characteristic functions. But the logical objects that are cardinal numbers are value ranges correlated with second-level numerical concepts by a non-homogeneous second-level value-range function . The existence of concepts would be ontologically circular if the True is itself a number. We find this circularity perfectly agreeable to Frege, and suggest that he had accepted that the existence of functions that are concepts in his cpLogic may well be ontologically inseparable from the existence of his value-range function. His cpLogic itself stands or falls with the viability of some value-range function.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":"43 1","pages":"347 - 382"},"PeriodicalIF":0.5,"publicationDate":"2022-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44366954","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
The Logic of Gilles Deleuze 《吉尔·德勒兹的逻辑
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2022-04-22 DOI: 10.1080/01445340.2022.2063668
H. Somers-Hall
{"title":"The Logic of Gilles Deleuze","authors":"H. Somers-Hall","doi":"10.1080/01445340.2022.2063668","DOIUrl":"https://doi.org/10.1080/01445340.2022.2063668","url":null,"abstract":"logical movement of ‘mediation’. They want to put metaphysics in motion, in action. They want to make it act, and make it carry out immediate acts. It is not enough, therefore, for them to propose a new representation of movement; representation is already mediation’ (Deleuze 1994, 8). Here, I think, Deleuze would say that Priest attempts to put the discrete multiplicity of classical logic in motion, rather than recognise the need for a non-propositional account of problems, such as Deleuze develops. As such, my suspicion is that Shores in the end collapses the difference in kind between the two multiplicities that is at the heart of Deleuze’s logic of multiplicities. Shores notes in the conclusion of the work that this is the opening of a broader project on Deleuze and logic, so perhaps these issues will be resolved as the project develops. I suspect Shores would see much of his work here as a provocation to further thought, and he notes that while Priest’s logic offers the best mapping of Deleuze’s logic, this mapping does not cover the whole range of Deleuze’s thought. In providing such a provocation, the book is a success, and despite the reservations above, I would recommend it to those interested in this intersection of Deleuze and logic. Ultimately the engagement with formal logic here is well worked out, with the clearest analyses of Deleuze’s engagements with the philosophy of logic so far available to us.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":"43 1","pages":"406 - 408"},"PeriodicalIF":0.5,"publicationDate":"2022-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41465723","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}
引用次数: 2
Arthur N. Prior and the Lvov-Warsaw School Arthur N. Prior和利沃夫-华沙学派
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2022-04-21 DOI: 10.1080/01445340.2022.2062696
Zuzana Rybaříková
{"title":"Arthur N. Prior and the Lvov-Warsaw School","authors":"Zuzana Rybaříková","doi":"10.1080/01445340.2022.2062696","DOIUrl":"https://doi.org/10.1080/01445340.2022.2062696","url":null,"abstract":"This paper presents the link between Arthur N. Prior and logicians that belonged to the Lvov-Warsaw School. Although certain members of the Lvov-Warsaw School influenced Prior’s views, the amount and the form of the impact are still under discussion. Prior also cooperated with some of them in the development of his systems of logic. This paper focuses on four main areas in which Prior admitted adopting ideas from the Lvov-Warsaw School: systems of propositional logic, the history of logic, modal and temporal logic and ontology. Prior’s published works as well as his correspondence, which is stored in Prior’s Nachlass, are used to describe the influence.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":"44 1","pages":"91 - 103"},"PeriodicalIF":0.5,"publicationDate":"2022-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45619754","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}
引用次数: 1
The Cartesian Semantics of the Port Royal Logic Port Royal逻辑的笛卡尔语义
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2022-04-13 DOI: 10.1080/01445340.2022.2045129
E. Cassan
{"title":"The Cartesian Semantics of the Port Royal Logic","authors":"E. Cassan","doi":"10.1080/01445340.2022.2045129","DOIUrl":"https://doi.org/10.1080/01445340.2022.2045129","url":null,"abstract":"types of argumentation. The results are unsatisfactory both because of unclarity in Aristotle’s classification and because of the fact that argumentation, at least as conceived by Walton, is a much broader category of verbal persuasive interaction than dialectic is for Aristotle and other ancient Greek authors. Reading the entire collection has given me the unfortunate impression that I am even more confused about what ‘dialectic’ and ‘argumentation’ are than when I began. This is not the fault of the authors but seems to be a problem with the concepts. For dialectic we are faced with trying to find some connection between the episteme producing dialectic of Republic VII and the competitive training exercises that Aristotle discusses in TopicsVIII. For argumentation we seem to be faced with an open-ended process of evaluation, counterargument, questioning, responding, etc., as indicated by Walton at the beginning of his article. One of the articles refers to a possible 40-year argumentation between a couple on some recurring problem in their relationship. To have a unified theory about this daunting range of material seems problematic. It seems as achievable as a unified theory of the novel or of football. This is not to say there aren’t interesting or even important things to be said about dialectic and argumentation, but certainly a novice should beware of a false impression of unity where there is rather diversity.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":"43 1","pages":"394 - 396"},"PeriodicalIF":0.5,"publicationDate":"2022-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47841640","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
The Expressive Power of the N-Operator and the Decidability of Logic in Wittgenstein’s Tractatus 维特根斯坦《论》中N算子的表现力与逻辑的可判定性
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2022-04-13 DOI: 10.1080/01445340.2022.2056687
Rodrigo Ferreira
{"title":"The Expressive Power of the N-Operator and the Decidability of Logic in Wittgenstein’s Tractatus","authors":"Rodrigo Ferreira","doi":"10.1080/01445340.2022.2056687","DOIUrl":"https://doi.org/10.1080/01445340.2022.2056687","url":null,"abstract":"The present text discusses whether there is a tension between aphorisms 6.1-6.13 of the Tractatus and the Church-Turing theorem about the decidability of predicate logic. We attempt to establish the following points: (i) Aphorisms 6.1-6.13 are not consistent with the Church-Turing theorem. (ii) The logical symbolism of the Tractatus, built from the N-operator, can (and should) be interpreted as expressively complete with respect to first-order formulas. (iii) Wittgenstein’s reasons for believing that Logic is decidable were purely philosophical and the undecidability result shows that there are aspects of his criticisms of Frege and Russell that become unjustified in light of these results.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":"44 1","pages":"33 - 53"},"PeriodicalIF":0.5,"publicationDate":"2022-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44563869","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
Methodus als Lebensweg bei Johann Conrad Dannhauer. Existentialisierung der Dialektik in der Lutherischen Orthodoxie 离开这里时你看到的就是约翰康拉德·丹尼路德派辩证法的存在
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2022-04-03 DOI: 10.1080/01445340.2021.1988430
C. Weidemann
{"title":"Methodus als Lebensweg bei Johann Conrad Dannhauer. Existentialisierung der Dialektik in der Lutherischen Orthodoxie","authors":"C. Weidemann","doi":"10.1080/01445340.2021.1988430","DOIUrl":"https://doi.org/10.1080/01445340.2021.1988430","url":null,"abstract":"an implicit use of the concept of semantic truth in ancient China (ch.6), which is different from Hansen’s view. The approach of Yiu-ming Fung and others is sometimes criticized as ‘(mis)interpreting Chinese texts in a Western framework’. In recent years, there has been a strong call to use informal logic or generalized argumentation in the research of the history of Chinese logic, but in the eyes of more conservative researchers, this still may not count as ‘interpreting Chinese texts in an intrinsic Chinese framework’. Did logic exist in ancient China? Is mingbian consistent with Western logic or is it a separate type of logic? Should the Mohist logic be seen primarily as a branch of logic, rhetoric, or pragmatics? These are the most fundamental questions in the field of the history of Chinese logic, which concerns the legitimacy of the discipline of ‘ancient Chinese logic’. The collection would have been more relevant to the theme of the philosophy of logic if it were supplemented by a discussion from this perspective.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":"43 1","pages":"198 - 200"},"PeriodicalIF":0.5,"publicationDate":"2022-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"59177821","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}
引用次数: 1
‘Everything True Will Be False’: Paul of Venice and a Medieval Yablo Paradox “一切真的都会是假的”:威尼斯的保罗与中世纪的亚布洛悖论
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2022-03-28 DOI: 10.1080/01445340.2022.2040797
S. Read
{"title":"‘Everything True Will Be False’: Paul of Venice and a Medieval Yablo Paradox","authors":"S. Read","doi":"10.1080/01445340.2022.2040797","DOIUrl":"https://doi.org/10.1080/01445340.2022.2040797","url":null,"abstract":"In his Quadratura, Paul of Venice considers a sophism involving time and tense which appears to show that there is a valid inference which is also invalid. Consider this inference concerning some proposition A : A will signify only that everything true will be false, so A will be false. Call this inference B . A and B are the basis of an insoluble-that is, a Liar-like paradox. Like the sequence of statements in Yablo's paradox, B looks ahead to a moment when A will be false, yet that moment may never come. In the Quadratura, Paul follows the solution to insolubles found in the collection of elementary treatises known as the Logica Oxoniensis, which posits an implicit assertion of its own truth in insolubles like B . However, in the treatise on insolubles in his Logica Magna, Paul develops and endorses a different solution that takes insolubles at face value. We consider how both types of solution apply to A and B : on both, B is valid. But on one, B has true premises and false conclusion, and contradictories can be false together; on the other (following the Logica Oxoniensis), the counterexample is rejected.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":"43 1","pages":"332 - 346"},"PeriodicalIF":0.5,"publicationDate":"2022-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44265033","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
Figuring it Out: Logic Diagrams 弄清楚:逻辑图
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2022-03-24 DOI: 10.1080/01445340.2022.2045128
A. Moktefi
{"title":"Figuring it Out: Logic Diagrams","authors":"A. Moktefi","doi":"10.1080/01445340.2022.2045128","DOIUrl":"https://doi.org/10.1080/01445340.2022.2045128","url":null,"abstract":"","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":"44 1","pages":"104 - 107"},"PeriodicalIF":0.5,"publicationDate":"2022-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43807041","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}
引用次数: 1
Mullā Ṣadrā on Intellectual Universal 普遍的
IF 0.5 3区 哲学
History and Philosophy of Logic Pub Date : 2022-03-22 DOI: 10.1080/01445340.2022.2046453
Mohammad Hosseinzadeh
{"title":"Mullā Ṣadrā on Intellectual Universal","authors":"Mohammad Hosseinzadeh","doi":"10.1080/01445340.2022.2046453","DOIUrl":"https://doi.org/10.1080/01445340.2022.2046453","url":null,"abstract":"Following Avicenna, many Muslim philosophers and logicians have identified ‘intellectual universal’ (kullī ʿaqlī) with the very mental concept dependent on the mind. Apart from the controversies about Platonic Forms, they argue that they cannot be the very universals in logic. Accordingly, Mullā Ṣadrā’s commentators have interpreted their view on intellectual universal in the Avicennian framework. In this interpretation, Mullā Ṣadrā has embraced Avicenna’s explanation about mind-dependent universal concepts; however, he has modified some details of the issue as per his theory of the primacy of existence and Plato’s theory of Forms. Having explained Sabzawārī and Ṭabāṭabā'ī’s interpretation of Mullā Ṣadrā’s view in his article, the author goes to propose a different interpretation according to which intellectual universals are identical with Platonic Forms, rather than the mind-dependent universal concepts. This Platonic interpretation is supported by three sets of evidences from Mullā Ṣadrā’s own texts. It also shows how Mullā Ṣadrā has answered Avicenna’s objection about the use of Platonic universal in logic.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":"44 1","pages":"255 - 272"},"PeriodicalIF":0.5,"publicationDate":"2022-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49542015","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学术官方微信