Re: [請益] logic, mathematical logic的區別？
※ 引述《carelai (我心依舊)》之銘言：
: 以及它們與mathematical philosophy的區別，
: 關注點各有哪些不同？
: 求教，
: 謝謝。
這邊很乾。
一般來說在哲學圈內logic指得是形式邏輯和對於論證的研究
比較籠統一些，在電腦科學會指別的
Mathematical logic指邏輯在數學上的應用，分成四領域
Set
model,
recursion,
proof.
數學哲學是一門哲學，算是meta math，有些主張受邏輯影響很深，
譬如logicism就主張數學可以化約為邏輯，代表者是Frege.
Intuitionism則認為數學是種mental construction
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.136.196.56
※ 文章網址: https://www.ptt.cc/bbs/logic/M.1460364695.A.F6D.html
討論串 (同標題文章)