《邏輯與哲學(xué)的交融》選取了近年來(lái)國(guó)外關(guān)于分析哲學(xué)的新研究論文,分為“弗雷格”“克里普克”“威廉姆森”“哈克”四個(gè)專題。其中“弗雷格”專題的三篇譯文是國(guó)外學(xué)者對(duì)弗雷格哲學(xué)當(dāng)代價(jià)值的再發(fā)現(xiàn),“克里普克”專題的三篇譯文是克里普克繼歷史凼果理論之后創(chuàng)立的新的哲學(xué)理論。威廉姆森與哈克分別是英國(guó)牛津大學(xué)和美國(guó)邁阿密大學(xué)的哲學(xué)教授,
本書由專業(yè)碩士聯(lián)考輔導(dǎo)專家鄢玉飛根據(jù)多年教學(xué)經(jīng)驗(yàn)提煉總結(jié),首創(chuàng)邏輯應(yīng)試“2+4+6+8學(xué)習(xí)法”,將復(fù)雜深?yuàn)W的邏輯簡(jiǎn)化為2種思維定式、4種命題關(guān)系、6大論證模板、8大秒殺方法。本書將學(xué)習(xí)內(nèi)容與科學(xué)學(xué)習(xí)方案相結(jié)合,全書分為26個(gè)模塊,結(jié)合本書設(shè)計(jì)的10天二輪學(xué)習(xí)方案,使用起來(lái)簡(jiǎn)單、粗暴、神效,能有效幫助眾多零基礎(chǔ)考生獲得邏
多值邏輯在人們的現(xiàn)實(shí)生活中獲得廣泛的應(yīng)用,但一直未能尋找到一個(gè)讓人們滿意的、符合人們直覺的語(yǔ)義解釋。特征函數(shù)語(yǔ)義、代數(shù)語(yǔ)義、可能世界語(yǔ)義從多值邏輯的數(shù)學(xué)性質(zhì)構(gòu)建多值邏輯語(yǔ)義模型,這些模型預(yù)設(shè)了語(yǔ)義解釋的**性,卻忽視了人們把握和理解多值邏輯語(yǔ)言的過(guò)程,破壞了語(yǔ)義解釋的現(xiàn)實(shí)基礎(chǔ)。本書主要探討多值邏輯的語(yǔ)義解釋問(wèn)題,從多主
本書在吸收先秦邏輯研究成果的基礎(chǔ)上,提出了先秦邏輯是一種“正名-用名”論證類型。“正名”是確立名之所指,體現(xiàn)“名”的哲學(xué)功能;“用名”表現(xiàn)在具體論證中,反映論證者對(duì)于“名”的正確使用問(wèn)題!罢-用名”邏輯不似亞里士多德三段論在直言命題邏輯常項(xiàng)結(jié)構(gòu)中確立邏輯變項(xiàng)外延關(guān)系,它是基于價(jià)值觀的一種邏輯,而不同于印度信仰的邏輯
主要內(nèi)容是MBA多年來(lái)邏輯試題的集結(jié)。作者按照知識(shí)點(diǎn),將邏輯真題分類歸結(jié),從中發(fā)掘規(guī)律,總結(jié)解法,從而在考場(chǎng)上以不變應(yīng)萬(wàn)變,得心應(yīng)手,通過(guò)考試。
本書主要內(nèi)容為管理類聯(lián)考邏輯應(yīng)試輔導(dǎo)用書,涉及參加MPA、MBA、會(huì)計(jì)碩士、工程碩士等幾個(gè)專業(yè)學(xué)位綜合能力考試科目的內(nèi)容,具體包含邏輯推理和常識(shí)判斷等,本書主要是進(jìn)行考前知識(shí)掌握。
本書主要內(nèi)容為管理類聯(lián)考邏輯應(yīng)試輔導(dǎo)用書,涉及參加MPA、MBA、會(huì)計(jì)碩士、工程碩士等幾個(gè)專業(yè)學(xué)位綜合能力考試科目的內(nèi)容,具體包含邏輯推理和常識(shí)判斷等邏輯應(yīng)試試題420道,合計(jì)420題。
奎因是20世紀(jì)世界著名的邏輯學(xué)家與哲學(xué)家。本書是對(duì)奎因邏輯哲學(xué)思想的初探?蛑铝τ跒檫壿嫷陌l(fā)展注入哲學(xué)的動(dòng)機(jī),把邏輯與集合論和其他科學(xué)區(qū)分開來(lái),確立了邏輯的范圍。本書分別在句子邏輯、量化邏輯和模態(tài)邏輯等方面討論了奎因的邏輯思想,進(jìn)而以邏輯一元論來(lái)描述奎因的邏輯觀。奎因的邏輯觀基本上是通過(guò)對(duì)一階邏輯的特征描述建立起來(lái)的
本書內(nèi)容包括:點(diǎn)式歸約初探;傳遞邏輯格中有窮深度瀕表格邏輯的語(yǔ)義判據(jù);傳遞邏輯格中無(wú)窮深度瀕表格邏輯的語(yǔ)義判據(jù);淑表格邏輯語(yǔ)義判據(jù)的應(yīng)用等。
本書收錄了作者自上個(gè)世紀(jì)80年代以來(lái)、30多年間所發(fā)表的研究現(xiàn)象學(xué)運(yùn)動(dòng)的主要論文,體現(xiàn)了作者對(duì)現(xiàn)象學(xué)運(yùn)動(dòng)的一種認(rèn)識(shí),F(xiàn)象學(xué)運(yùn)動(dòng)的創(chuàng)始人胡塞爾畢生追求嚴(yán)密科學(xué)的哲學(xué),試圖以內(nèi)在建構(gòu)的純粹意識(shí)作為本體論的基礎(chǔ);而現(xiàn)象學(xué)運(yùn)動(dòng)的繼承者更多堅(jiān)持純粹意識(shí)的超越性,力圖以胡塞爾晚年關(guān)于意識(shí)與世界關(guān)系的思考,重建現(xiàn)象學(xué)的價(jià)值和意義。這
本書分為上下兩篇。上篇從認(rèn)知邏輯出發(fā),主要考察以知識(shí)為載體的信息變化規(guī)律。具體涉及的內(nèi)容有多主體認(rèn)知邏輯、動(dòng)態(tài)邏輯、動(dòng)態(tài)認(rèn)知邏輯以及一類程序性知識(shí)的哲學(xué)邏輯描述(知道行動(dòng)的一種表述)。下篇主要從以信念為載體的信息變化出發(fā),具體涉及的內(nèi)容有經(jīng)典信念修正理論、有窮依賴網(wǎng)絡(luò)理論、邏輯博弈、博弈邏輯、聯(lián)盟邏輯以及社會(huì)軟件中的邏
2006年至2011年,清華大學(xué)劉奮榮教授主持并組織了范本特姆教授的著名論文和著作的翻譯工作,以"邏輯之門"為題,分四卷由科學(xué)出版社出版。參加這一項(xiàng)目的國(guó)內(nèi)老中青邏輯學(xué)者共有30多人。每一卷譯著出版之后,著譯者們都舉辦一次學(xué)術(shù)交流活動(dòng),然后以書面形式安排一次學(xué)術(shù)訪談。這些訪談廣泛涉及了范本特姆教授在數(shù)理邏輯、哲學(xué)邏輯、
《山西大學(xué)分析與人文哲學(xué)叢書邏輯與哲學(xué):真與意義融合與分離之爭(zhēng)的探究》以真與意義基于邏輯與哲學(xué)對(duì)語(yǔ)句真的兩種不同解讀為主線,從邏輯的視角探究自然語(yǔ)言意義理論中真與意義融合、分離之爭(zhēng)的焦點(diǎn)、實(shí)質(zhì)及根源,指出邏輯與真是化解這場(chǎng)爭(zhēng)論的關(guān)鍵所在,邏輯上對(duì)真的語(yǔ)義論達(dá)成共識(shí)之時(shí),也就是自然語(yǔ)言意義理論中真與意義之爭(zhēng)得以解決之時(shí)。
本書分為地緣政治與國(guó)家安全、軍事技術(shù)交流與合作、新戰(zhàn)略空間與國(guó)際安全、跨文化交際與文化安全四個(gè)專題,集中對(duì)國(guó)家安全、特別是軍事安全和軍事科技領(lǐng)域的相關(guān)議題進(jìn)行了探討,其中既有理論分析又有在地緣政治方面和安全領(lǐng)域的實(shí)際探討,具有一定學(xué)術(shù)價(jià)值和現(xiàn)實(shí)意義。
《邏輯學(xué)十五講》(第二版)是作者在北京大學(xué)開設(shè)全校通選課“邏輯導(dǎo)論”的講稿。全書系統(tǒng)地論述了邏輯學(xué)的基本理論范疇和思維方法、技能,并介紹了歷史上幾位重要的邏輯學(xué)家。通過(guò)閱讀本書,讀者不難對(duì)邏輯學(xué)有一個(gè)基本的輪廓性了解,對(duì)其最基本的內(nèi)容、方法和技能有較好的掌握,更重要的是激發(fā)進(jìn)一步學(xué)習(xí)的興趣。
《生活中的邏輯學(xué)》一書主要是從社會(huì)生活中選取成功與失誤的許多典型事例,進(jìn)行邏輯分析,用具體事例說(shuō)明邏輯推理的無(wú)窮妙用,深入淺出地教會(huì)我們運(yùn)用邏輯推理的方法規(guī)則,提高我們的邏輯推理能力。
就本質(zhì)而言,它是一種“說(shuō)明性推理”或者說(shuō)是“非證明性推理”,在人的認(rèn)知活動(dòng)中發(fā)揮著重要作用。關(guān)于這種推理模式的理論研究和現(xiàn)實(shí)關(guān)注,有助于提升非證明性推理的合理性,尤其有助于給歸納難題以特定的理論解答與合理辯護(hù)。本書作為說(shuō)明性推理問(wèn)題的一項(xiàng)專門研究,其內(nèi)容適合于哲學(xué)、醫(yī)學(xué)、法學(xué)、考古、人工智能等專業(yè)的師生及研究者閱讀,也
《互模擬理論的邏輯研究》從邏輯的角度研究互模擬,主要以模型論、集合論和模態(tài)邏輯的知識(shí)為背景,意在從歷史層面揭示互模擬在模態(tài)邏輯和非良基集合論中的發(fā)展過(guò)程,從理論層面探討互模擬的基本理論和作用。 《互模擬理論的邏輯研究》的內(nèi)容主要包括互模擬的發(fā)展歷程、互模擬的基本理論和性質(zhì)、互模擬與模態(tài)等價(jià)之間的關(guān)系、基于互模擬的模態(tài)