【中華百科全書●科學●邏輯】
<P align=center><STRONG><FONT size=5>【<FONT color=red>中華百科全書●科學●邏輯</FONT>】</FONT></STRONG></P> <P><STRONG>一、邏輯之指稱邏輯（Logic）或邏輯學或理則學，是一門研究各種對確推理（ValidReasoning）與其程序的學科，而這些推理與其程序只依命題之形式，但不涉及內容。</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>現代邏輯或廣義的形式邏輯是指：由萊布尼茲創發，經布爾（G.Boole）、裴爾斯（C.S.Peirce）、弗列格（G.Frege）、皮阿諾（G.Peano）、勒斯尼烏斯基（S.Leniewski）、羅素（B.Russell）、塔斯基（A.Tarski）、郭德勒（K.Gödel）、喬琪（A.Church）及後來人發展出來的各種研究之成果之總稱，也即喬琪於西元一九三六年編輯的符號邏輯文獻（BibliographyofSymbolicLogic）及其創辦的國際性的符號邏輯雜誌（JournalofSymbolicLogic），在每期的評論欄（ReviewSections）所涵蓋的各種領域之總稱。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG></P>
<P><STRONG></STRONG> </P>引用：http://ap6.pccu.edu.tw/Encyclopedia/data.asp?id=10409
頁:
[1]