最新圖書(shū)

本體邏輯是以人類(lèi)自然語(yǔ)言（本書(shū)以中文漢語(yǔ)言）為研究對象，并以命題是肯定或否定的語(yǔ)義性質(zhì)為真值形式的邏輯演算系統。關(guān)于邏輯系統和形式化語(yǔ)言的關(guān)系，現代著(zhù)名邏輯學(xué)家丘奇[美]曾經(jīng)這樣作出區別：“我們根據下面這一點(diǎn)在邏輯系統與形式化語(yǔ)言之間作出區分：前者是一種沒(méi)有對之確定任何一種解釋的、被抽象地系統表述的演算系統；而后者則是一種帶有對其表達式的意義指派的邏輯系統”。本體邏輯系統是一個(gè)基于哲學(xué)本體論的真值演算系統，即是一個(gè)以本體論定理為邏輯元定理，并且重新定義了真值形式——不以真假形式為真值形式的新的邏輯體系。