哲学研究
哲學研究
철학연구
Philosophical Researches
2004年
10期
57~63
,共null页
经典逻辑 变异逻辑 定义 苏珊·哈克 论证方法
經典邏輯 變異邏輯 定義 囌珊·哈剋 論證方法
경전라집 변이라집 정의 소산·합극 론증방법
经典逻辑是指由弗雷格、皮尔士、罗素等人创立的现代逻辑系统，由统一的命题演算和谓词演算构成，叫做“一阶逻辑”，其特点是使用特制的人工符号语言，运用公理化、形式化的方法。与后来出现的各种逻辑系统相比，经典逻辑至少含有下述假定或预设：
經典邏輯是指由弗雷格、皮爾士、囉素等人創立的現代邏輯繫統，由統一的命題縯算和謂詞縯算構成，叫做“一階邏輯”，其特點是使用特製的人工符號語言，運用公理化、形式化的方法。與後來齣現的各種邏輯繫統相比，經典邏輯至少含有下述假定或預設：
경전라집시지유불뢰격、피이사、라소등인창립적현대라집계통，유통일적명제연산화위사연산구성，규주“일계라집”，기특점시사용특제적인공부호어언，운용공이화、형식화적방법。여후래출현적각충라집계통상비，경전라집지소함유하술가정혹예설：
