现代形式逻辑入门

图书标准信息

• 作者 王寅
• 出版社 重庆大学出版社
• 出版时间 2023-10
• 版次 1
• ISBN 9787568936262
• 定价 79.00元
• 装帧 平装
• 开本 16开
• 页数 280页
• 字数 364千字

【内容简介】

《现代形式逻辑入门:中文、英文》由王寅著

【目录】

第一章经典形式逻辑简介

002第一节形式逻辑之初衷

011第二节工具论

018第三节四种判断之间的关系

第二章现代形式逻辑简介

026第一节简史

040第二节弗雷格的批判

049第三节数理逻辑的哲学意义

第三章谓词演算

056第一节从函数到谓词演算

058第二节个体词(个体常项、专指语)

061第三节量词

071第四节谓词常项与变项

074第五节谓词演算的公理和定理

075第六节小结

……