一秸脱、古代的邏輯學(xué)
早在公元前五至三世紀(jì),就有了中國的墨辯焊傅、印度的因明和希臘的古典邏輯學(xué)剂陡。這三種本質(zhì)相同而表現(xiàn)形態(tài)相異的邏輯學(xué)類型狈涮,既反映了人類思維形式及其規(guī)律的普遍性,又反映了歷史環(huán)境和語言的不同而帶來的特殊性鸭栖。
中國的墨辯產(chǎn)生于戰(zhàn)國時(shí)期歌馍。它是后期墨家在總結(jié)先秦名辯思想的基礎(chǔ)上創(chuàng)立的。其代表著作是《墨辯》晕鹊,包括《墨子》書中的《經(jīng)上》松却、《經(jīng)下》、《經(jīng)說上》溅话、《經(jīng)說下》晓锻、《大取》和《小取》六篇。墨辯以“辯”為中心構(gòu)造了一個(gè)邏輯學(xué)的體系飞几。
印度的因明學(xué)砚哆,是古代邏輯學(xué)的一個(gè)分支,它分為古因明學(xué)和新因明學(xué)兩個(gè)階段循狰。古因明的主要之點(diǎn)是關(guān)于推理的五支作法:即宗(論題)窟社、因(論據(jù))、喻(例證)绪钥、合(應(yīng)用)灿里、結(jié)(結(jié)論)。
但是程腹,因明學(xué)由于本身存在內(nèi)容和形式之間的矛盾匣吊,在后來沒有得到進(jìn)一步的發(fā)展,最終被納入了亞里士多德的三段論體系寸潦。
希臘的古典邏輯學(xué)色鸳,是由公元前四世紀(jì)百科全書式的思想家亞里士多德創(chuàng)立的。里面六篇邏輯學(xué)著作:《范疇篇》(主要是討論語詞见转、概念)命雀;《解釋篇》(主要是討論命題);《前分析篇》(主要時(shí)論推理特別是三段論)斩箫;《后分析篇》(主要討論證明和定義)吏砂;《論辯篇》(主要是討論論辯的推理及方法):《辯謬篇》(主要是討論邏輯謬誤)。此外乘客,在他的主要哲學(xué)著作《形而上學(xué)》書中狐血,對(duì)形式邏輯的基本規(guī)律,也作了較詳細(xì)的論述易核。
繼亞里士多德之后匈织,斯多葛學(xué)派超出了亞氏的詞項(xiàng)邏輯,對(duì)復(fù)合命題又進(jìn)行了分類,并提出了一系列有關(guān)假言推理缀匕、選言推理和聯(lián)言推理的形式和規(guī)則纳决,奠定了命題邏輯的基礎(chǔ),從而使古典邏輯學(xué)體系趨于完善弦追。