作者aletheia (安安咪)
看板logic
标题Re: [请益] logic, mathematical logic的区别?
时间Mon Apr 11 16:51:32 2016
※ 引述《carelai (我心依旧)》之铭言:
: 以及它们与mathematical philosophy的区别,
: 关注点各有哪些不同?
: 求教,
: 谢谢。
这边很乾。
一般来说在哲学圈内logic指得是形式逻辑和对於论证的研究
比较笼统一些,在电脑科学会指别的
Mathematical logic指逻辑在数学上的应用,分成四领域
Set
model,
recursion,
proof.
数学哲学是一门哲学,算是meta math,有些主张受逻辑影响很深,
譬如logicism就主张数学可以化约为逻辑,代表者是Frege.
Intuitionism则认为数学是种mental construction
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.136.196.56
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/logic/M.1460364695.A.F6D.html
1F:→ prawinra: 数理并不是逻辑。请参详微积分历史对趋近无限小的争论。 01/24 20:20