亲爱的研友该休息了!由于当前在线用户较少,发布求助请尽量完整的填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!身体可是革命的本钱,早点休息,好梦!

On Gödel's Way In: The Influence of Rudolf Carnap

经验主义 哲学 数学基础 认识论 领域 教条 实证主义 数学哲学 反身代词 历史 神学 考古
作者
Warren Goldfarb
出处
期刊:The Bulletin of Symbolic Logic [Cambridge University Press]
卷期号:11 (2): 185-193 被引量:15
标识
DOI:10.2178/bsl/1120231629
摘要

The philosopher Rudolf Carnap (1891–1970), although not himself an originator of mathematical advances in logic, was much involved in the development of the subject. He was the most important and deepest philosopher of the Vienna Circle of logical positivists, or, to use the label Carnap later preferred, logical empiricists. It was Carnap who gave the most fully developed and sophisticated form to the linguistic doctrine of logical and mathematical truth: the view that the truths of mathematics and logic do not describe some Platonistic realm, but rather are artifacts of the way we establish a language in which to speak of the factual, empirical world, fallouts of the representational capacity of language. (This view has its roots in Wittgenstein's Tractatus , but Wittgenstein's remarks on mathematics beyond first-order logic are notoriously sparse and cryptic.) Carnap was also the thinker who, after Russell, most emphasized the importance of modern logic, and the distinctive advances it enables in the foundations of mathematics, to contemporary philosophy. It was through Carnap's urgings, abetted by Hans Hahn, once Carnap arrived in Vienna as Privatdozent in philosophy in 1926, that the Vienna Circle began to take logic seriously and that positivist philosophy began to grapple with the question of how an account of mathematics compatible with empiricism can be given (see Goldfarb 1996 ). A particular facet of Carnap's influence is not widely appreciated: it was Carnap who introduced Kurt Gödel to logic, in the serious sense. Although Gödel seems to have attended a course of Schlick's on philosophy of mathematics in 1925–26, his second year at the University, he did not at that time pursue logic further, nor did the seminar leave much of a trace on him. In the early summer of 1928, however, Carnap gave two lectures to the Circle which Gödel attended, or so I surmise. At these occasions, Carnap presented material from his manuscript treatise, Untersuchungen zur allgemeinen Axiomatik , that is, “Investigations into general axiomatics”, which dealt with questions of consistency, completeness and categoricity. Carnap later circulated this material to various people including Gödel.

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
GdYOUNGRAY发布了新的文献求助10
刚刚
嗯哼举报不在乎过求助涉嫌违规
5秒前
Jasper应助利邦采纳,获得10
9秒前
14秒前
依依发布了新的文献求助10
14秒前
嗯哼举报qmx求助涉嫌违规
14秒前
超人不会飞完成签到,获得积分10
16秒前
嗯哼举报小胡求助涉嫌违规
24秒前
26秒前
嗯哼应助内向宛凝采纳,获得10
27秒前
采薇发布了新的文献求助10
32秒前
35秒前
Hello应助采薇采纳,获得10
43秒前
49秒前
Endonucl发布了新的文献求助20
55秒前
56秒前
利邦发布了新的文献求助10
1分钟前
1分钟前
哭泣恋风完成签到 ,获得积分10
1分钟前
SciGPT应助just123采纳,获得30
1分钟前
烟花应助失重心跳采纳,获得10
1分钟前
1分钟前
共享精神应助科研通管家采纳,获得10
1分钟前
1分钟前
SciGPT应助利邦采纳,获得10
1分钟前
1分钟前
优秀的张四月完成签到,获得积分10
1分钟前
失重心跳发布了新的文献求助10
1分钟前
neocc123完成签到 ,获得积分10
1分钟前
jyy发布了新的文献求助30
1分钟前
失重心跳完成签到,获得积分10
1分钟前
2分钟前
依依发布了新的文献求助10
2分钟前
科研通AI2S应助NJ采纳,获得10
2分钟前
务实蜻蜓完成签到,获得积分10
2分钟前
英姑应助科研通管家采纳,获得10
3分钟前
敏1997发布了新的文献求助10
3分钟前
嗯哼应助水水采纳,获得20
3分钟前
Lucas应助敏1997采纳,获得10
3分钟前
h0jian09完成签到,获得积分10
3分钟前
高分求助中
The late Devonian Standard Conodont Zonation 2000
The Lali Section: An Excellent Reference Section for Upper - Devonian in South China 1500
Nickel superalloy market size, share, growth, trends, and forecast 2023-2030 1000
Smart but Scattered: The Revolutionary Executive Skills Approach to Helping Kids Reach Their Potential (第二版) 1000
Mantiden: Faszinierende Lauerjäger Faszinierende Lauerjäger 800
PraxisRatgeber: Mantiden: Faszinierende Lauerjäger 800
A new species of Coccus (Homoptera: Coccoidea) from Malawi 500
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3244714
求助须知:如何正确求助?哪些是违规求助? 2888396
关于积分的说明 8252799
捐赠科研通 2556854
什么是DOI,文献DOI怎么找? 1385423
科研通“疑难数据库(出版商)”最低求助积分说明 650157
邀请新用户注册赠送积分活动 626265