邏輯學：關于推理和論證的科學
?? 可以認為主要包含形式邏輯和辯證邏輯，又以形式邏輯為主要的研究內(nèi)容
?? 古希臘的形式邏輯：亞里士多德
?? 古中國：墨翟
?? 古印度：因明論
邏輯學的發(fā)展：
?? 德謨克里特《論自然》
?? 亞里士多德《工具論》
?? 萊布尼茨-引進人工符號表示邏輯法則（思維計算化）浩考，構造形式系統(tǒng)
?? 康德提出辯證邏輯永部；黑格爾/馬克思正式建立辯證邏輯學科
?? 布爾《邏輯的數(shù)學分析》建立布爾代數(shù)
?? 羅素《數(shù)學原理》等辫愉，確立現(xiàn)代數(shù)理邏輯體系
邏輯學分類：基本邏輯高职、應用邏輯或粮、廣義邏輯
?? 基本邏輯：
????????????????? 經(jīng)典邏輯：命題邏輯器虾、謂詞邏輯、關系邏輯浇垦、同一邏輯炕置、詞項邏輯（三段論）等
????????????????? 非經(jīng)典邏輯：多值邏輯、模糊邏輯男韧、直覺主義邏輯等
????????????????? 元邏輯
????????????????? 歸納邏輯
論證和推理的區(qū)別：
?? 論證：論點/論據(jù)/論證過程
??
