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

Philosophia Mathematica最新文献

筛选
英文 中文
Negation in Negationless Intuitionistic Mathematics 无否定直觉数学中的否定
IF 1.1 1区 哲学
Philosophia Mathematica Pub Date : 2022-04-01 DOI: 10.1093/philmat/nkac026
Thomas Macaulay Ferguson
{"title":"Negation in Negationless Intuitionistic Mathematics","authors":"Thomas Macaulay Ferguson","doi":"10.1093/philmat/nkac026","DOIUrl":"10.1093/philmat/nkac026","url":null,"abstract":"The mathematician G.F.C. Griss is known for his program of negationless intuitionistic mathematics. Although Griss's rejection of negation is regarded as characteristic of his philosophy, this is a consequence of an executability requirement that mental constructions presuppose agents’ executing corresponding mental activity. Restoring Griss's executability requirement to a central role permits a more subtle characterization of the rejection of negation, according to which D. Nelson's strong constructible negation is compatible with Griss's principles. This exposes a ‘holographic’ theory of negation in negationless mathematics, in which a full theory of negation is ‘flattened’ in a putatively negationless setting.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"31 1","pages":"29-55"},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47393855","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Frédéric Patras. The Essence of Numbers 弗雷德里克·帕特拉斯。数字的本质
IF 1.1 1区 哲学
Philosophia Mathematica Pub Date : 2022-04-01 DOI: 10.1093/philmat/nkac028
Bonnie Gold
{"title":"Frédéric Patras. The Essence of Numbers","authors":"Bonnie Gold","doi":"10.1093/philmat/nkac028","DOIUrl":"https://doi.org/10.1093/philmat/nkac028","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"31 1","pages":"132-142"},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68133728","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo, eds. Objects, Structures, and Logics: FilMat Studies in the Philosophy of Mathematics Gianluigi Oliveri，Claudio Ternullo，Stefano Boscolo编辑。对象、结构和逻辑：数学哲学中的FilMat研究
IF 1.1 1区 哲学
Philosophia Mathematica Pub Date : 2022-04-01 DOI: 10.1093/philmat/nkac007
{"title":"Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo, eds. Objects, Structures, and Logics: FilMat Studies in the Philosophy of Mathematics","authors":"","doi":"10.1093/philmat/nkac007","DOIUrl":"10.1093/philmat/nkac007","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"31 1","pages":"144-144"},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48226820","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Andrew Arana and Marco Panza, eds. Précis de philosophie de la logique et des mathématiques. Vol. 2. Philosophie des mathématiques 他的父亲是一名律师，母亲是一名律师。逻辑和数学的精确哲学。第2卷。数学哲学
IF 1.1 1区 哲学
Philosophia Mathematica Pub Date : 2022-04-01 DOI: 10.1093/philmat/nkac031
{"title":"Andrew Arana and Marco Panza, eds. Précis de philosophie de la logique et des mathématiques. Vol. 2. Philosophie des mathématiques","authors":"","doi":"10.1093/philmat/nkac031","DOIUrl":"10.1093/philmat/nkac031","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"31 1","pages":"146-146"},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42268848","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Jan von Plato.  Can Mathematics be Proved Consistent? 扬·冯·柏拉图。数学可以被证明是一致的吗？
IF 1.1 1区 哲学
Philosophia Mathematica Pub Date : 2022-04-01 DOI: 10.1093/philmat/nkac014
John W Dawson
{"title":"Jan von Plato.  Can Mathematics be Proved Consistent?","authors":"John W Dawson","doi":"10.1093/philmat/nkac014","DOIUrl":"10.1093/philmat/nkac014","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"31 1","pages":"104-111"},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46172108","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Maria Hämeen-Anttila and Jan von Plato, eds, Kurt Gödel: The Princeton Lectures on Intuitionism Maria Hämeen Anttila和Jan von Plato，编辑，Kurt Gödel：普林斯顿直觉主义讲座
IF 1.1 1区 哲学
Philosophia Mathematica Pub Date : 2022-04-01 DOI: 10.1093/philmat/nkac024
Ulrich Kohlenbach
{"title":"Maria Hämeen-Anttila and Jan von Plato, eds, Kurt Gödel: The Princeton Lectures on Intuitionism","authors":"Ulrich Kohlenbach","doi":"10.1093/philmat/nkac024","DOIUrl":"https://doi.org/10.1093/philmat/nkac024","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"31 1","pages":"112-119"},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68133731","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Joan Weiner. Taking Frege at His Word 琼·韦纳。相信弗雷格的话
IF 1.1 1区 哲学
Philosophia Mathematica Pub Date : 2022-04-01 DOI: 10.1093/philmat/nkac023
Roy T Cook
{"title":"Joan Weiner. Taking Frege at His Word","authors":"Roy T Cook","doi":"10.1093/philmat/nkac023","DOIUrl":"https://doi.org/10.1093/philmat/nkac023","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"31 1","pages":"120-124"},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68133730","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Jens Erik Fenstad. Structures and Algorithms: Mathematics and the Nature of Knowledge 延斯·埃里克·芬斯塔德。结构与算法：数学与知识的本质
IF 1.1 1区 哲学
Philosophia Mathematica Pub Date : 2022-04-01 DOI: 10.1093/philmat/nkac025
Julian C Cole
{"title":"Jens Erik Fenstad. Structures and Algorithms: Mathematics and the Nature of Knowledge","authors":"Julian C Cole","doi":"10.1093/philmat/nkac025","DOIUrl":"https://doi.org/10.1093/philmat/nkac025","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"31 1","pages":"125-131"},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68133729","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Mirja Hartimo, Frode Kjosavik, and Øystein Linnebo, eds. Critical Views On Logic
IF 1.1 1区 哲学
Philosophia Mathematica Pub Date : 2022-04-01 DOI: 10.1093/philmat/nkac029
{"title":"Mirja Hartimo, Frode Kjosavik, and Øystein Linnebo, eds. Critical Views On Logic","authors":"","doi":"10.1093/philmat/nkac029","DOIUrl":"10.1093/philmat/nkac029","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"31 1","pages":"145-145"},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42864196","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Mathematical Progress — On Maddy and Beyond 数学进展——论Maddy及其超越
IF 1.1 1区 哲学
Philosophia Mathematica Pub Date : 2022-04-01 DOI: 10.1093/philmat/nkac019
Simon Weisgerber
{"title":"Mathematical Progress — On Maddy and Beyond","authors":"Simon Weisgerber","doi":"10.1093/philmat/nkac019","DOIUrl":"10.1093/philmat/nkac019","url":null,"abstract":"A key question of the ‘maverick’ tradition of the philosophy of mathematical practice is addressed, namely what is mathematical progress. The investigation is based on an article by Penelope Maddy devoted to this topic in which she considers only contributions ‘of some mathematical importance’ as progress. With the help of a case study from contemporary mathematics, more precisely from tropical geometry, a few issues with her proposal are identified. Taking these issues into consideration, an alternative account of ‘mathematical importance’, broadly within the framework of progress Maddy offers, is developed with a special focus on mathematicians’ peer-review practice.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"31 1","pages":"1-28"},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/iel7/8016814/10056759/10056762.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48471608","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信
小红书