证明与反驳:数学发现的逻辑
✍ Scribed by [英]伊姆雷.拉卡托斯
- Publisher
- 上海译文出版社
- Year
- 1997
- Tongue
- Chinese
- Leaves
- 230
- Series
- 二十世纪西方哲学译丛
- Category
- Library
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
书签已装载, 书签制作方法请找 [email protected] 完全免费 《科学发现的逻辑》主要讨论知识理论的两个基本问题:划界和归纳问题。作者论证科学与非科学的划界标准不是可证实性而是可证伪性,科学的方法不是归纳法而是演绎检验法。书中提出的有关科学的性质和方法以及科学知识增长的独创性论点,对科学哲学、认识论、逻辑学、方法论以及科学史、自然科学、医学、设计理论、社会科学均有影响。一些著名科学家都认为他的方法符合科学研究的实际。
<p>《象数易学与逻辑》从“象数易学”的“象数”逻辑的“象表意”、“象数表意”的模型论的角度,探讨了“一阴一阳之谓道”所对应的“形式逻辑”与“辩证逻辑”的逻辑特点及缺陷。特别是对“数理逻辑”的不可避免的必然性缺陷及“象数易学”的“辩证数理逻辑”的优势,进行了专门数理方面的探讨与证明。还探讨了不为人们广为重视的“形式逻辑”对政治、经济、社会、科学等误导及误识的某些作用与影响,并举例论述了“象数数理”是如何来寻我“数理逻辑”统一的同一性问题和方法的;强调并提倡了“先天八卦”的“类化”表述在“象数”表述系统和体系里的正确及合理性,以及其与“五行”本质“分类”定性学和“时间逻辑学”的“类集集合”的系统
本书从零起点开始, 介绍了集合论基本知识, 命题逻辑, 一阶逻辑的语法和语义, 哥德尔完全性定理, 递归论基本知识, 简化版本的自然数模型, 哥德尔不完全性定理等内容.
书签已装载, 书签制作方法请找 [email protected] 完全免费 (若有印刷不清等问题也请发送相关邮件,会尽快更新的) 本书包含两个部分。第一部分为开放的宇宙—赞成非决定的论证,包括决定论的种类、“科学”决定论等四章内容;第二部分为量子论与物理学中的分裂,包括理解量子论及其多种解释、量子论的客观性等内容。