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