归纳问题
归纳问题（）是一个经典的哲学问题，其怀疑先前的观察或经验对未观察或未经验的事物做出预测的合理性。从已观察到的事物（经验）推导至未观察到的事物的推论被称为归纳推理（Inductive Inferences，或称归纳法）。苏格兰哲学家大卫·休谟在其于1739年出版的著作《人性论》中首次提出了该问题。他认为不存在可以遵循的方式去证成归纳推理的任何结论，进而证明归纳推理是不受辩护的；同时他也提出一种实用主义的观点，即既便我们没有办法透过理性去证…
标签：#哲学逻辑
共 42 篇文章
哲學分析
哲學分析是西方哲學界在哲學分析傳統中涉及「拆解」(例如: 分析)的哲學議題最典型的眾多應用技巧的一個通稱。其中，幾乎無爭議地將概念分析視為最卓越的一種技巧。 依靠對事物，事件，人物，現象以及一切有形和無形的形而上，形而下的物質與非物質，現象與非現象進行的俱備嚴謹或者必要性發散的思維方式的整個探求和發現的行為軌跡，即是哲學分析。
因明學
因明（，），音譯-{醯}-都费陀，在古印度發展的佛教邏輯學和认识论，是一種思考方法，也是探索真理的工具之一，為五明之一。佛教、耆那教與印度教都受到它的影響。 概論 「明」字已包含了「學」之意。起源、發展於印度正理派的一種思維和推理方法。《因明大疏》上本曰：“明此因义，故曰因明。” 古因明 释尊以前，足目（）仙人创之。有成书于公元250至350年之间的《正理经》。 新因明 至佛灭后，大乘论师陈那集其大成。其著作包括《因轮抉择论》、《因明正…
次协调逻辑
次协调逻辑（）是尝试处理矛盾的逻辑。是不瑣碎的（non-trivial）逻辑，它允许矛盾。更加特殊的，它允许断言一个陈述和它的否定，而不导致谬论。在经典逻辑中，从矛盾中可以推导出任何东西；这叫做ex contradictione quodlibet（ECQ），也叫做爆炸原理。次协调逻辑就是ECQ不成立的逻辑系统。 次协调逻辑可以用来建模有矛盾的系统，但不是任何东西都能从它推导出来的。在标准逻辑中，必须小心的防止形成说谎者悖论的陈述；次协…
悖论
悖論，亦稱弔詭、，指結論自相矛盾或違背常理的命题。通常从逻辑上无法判断是非的称悖论，似是而非称佯谬；有时候违背直觉的正确论断也称为悖论。如二律背反即為一類，若假設某前提為真，经过一系列無誤的推理，結論却又得出它為假；反之亦然。古今中外有不少著名的悖论震撼了逻辑和数学的基础，刺激了人们求知和細究，吸引了古往今来许多思想家和爱好者的關注。解决悖论难题需要创造性的思考，悖论的解决又往往可以给人带来全新的观念。 悖論亦有“似是而非”的解釋，即用…
蕴涵
蕴涵（）在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系，一般使用⇒符号表示。 语义蕴涵 A \models B 语义蕴涵也叫做逻辑蕴涵（Logical Implication），亦可以读作 B 是 A 的语义后承。 陈述句子集合A语义上蕴涵句子集合B。 形式定义：集合A蕴涵集合B，当且仅当在其中A中所有句子都为真的所有模型中，在B中的所有句子也是真的。在图表形式中，它看起来像： 我们需要蕴涵的定义要求A的所有的模型也是B…
謬誤
謬論或（思考）謬誤是指錯誤的思維方式，著重邏輯與認知層面的錯誤。有部分邏輯書會將謬誤定義為錯誤的論證，但一般不會以此解釋謬誤的定義，因自相矛盾不是錯誤的論證，但屬謬誤的一種。惡意或別有所圖的謬論又稱作詭辯。 知識或資料的錯誤，稱作訛誤，但日常習慣上，謬論或謬誤有時也用於泛指錯誤的言論或想法。 一個論證必須有效且健全。所謂有效是指如果前提為真則結論必定為真，所謂健全是指除了有效以外，所有前提都是真的，健全的論證保證結論為真。反之，如果前提…
奥卡姆剃刀
所绘制的哥白尼系统，见于《和谐大宇宙》（1708）。太阳、月亮和其他太阳系行星的运动既可以用地心说来解释，也可以用日心说来解释，都同样有效，然而日心说只需要7个基本假设，地心说却需要多得多的假设。在尼古拉·哥白尼的《天体运行论》序言中指出了这一点。]] 奥卡姆剃刀（），又稱简约法则（），是由14世纪方济会修士奥卡姆的威廉（约1287年至1347年，英格兰萨里郡奥卡姆人氏）提出的邏輯學法则。如果关于同一个问题有许多种理论，每一种都能作出同…
描寫文
描寫文（）是指描寫物件或人物的文章。多數是把一件事物或人深度描寫。描寫或描述是指通过语言生动再现某一场所、物体、个体、群体或其他实体的形象。描寫是四種表達方式之一。 描寫對象與手法 外貌描寫：透過描寫人物的外貌刻劃人物。 行動（動作）描寫：透過人物的行為和動作的描寫，在話語中反映出人物性格透過描寫人物的心理活動，反映出人物內心的思想和性格。 直接描寫 直接描寫的作用是從描寫對象的正面進行描寫，把眼前景物如實寫來。 間接描寫 間接描寫是通…
不可分者同一性原理
不可分者同一性原理，也称不可区分之同一性等（），是一条本体论的原理（principle），它是指如果两个实体或客体有完全相同的性质，那么它们必然不可区分。用符号语言表达为：实体 x 与 y 等同，仅当 x 的所有谓词，同样是 y的所有述词，且反之亦然。所谓两样事物不可区分，即指两个名字下指涉同一样事物。所以有可能，没有完全等同的两样东西（比如两片雪花的形状并不相同）。但这仅仅是形而上学的一条原理，而非自然科学的。它的逆命题是同一者不可分…
現實
现实在日常应用时意味着“客观存在的事物”或“合于客观情况的条件”。现实是所有實際事物或是存在事物的總和，和全然想像虛構的事物相反。现实一詞也常用來表示事物本体论的狀態，包括其是否存在等。哲學上有關自然現實、存在或是存有的問題可以在本体论（西方哲學中，形上學的主要分支之一）脈絡下討論。許多哲學領域中也有本体论的問題，像是科学哲学、宗教哲学、数学哲学、哲学逻辑這些哲學領域中都有。相關的問題包括是否只有實際物體才是真實的（物理主义）、現實在本…
辩证逻辑
辯證邏輯（Dialectical Logic），是在黑格尔和马克思主义哲学中辩证法部分中，发展起来的思想规律体系； 有观点认为辩证法特点为，拒绝经典逻辑中的无矛盾律， 旨在并补充或取代形式化的经典逻辑。 辩证逻辑和形式逻辑之间关系的确切性质在苏联和中国内部引起了激烈争论。与传统逻辑的抽象形式主义相反，马克思主义意义上的辩证逻辑被发展为运动和变化的逻辑，用于考察具体形式。 也有观点认为，辩证法家的主要共识是辩证法不违反形式逻辑的无矛盾律，…
參考
參考或指涉（）是兩個對象之間的關係，此種關係由「指定」或「連接」之概念維繫。在此關係中，前一個對象被稱作「提及」（）了后者；而后一個被提及的對象被稱作前者的（）。參考有著許多種類的形式，包括思想；由聽覺（擬聲詞）、視知覺、嗅覺、觸覺承載的感知；情緒、與他人的關係時空坐標、象徵性形式語言、；以及物理對象或能量放射。在某些情況下，參考會被有意地設爲隱藏從而不被觀察者所見（如密碼學）。 參考在人類活動與知識的不同領域中扮演著許多角色，因此該詞…
循环报道
循环报道，又称虚假确认，是来源批判的情况之一，指一-{zh-tw:則;zh-cn:条}-消息以-{zh-tw:看似;zh-cn:貌似}-出自多个独立来源的形式出现，实际上仅出自单一来源。部分情况中，该问题由其他媒體搜集信息時過於草率而引起。然而在其他情形下，这个情况可能是由原创者故意捏造多個相似內容的來源，目的是增强人民对其信息的信任。 循环报道问题会在不同领域出现，包括、新闻和学术研究。尤其在军事情报方面，由于原始来源传递错误信息的可…
定义
定義（）指对某个概念（词语、短语或一组符号）进行的简要并完整的陈述，透過列出一個事件或者一個物件的基本屬性，來描述、解釋、說明、規範一個词语、一個概念、一个事物的意義；被定義的事物或物件叫做被定義項，其定義叫做定義項。 定义是人为订定的，是用以规范词语或概念的陈述，属于一种规定，并非推理的结论。定义必须具备明确性和完整性，以防止误解；定义应避免循环性、笼统性、情绪性，且最好不用相反词语来界定。 定义 定义有不同的方式和技术： 詞法定義描…
自然语言
自然语言（）通常是指一种自然地随文化演化的语言。汉语、英语、法語、西班牙語、葡萄牙文、日语、韓語、義大利文、德文为自然语言的例子。而世界语则为人工语言，即是一种由人特意为某些特定目的而创造的语言。 不过，有时所有人类使用的语言（包括上述自然地随文化演化的语言，以及人工语言）都会被视为“自然”语言，以相对于如编程语言等为计算机理解用而设的“人造”语言。这一种用法可见于自然语言处理一词中。自然语言是人类交流和思维的主要工具。 參看 语言列表…
斯多葛派逻辑
斯多葛派逻辑（）是由古希腊的斯多葛学派哲学家发展的命题逻辑系统。它是古典世界两大逻辑系统之一，主要由公元前3世纪斯多葛学派的第三任院长克律西波斯建立。克律西波斯的逻辑与亚里士多德的词项逻辑不同，因为它基于对命题的分析而不是词项的分析。斯多葛逻辑中的最小单位是一个“可断言”（斯多葛逻辑中的命题等价物），它是诸如“今天是一天”之类的陈述的内容。 可断言具有真值，因此它们的真或假仅取决于其表达时间（例如，可断言“现在是晚上”只有在确实是晚上时…
概念文字
《概念文字》（）是1879年出版的戈特洛布·弗雷格写的一本关于逻辑学的书。书的完整标题把它标识为《模仿算术的纯思维的形式语言》。这本小书无可争议是亚里士多德之后在逻辑学领域最重要的出版物。弗雷格开发他的形式逻辑系统的动机是类似于莱布尼兹对“演算推论器”的渴望。 弗雷格定义了逻辑演算来支持他在数学基础上的研究。“概念文字”是书和其中定义的演算二者的名字。 记号和系统 演算介入了量词，因而本质上是经典的谓词逻辑，尽管使用了一种特异的二维记号…
比量
比量（），因明學術語，為量之一，為推論、推理之意。 三支論法 在陳那的因明系統中，比量必須滿足三支，即宗、因、喻三者。 舉例而言： #宗：聲無常。 #因：所作性故。 #喻：瓶等（同喩），虛空等（異喩）。 註釋
邏輯真理
邏輯真理是逻辑学的一个基础概念，它指的是无须借助于感性经验，仅依靠一定的逻辑推理即可判定其必然为真的真理。逻辑真理虽不直接与经验相联系，但这并不意味着它与经验徹底无关。 所有的哲学逻辑 以及逻辑推论都可以被看作是对逻辑真理的阐述。 逻辑真理通常被认为是必然的真理。这意味着它们在任何情境下都不可能不是真的。认为逻辑陈述是必然真实的观点有时被看作等同于说逻辑真理在所有可能的世界中都是真实的。 理性主义哲学家曾提出，逻辑真理的存在无法用经验主…