《模態(tài)邏輯》：模態(tài)邏輯是研究可以用模態(tài)語(yǔ)言表述的推理形式的有效性的學(xué)問(wèn)。它是哲學(xué)邏輯的基礎(chǔ)，作為一門(mén)課程，它是邏輯學(xué)專(zhuān)業(yè)的基礎(chǔ)課之一。本講義介紹了句子層次上（命題型的）模態(tài)邏輯最基本的內(nèi)容。
本講義內(nèi)容多，知識(shí)面廣，定理定義表達(dá)嚴(yán)謹(jǐn)，例題習(xí)題豐富，可作為高等學(xué)校邏輯學(xué)專(zhuān)業(yè)本科生、研究生教材使用。
《數(shù)理邏輯》：數(shù)理邏輯是研究可以用數(shù)學(xué)語(yǔ)言表述的推理形式的有效性的學(xué)問(wèn)。它是全部邏輯的基礎(chǔ)，作為一門(mén)課程，它是邏輯學(xué)專(zhuān)業(yè)最重要的基礎(chǔ)課。
數(shù)理邏輯分兩大部分：句子邏輯和量化邏輯。本講義介紹句子邏輯的基本內(nèi)容和量化邏輯的基礎(chǔ)————一階邏輯的基本內(nèi)容。
本講義內(nèi)容豐富，知識(shí)面廣，表達(dá)嚴(yán)謹(jǐn)，習(xí)題例題豐富，可作為高等學(xué)校邏輯學(xué)專(zhuān)業(yè)本科生、研究生教材使用。
|
