Kant(37岁)有错吗

IF 0.5 3区 哲学 Q3 HISTORY & PHILOSOPHY OF SCIENCE
Tiago Rezende de Castro Alves
{"title":"Kant(37岁)有错吗","authors":"Tiago Rezende de Castro Alves","doi":"10.1080/01445340.2022.2142461","DOIUrl":null,"url":null,"abstract":"According to Schroeder-Heister 2018, proof-theoretic semantics is ‘an alternative to truth-condition semantics. It is based on the fundamental assumption that the central notion in terms of which meanings are assigned to certain expressions of our language, in particular to logical constants, is that of proof rather than truth. In this sense proof-theoretic semantics is semantics in terms of proof. Proof-theoretic semantics also means the semantics of proofs, i.e. the semantics of entities which describe how we arrive at certain assertions given certain assumptions.' This text advocates that proof-theoretic semantics, as described above, was an approach to semantical issues in logic that appeared in mainstream philosophical literature at least a couple of centuries before the tradition of general proof theory (cf. Prawitz 1971) came into being. This is done by means of an interpretive analysis of Kant’s 1762 essay Die falsche Spitzfindigkeit der vier syllogistischen Figuren, in which two theses are argued: first, that the issue of justifying the logical validity of inferences is approached by Kant in this text, in a strong sense, in terms of proofs; and second, that the purpose of his effort is to establish a point concerning the semantical equivalence between certain distinct valid inferences.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":"44 1","pages":"273 - 286"},"PeriodicalIF":0.5000,"publicationDate":"2022-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Kant’s Die falsche Spitzfindigkeit and Proof-theoretic Semantics\",\"authors\":\"Tiago Rezende de Castro Alves\",\"doi\":\"10.1080/01445340.2022.2142461\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"According to Schroeder-Heister 2018, proof-theoretic semantics is ‘an alternative to truth-condition semantics. It is based on the fundamental assumption that the central notion in terms of which meanings are assigned to certain expressions of our language, in particular to logical constants, is that of proof rather than truth. In this sense proof-theoretic semantics is semantics in terms of proof. Proof-theoretic semantics also means the semantics of proofs, i.e. the semantics of entities which describe how we arrive at certain assertions given certain assumptions.' This text advocates that proof-theoretic semantics, as described above, was an approach to semantical issues in logic that appeared in mainstream philosophical literature at least a couple of centuries before the tradition of general proof theory (cf. Prawitz 1971) came into being. This is done by means of an interpretive analysis of Kant’s 1762 essay Die falsche Spitzfindigkeit der vier syllogistischen Figuren, in which two theses are argued: first, that the issue of justifying the logical validity of inferences is approached by Kant in this text, in a strong sense, in terms of proofs; and second, that the purpose of his effort is to establish a point concerning the semantical equivalence between certain distinct valid inferences.\",\"PeriodicalId\":55053,\"journal\":{\"name\":\"History and Philosophy of Logic\",\"volume\":\"44 1\",\"pages\":\"273 - 286\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2022-11-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"History and Philosophy of Logic\",\"FirstCategoryId\":\"98\",\"ListUrlMain\":\"https://doi.org/10.1080/01445340.2022.2142461\",\"RegionNum\":3,\"RegionCategory\":\"哲学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"HISTORY & PHILOSOPHY OF SCIENCE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"History and Philosophy of Logic","FirstCategoryId":"98","ListUrlMain":"https://doi.org/10.1080/01445340.2022.2142461","RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"HISTORY & PHILOSOPHY OF SCIENCE","Score":null,"Total":0}
引用次数: 1

摘要

根据Schroeder-Heister 2018年的说法,证明论语义是“真条件语义的替代方案”。它基于这样一个基本假设:赋予我们语言的某些表达,特别是逻辑常数以意义的中心概念,是证明概念,而不是真理概念。在这个意义上,证明论语义学是在证明方面的语义学。证明论语义学也意味着证明的语义学,即描述我们如何在给定某些假设的情况下得出某些断言的实体的语义学本文主张,如上所述,证明论语义学是解决逻辑中语义问题的一种方法,这种方法在一般证明论传统(cf. Prawitz 1971)形成之前至少几个世纪就出现在主流哲学文献中。这是通过对康德1762年的论文《三段论谬误》的解释性分析来完成的,其中论证了两个论点:第一,康德在这篇文章中,在强烈的意义上,从证明的角度来探讨论证推理的逻辑有效性的问题;第二,他努力的目的是在某些不同的有效推论之间建立一个语义等价的点。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Kant’s Die falsche Spitzfindigkeit and Proof-theoretic Semantics
According to Schroeder-Heister 2018, proof-theoretic semantics is ‘an alternative to truth-condition semantics. It is based on the fundamental assumption that the central notion in terms of which meanings are assigned to certain expressions of our language, in particular to logical constants, is that of proof rather than truth. In this sense proof-theoretic semantics is semantics in terms of proof. Proof-theoretic semantics also means the semantics of proofs, i.e. the semantics of entities which describe how we arrive at certain assertions given certain assumptions.' This text advocates that proof-theoretic semantics, as described above, was an approach to semantical issues in logic that appeared in mainstream philosophical literature at least a couple of centuries before the tradition of general proof theory (cf. Prawitz 1971) came into being. This is done by means of an interpretive analysis of Kant’s 1762 essay Die falsche Spitzfindigkeit der vier syllogistischen Figuren, in which two theses are argued: first, that the issue of justifying the logical validity of inferences is approached by Kant in this text, in a strong sense, in terms of proofs; and second, that the purpose of his effort is to establish a point concerning the semantical equivalence between certain distinct valid inferences.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
History and Philosophy of Logic
History and Philosophy of Logic 综合性期刊-科学史与科学哲学
CiteScore
0.80
自引率
0.00%
发文量
24
审稿时长
>12 weeks
期刊介绍: History and Philosophy of Logic contains articles, notes and book reviews dealing with the history and philosophy of logic. ’Logic’ is understood to be any volume of knowledge which was regarded as logic at the time in question. ’History’ refers back to ancient times and also to work in this century; however, the Editor will not accept articles, including review articles, on very recent work on a topic. ’Philosophy’ refers to broad and general questions: specialist articles which are now classed as ’philosophical logic’ will not be published. The Editor will consider articles on the relationship between logic and other branches of knowledge, but the component of logic must be substantial. Topics with no temporal specification are to be interpreted both historically and philosophically. Each topic includes its own metalogic where appropriate.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信