非經典邏輯:修订间差异

求闻百科,共笔求闻
添加的内容 删除的内容
(我来啦, replaced: 學 → 学 (2), 與 → 与 (2), 動 → 动, 發 → 发 (2), 詞 → 词, 體 → 体, 類 → 类, 為 → 为, 種 → 种, 論 → 论, 統 → 统 (3), 現 → 现, 機 → 机, 計 → 计, 題 → 题 (2), 經 → 经, 歸 → 归, 隨著 → 随着, 輯 → 辑 (10), 這 → 这, 謂 → 谓)
(机器人:清理不当的来源、移除无用的模板参数)
第1行: 第1行:
{{Philosophy-sidebar |expanded=Branches}}
{{Philosophy-sidebar |expanded=Branches}}
'''非经典邏辑'''({{lang-en|Non-classical logic}})<ref name=NonClassical>{{cite web |title=Logic, Non-Classical, encyclopedia.com|url=https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/logic-non-classical}}</ref><ref name="Burgess2009i">{{cite book|author=John P. Burgess|author-link=John P. Burgess|title=Philosophical logic|url=https://books.google.com/books?id=k32w3_wjBoYC&pg=PR7|year=2009|publisher=Princeton University Press|isbn=978-0-691-13789-6|pages=vii–viii}}</ref>,也称为'''替代逻辑'''({{lang-en|alternative logics}}),概括了在[[经典邏辑]]体系之外的各种[[形式系统]],这些系统在[[命题邏辑|命题]]及[[谓词逻辑|谓词]]等方面,与[[经典邏辑]]不同。<ref name=Classical_Logic>{{cite web |title=Shapiro, Stewart and Teresa Kouri Kissel, "Classical Logic", The Stanford Encyclopedia of Philosophy (Winter 2020 Edition), Edward N. Zalta (ed.)|url=https://plato.stanford.edu/archives/win2020/entries/logic-classical}}</ref>
'''非经典邏辑'''({{lang-en|Non-classical logic}})<ref name=NonClassical>{{cite web |title=Logic, Non-Classical, encyclopedia.com|url=https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/logic-non-classical}}</ref><ref name="Burgess2009i">{{cite book|author=John P. Burgess||title=Philosophical logic||year=2009|publisher=Princeton University Press|isbn=978-0-691-13789-6|pages=vii–viii}}</ref>,也称为'''替代逻辑'''({{lang-en|alternative logics}}),概括了在[[经典邏辑]]体系之外的各种[[形式系统]],这些系统在[[命题邏辑|命题]]及[[谓词逻辑|谓词]]等方面,与[[经典邏辑]]不同。<ref name=Classical_Logic>{{cite web |title=Shapiro, Stewart and Teresa Kouri Kissel, "Classical Logic", The Stanford Encyclopedia of Philosophy (Winter 2020 Edition), Edward N. Zalta (ed.)|url=https://plato.stanford.edu/archives/win2020/entries/logic-classical}}</ref>


[[哲学逻辑]]<ref name="Burgess2009i" /><ref>Theodore Sider, Logic for philosophy, Oxford University Press, 2010</ref>被理解为包含并专注于非经典逻辑,尽管该术语还有其他含义。
[[哲学逻辑]]<ref name="Burgess2009i" /><ref>Theodore Sider, Logic for philosophy, Oxford University Press, 2010</ref>被理解为包含并专注于非经典逻辑,尽管该术语还有其他含义。