【中華百科全書●科學●邏輯】

楊籍富

【中華百科全書●科學●邏輯】

 

一、邏輯之指稱邏輯（Logic）或邏輯學或理則學，是一門研究各種對確推理（ValidReasoning）與其程序的學科，而這些推理與其程序只依命題之形式，但不涉及內容。

 

現代邏輯或廣義的形式邏輯是指：由萊布尼茲創發，經布爾（G.Boole）、裴爾斯（C.S.Peirce）、弗列格（G.Frege）、皮阿諾（G.Peano）、勒斯尼烏斯基（S.Leniewski）、羅素（B.Russell）、塔斯基（A.Tarski）、郭德勒（K.Gödel）、喬琪（A.Church）及後來人發展出來的各種研究之成果之總稱，也即喬琪於西元一九三六年編輯的符號邏輯文獻（BibliographyofSymbolicLogic）及其創辦的國際性的符號邏輯雜誌（JournalofSymbolicLogic），在每期的評論欄（ReviewSections）所涵蓋的各種領域之總稱。

 

 

引用：http://ap6.pccu.edu.tw/Encyclopedia/data.asp?id=10409