所屬欄目:文學期刊 熱度: 時間:
邏輯學研究
關注()搜論文知識網并非《邏輯學研究》的官網或雜志社,為客戶提供期刊征稿、論文發表等中介服務,在客戶與期刊雜志社之間搭建了一座省時、省力的便捷橋梁。本站與上百家正規期刊保持著多年的密切合作關系,切實提高客戶期刊發表的質量與效率。通過本站發表論文,客戶將獲得更大的選擇空間、更高的通過率、更快的發表速度、更滿意的服務質量。
期刊簡介:
《邏輯學研究》職稱論文評定,創刊于2008年,是中山大學和中國邏輯學會主辦,由教育部人文社會科學重點研究基地中山大學邏輯與認知研究所承辦的學術刊物,旨在積極推動我國邏輯學及相關學科的學術研究水平,增進海內外邏輯學及相關領域學術同行的交流。《邏輯學研究》雜志于2008年6月正式創刊。《邏輯學研究》將從此致力于為國內外邏輯學及相關領域的研究者提供一個發表學術創見、展開學術對話的卓越的平臺。是當前我國在邏輯學領域內唯一正式出版的專業刊物,目前為季刊,16開本,每期約120頁左右,逢每季度第三個月的18日出版。歡迎各界學者惠賜大作。
辦刊宗旨:
《邏輯學研究》為我國交叉學科領域的邏輯學研究提供公共交流平臺,積極反映我國邏輯學研究的最新成果,同時面向國際前沿,反映國內外數理邏輯、傳統邏輯、人工智能邏輯、邏輯應用等領域的最新研究動態;促進邏輯學學術交流,推動我國邏輯學研究的發展。
期刊榮譽:
《邏輯學研究》獲得中國邏輯學會2012年授予我刊"特別貢獻獎"。
期刊欄目:
符號邏輯、非形式邏輯、邏輯與哲學、邏輯與認知、邏輯與語言、邏輯與文化等
邏輯學研究雜志社征稿要求:
邏輯學研究征稿通知
1、文稿應資料可靠、數據準確、具有創造性、科學性、實用性。應立論新穎、論據充分、數據可靠,文責自負(嚴禁抄襲),文字要精煉。
2、姓名在文題下按序排列,排列應在投稿時確定。作者姓名、單位、詳細地址及郵政編碼務必寫清楚,多作者稿署名時須征得其他作者同意,排好先后次序,接錄稿通知后不再改動。
3、文章要求在2000-2400字符,格式一般要包括:題目、作者及單位、郵編、內容摘要、關鍵詞、正文、參考文獻等。文章標題字符要求在20字以內。
閱讀推薦:文獻
《文獻》季刊創刊于1979年,內容以披露國家圖書館的豐富館藏與其他公私家典藏的、國內新發現的、具有重要價值的各種古、近代文獻資料及其研究成果為主。著重發表古典文學、史學、古文獻學及訓詁學、校勘學、目錄學、版本學、辨偽學、輯佚學等研究論文,重視海外漢學研究進展,為促進和繁榮我國傳統文化及其研究事業服務。
邏輯學研究最新期刊目錄
再論同時性因果:答何朝安
摘要:在《同時性因果與概念可能性》(何文)一文中,何朝安對《同時性因果和物理學論證》(湯文)的論證進行了頗具創見的反駁。然而,本文通過進一步推敲表明,何文的反駁恐難成立:首先,何文作為主體論證給出的兩個思想實驗案例(“水道案例”和“汽車案例”),引入了“事實因果”,從而落在了湯文原初設定的討論范圍之外;其次,何文的兩個案例與湯文原初的“燈泡案例”在背景條件方面也有重要的不同預設,因此對這些案例進行簡單的...
多主體團隊開放類信息系統的邏輯
摘要:自從波蘭數學家Z. Pawlak建立信息表的邏輯系統以來,出現了各種信息系統及其邏輯的研究。開放類的一個重要特性是其成員可能會增加,部分映射和非滿映射為開放世界信息系統的信息表提供了工具。本文深入探討了多主體團隊開放類信息系統的邏輯基礎。首先,我們詳細闡述了多主體團隊開放類信息系統的語法和語義。系統的語法定義了系統中各種命題和推理的合法形式,而語義則明確了這些命題和推理在實際系統中的含義和解釋。在...
同時性因果與概念可能性
摘要:在《同時性因果和物理學論證》(2022)一文中,湯志恒試圖論證同時性因果在概念上是可能的。鑒于“原因先于結果”這一觀念的直觀合理性,我們有必要對湯志恒的論證進行嚴肅回應。本文即這樣一篇回應文章。我將力圖表明:一方面,湯志恒給出的思想實驗案例并不足以確立同時性因果的概念可能性;另一方面,似乎也存在某些一般性的理論理由來反對為同時性因果的概念可能性進行辯護的任何嘗試
判斷聚合的中立性、獨立性和系統性條件
摘要:判斷聚合指的是將多個人關于同一組命題的判斷聚合為他們的群體判斷。中立性、獨立性和系統性是三種重要的判斷聚合規范條件。在判斷聚合主流文獻中,系統性條件被認為邏輯等價于中立性條件和獨立性條件的合取,本文則將證明這并不是普遍成立的。本文得到了三個主要結論:(1)除非被判斷的命題之間是互協連通的,否則系統性并不等價于中立性和獨立性的合取;(2)系統性無條件地等價于中立性和無偏性的合取,其中無偏性是對獨立性...
論絕對的與相對的直謂主義
摘要:本文的主要任務是辯護王浩接受迭代歸納定義的廣義直謂主義的合法性。通過回顧直謂主義的歷史,本文發現直謂主義起源的多樣性導致了絕對的和相對的直謂主義的區分。這一區分不僅為拓展標準直謂主義提供了充分的動機,也為辯護王浩廣義直謂主義提供了論證框架。如果直謂主義必須絕對,根據王浩直覺與理想化的辯證法,接受迭代歸納定義是拓展直謂主義最自然和最終極的方法。如果直謂主義可以相對,根據迭代歸納定義方面的工作,王浩的...
貝葉斯確證理論的主觀性問題
摘要:先驗概率的主觀性導致貝葉斯確證理論含有主觀性因素,如何為這一主觀性因素提供合理辯護的問題即是所謂的“主觀性問題”。依據客觀的限制性原則和貝葉斯收斂定理對主觀性問題進行論證,可以為該問題的解決提供兩種可能的思路。然而,由于客觀的限制性原則和貝葉斯收斂定理存在缺陷,因此每一種解決思路都不具備全局性、無法兼顧主觀性問題的各個方面,從而難以完全消解貝葉斯確證理論的主觀性問題
《邏輯學研究》征稿啟事
摘要:<正>《邏輯學研究》雜志是由中山大學主管、中山大學與中國邏輯學會共同主辦并由教育部人文社會科學重點研究基地中山大學邏輯與認知研究所承辦的邏輯學專業學術刊物,旨在積極推動我國邏輯學及相關學科的學術研究,增進海內外輯學及相關領域學術同行的交流。《邏輯掌研究》是當前我國在邏輯學領域內唯一正式出版的專業刊物,采用中英雙語發表論文。《邏輯學研究》目前為雙月刊,逢雙月18日出版
弗雷格反心理主義及其批評、回應和反思
摘要:本文以弗雷格不同時期代表性論著為基礎,梳理概述了弗雷格對心理主義的批評。在《概念文字》中,弗雷格有意識地將心理學的方式排除在邏輯學研究之外。在《算術基礎》中,弗雷格明確將反心理主義作為核心的方法論原則,對算術和數學領域中的心理主義提出了批評。在《算術基本規律》中,弗雷格引入了“真”和“把某物看作真”的區別,論證了客觀的非現實的東西的合理性,由此對邏輯心理主義進行批評。在《思想》中,弗雷格為客觀的非...
關于子集空間的模態邏輯(英文)
摘要:在模態邏輯中,拓撲語義是鄰域語義的一個直觀而自然的特例。本文基于一個觀察:拓撲語義的滿足關系適用于比拓撲空間更一般的子集空間。本文給出了相對于子集空間所組成的類強可靠和強完全的最小模態邏輯,還證明了一些著名的模態邏輯(例如S4、S5和Tr)相對于多個重要的子集空間類(例如交結構和完備集域)的可靠性和完全性。其中本文不借助鄰域語義或關系語義而是直接使用典范模型方法的一些變種來證明一些已知結果,例如T...
濾語義下模態合取-蘊涵邏輯與模態交半格邏輯的離散與拓撲對應理論(英文)
摘要:本文對模態合取-蘊涵邏輯和模態交半格邏輯的離散與拓撲對應理論進行系統的研究。本研究的主要特點有三點:第一,本文中的語義結構基于半格而非一般的偏序;第二,命題變元解釋成濾而非向上封閉的集合,作為命題變元的一階版本的專名解釋成主濾而非單點生成的向上封閉的集合;第三,在拓撲對應理論中,可容許賦值的集合不對析取封閉,從而使拓撲阿克曼引理的證明與已有情形不同
帶有焦點的反事實條件句(英文)
摘要:學者很早就注意到,語言焦點可以影響反事實條件句的真值條件:給一個反事實條件句中的不同成分加上重音,會導致對其不同的理解。然而,現有的理論(包括范·芬特爾和魯斯的理論)都不能恰當地解釋這一現象。本文將考察這些理論的缺點,并提出一個新的解釋,即好問題–好答案解釋(Good Question-Answer,GQA)。根據這一觀點,焦點的功能在于激發問題–答案對,而涉及問題–答案對在語境中恰當性的語用壓力...
Lewisian連接邏輯(英文)
摘要:在連接邏輯中,有兩個核心觀點:第一,任何命題既不蘊涵其否定,也不被其否定所蘊涵;第二,如果一個命題蘊涵φ,則它不會蘊涵φ的否定。而在經典邏輯中,這兩個觀點均不成立,這使得為連接邏輯提供一種自然的語義面臨困難。通過結合Kleene的三值邏輯與Lewis的條件句邏輯,我們提出了一種自然的連接邏輯語義。我們給出了四個公理系統,用于刻畫新語義中不同類別的選擇模型。我們證明了這些邏輯的可靠性與完全性,并與一...
“我”的他指用法及視角意義(英文)
摘要:英語中的第一人稱代詞“我”被視為典型的卡普蘭索引詞(Kaplanian indexical)。“我”在語境中自指說話人:說話人為其直接指代的內容(content);而免于自我誤認是其自指意義(character)的重要特征。本文指出“我”在非內涵語境中有符合免于自我誤認,但指代他者的用法,包括使用“我”來模仿他人或進行反事實的自我描繪。我將論證:(一)這些用法對直接指稱理論中的“不可轉換性”和“剛...
Call for Submissions
摘要:<正>Founded in 2008 and appears bimonthly,Studies in Logic,the first journal in China dedicated to logic and related disciplines,publishes peer reviewed research articles in English and Chinese.T...
結合道義邏輯的人工智能論辯系統法律推理
摘要:形式論辯是一種可以在知識不一致情境下實現推理的非單調推理手段。在底層知識的表示上,通常可以根據需求靈活采用不同的邏輯形式。在已有的法律推理系統,例如法律本體、法律知識圖譜或法律專家系統中,智能化的法律推理往往依托于經典邏輯語言實現。這導致這些法律知識庫的推理無法反映出法律推理中的不確定性、不一致性、辯證性等特征,并限制了它們在法律任務中的實際應用。因此,本文結合了道義邏輯與形式論辯,刻畫基于法律語...
條件化、干預和影像——信念度改變的三徑路
摘要:本文討論了信念度改變的三種方式。前兩種是在獲得新的觀測信息或者干預信息的情況下,一個完美的理性主體如何改變信念度的方法;后一種是關于在可能世界的框架內如何對反事實指派概率的影像理論,同樣也是一種關于概率如何流變的理論。我將說明和比較在可能世界的框架如何來理解這三種信念度的改變。珀爾將以干預理論的運作機制為參考,修正劉易斯的影像理論,這個修正的影像理論相較于干預理論有其優勢,比如對于析取前件反事實的...
信念測度的拉姆齊方法及其新實用主義辯護
摘要:為使決策論具備堅實的概率基礎,以確保其成為一門科學理論,拉姆齊提出了一種基于行動的信念測度方法。然而,一些學者對拉姆齊方法的“可靠性”提出了質疑:一為倫理中立命題的存在性問題;二為“無殊”這一偏好關系的行動定義問題;三為實驗者的全能性問題。對于第一個問題,埃利奧特引入代數差分結構予以了解決。然而,另外兩個問題尚未得到很好的解決。新實用主義哲學主張通過對話交流來證成知識的主體間性,為我們解決余下的兩...
弗雷格量詞理論的康德來源
摘要:弗雷格有關對象和函項的區分的理論及其對存在命題和全稱命題的邏輯形式的分析,是其邏輯理論和哲學思想中最為核心的內容,通常也被認為是其最重要的理論創新。但是,康德有關存在概念和命題的邏輯形式的分析的討論表明,弗雷格這兩個核心思想均直接源自康德
推論主義視域下的歧視語意義探究——兼論非保守擴充與推論主義的兼容性問題
摘要:達米特認為推論主義可以恰當地解釋語言的動態變化過程,因為我們想要保持表達式意義在條件和后果兩個方面的協調性。布蘭頓認為歧視語的推論角色存在問題,我們有義務通過質疑主體的承諾資格來修正概念內容中的缺陷部分。達米特和布蘭頓這種推論優先的視角受到表征主義者霍恩斯比和威廉姆森的質疑。不過,基于布蘭頓的推論語義學與非保守擴充原則的兼容性,推論主義不會陷入兩難境地,由此可以更好地回應表征主義者的反駁意見
論邏輯后承概念——一種基于“符合真”的證明式定義
摘要:邏輯后承概念是邏輯學概念之根本,要理解什么是邏輯,首要的是要理解什么是邏輯后承。一般認為,邏輯后承具有必然性、形式性、題材中立性等特征。邏輯后承的證明式定義和語義模型定義都能一定程度上體現上述要求,但也都面臨質疑:證明式定義局限于具體的邏輯系統;語義模型定義需證明數學模型的合理性。通過對兩種定義的分析,加之謝爾“邏輯建基于世界”的觀點,可以構建一種基于“符合真”的邏輯后承的證明式定義,其既能直觀明...
相關文學期刊推薦
核心期刊推薦
copyright © m.digitalguess.com, All Rights Reserved
搜論文知識網 冀ICP備15021333號-3