作者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/m.aspx?n=bbs/logic/M.1460364695.A.F6D.html
1F:→ prawinra: 數理並不是邏輯。請參詳微積分歷史對趨近無限小的爭論。 01/24 20:20