𝔖 Scriptorium
✦   LIBER   ✦

📁

证明与反驳:数学发现的逻辑

✍ Scribed by [英]伊姆雷.拉卡托斯


Publisher
上海译文出版社
Year
1997
Tongue
Chinese
Leaves
230
Series
二十世纪西方哲学译丛
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


科学发现的逻辑
✍ 卡尔·波普尔 (作者), 查汝强 (译者), 邱仁宗 (译者) 📂 Library 📅 1986 🏛 科学出版社 🌐 Chinese
科学发现的逻辑
✍ 卡尔·波普尔 📂 Library 📅 2008 🏛 中国美术学院出版社 🌐 Chinese

书签已装载, 书签制作方法请找 [email protected] 完全免费 《科学发现的逻辑》主要讨论知识理论的两个基本问题:划界和归纳问题。作者论证科学与非科学的划界标准不是可证实性而是可证伪性,科学的方法不是归纳法而是演绎检验法。书中提出的有关科学的性质和方法以及科学知识增长的独创性论点,对科学哲学、认识论、逻辑学、方法论以及科学史、自然科学、医学、设计理论、社会科学均有影响。一些著名科学家都认为他的方法符合科学研究的实际。

象数易学与逻辑
✍ 张延生 📂 Library 📅 2014 🏛 中央编译出版社 🌐 Chinese

<p>《象数易学与逻辑》从“象数易学”的“象数”逻辑的“象表意”、“象数表意”的模型论的角度,探讨了“一阴一阳之谓道”所对应的“形式逻辑”与“辩证逻辑”的逻辑特点及缺陷。特别是对“数理逻辑”的不可避免的必然性缺陷及“象数易学”的“辩证数理逻辑”的优势,进行了专门数理方面的探讨与证明。还探讨了不为人们广为重视的“形式逻辑”对政治、经济、社会、科学等误导及误识的某些作用与影响,并举例论述了“象数数理”是如何来寻我“数理逻辑”统一的同一性问题和方法的;强调并提倡了“先天八卦”的“类化”表述在“象数”表述系统和体系里的正确及合理性,以及其与“五行”本质“分类”定性学和“时间逻辑学”的“类集集合”的系统

数理逻辑: 证明及其限度
✍ 杨跃 / 郝兆宽 / 杨睿之 📂 Library 📅 2014 🏛 复旦大学出版社 🌐 Chinese

本书从零起点开始, 介绍了集合论基本知识, 命题逻辑, 一阶逻辑的语法和语义, 哥德尔完全性定理, 递归论基本知识, 简化版本的自然数模型, 哥德尔不完全性定理等内容.

科学发现的逻辑后记
✍ 卡尔·波普尔 (Karl Popper) 📂 Library 📅 2014 🏛 中国美术学院出版社 🌐 Chinese

书签已装载, 书签制作方法请找 [email protected] 完全免费 (若有印刷不清等问题也请发送相关邮件,会尽快更新的) 本书包含两个部分。第一部分为开放的宇宙—赞成非决定的论证,包括决定论的种类、“科学”决定论等四章内容;第二部分为量子论与物理学中的分裂,包括理解量子论及其多种解释、量子论的客观性等内容。