邏輯學(xué)‖大學(xué)課堂現(xiàn)場原聲收音

本課堂錄音來自XZ大學(xué)邏輯學(xué)導(dǎo)論課程錄音。既包括傳統(tǒng)演繹邏輯的內(nèi)容，例如概念理論（集合論基礎(chǔ)），直言命題直接推理（對當(dāng)關(guān)系，換質(zhì)法，換位法，換質(zhì)位法，附性法），三段論；同時也包括現(xiàn)代一階邏輯的內(nèi)容，例如一階邏輯的語言（符號語言），自然語言的形式化技巧，一階邏輯演算（命題演算，謂詞演算，關(guān)系演算），判定命題推理有效性的方法（真值表法，真值樹法，自然演繹法，重言式公理方法，范式法等），對普遍有效式，可滿足式等真值條件的討論……