计算与信息哲学导论 下PDF电子书下载

第五篇 语言和知识 457

第十六章 信息与内容&J．科恩 457

1．引言 457

2．适当条件 459

3．德莱斯基与信息流 460

4．认知最优 464

5．目的论 466

6．非对称依赖 469

7．结语 474

第十七章 知识&F．亚当斯 482

1．引言 482

2．德莱斯基的适于知识的信息理论 485

3．有意义的未决问题 488

4．当前的哲学争论 492

第十八章 计算机语言的哲学&G．怀特 501

1．引言：两个语义学方案 501

2．历史 502

2.1 第一种编程语言 503

2.2 类Algol语言 504

2.3 语义学的发展 505

3．语义学的应用 509

3.1 程序的同一性 510

3.2 函数程序 512

4．结语 515

4.1 什么是我们不感兴趣的 515

4.2 我们对什么感兴趣？ 517

4.3 技术性的工具 518

4.4 意义理论 520

第十九章 超文本&T．巴尔迪尼 524

1．引言：什么是超文本 524

2．关联和联结：超文本的二元起源 527

3．语言机器和身体 532

4．作为媒体的计算机和界面的问题 534

5．设计者作为第三方 537

6．界面的智能分布和人的未来 539

7．超文本、控制论和时空 542

8．结语 545

第六篇 逻辑和概率 553

第二十章 逻辑&G.A．安东内里 553

1．现代逻辑观念的起源 553

2．一阶逻辑 555

3．后承关系 559

4．可废止推理的多样性 564

5．非单调逻辑 566

6．结语 576

第二十一章 人工智能中的概率&D．吉尔斯 579

1．引言 579

2．1970年代专家系统的突破 579

3．1980年代贝叶斯网络的兴起 586

4．与人工智能概率相关的哲学问题 594

5．附录 601

第二十二章 博弈论：纳什均衡&C．比奇尔瑞 608

1．引言 608

2．策略互动 609

3．纳什均衡 610

4．正则形式精练 620

5．扩展形式博弈 621

6．扩展形式的精练 625

7．进化选择 629

8．注释 637

第七篇 科学和技术 643

第二十三章 科学哲学中的计算&P．萨伽德 643

1．引言 643

2．认知建模 644

2.1 发现 645

2.2 评价 647

3．工程性人工智能 649

3.1 发现 649

3.2 评价 651

4．计算理论 652

4.1 发现 652

4.2 评价 653

5．计算给科学哲学带来了什么 655

第二十四章 计算机科学的方法论&T．库伯恩 664

1．引言 664

2．计算机科学与数学 666

3．关于形式校验的争论 668

4．计算机科学中的抽象 672

5．结语 679

第二十五章 信息技术的哲学&C．米切姆 682

1．引言 682

2．什么是信息技术？ 683

3．信息技术的历史—哲学透视 685

4．信息技术与形而上学 690

5．当前的研究和未决问题 697

第二十六章 作为哲学方法论的计算机建模&P．格里姆 702

1．引言 702

2．科学和哲学中的计算机模型：益处及局限性 702

3．逻辑学 709

4．认识论 712

5．心智哲学、语言哲学和生物哲学 714

6．伦理学、社会和政治哲学 715

7．结语 719

主题索引 726

人名索引 785

译后记 793