天天做天天爱夜夜爽女人爽_婷婷丁香五月中文字幕_国产综合成人亚洲区_噜噜噜AV久久苍井空_人人爽人人片人人片AV_巨熟乳波霸若妻在线播放_年轻的妺妺伦理hd中文_日韩欧美精品一中文字幕_无码国产色欲XXXX视频_曰韩少妇内射免费播放

【賈青】STIT邏輯中群體行動(dòng)的哲學(xué)基礎(chǔ)及其刻畫方案初探

在STIT邏輯中，行動(dòng)者的獨(dú)立性是其群體行動(dòng)形式刻畫最基本的要求之一

【劉新文】沈有鼎的數(shù)理邏輯研究與傳承

沈有鼎是蜚聲中外的邏輯學(xué)家和哲學(xué)家，在數(shù)理邏輯領(lǐng)域有著重要的貢獻(xiàn)。

【李章呂】人與人工智能關(guān)系問題的馬克思主義哲學(xué)思考

隨著算法創(chuàng)新、算力突破和數(shù)據(jù)積累，以大語言模型（如ChatGPT、DeepSeek）為代表的生成式人工...

【李章呂 李斌】信念測度的拉姆齊方法及其新實(shí)用主義辯護(hù)

為使決策論具備堅(jiān)實(shí)的概率基礎(chǔ)，以確保其成為一門科學(xué)理論，拉姆齊提出了一種基于行動(dòng)的信念...

【劉新文】從金岳霖的觀點(diǎn)看莊子的“魚之樂”

《莊子》中關(guān)于“魚之樂”的討論涉及普遍的哲學(xué)難題。

【杜國平】“許諾”的三值邏輯研究

“許諾”是基本的倫理概念，其一指的是與道德規(guī)范相關(guān)的“道德承諾”

【杜國平】邏輯思維——?jiǎng)?chuàng)新引擎

邏輯思維能力是科技發(fā)展和社會進(jìn)步的必需能力。一直以來，國際上特別重視對于人的邏輯思維能...

【李章呂 潘易欣】斯多葛命題邏輯系統(tǒng)不完全性的新證明

斯多葛學(xué)派的命題邏輯理論是古希臘人對邏輯學(xué)的第二次偉大貢獻(xiàn)

【賈青】完成類連續(xù)行動(dòng)的邏輯刻畫

作為一種特殊類型的連續(xù)行動(dòng)，完成類連續(xù)行動(dòng)最大的特點(diǎn)就是行動(dòng)結(jié)果是否實(shí)現(xiàn)并不能完全決定...

【張昌盛】從具身智能到具身智能體

目前的人工智能的理論框架和算法充其量能實(shí)現(xiàn)一種具有多模態(tài)感知、可多場景執(zhí)行任務(wù)的弱-人工...

【杜國平】作為分析工具的排中律

排中律是邏輯三大基本規(guī)律之一。

【朱科夫】物理理論的形式體系與詮釋之辨析——基于對量子力學(xué)詮釋的考察

量子力學(xué)應(yīng)該如何被合理地詮釋，是物理哲學(xué)、乃至科學(xué)哲學(xué)中一個(gè)懸而未決的難題。

【劉新文】因果問題、邏輯與《論道》的形而上學(xué)體系

金岳霖在《論道》中建立起自己的形而上學(xué)體系。

【姜海霞 杜國平】兩種實(shí)驗(yàn)范式下三段論推理格效應(yīng)對比

三段論推理的格效應(yīng)是指三段論的中項(xiàng)位置會影響三段論推理的難度以及結(jié)論端項(xiàng)的順序。

【劉新文 譯】[英] F. 拉姆齊：普遍對象和“分析方法”

1925年，拉姆齊在《心靈》上發(fā)表論文《普遍對象》，認(rèn)為沒有理由將對象基本劃分為特殊對象和...

【劉新文】“符合”是“真”的所謂

“真”與世界所是的方式有關(guān)。自亞里士多德以來，最普遍的觀點(diǎn)是，“真”就是命題與世界的符合。

【朱科夫】量子力學(xué)中本體與邏輯的糾纏——從自洽歷史詮釋的視角看

對量子力學(xué)理論中本體和邏輯之間的關(guān)系的澄清是量子力學(xué)詮釋的一個(gè)重要問題。

【劉新文 譯】事實(shí)和命題

為了分析信念、判斷等概念，需要找到一種不以“真”這個(gè)概念為前提的方法。

【劉新文】邏輯常項(xiàng)問題——從金岳霖的觀點(diǎn)看

對“什么是邏輯”這個(gè)一般性問題的研究，當(dāng)前的邏輯哲學(xué)討論往往圍繞邏輯常項(xiàng)問題來進(jìn)行，邏...

【杜國平】括號表示法：一種中國式表示法

邏輯常項(xiàng)是各種邏輯系統(tǒng)研究的核心，使用合適的方式表示邏輯常項(xiàng)，可以為邏輯研究提供良好的...

【劉新文 譯】普遍命題和因果性

本文遵循信念指導(dǎo)我們的行動(dòng)這一皮爾士觀點(diǎn)，將基本信念描述為地圖，而具有普遍內(nèi)容的普遍信...

【杜國平】經(jīng)典否定蘊(yùn)涵系統(tǒng)定理的能行證明

借鑒亞里士多德的化歸方法，通過反復(fù)使用雙否消去規(guī)則、否定內(nèi)移規(guī)則、移動(dòng)排序規(guī)則、合并規(guī)...

【朱科夫】審視腦機(jī)接口背景下的“虛實(shí)之辨”

【賈青】活動(dòng)類連續(xù)行動(dòng)的邏輯刻畫

活動(dòng)類連續(xù)行動(dòng)的特點(diǎn)是其通過重復(fù)履行最小的行動(dòng)單元而構(gòu)成。

【劉新文】求是與求真——王路學(xué)術(shù)思想歷程

王路先生治學(xué)從教40年來，孜孜不倦追求純粹學(xué)術(shù)，成為我國邏輯學(xué)和哲學(xué)研究的著名學(xué)者

【劉新文 譯】弗蘭克·普倫普頓·拉姆齊：普遍對象

通常認(rèn)為，特殊對象和普遍對象之間有一個(gè)區(qū)分，前者是個(gè)體對象，后者是一般概念或抽象“對象”,

【胡義昭】如何理解蒯因的說謊者?

蒯因的說謊者,因?yàn)榭雌饋頉]有經(jīng)典說謊者當(dāng)中的那種自我指稱,對那種把說謊者悖論歸咎于無意義...

【張家龍 杜國平】張家龍先生學(xué)術(shù)訪談

【賈青】連續(xù)行動(dòng)的分類和邏輯刻畫

【杜國平】合舍系統(tǒng)及其定理的能行證明

【劉新文】論《邏輯》中的“所以”

在1935年出版的《邏輯》中，金岳霖系統(tǒng)地提出了自己的推論理論，并以討論“所以”的方式回應(yīng)...

【賈青】從邏輯到哲學(xué)——訪張家龍研究員

張家龍研究員是中國當(dāng)代著名邏輯學(xué)家，其主要研究領(lǐng)域包括現(xiàn)代邏輯、西方邏輯史、邏輯哲學(xué)、...

【賈青】相干邏輯的三種語義解釋

基本正系統(tǒng)B+ 是若干相干邏輯正系統(tǒng)的基礎(chǔ)，通過添加新的公理模式就能在B+ 的基礎(chǔ)上得到一系...

【杜國平】基于括號表示法的4值邏輯自然演繹系統(tǒng)

運(yùn)用括號表示法來構(gòu)建4值邏輯，其形式語言非常簡潔，公式表達(dá)準(zhǔn)確、無歧義，也更加簡短。

【王偉長】邏輯多元主義視域下的廣義量子邏輯

量子邏輯最早發(fā)源于伯克霍夫和馮諾依曼在1936年發(fā)表的文章《量子力學(xué)的邏輯》。

【劉新文】沈有鼎的“純邏輯演算”思想源流

在概述沈有鼎先生的《個(gè)體與真值的演算》與《“純邏輯演算”中不依賴量詞的部分》兩篇論文的...

【武宏志】理性論辯的關(guān)鍵能力:預(yù)想、構(gòu)建和回應(yīng)反論證

理性論辯能力是人類進(jìn)化的成果。論證和反論證的交互作用是理性論辯的基本形式。

【郭東輝】思辨邏輯中的“是”

形式邏輯在同一律下運(yùn)用系詞“是”,并不追究其根源。黑格爾試圖在邏輯關(guān)聯(lián)之內(nèi)給出“是”的規(guī)...

【王海若】高階模糊性現(xiàn)象的一種證實(shí)主義刻畫——論確定性算子在模糊性研究中的角色

在對模糊性現(xiàn)象的研究中,以往的模糊性研究者不約而同地選擇了確定性算子這個(gè)工具。一方面,不...

【徐敏】虛構(gòu)名字的接續(xù)主義指稱觀

針對創(chuàng)作語境下的虛構(gòu)名字用法,我們擁有兩個(gè)方面的直覺,即“無所指稱”直覺和“有所指稱”直...

【王海若】高階模糊性現(xiàn)象的一種證實(shí)主義刻畫——論確定性算子在模糊性研究中的角色

在對模糊性現(xiàn)象的研究中,以往的模糊性研究者不約而同地選擇了確定性算子這個(gè)工具。一方面,不...

【張子夏】海曼關(guān)于知識本性的理論及其問題

海曼關(guān)于知識本性的理論認(rèn)為,知識——包括個(gè)體事實(shí)性知識——是被事實(shí)引導(dǎo)的能力。這一主張與...

【謝耘】權(quán)衡論證的邏輯重構(gòu)及其理論困境

近年來，權(quán)衡論證成為非形式邏輯和當(dāng)代論證理論領(lǐng)域的一個(gè)重要議題，得到了持續(xù)的關(guān)注與探討。

【余俊偉】不同層次的邏輯多元論

邏輯多元論, 顧名思義, 認(rèn)為存在不止一種邏輯。而一元論則認(rèn)為只有一種邏輯

【楊曉軍】究竟如何理解“‘p’說p”?——試論前期維特根斯坦關(guān)于命題態(tài)度的分析

指稱論和真值條件論把語詞、命題的意義從神秘的觀念之域拉了出

【徐竹】因果的與他心的“理解”

在當(dāng)代專長研究“理解”問題的認(rèn)識論學(xué)者中, 格林 (Stephen Grimm) 的理論

【高華平】先秦名家及楚國名辯思潮考

“名家”這個(gè)名稱,是西漢初年由司馬談在《論六家之要指》中首先提出來的,先

【杜國平】圖形推理測量指標(biāo)相關(guān)性考察

圖形推理在測量學(xué)上的理論來源主要是文化公平性的要求

【順真】印度陳那、法稱“二量說”的邏輯確立

由陳那菩薩所奠基, 并由法稱菩薩集其大成的印度佛教量論因明學(xué)體系, 乃是“直承唯

【徐鵬】簡論皮爾士符號學(xué)中的標(biāo)指符號

標(biāo)指 (Index, 復(fù)數(shù)Indices) (1) 作為一類符號的名稱, 源于皮爾士對符號