Wittgenstein, Carnap, and Turing: Contrasting Notions of Analysis

图灵 哲学 认识论 认知科学 计算机科学 心理学 程序设计语言
作者
Juliet Floyd
出处
期刊:Palgrave Macmillan UK eBooks [Palgrave Macmillan UK]
卷期号:: 34-46 被引量:7
标识
DOI:10.1057/9780230379749_4
摘要

Carnap never once mentions Turing in his published writings. From an historical point of view this is unsurprising. For the implications of Turing's analysis of computability for the foundations of mathematics and physics, artificial intelligence, and the very architecture of science were to be developed and widely appreciated only after Carnap's death. Perhaps more significant, once Carnap had developed the position articulated in The Logical Syntax of Language his principle of tolerance licensed a form of conciliatory pluralism about positions in the foundations of mathematics. Carnap's pluralism construed debates over infinitary reasoning, impredicavity, logicism, and intuitionism as rationally tractable, but not through direct reasoning on behalf of truth claims. Rather, he proposed the development of formal axiomatizations of languages and pragmatic assessments of these. In subsequent work Carnap was not inclined to view these particular foundational debates as the primary arena for the articulation of his philosophy1. Instead, he broadened his conception of explication to account for the distinction between analytic and synthetic truth in all areas of science (Carus 2007a).KeywordsFormal SystemTuring MachineDefinite MethodIncompleteness TheoremDeduction TheoremThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
最长约 10秒,即可获得该文献文件

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

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
刚刚
脑洞疼应助yangguang2000采纳,获得10
刚刚
42发布了新的文献求助10
1秒前
Yucsh书慧123完成签到,获得积分10
1秒前
1秒前
李倇仪完成签到 ,获得积分10
1秒前
keyanbrant完成签到 ,获得积分10
2秒前
2秒前
wst1988完成签到,获得积分10
3秒前
研友_LkYKJZ完成签到,获得积分10
3秒前
mmm完成签到 ,获得积分10
3秒前
xzy666应助怕黑寻菡采纳,获得10
3秒前
荔枝QQ糖完成签到,获得积分20
3秒前
FashionBoy应助丰富的手机采纳,获得10
4秒前
YOLO完成签到,获得积分10
6秒前
负责赛凤完成签到,获得积分10
6秒前
6秒前
草原狼完成签到,获得积分10
7秒前
荔枝QQ糖发布了新的文献求助10
7秒前
8秒前
heyan完成签到,获得积分10
8秒前
猫野完成签到,获得积分10
8秒前
normankasimodo完成签到,获得积分10
8秒前
ssssssssci完成签到,获得积分10
8秒前
搜集达人应助碗千岁采纳,获得10
8秒前
善学以致用应助牙鸟采纳,获得10
9秒前
无花果应助阿甘采纳,获得10
10秒前
11秒前
11秒前
爆米花应助satchzhao采纳,获得10
12秒前
are完成签到,获得积分10
12秒前
雍远侵完成签到,获得积分10
12秒前
默默纲完成签到,获得积分10
13秒前
科研通AI2S应助曹梦梦采纳,获得10
13秒前
丘比特应助爱丽丝采纳,获得10
13秒前
Gin完成签到 ,获得积分10
14秒前
tuanheqi应助仙茅采纳,获得200
14秒前
明天好完成签到,获得积分10
14秒前
YJ完成签到,获得积分10
14秒前
14秒前
高分求助中
The late Devonian Standard Conodont Zonation 2000
Nickel superalloy market size, share, growth, trends, and forecast 2023-2030 2000
The Lali Section: An Excellent Reference Section for Upper - Devonian in South China 1500
Very-high-order BVD Schemes Using β-variable THINC Method 890
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小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3257371
求助须知:如何正确求助?哪些是违规求助? 2899231
关于积分的说明 8304717
捐赠科研通 2568521
什么是DOI,文献DOI怎么找? 1395145
科研通“疑难数据库(出版商)”最低求助积分说明 652955
邀请新用户注册赠送积分活动 630725