标签:#演繹理論

共 6 篇文章

心理主义

心理主义(Psychologism)是一种哲学立场,其核心主张是:心理学对于解释其他非心理的事实或法则起着基础作用。 概要 《牛津英語詞典》将心理主义界定为:“一种把心理学理论或观念理论看作是解释形而上学、认识论或意义之基础的观点或学说;(有时)以心理学上的事实来解释或推出数学、逻辑的法则。”约翰·洛克在《人類理解論》(1690)中持有一种认识论的心理主义,认为各种问题“可以通过对心灵运作过程的心理学研究得以完全解决”。 心理主义还包括…

双面真理说

双面真理说(Dialetheism)(也称为双面真理论)是指存在双面真理(dialetheia),即命题P和~P同为真的命题。 也就是说,在同一时间和同一意义上同时是“真”和“假”的悖论被称为双面真理。 这一学说反对基于亚里士多德的无矛盾律(有时又称为矛盾律),即P∧~P必然为假的传统逻辑观。 根据的说法,双面真理说在历史上并不乏主张者。像赫拉克利特关于一个人不能两次走进同一条河流的说法,黑格尔的辩证法,当代的说谎者悖论都承认存在着真的…

形式主义

形式主義()指在藝術、文學與哲學上側重形式而非內涵的思想。有形式主義行為的人,被稱為形式主義者。形式與內涵二者並存,没有無形式的內涵,也没有無內涵的形式。 宗教 宗教的形式主義,代表對儀式、典禮、與遵守規則的重視,更甚於其意義。 法律 形式主義是法學流派,著重審訊過程中的公平更甚於最後事实的結果。 批判 大致上,「形式主義」在文學藝術的範疇中,代表了著重於作品藝術技巧、美觀程度、用字遣詞的技巧;但並不著眼於作品的社會和歷史背景。 文學批…

邏輯主義

邏輯主義()是數學哲學中的一門學派,其理論推測數學是邏輯的延伸,甚至認為一切的數學皆可視為邏輯的原型。 創始者為戈特洛布·弗雷格。伯特蘭·羅素和阿弗烈·諾夫·懷海德在理論提出後擁戴此論。戈特洛布·弗雷格在伯特蘭·羅素提出羅素悖論後放棄了產生矛盾的樸素集合論。羅素和懷海德將此有關概念著於《数学原理》一書。哥德爾不完全定理有時被聲稱妨礙了此計劃的目的。它亦為二十世紀分析哲學的重要指標。

逻辑原子论

逻辑原子论是一种起源于20世纪早期的哲学理论,主要与伯特兰·罗素和路德维希·维特根斯坦的作品有关。此理论提出世界由“逻辑原子”组成,而“逻辑原子”是简单的、不可分割的元素。“逻辑原子”组成了“原子事实”,进而构成了宇宙的最终成分。所有复杂的实体都可以用它们来分析。该理论还强调语言和逻辑在认识世界中的重要性,并认为命题(propositions)是由逻辑原子组成的。原子事实可以通过基本命题来描述。复杂的命题则是由这些基本命题通过逻辑运算构…

瑣碎論

瑣碎論是一承認所有語句(也稱為命題)為真並且所有「P與非P」形式的矛盾句都為真的邏輯理論,其拉丁自源trivialis意思是「到處都能找到的」。 據此,瑣碎論者是指一個相信任何事都為真的人。 在古典邏輯中,瑣碎論是直接違反了亞里斯多德的非矛盾律。在哲學中,瑣碎論可以被視為懷疑論的完全對立面,懷疑論是懷疑或否定一切事為真,瑣碎論則是相信任何事都為真。在次協調邏輯中,可能使用「非瑣碎律」防止為真的矛盾在邏輯上藉由爆炸原理推導出瑣碎論。 理論…