開啟 App
進階/全文搜尋
IP : 216.73.216.52
首頁 人文 詳目頁
0人評分過此書

谓词抽象研究

作者
：
魏燕侠 (著)
出版社
：
社会科学文献出版社
出版日期
：
2017
閱讀格式
：
EPUB
書籍分類
：
人文 ; 學術書
學科分類
：
哲學類
ISBN
：
9787520111737
谓词抽象 模态逻辑 弗雷格 表列系统 罗素 葛梯尔问题

本館館藏

借閱規則
當前可使用人數 30 人
借閱天數 14 天
線上看 0 人
丨
借閱中 0 人
選擇分享方式

推薦本館採購書籍

您可以將喜歡的電子書推薦給圖書館，圖書館會參考讀者意見進行採購

讀者資料
圖書館 ：
* 姓名 ：
* 身分 ：
系所 ：
* E-mail ：
※ 我們會寄送一份副本至您填寫的Email中
電話 ：
※ 電話格式為 區碼+電話號碼(ex. 0229235151)/ 手機格式為 0900111111
* 請輸入驗證碼 ：
更新驗證碼
本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand 定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。
谓词抽象研究

評分與評論

請登入後再留言與評分
幫助
您好，請問需要甚麼幫助呢?
使用指南
借閱規則 使用教學
常見問題
下載書紐教育版

客服專線：0800-000-747

服務時間：週一至週五 AM 09:00~PM 06:00

聯絡我們
loading