本書的主要內(nèi)容是基于更新框架來構(gòu)造祈使句的形式語義，給出有效性概念，刻畫涉及到祈使句的有效推理形式。力結(jié)構(gòu)描述了主體所受祈使力的狀態(tài)。力結(jié)構(gòu)對應(yīng)自由選擇，其是主體完成力結(jié)構(gòu)的方式。祈使句對應(yīng)力結(jié)構(gòu)。說一個祈使句的結(jié)果是之前的力結(jié)構(gòu)與這個祈使句對應(yīng)的力結(jié)構(gòu)的合并，除非這兩個力結(jié)構(gòu)不相容。一個力結(jié)構(gòu)接受一個祈使句當且僅當用
經(jīng)濟類考研用書，涉及：2010-2025年管理類綜合能力邏輯真題及解析。
當代倫理道德生活，根本上在于激發(fā)具體個體的生命的意義與價值。道德偶然論，是具體個體的道德生活理論，是當代的道德哲學理論。首先，道德偶然論是一種道德世界觀革命。道德是必然的還是偶然的，有四種可能：道德是必然的、道德是偶然的、道德既是偶然的又是必然的、道德既不是偶然的也不是必然的�！凹炔灰膊弧钡倪壿嬍堑赖绿摕o主義的表現(xiàn)，“
本書面向數(shù)學系和哲學系的研究生或高年級本科生，是模型論的進階內(nèi)容，讀者需要有一定的模型論基礎(chǔ)和抽象代數(shù)基礎(chǔ)。 第1章回顧了諸如可定義集、型、緊致性、飽和性、齊次性以及量詞消去等模型論的基本概念。 第2~4章分別介紹了強極小理論、ω-穩(wěn)定理論以及ω-穩(wěn)定群理論，屬于純粹模型論。在強極小理論中，基于預(yù)幾何的維數(shù)理論是核
\"現(xiàn)象學并非固定的理論和方法，而是一場思想運動、一種哲學姿態(tài)�！盎氐綄嵤卤旧怼标P(guān)注的是意識的發(fā)生、生存的經(jīng)驗、意義的建構(gòu)�，F(xiàn)象學家樂于凝視那些被傳統(tǒng)哲學和日常認知忽視的范疇，比如身體、情感、潛意識、遺忘、缺席、邊緣領(lǐng)域、日常生活等等。以現(xiàn)象學之名，當代哲學打開了豐富的研究論域，本書嘗試呈現(xiàn)其中的一小部分。比如，以現(xiàn)象
\"?現(xiàn)象學和分析哲學是否水火不容？?認知科學要完全拒斥現(xiàn)象學嗎？?現(xiàn)象學能否對認知科學有所貢獻，以及從中獲得靈感？?人能否被還原為“缸中之腦”？?面對AI、大數(shù)據(jù)、算法，我們?nèi)绾螢椤叭说拇嬖凇鞭q護？?我們的性別、身體、民族等觀念是如何被塑造的？?自然化的現(xiàn)象學，在何種意義上不可能，在何種意義上可能？?一門結(jié)合現(xiàn)象學、
本書涉及邏輯基礎(chǔ)，概念，聯(lián)言命題和選言命題，假言命題，直言命題和模態(tài)命題，論證邏輯解題方法，綜合推理等內(nèi)容及習題匯總。
本書闡述了塔斯基邏輯后承語義定義的產(chǎn)生背景、基本適當性條件與不足，剖析了其所面臨的必然性、形式性和邏輯性挑戰(zhàn)，創(chuàng)新性地從基本的人類狀況出發(fā)給出了基于同構(gòu)不變標準的一般不變性解決方案，并在評析、回應(yīng)學界對其邏輯后承語義定義及這一標準的批評過程中，澄清了一些混淆和誤解，討論了其定義和標準在哲學和邏輯學上的重要意義。 本書
本書使用文獻研究法討論了一個數(shù)理邏輯問題：弗協(xié)調(diào)集合論是否優(yōu)于經(jīng)典集合論。書稿從張清宇先生的弗協(xié)調(diào)命題邏輯出發(fā)構(gòu)造一階謂詞系統(tǒng)和集合論系統(tǒng)，并構(gòu)造模型證明其非平凡性，結(jié)果證明現(xiàn)有的弗協(xié)調(diào)集合論不優(yōu)于經(jīng)典集合論。本書同時還用模型證明了弗協(xié)調(diào)集合論的非平凡性，在一定意義上拓展了其應(yīng)用領(lǐng)域，實現(xiàn)了洛韋和塔拉法德的猜想，將廣義
研究中國古代邏輯的絕大多數(shù)思路，或是人物邏輯思想研究，如“墨子邏輯”，或是史的研究，如“先秦邏輯史”。本書的特點是對中國古代邏輯學整體而系統(tǒng)的概論，全書分六章：第一章“概論”，簡述中國古代邏輯史；第二章“名”講概念，第三章“辭”講命題，第四章“說”講推理，第五章“辯”講辯論，對應(yīng)西方古典形式邏輯體系的四大部分；第六章進
書單推薦
