Rikunarita-ORG/Wikinium huggingface dataset:
# 概念論[编辑]

**概念論**（英語：Conceptualism），中古經院哲學的一個學派，他們的立場介於唯名論與唯實論之間，被認為是折衷後的唯名論者。跟唯名論者相同，他們認為共相只存在於心靈之中，沒有外部的實體；但是他們認為一旦共相被建立之後，能被理性所認識，它就是存在的，不會因為特定人死去而消失。第一個概念論哲學家，被認為是彼得·阿伯拉。奥卡姆的威廉是另一個重要的概念論人物。黑格尔的《逻辑学》中同样有概念论，这种概念指的是自由的，具体的概念而不是抽象概念。黑格尔认为概念是真正的，本质的存在。
# 實在論[编辑]

**實在論**（英語：realism），也譯為**唯實論**，西方哲學本體論的一種觀點，認為本體論中的現實（Reality），是獨立於人類感官、信仰、概念與想法之外的。而不像一些唯心論者所認為，現實是源自於意識或是受意識所影響。（譬如量子神秘主義）

現今世界認為的實在論，與古希臘、或中古經院哲學所說的實在論，在內容上並不相同，有時甚至是相反的。古代的實在論者承繼了古希臘哲學家柏拉圖的看法，他們相信，我們所相信為真實的一切都只是近似於真實的存在。人類感官所感受到的世界，只是真實的一種投射，並不是真實。

## 歷史

### 古希臘哲學

柏拉圖理型論。

### 經院哲學

實在論起源於中古歐洲經院哲學家對於柏拉圖理型論的一種詮釋，他們認為共相是存在的。唯名論與概念論者，反對這種看法。

### 近代哲學

康德派哲學家認為，實在論是與唯心主義相反的一種論點。

### 現代哲學

卡尔·波普尔把「實在論」（realism）这个含糊的术语分为本质主义和实在论（realism）。本质主义被他用作唯名論（nominalism）的对立面，实在论则只被用来作为唯心主義（idealism）的对立面。

波普尔自己是一个实在论者（与唯心主义对立），但同时他也是一个方法论上的唯名論者（与本质主义对立）卡尔·波普尔认为本质主义会不可避免的阻碍科学发展：

> 「因为科学并没有如亚里士多德所想的那样，通过一种对本质知识的逐渐的百科全书式的积累而发展，却是靠一种更具革命性的方法而发展。」
> 「本质主义不仅鼓励了文字游戏，而且还导致了论证的幻想破灭，即理性的幻想破灭。经院哲学和神秘主义以及对理性的绝望，这些都是柏拉图和亚里士多德的本质主义的不可避免的结果。」
>
>
>
> 「我相信本质主义是站不住脚的。它意味着一种终极解释的观念，因为一种本质主义解释既不需要、也不可能再作进一步的解释了。」

一些持操作主义观念的学者例如彼得·梅达沃声称应该对概念进行操作定义而非探寻其「终极」本质，并认为公众希望科学回答本质主义问题的倾向会造成公众对科学的误解。作家罗伯特·赖特解释道：「牛顿的地心引力理论也有些地方不尽人意......毕竟‘超距作用’这一概念如何实现？牛顿回避了这样的问题......从牛顿开始，物理学家们都以此为榜样......不再试图去解释为什么物体会遵循电磁学或地心引力规律。」（Wright，1988）。

## 物理

### 古典物理

古典物理相當於哲學的實在論。在1935年，愛因斯坦與波多爾斯基及羅森聯名在美國《物理评论》雜誌上發表了題為「量子力學能完整地解釋實在性嗎？」的論文，再次反駁量子世界觀的正確性。這篇論文後來被稱為「EPR悖論」。該論文一開始便先定義「實在」性：在完全不影響一體系下，如果我們能精確地預測到某一物理量，則此一物理量應該是確實存在的，與我們是否去觀察它無關。EPR所探討的「實在」問題，與三百多年前牛頓和萊布尼茲所爭論之「絕對空間是否實際存在」非常相似。

### 近代物理:對於量子力學的詮釋

#### 「隱變數」途徑

愛因斯坦的支持者玻姆為了解釋量子力學的波函數所提出的理論，認為量子力學在決策方面有實用性，但是並沒有真正展現出物理實相。認為除了波函數之外，另有更洞見的方法可以來描述世界，並且用那種方式呈現的世界演化，是完全可預測的(科學決定論)。

#### 反實在論途徑

#### 「模態實在論」

在此種觀點，實在性無法和圖像或理論切割開來，也就是說，物理的理論或世界的圖像其實是一種模型（通常具有數學的特性），以一組規則將模型裡的要素與觀測連結起來。就模態實在論而言，問一個模型是否為真並沒有意義，只能問它是否與觀測相符。如果兩個模型均與觀測相符，則沒有哪一個比另一個真實，可以視情況採用任一種較方便的模型。譬如托勒密的地心說宇宙模型，以及哥白尼的日心模型。或是在牛頓力學適用的情形下，牛頓的萬有引力理論和廣義相對論都是符合觀測的模型。

## 心理學

### 素樸實在論

素樸實在論（Naïve realism）：以心理學的觀點，可以視作一種認知偏誤中的社會偏誤：相信自己所見所聞即是真相、是客觀且不帶偏見的，認為這是顯而易見的事實，理性人一定會同意自己，不同意的人一定是資訊不足、懶惰、不理性或有偏見。（見認知偏誤列表）

## 參考文獻

* 正義論
* 唯名論
* 概念論
* 實證論
* 科学实在论

* 陳嘉映：〈關於科學實在論的幾點思考〉 （页面存档备份，存于互联网档案馆）（2008）
# 唯我論

**唯我論**（英語：Solipsism）是一种认为只有自己的心靈是唯一可以確認为真实存在的哲學理論。

## 字源

唯我論是由拉丁語：solus，意為唯獨、唯一，以及拉丁語：ipse，意為自我，所組成。字面意思為我。

## 歷史

唯我論的歷史悠久，在文獻上，最早提出這個命題的，是古希臘詭辯學派哲學家高爾吉亞。

## 種類

### 形上學唯我論

形上学唯我论是唯我论的一种。基于主观唯心主义。形上学的唯我论者认为，自我是唯一真实的存在，包括外部世界和其他人在内的所有现实都是该自我的代表，且没有独立的存在。形上学唯我论有很多种，例如卡斯帕尔·黑尔（Caspar Hare）的现实唯我主义（或透视现实主义），在这种理论中，其他人是有意识的，但他们的经历却根本不*存在*。

### 認識論唯我論

认识论上的唯我论认为只有主体自己脑海中的内容是可知的，外部世界则是不可知的（但不一定是虚假的）。此外，外部世界是不是独立于自己的头脑或心灵而存在也是不可知的。例如，可能是一个类似于神的存在控制了心灵的感觉，使主体感觉好像有一个外部世界，而它的大部分（不包括类似于神的存在和自己）是虚假的。

### 方法論唯我論

## 要点

唯我论并不等同于否认物质的存在。

形上学唯我论世界观的特征之一是怀疑其他人的精神的存在。由于只有自己才能知道自身的经历且无法用语言表述它，因此只能通过类比的手段来了解他人的经历。

哲学家们试图不仅利用推论或类比来构建思想。然而，笛卡尔认识论的错误带给了人们这样一种观点，即在没有任何确凿的证据证明“我”存在的前提下，没有思想能比“*我思故我在”*发展得远。

* 為什麼我是我
* 詛咒奉獻
* 反科學
* 真實性

## 參考文獻
# 唯心主義認識論[编辑]

**唯心主義認識論**是一種主觀主義认识论，認爲一個人所知道存在的物件只存在於那個人的思想中，與認識論現實主義相對。

## 概覽

唯心主義知識論認爲，我們所經歷和知道的一切都是基於心理的，以哲學來説就是感知數據。雖然唯心主義知識論有時會用來支持形而上學唯心主義，但從原則上唯心主義知識論並不主張感知數據是否基於現實。這樣，他既是間接現實主義也是唯心主義的容器。 種唯心主義的版本得到了路德维希·玻尔兹曼的研究興趣；其傳統根植於恩斯特·马赫和古斯塔夫·基爾霍夫的实证主义以及赫尔曼·冯·亥姆霍兹和海因里希·赫兹的康德主義或新康德主义的數個方面。

唯心主義知識論的代表人物是布蘭德·布蘭沙德。

* 唯心主義

## 參考文獻
# 取消主义[编辑]

**取消主义**（俄語：Ликвидаторство）是俄国社会民主工党内部的一股思潮，其支持者被称为“**取消派**”。取消派的主要代表人物是帕维尔·阿克雪里罗得、亚历山大·波特列索夫和费奥多尔·唐恩。1905年俄国革命失败后，彼得·斯托雷平开始推行改革，革命运动陷入低潮。取消派因受到斯托雷平的反革命暴力的威胁，放弃革命纲领和口号，反对布尔什维克提出的在革命低潮时期应利用一切公开机会开展合法斗争，以掩护党的秘密组织，保存和发展革命力量的策略。他们主张工人阶级应与资产阶级妥协，与斯托雷平政府达成和解，以换取沙皇政府的警察允许党合法存在。他们否认阶级斗争和无产阶级在资产阶级民主革命中的领导作用，反对工人罢工和所有群众性的革命斗争，并提出了建立“公开的工人党”和“为公开党而斗争”的口号。他们试图取消党的秘密组织和停止秘密的革命活动，将党的活动限制在合法范围内，以换取斯托雷平政府对“工人党”存在的承认。因此，取消派又被称为“斯托雷平工党”。1908年12月，俄国社会民主工党在法国巴黎召开第五次代表会议，根据弗拉基米尔·列宁的提议，谴责了取消派，称之为“右倾机会主义”。1912年1月，俄国社会民主工党召开第六次代表会议，将取消派开除出党。

* 俄国社会民主工党派系
# 客觀性

**客觀性**是哲學的一個中心概念，指從不同觀點或角度來思考或判斷某件事物的合理性，一個事物不受主觀思想或意識影響而獨立存在的性質，與「主觀性」相對應。客觀的事實，不受人的思想、感覺、工具、計算等主觀手段的影響，而能保持其真實性。

哲學術語客觀性和主觀性在現代用法中通常涉及感知主體（通常是人）和感知或未感知的對象。客體可能是獨立於主體對它的感知而存在的事物。換句話說，即使沒有主體感知到該事物，它也會原樣存在。因此，客觀性通常與現實、真理和可靠性等觀念有關。

實現絕對客觀性的中立觀點的可能性被否認。

## 客觀現實

許多哲學家會使用客觀現實一詞來指任何存在的事物，因為它獨立於任何有意識的認識（透過感知、思想等）。主觀現實將包括任何依賴某些（廣義解釋的）意識的存在的事物。顏色和聲音等透過感知而存在，是僅當存在適當的意識狀態時才存在的事物的主要例子。特定的情緒實例（如「我現在的快樂感受」）也可能是一種主觀現實；當一個人感受到它們時就存在，當一個人的情緒改變時就不存在。

## 客觀知識

客觀知識可以簡單地被用以指稱對客觀現實的認識。主觀知識是對任何主觀現實的知識。

然而，與客觀性相關的術語還有其他用途。許多哲學家使用主觀知識一詞僅指對自己主觀狀態的認知。這種知識不同於一個人對另一個人主觀狀態的知識和對客觀現實的知識；根據當前定義，這兩者都是客觀知識。你對他人主觀狀態的了解可以被稱為客觀知識，因為它可能對你來說是作為客體的世界的一部分，如同你和你的主觀狀態對別人來說是作為客體的世界的一部分。

這是知識論（知識的哲學研究）中一個顯著的區別，因為許多哲學家認為，這種意義上的主觀知識具有特殊的地位；他們粗略地斷言，對自己主觀狀態的了解是直接的或立即的，而對其他任何事物的了解則不然。可以將自己的主觀狀態的知識簡單地稱為主觀知識。根據這個定義，客觀知識將是除了一個人自己的主觀狀態之外的任何知識。

與客觀性相關的術語的最後一個突出的使用風格，涉及特定知識主張的支持性質。客觀知識可以粗略地表示知識主張具有充分支持或證明的狀態。相對地，主觀知識可能指一些不受支持或支持較弱的知識主張。將這些稱為客觀和主觀判斷而不是知識更為準確，但在這種情況下使用知識一詞應該保持警覺。這種用法符合客觀性一詞的一般意義，即可靠、可信、準確、公正等。

## 客觀判斷或信念

客觀判斷或信念是指基於客觀有力的支持證據的判斷或信念；這種證據對於任何理性主體（英語：rational being）來說都有說服力。主觀判斷似乎是一種由證據支持的判斷或信念，對於某些理性主體來說有說服力，但對其他人來說則不盡然。它也可以被用於指稱基於僅某些主體必然獲得的證據的判斷。

## 參看

* 主觀
* 客觀主義

## 參考文獻
# 主觀主義

**主观主義**主張“我们的思想活动是我们经验中唯一毋庸置疑的事实”，它不能共享，不是公共的。没有外部和客观的真理。

这个主張主要歸功于勒内·笛卡尔及其技术——方法的怀疑。主观主义把主观经验視为所有法則的基础。在唯我論的极端形式中，這思想认为每个性質仅取决于某人对其的主观意识。然而，乔治·贝克莱則認為上帝是人类感知的主要來源，那可以视為经验主义。

## 形而上学的主观主义

形而上学的主观主义認為，我们认为現實是真实的，并且不存在独立于感知的潜在真实现实。人们會认为，意识就是现实，而不是主观唯心主义。这与客觀性和實在論形成鲜明对比，后者认为存在一个潜在的“客观”现实，这种现实可以被不同的方式去感知。

这种观点不应与“一切都是幻觉”或“不存在现实”混为一谈。形而上学的主观主义者认为现实已是真实。但是，他们认为，与意识相关的现实本质取决于该意识。这在勒内·笛卡尔的著作中“我思故我在”有其哲学基础，并為索倫·奧貝·克爾凱郭爾形成了哲学的基礎。

然而，基督教神学家谴责主观主义，他们反对教会的客观权威，反對基督教教条和圣经。故此，基督教神学家如卡爾·巴特，他表示人類中心主義是其中一种主观主义。

### 现代版本

最近，人们研究了形而上学主观主义不同的版本。例如，我认为巧克力是可口的，縱使每个人都認為不好吃。这代表着存在一些主觀的事实。乔瓦尼·梅洛也發表了形而上学主观主义的另一版本，在该版本中，主观事实始终与心理有关。卡斯珀·黑尔的自我中心存在主义理论是另一个紧密相关的例子。

### 主观主义与泛灵论

主观主义的思想有可能扩展成所有客观可感知的事物都有意识。在查看火山爆发的摄錄图像时，人们可能会认为它们的运动是来自火山内的主观意识。

但是通过这种方式，主观主义演变成與泛心论相關的學說，即每个客观实体（或事件）都具有内在或主观方面的信念。

## 道德主观论

道德主观论是一种元伦理学思想，即道德句子为关于一个人對事實的陈述，也可代表每個道德句子都隐含着某人持有的立場。因此，它是一种道德相对主义，其中道德主张的真实性是相对于个人（社区）的态度而言的。若要思考这种情况，可舉一個例子：对于一个想像成猫的人来说，捉老鼠和吃老鼠是完全自然而道德的；对于一个想像它们是老鼠的人来说，被猫猎杀在道德上是可憎的。尽管这是一个宽松的比喻，但它可以说明每个个体对是非都有自己的理解的观点。

举例来说，某件事在道德上是对的，这代表着它被認可。但这可能导致人们相信，根据每种特质的道德观，可以有不同的事情正确。这個信念的一个含义是，道德句子虽然是主观的，但隨著情况和立場的不同真和假也會隨之而改變。這与道德怀疑主義和非認知主義不同。

## 參看

* 伦理学
* 相對主義
* 形上學

## 參考文獻
# 相容论

**相容论**是一个关于自由意志问题的哲学立场。相容论者认为决定论和自由意志是有可能共存的。换言之，两者是相容的。因为自由意志普遍被认为是道德责任的必然前提，所以相容论者进一步认为决定论和道德责任也是相容的。

## 自由意志问题

大致上来说，决定论认为所有事件的发生都是被其前因所决定的。更精准来说，决定论认为宇宙的过去和自然法则两者决定了一切关于宇宙未来的事实。举例来说，如果决定论是正确的，那么一个人一生中所做的所有选择早在其出生之前就已经被不可控因素所决定了。在这种情况下，人有可能有自由意志吗？然而一旦我们承认在这种情况下人是不可能有自由意志的，那么我们似乎则无法在一个受因果关系所主宰的世界中，要求每个人对自己的选择和行为负起道德责任。

不相容论认为决定论和自由意志是不可能共存的。不相容论者大致分为两种：自由意志主义 (形而上学)和严格决定主义。前者认为人是有自由意志的，从而可推出决定论是错误的。后者则认为决定论是正确的，所以可推出人是缺乏自由意志的。

相反，相容论者则认为就算在一个决定论为真理的世界中自由意志也是有可能存在的。

## 古典相容论

霍布斯
### 自由与阻碍

古典相容论认为意志的自由取决于其是否受到阻碍，而并不取决于其是否被前因所决定。托马斯·霍布斯在《利维坦》一书中给古典相容论做出以下经典阐述：

> 自由一词就其本义来说，指的是没有阻碍的状况。我所谓的阻碍，指的是运动的外界障碍，对无理性与无生命的造物和对于有理性的造物同样可以使用。..... 自由人一词根据这种公认的本义来说，指的是在其力量和智慧所能办到的事情中，可以不受阻碍的做他所愿意做的事情的人。..... 最后，从自由意志一词的用法中，我们也不能推论出意志、欲望或意向的自由，而只能推论出人的自由；这种自由就是他在从事自己具有意志、欲望或意向想要做的事情上不受阻碍。
>
>

对于古典相容论来说，如果一个人有能力去做一件事，并且他有意向去做这件事，那么只要他的行为没有受到外界的阻碍，他的意志就是自由的。换言之，就算他的能力和意向是被因果关系和不可控因素所决定的，他也不会仅仅因此而沦为一个意志不自由的人。

### 能力与选择

古典相容论大致将自由意志理解为行为上的不受阻碍。但是如果决定论是正确的，那么一个人的行为早已在他出生之前就被决定了。这也就似乎是说，他今时今日所做的选择是必然的，是他不能够改变的。那么就算这个人的行为上没有受到外力的阻碍，他依然缺乏选择其他行为的自由。而一个不能够选择其他行为的人，又怎么能是一个有自由意志的人呢？

作为回应，古典相容论者认为即使一个人的行为是被过去众多不可控因素所决定的，他依然能够在这种情况下选择其他行为。这是因为古典相容论者以条件性分析（conditional analysis）方式理解“能够选择其他行为”。在这种分析下，如果在历史改写的情况下一个人有意向去做某些行为并且成功，那么这个人就能够选择这个行为，即使在真实世界里他并不会这样去做。

## 当代相容论

当代相容论的代表人物是哲学家哈里·富兰克福。总体来说，富兰克福特对于相容论的贡献有两点：其一，他对于“其他可能性原则”（Principle of Alternate Possibilities）提出了反例（富兰克福特例子）；其二，他提出了以意志的结构（structure of the will）来理解相容论的观点。

### 其他可能性原则

很多人可能会认为，如果一个人的行为是不可能改变的，是没有其他可能性的，那么这个人就没有意志上的自由，他也并不对他的行为拥有道德责任。换言之：

> **其他可能性原则**：只有在其可能做其他行为的情况下，一个人才对自己的行为负有责任。
>
>

对于这条原则，富兰克福特提出了反例。富兰克福特邀请他的读者想象以下这种情景：

> A对B怀恨在心已久，并且一直寻找机会杀掉B。C也希望B死掉，但是却不想自己动手杀人。C听闻A准备今晚要动手杀掉B，心里很是欢喜。可是C知道A有可能会在最后一刻改变自己的意志，所以C偷偷的在A不知晓的情况下在A的大脑中植入了一个芯片。这个芯片有以下特征：如果在杀害B的过程中，A没有改变自己的意志，那么这个芯片便不会启动；相反，如果在杀害B的过程中A改变了自己的意志，那么这个芯片将会自动启动，并以某种方式操纵A杀掉B。
>
>

> 夜幕降临，A走进了B的住所杀掉了B, 并且未曾改变自己的意志。相应的，芯片也没有启动。
>
>

富兰克福特认为，在以上情况中，A对B的死是负有道德责任的。可是因为芯片的存在，无论A是否改变她的意志，她最终都会杀掉B。也就是说，A没有可能做其他的行为。因此富兰克福特认为“其他可能性原则”是错误的。

### 自由意志的结构

在"Freedom of the Will and the Concept of a Person"一文中，富兰克福特指出人的意志是有结构的，并且我们可以通过理解意志的结构来理解在哪种情况下人的意志是自由的。 富兰克福特认为人的欲望（desire）有多阶：一阶欲望（first-order desires）的目的为世界，而二阶欲望（second-order desires）的目的为一阶欲望，并以此类推。举例来说，假如我现在非常口渴且想喝水。我的一阶欲望是去喝水。但假如医生吩咐我短时间内不能饮水，那么如果我是一个理智的人，我的二阶欲望会是去节制或者抵抗我的一阶欲望。

在富兰克福特看来，一个人的意志（will）是他的有效的一阶欲望（effective first-order desires）。也就是说，一个人的意志是那个最终导致他行为的一阶欲望。而意志的自由则取决于一个人的有效的一阶欲望是否被其高阶欲望所抵抗。如果我的行为是由一个没有受到高阶欲望抵抗的一阶欲望所导致的，那么我的意志就是自由的。由此可见，富兰克福特认为意志上的不自由源自于心理上的冲突。而这种冲突的存在与否是和决定论相容的。

## 參看

* 富蘭克福
* 不相容論
* 決定論
* 自由意志
* 宿命论
* 斯多葛主义
# 道德绝对主义[编辑]

**道德絕對主義**是一種元倫理學的觀點，主張道德有客觀標準。 某些甚至全部行為是絕對錯誤或正確的，無論當時的情境或意圖如何。

舉例來說：欺騙與暴力行為； 無論其動機為何（即使是為了拯救其他人的生命)；都將視為不道德。

## 與其他倫理理論的比較

道德絕對主義與道德普遍主義不同，普世主義僅主張對錯獨立於習俗或意見（與道德相對主義相反），但不一定認為對錯有時獨立於情境或後果（如絕對主義）。路易斯·波伊曼給出以下定義，以區分道德絕對主義與普遍主義這兩種立場：

* 道德絕對主義：至少有一項原則絕不應該被違反。
* 道德普遍主義：關於任何行為在道德上是否能接受，存在一個事實：這個事實並非僅依賴於社會習俗或個人接受度。

強調權利與義務的倫理理論，如伊曼紐爾·康德的義務論倫理學，常被視為道德絕對主義的形式，許多宗教道德規範亦然。

## 在流行文化中

* 羅夏是經典漫畫《守護者》（作者艾倫·摩爾與戴夫·吉本斯）中的主角之一：一位蒙面私刑者與無情的打擊犯罪者，羅夏信奉道德絕對主義——善與惡為純粹的目的，無灰色地帶——這驅使他不惜一切代價懲罰任何邪惡的證據。他的面具上呈現出一個不斷變化的墨漬圖案，靈感來自羅夏墨跡測試中模糊的設計，這也是他的名字來源，面具的黑白色彩從未相接，因此符合他的二元性的思維模式。

* 道德普遍主義
* 道德相對主義
* 普世價值
# 形式主义

**形式主義**（英語：formalism）指在藝術、文學與哲學上側重形式而非內涵的思想。有形式主義行為的人，被稱為形式主義者。形式與內涵二者並存，没有無形式的內涵，也没有無內涵的形式。

## 宗教

宗教的形式主義，代表對儀式、典禮、與遵守規則的重視，更甚於其意義。

## 法律

形式主義是法學流派，著重審訊過程中的公平更甚於最後事实的結果。

## 批判

大致上，「形式主義」在文學藝術的範疇中，代表了著重於作品藝術技巧、美觀程度、用字遣詞的技巧；但並不著眼於作品的社會和歷史背景。

## 文學批評

在當代關於文學理論的討論中，瑞恰慈的批判派與他的追隨者——傳統上稱為新批評主義，有時被標籤為「形式主義者」。在這個情況下，形式主義的意思是古典修辭學的延續。

俄羅斯形式主義是二十世紀的一個學派，以東歐為基地，亦植根於語言學和童話理論化（內容被認為是二手的，因為「故事」是形式，而「公主」就是童話故事公主）。

## 詩歌

在現代詩歌中，「形式主義詩人」可以說是「自由詩人」的相反。這些派別描述，不能完全概括他們之間的區別。詩歌中的形式主義代表著重詩歌中的押韻、聲調、字數句數等，多於詩歌本身的主題、內容或意義。為了清楚分別這種詩和所謂的「古體詩」，有些時候會用「新形式主義」這個字眼。

## 電影

在電影研究中，形式主義是電影拍製的一種習慣，通常在片中會用上大量明顯的電影語言，例如剪片、拍攝鏡頭，攝影機的移動，道具及場景設計等，在片中加入大量人造元素，著重於人工的電影體驗。

形式主義的電影包括：謝爾蓋·愛森斯坦的《波坦金號戰艦》、亞倫·雷奈的《去年在馬倫巴》、亞佛烈德·約瑟夫·希區考克的《敲詐》等。

## 學術方法

著重於使用符號、標記、或一些規則，去令得出來的結果與實驗或其他計算的方法相同的行為，也可以稱為形式主義。這些標記和規則，並不一定有數學上的對應語義。在這些情況之下，計算的方式通常稱為「完全形式化」。

## 数学

在數學基礎中，形式主義與幾種精確的數學方法有關（詳細請見形式系統）。普遍来说，形式主義就是在特定的、侷限的範圍中，納入形式系统的邏輯；所有纳入形式系統中的問題，或在一些「可形式化」的範圍中，都可以形式化地討論。完全形式化，則多數在計算機科學的範疇中找到。

形式主義也是數學哲學中一个特定的流派，着重通过大衛·希爾伯特的理論証明數理邏輯。所以，在數學哲理的範疇中，一個形式主義者，就是指傳自大衛·希爾伯特的數學哲理教條——形式主義流派中的一員。

## 人類學

在經濟人類學，「形式主義」指新古典經濟理論在理論層面上在人類社會的應用。
# 道德怀疑主义[编辑]

**道德懷疑主義**（英文：moral skepticism）是後設倫理學當中的一種主張：「沒人有道德知識」。許多道德懷疑主義者也提出模態的主張：「道德知識不可能成立」。道德懷疑主義者包括大卫·休谟、约翰·莱斯利·麦基、麥克斯·施蒂納、弗里德里希·尼采、Richard Joyce、Joshua Greene、Richard Garner、Walter Sinnott-Armstrong，和James Flynn。嚴格而言，Gilbert Harman支持道德相对主义，而不是道德懷疑主義；然而，他已經影響了一些當代道德懷疑主義者。

## 類型

主要有三個類型：

1. 道德錯誤理論（英文：moral error theory）或道德虛無主義（英文：moral nihilism）
2. 知識論的道德懷疑主義（英文：epistemological moral skepticism）
3. 非認知主義（英文：non-cognitivism）或表達主义（英文：expressivism）或情緒主義（英文：emotivism）

三類皆有相同結論：(a) 人永遠不是證成地相信任何道德主張（「X是道德上好的」、「某行為Y是道德義務」），並且(b) 人永遠不知道任何道德主張是正確的；但各類道德懷疑主義有不同的論證。

## 道德錯誤理論

道德錯誤理論者認為我們不知道任何道德主張是正確的，因為

(i) 所有道德主張都是錯的；

(ii) 我們有理由相信「所有道德主張都是錯的」；

(iii) 假如我們有理由否認某主張，那麼我們並不是證成地相信這主張，因此我們並不是證成地相信任何道德主張。

## 知識論的道德懷疑主義

知識論的道德懷疑主義者認為我們並不是證成地相信任何道德主張，並且他們對(i)是否正確採取不可知的態度。知識論的道德懷疑主義包括「皮浪式道德懷疑主義」和「教條式道德懷疑主義」。

皮浪式道德懷疑主義者認為，我們並不是證成地相信任何道德主張，由於「相信任何道德主張是正確或錯誤的」是不理性的。因此，除了對(i)是否正確採取不可知的態度之外，皮浪式道德懷疑主義者還否認(ii)。

對比起來，教條式道德懷疑主義者肯定(ii)並引用(ii)作為理由支持我們並不是證成地相信任何道德主張。

## 非認知主義

非認知主義認為，我們永遠無法知道任何道德主張是正確的，因為道德主張不可能是正確或錯誤的（道德主張無法以「是否正確」來描述，或道德主張並沒有所謂的「是否正確」的性質）。 相反地，道德主張可能是命令（例如，「不要偷竊！」），或道德主張可能是情緒的表達（例如，「偷竊是糟糕的！）或支持態度的表達（例如，「我相信應該要說實話。」）。

表達主義者認為，當某人說某事「不道德」時，他並未論及此事的對錯；人們提出道德判斷時，僅是表達情感，而非陳述事實。某些表達主義者認為，人們並不是在描述行為、動機，和政策中具有的道德特徵，而是在發洩情緒，或是指揮他人以某些方式行動，例如，當我們譴責酷刑時，我們表達反對和厭惡、抗拒，並鼓動他人一同譴責。

## 相關條目

* 伦理学
* Amoralism
* 觀點主義
* 心理決定論
* 「是—應該」問題

## 註腳

## 延伸閱讀

* Butchvarov, Panayot (1989). *Skepticism in Ethics*, Indiana University Press.
* Gibbard, Allan (1990). *Wise Choices, Apt Feelings*. Cambridge: Harvard University Press.
* Harman, Gilbert (1977). *The Nature of Morality*. New York: Oxford University Press.
* Joyce, Richard (2006). *The Evolution of Morality*, MIT Press. (link)
* Lillehammer, Halvard (2007). *Companions in Guilt: arguments for ethical objectivity*, Palgrave MacMillan.
* Olson, Jonas (2014). *Moral Error Theory: History, Critique, Defence*, Oxford University Press.
* Annas, Julia (2011). *Intelligent Virtue*, Oxford University Press.
* Annas, Julia (2001). "Moral Knowledge as Practical Knowledge", Social Philosophy and Policy 18(2).
* Stichter, Matt (2007). "Ethical Expertise: The Skill Model of Vitue", Ethical Theory and Moral Practice 10(2).
* Tsai, C. (2016). "Ethical Expertise and the Articulacy Requirement", Synthese.

* 道德懷疑主義 （页面存档备份，存于互联网档案馆）在PhilPapers
* Walter Sinnott-Armstrong著. 道德懷疑主義 （页面存档备份，存于互联网档案馆）在Stanford Encyclopedia of Philosophy
* Richmond Campbell著. 道德知識論 （页面存档备份，存于互联网档案馆）在Stanford Encyclopedia of Philosophy
* Henry S. Richardson著. 道德推理 （页面存档备份，存于互联网档案馆）在Stanford Encyclopedia of Philosophy
* 道德懷疑主義在Indiana Philosophy Ontology Project
# 经典逻辑[编辑]

| 经典逻辑 |
| --- |
| 上级分类 | 邏輯系統  |
| 所属实体 | 邏輯學  |
| 之后是 | 非古典邏輯  |
| 研究学科 | 数理逻辑、​哲学逻辑、​計算機科學  |
| Stack Exchange標籤 |   |

**经典逻辑**（英語：Classical logic），也被稱為**標準邏輯**（standard logic），标识已经被最深入的研究和最广泛的使用的一类**演绎推理**逻辑。经典逻辑是19和20世纪的创新，它比亚里士多德的词项逻辑具有更广泛的应用，并且能够将亚里士多德的传统逻辑表述为一个特例。经典逻辑满足一些公理化的基本思维规律，包括：同一律、排中律、无矛盾律（也被称为矛盾律）。

## 历史简介

古希腊亚里斯多德的传统逻辑主要反映在其著作集《工具论》中。《工具论》是亚里士多德学派的传人们（即逍遥学派）将他的六篇关于逻辑的著作汇编成的一部著作集，并定为此名。这六篇著作分别是《范畴篇》、《解释篇》、《《前分析篇》》、《后分析篇》、《论辩篇》和《辨谬篇》。

经典逻辑是19至和20世纪初的创新，它比亚里士多德的传统逻辑具有更广泛的应用，并且能够将亚里士多德的传统逻辑表述为一个特例。当时,发现逻辑和数学的基础遇到许多疑难问题，尤其是罗素悖论,以极为简明的形式震撼了数学的基础，使得悖论在当代逻辑中获得了新的作用，导致了新定理的发现。经典逻辑可根据数学函数解释量词，它也是第一个能够处理多重一般性问题的逻辑，亚里士多德的系统对此是无能为力的。基础方面的进展包括，不可证明性和不可判定性。特别是，逻辑的几个基本概念发展过程，是得益于解决悖论的各种尝试。对于集合（set）和类（collection）的概念，经典逻辑的基本句法和语义概念的出现尤其如此，比如，给定顺序的逻辑语言，可满足性和可定义性。其它的研究和进展包括：集合论的公理化、类型论、语义学基础、形式逻辑的理论。

## 特征

經典邏輯被特征化为下面一些性质：

1. 同一律
2. 排中律
3. 无矛盾律
4. 蕴含的单调性和蕴含的幂等性（分别就是结构规则中弱化规则和紧缩规则）
5. 合取的交换律 （就是结构规则中交换规则）
6. 德·摩根对偶律：所有逻辑算子都对偶于另一个。

在经典逻辑中，从矛盾中可以推导出任何东西；这叫做爆炸原理 (ex contradictione quodlibet（ECQ）)。

**非经典逻辑**缺乏上面這其中的某一个或多个特性。

## 经典逻辑的例子

* 传统逻辑（又称为：亚里士多德逻辑）：亚里士多德的传统逻辑是经典逻辑一个特例。亚里士多德在工具论介入了他的三段论理论，它是带有严格形式的判断（judgement）的逻辑：断言采用四种形式，“所有P都是Q”，“有些P是Q”，“没有P是Q”，“有些P不是Q”。这些断定是两对对偶的算子，并且每个算子都是另一个的否定，亚里士多德用他的对立四边形总结了它们之间的联系。亚里士多德明确的公式化表达了排中律和无矛盾律，尽管这些定律不能在三段论框架内作为断定来表达。
* 布尔逻辑：乔治·布尔的代数的重新逻辑形式化为布尔逻辑；
* 数理逻辑 数理逻辑的研究范围是经典逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学。数理逻辑一般着重于研究公理系统的推断能力和表达能力。它也包括分析正确的数学推断来构筑数学基础。
* 弗雷格的概念文字。
* Clarence Irving Lewis的真势模态逻辑的系统S1-S5。

## 非经典逻辑

* 直觉逻辑和多值邏輯拒绝排中律和德·摩根定律；
* 次协调逻辑（比如：双面真理论和相干逻辑）拒绝无矛盾律；
* 相干逻辑、线性逻辑和非单调逻辑拒绝蕴涵的单调性；
* 线性逻辑拒绝蕴涵的幂等律；
* 可计算性逻辑是可计算性的语义构造的形式理论，相对于是真值的形式理论的经典逻辑；它整和并扩展了经典、线性和直觉逻辑；
* 模态逻辑向经典逻辑扩展了非真值泛函（「模态」）算子。

* 逻辑
* 爆炸原理
* 非经典逻辑
* 直觉主义
* BHK释义
* 直觉类型论
* 中间逻辑
* 线性逻辑
* 构造性证明
* Curry-Howard对应
* 可计算性逻辑
* 博弈语义

## 参考资料

### 引用

### 来源

* Dov Gabbay,（1994）. 'Classical vs non-classical logic'. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson,（Eds）, *Handbook of Logic in Artificial Intelligence and Logic Programming*, volume 2, chapter 2.6. Oxford University Press.
# 形式逻辑

**形式逻辑**（英語：formal logic）是對命題、陳述或語句和演绎論證的抽象研究。它通過形式化語言（如命題逻辑和謂詞逻辑的符號系統）來分析推論的有效性，其結論完全取決於論證的形式結構，而非具體內容。

形式逻辑是逻辑的核心分支，與非形式逻辑相對。它為數學基礎、計算機科學、語言學和哲學提供了嚴格的推理工具。現代形式逻辑的基礎由戈特洛布·弗雷格、伯特蘭·羅素、大衛·希爾伯特和庫爾特·哥德爾等人在19世紀末至20世紀初奠定。

## 定义与基本概念

形式逻辑的核心概念包括：

* **有效性**（Validity）：一個論證是有效的，若且唯若其前提為真時結論必然為真。有效性僅取決於形式，與內容無關。
* **可靠性**（Soundness）：一個論證是可靠的，若且唯若它既有效且所有前提皆為真。
* **逻辑真理**（Logical Truth / Tautology）：在任何可能解釋下皆為真的語句，如「P ∨ ¬P」。
* **逻辑後承**（Logical Consequence）：結論由其前提逻辑地推出。
* **形式語言**：由精確定義的語法規則構成的符號系統，包括字母表、形成規則和變換規則。

形式逻辑系統通常區分語法（syntax，符號的排列規則）和語義（semantics，符號的解釋和真值條件）。

## 历史

### 古代與中世紀

形式逻辑的研究始於亞里士多德（公元前384-322年），他在《工具論》中系統地提出了三段論理論，這是歷史上第一個形式逻辑系統。斯多葛學派進一步發展了命題逻辑。中世紀的經院哲學家（如奧卡姆的威廉）對逻辑理論進行了精細化。

### 近代先驅

17世紀，戈特弗里德·萊布尼茨提出了普遍語言（characteristica universalis）和推理演算（calculus ratiocinator）的設想，預示了現代符號逻辑的發展。

19世紀中葉，喬治·布爾在《逻辑的數學分析》（1847年）和《思維規律的研究》（1854年）中創立了布爾代數，將逻辑推理代數化。

### 現代形式逻辑的誕生

1879年，戈特洛布·弗雷格發表《概念文字》（Begriffsschrift），首次建立了完備的命題逻辑和謂詞逻辑形式系統，引入了量詞和變元，被公認為現代形式逻辑的誕生標誌。

1910-1913年，阿弗烈·諾夫·懷海德和伯特蘭·羅素出版《數學原理》（Principia Mathematica），將數學還原為逻辑，推動了逻辑主義運動。

### 元逻辑與哥德爾時代

1920年代，大衛·希爾伯特提出希爾伯特計劃，試圖證明數學形式系統的一致性。1929年，庫爾特·哥德爾證明了一階謂詞逻辑的完備性定理。1931年，他發表了震驚數學界的哥德爾不完備定理，證明任何包含算術的一致形式系統都是不完備的。

1930年代，阿隆佐·邱奇和艾倫·圖靈分別獨立證明了一階逻辑的不可判定性。阿爾弗雷德·塔斯基發展了模型論，為形式語義學奠定了基礎。

## 命题逻辑

命题逻辑是最基本的形式逻辑系統，研究由命題（可判斷真假的語句）通過逻辑連接詞組合而成的複合命題。

### 語法

命題逻辑的字母表包括：

* 命題變元：P, Q, R, …
* 逻辑連接詞：¬（否定）、∧（合取）、∨（析取）、→（蘊涵）、↔（等價）
* 輔助符號：（ ）

形成規則定義了何為合式公式（well-formed formula）。

### 語義

命題逻辑的真值表方法為每個連接詞定義了真值條件：

| P | Q | ¬P | P∧Q | P∨Q | P→Q | P↔Q
 |
| --- | --- | --- | --- | --- | --- | --- |
| T | T | F | T | T | T | T
 |
| T | F | F | F | T | F | F
 |
| F | T | T | F | T | T | F
 |
| F | F | T | F | F | T | T
 |

### 推演系統

命題逻辑有多種等價的推演系統，包括希爾伯特演绎系統、自然演绎（由格哈德·根岑在1935年提出）和相繼式演算。

命題逻辑是可靠且完備的：所有定理皆為重言式，且所有重言式皆可被證明。

## 谓词逻辑

謂詞逻辑（一階逻辑）在命題逻辑的基礎上引入了內部結構分析，包括個體變元、謂詞、函數符號和量詞。

### 語法

一階逻辑的字母表包括命題逻辑的連接詞，加上：

* 個體變元：x, y, z, …
* 謂詞符號：P(x), Q(x,y), …
* 函數符號：f(x), g(x,y), …
* 量詞：∀（全稱量詞）、∃（存在量詞）

### 語義

一階逻辑的語義基於模型的概念：一個模型由論域（domain）和解釋函數（interpretation function）構成，為每個謂詞和函數符號指定具體含義。一個公式在模型中為真，當且僅當它在該解釋下成立。

### 元定理

一階逻辑具有以下重要性質：

* **完備性定理**（哥德爾，1929）：一階逻辑中的任何有效公式皆可被證明。
* **緊緻性定理**（Compactness）：一組語句有模型，若且唯若其每個有限子集都有模型。
* **勒文海姆-斯科倫定理**（Löwenheim–Skolem）：如果一階理論有無限模型，則存在任意基數的模型。
* **不可判定性**（邱奇-圖靈定理）：一階逻辑的有效性問題是遞歸不可判定的。

## 元逻辑与元定理

元逻辑是對形式逻辑系統本身的研究，包括系統的性質和侷限。

* **可靠性定理**（Soundness）：若公式Φ可在系統中證明，則Φ是有效的（Φ是逻辑真理）。
* **完備性定理**（Completeness）：若公式Φ是有效的，則Φ可在系統中證明。
* **哥德爾不完備定理**：任何包含皮亞諾算術的一致形式系統，皆存在一個既不能證明也不能證偽的命題。第二不完備定理進一步指出，這樣一個系統無法證明自身的一致性。
* **判定問題**：一階逻辑的判定問題由邱奇和圖靈證明為不可判定。

## 扩展与非经典逻辑

在經典逻辑的基礎上，研究者發展了多種擴展和非經典逻辑系統：

* **模態逻辑**：引入必然性（□）和可能性（◇）算子。
* **時態逻辑**：引入時間算子（過去、將來）。
* **道義逻辑**：引入義務（O）、允許（P）、禁止（F）算子。
* **直覺主義逻辑**：拒絕排中律，不承認¬¬P → P。
* **多值逻辑**：允許真值多於兩個（真、假、不確定）。
* **次協調逻辑**：允許矛盾存在而不導致瑣碎化。
* **模糊逻辑**：真值可取區間[0,1]中的任何值。

## 应用

形式逻辑在多個領域有重要應用：

* **計算機科學**：程序驗證、形式化方法、數據庫查詢、人工智能中的知識表示與自動推理。
* **數學**：數學基礎、自動定理證明、模型論研究。
* **哲學**：分析哲學、逻辑實證主義、形式本體論。
* **語言學**：蒙泰戈語法、形式語義學。

## 主要人物

* 亞里士多德（三段論的創立者）
* 喬治·布爾（逻辑代數化）
* 戈特洛布·弗雷格（現代謂詞逻辑之父）
* 伯特蘭·羅素與阿弗烈·諾夫·懷海德（《數學原理》）
* 大衛·希爾伯特（希爾伯特計劃）
* 庫爾特·哥德爾（不完備定理、完備性定理）
* 阿爾弗雷德·塔斯基（模型論、真理定義）
* 阿隆佐·邱奇（不可判定性）
* 格哈德·根岑（自然演绎、相繼式演算）

* 逻辑
* 命題逻辑
* 一階逻辑
* 數理逻辑
* 元逻辑
* 非經典逻辑
# 非形式逻辑

**非形式逻辑**（英語：Informal Logic），泛指能够用于分析、评估和改进出现于人际交流、政治辩论、以及报纸、电视、等大众媒体之中的非形式论证理论。

## 简介

非形式逻辑 是对自然语言论证的研究，也被认为与批判性思维相关联。 拉尔夫·约翰逊（Ralph H. Johnson）和安东尼·布莱尔（J. Anthony Blair）提出：“非形式逻辑是逻辑的一个分支，其任务是讲述日常生活中分析、解释、评价、批评和论证建构的非形式标准、尺度和程序”。 沒有任何一種形式語言可以捕捉到自然語言語義間所有的微細差別, 但其典型特征是不如形式逻辑善于做严密分析。

非形式逻辑的研究範圍包括分析错误的论证来辨别谬论，分析和辨别类似的推理策略等活动。比如， 研究谬论在理解和评估论证中应扮演什么角色。

用自然语言分析论证的活动和在形式逻辑系统中表现它们被称为哲学分析，而且有时被当作非形式逻辑的一部分。

报纸的评论文章提供了对非形式逻辑的示例性教科书样的例子(参见 Walton reference)，这些文章通常是简短的并且经常是荒谬的。无论如何，非形式逻辑还用于推理有关人类和社会科学的事件。事实上，多数从已知事实到未知事实的推理使用自然语言，可以被当作非形式逻辑的应用，只要它不依赖于额外的经验性论据。

## 发展历史

以亚里士多德的形式逻辑为基础的数理逻辑理论本身已经得到比较充分的发展。而且以数理逻辑为基础的其他现代逻辑分支都相继出现，并被广泛地研究与应用。但是形式演绎逻辑作为分析和评估论证的理论却存在三种不同的批评，第一是教育学的批评，第二是内部的批评，第三是经验的批评。非形式逻辑就是针对以上这些批评，从形式逻辑的自身发展中产生的。回顾非形式逻辑的发展历史，早在古希腊，亚里士多德就研究了辩证推理、谬误传统、论证的社会功能等我们所理解的非形式逻辑的要素。亚里士多德是非形式逻辑的历史先驱。

1978年，在加拿大温莎大学举行的“首届国际非形式逻辑研讨会”被看成标志着非形式逻辑作为一门哲学学科的正式诞生。会议的组织者Ralph H.Johnson和J.Anthony Blair随后即着手编辑《Informal Logic Newletter》刊物。六年后更名为《Informal Logic》， 该刊物目前是在网上阅读读该刊的电子版。

## 目的

非形式逻辑研究现实公共生活的、真实的、基于自然语言的论证（包括论据和论证过程)。 研究与自然语言论证相关的辩证过程、交互式文本，而不只是命题语句之间静态的形式化关系。基于自然语言的论证往往具有天然的含混性、歧义性和不完备性。 非形式逻辑的最终目标是规范化， 聚焦于解释和分析论证，以便可以用来确定论证的强和弱，好和坏，可信或不可信。 非形式逻辑對论证解析可看成准备工作,以便进行评估论证。 非形式逻辑尝试开发出用于判断论证的标准，准则和过程。 这样一来，特定论证的评估, 可以根据： 1. 良好论证的一般标准，2. 是否是学术上已经鉴别和分析过谬论中的一种，或是学术上已经鉴别和分析过的特定论证類型的例子。见文献的第四章(“4. Assessing Arguments”)。

## 组成部分

斯坦福哲学百科全书"非形式逻辑"条目的第六章提出，非形式论证的综合理论（“非形式逻辑”）应由对一些重要问题的回答而构成。 包括如下问题：

* 论证的行为是什么，它们所依赖的沟通原则是什么？
* 研究谬论在理解和评估论证中应扮演什么角色（以及应当如何定义有关谬论?)？
* 论证的前提何时是可以接受或不可接受？
* 哪些是好论证的一般性标准？
* 等等。

这些问题可以归类于13个领域。

* 逻辑批评理论
* 论证理论
* 谬论理论
* 谬论方法与批判性思维方法
* 归纳/演绎二分法的可行性
* 论证和逻辑批评的伦理学
* 等等。

## 相關條目

* 批判性思维
* 谬誤
* 谬誤列表
* 谬誤论证
* 非形式谬误
* 形式谬误
* 悖论
* 模糊邏輯
* 多值邏輯
* 辯證邏輯
* 辯證法
* 對立統一
* 逻辑

## 參考資料
# 日本哲學[编辑]

**日本哲學**是日本的哲學与思想。歷史上有本土的神道和來自中国的思想，例如，佛教、儒教的融合。如同過去受中國哲學和印度哲學影響的水戶學、禪宗，近代至今的日本哲學也受西洋哲學影響。

## 古代・中世的思想

佛教在封建制定着以前的日本是日本思想的主流。聖德太子導入的佛教文化在奈良時代確立為「國家鎮護」的思想。平安時代以降，著重個人現世利益的密教取代「國家鎮護的思想」。但是，在「末法思想」的悲觀主義普及的時代到來之後，強調來世的淨土思想普遍化。武士掌握政權的鎌倉時代開始後，出現以新興的社會階級（武士）為對象的「新」佛教。

## 近世思想

異於日本的古代、中世思想和佛教的強大連結，日本近世思想的主流是儒教、宋明理學。以林羅山為祖的林家的朱子學被江戶幕府指定為官方的學問。另外，江戶中期以降，國學、蘭學和其他大衆思想受儒教的刺激而興起。

## 近代思想

相對於在儒教和佛教之中發展的近世日本思想，明治維新之後，急速的受西洋思想影響，英國的啟蒙思想、法國的人權開始流行。由橫井小楠和福澤諭吉的近代主義的出現作代表。日清戰爭及日俄戰爭的時期以降，日本的資本主義大為發展。為了對抗社會矛盾的基督教和社會主義也在近代化後發展，和各種社會運動結合。此外，受外國學問的刺激，形成民族主義的思想學問。

## 關連項目

* 武士道
* 廢佛毀釋

* Links to papers and resources about Japanese philosophy and religion
* Japanese philosophy: Routledge Encyclopedia of Philosophy Online （页面存档备份，存于互联网档案馆）
# 英國哲學

休謨是一位十八世紀之英國哲學家
**英國哲學**（英語：British philosophy），是一種哲學傳統，由英國人發展。英國哲學之特徵包括常識、不喜歡複雜、強烈傾向於具體而非抽象。

## 十七世紀

### 霍布斯

霍布斯是一位英國哲學家，他的政治哲學理論在現今仍然是非常著名。他在1651年完成著作《利維坦》，從社會契約論的角度為大多數西方政治哲學奠定了基礎。

### 洛克

約翰·洛克

約翰·洛克著有《人類理解論》和《政府論》。於《人類理解論》中，他指出人類的知識全部都是來自經驗，並且否定有先天知識。《政府論》中，他指出政府必須得到民眾同意，才可以管治民眾。

## 十八世紀

### 休謨

休謨是蘇格蘭哲學家，經濟學家和歷史學家。他的主要著作《人性論》（1739-1740）、《人類理解研究》（1748）、《道德原則研究》（1751）、以及《自然宗教對話》（1779）仍然具有廣泛影響力。休謨的道德哲學觀點，影響規範倫理學與後設倫理學深遠。休謨啟發到邊沁，以快樂與痛苦判斷道德價值，而創立效益主義。休謨亦啟迪到艾耶，以經驗研究道德，而建立情緒主義。此外，休謨的觀點關於自由意志和決定論，因果關係，個人身份，歸納和道德，現在仍然激發了討論。

### 亞當·斯密

亞當·斯密是蘇格蘭的道德哲學家，也是政治經濟學的先驅。史密著有《道德情操論》和《國富論》。《國富論》是他的巨著和第一本現代經濟學著作。史密斯被廣泛稱為現代經濟學創立者。

史密在格拉斯哥大學和牛津大學學習道德哲學。畢業後，他在愛丁堡進行了一系列成功的公開講座，使他在蘇格蘭啟蒙運動期間與休謨合作。史密在格拉斯哥獲得了教授道德哲學的教授職位，並在此期間撰寫並出版了《道德情操論》。

## 十九世紀

### 邊沁

傑里米·邊沁因在英國開始效益主義而聞名。 效益主義是一種結果主義的規范倫理理論，認為當一種行為在道德上是正確的，只有當這種行為最大化幸福或快樂時。效益主義是享樂主義，快樂是唯一的內在善，痛苦是唯一的內在邪惡。

### 約翰·史都華·彌爾

約翰·史都華·彌爾

約翰·斯圖亞特·彌爾是道德哲學家、政治哲學家、邏輯學家與經濟學家。他於《論自由》，反對無限制國家控制個人自由。彌爾還延續了效益主義。彌爾的著作《效益主義》是為效益主義辯護。

## 二十世紀

### 分析哲學

分析哲學基於傳統的英國經驗主義而建立。自二十世紀初以來，分析哲學一直主導英國哲學和其他英語國家哲學。

### G.E.穆爾

G.E.穆爾於其《倫理學原理》以分析哲學方式研究道德本質，並且因而開創後設倫理學。

### A.J.艾耶

A.J.艾耶

A.J.艾耶於《語言、真理與邏輯》主張邏輯實證主義，指出形上學是不可以證實，並且提出情緒主義之觀點，認為道德價值不可以用經驗檢證，而道德句子表達出情緒，但並無認知意義，非真亦非假。

## 參考文獻
# 德国古典哲学

**德国古典哲学**一般是指康德、费希特、谢林、黑格尔和费尔巴哈的哲学，是代表西方近代哲学的最高阶段。它继承了由德国哲学家莱布尼茨代表的唯理主义倾向，同时又受到了苏格兰启蒙运动中著名哲学家休谟的经验主义和怀疑论的影响，此外以莱辛、歌德为代表的启蒙运动文学也对德国古典哲学起到了相当程度的影响。（斯宾诺莎的宿命论思想有时也被认为是德国古典哲学的重要思想来源之一。）在这些思想的共同影响下，德国古典哲学家总结并探讨了一系列哲学上的重大问题，尽管他们中的多数经常被泛泛地认为是唯心主义，但他们的主张却不是统一的。

康德是一个二元论者和不可知论者，他为了调和唯理主义和经验主义，提出了自己的批判哲学。费希特则持有一种主观唯心主义（后期也被认为倾向于客观唯心主义），谢林和黑格尔有时候被认为是客观唯心主义者，但事实上他们的意见是非常不同的。直到费尔巴哈以一种唯物主义的观点对黑格尔宏大的形而上学体系提出抨击，从而终结了德国古典哲学。

德国古典哲学具有抽象性和思辩性的特点，它最重大的意义在于从康德开始，世界观发生了巨大转变。世界再也不再是是其所是，理性再不只是被当作法则的附属品所对待，而是转变为由理性为世界立法，世界被认为是由我们的观察所决定的。跟随康德，产生了以叔本华为代表的唯意志主义；跟随费尔巴哈，产生了以马克思为代表的历史唯物主义，此外分析哲学、现象学等等哲学分支，甚至直到哈贝马斯都受到了德国古典哲学的重大影响。

* 德国唯心主义
* 历史唯物主义
* 存在主义
* 现象学

* 陈嘉映：德国古典哲学与德国文化
# 未解決的哲學問題[编辑]

本文列出了一些在**在哲学中悬而未决的问题**。显然，这些问题往往是世俗的，例如生命的意义、我们从何而来、什么是现实等等。不过，哲学家们一般给予严肃的哲学问题具体的名称或议题，来指明特定的处理问题的方法或者推论过程。因此，宏大的不严谨论题就变得可掌控了。自然地，把「给‘生命’归类」（或类似的含糊归类）看作是「未解决的哲学问题」，就超出了本条目的范畴。

## 知識論

### 葛提爾問題

知識之認證乃為知識論之重點。但美國哲學家愛德蒙德·葛提爾在一篇只有三頁紙的論文中質疑當時哲學界公認的知識的定義：「知識是得到辯護的真信念」（也稱為知識三要素），他提出了兩個反例，說明即使是得到辯護的真信念，也未必是知識，因此就有葛提爾問題：「應當怎樣補充或修改知識三要素，才能完整地定義知識的概念？」

以下是一個知識三要素的反例：草原遠方有隻披著羊皮的狗，那隻狗會學羊的叫聲，並且有羊的氣味，一般人從遠方看到、聽到甚至聞到的，都和對羊向來的認知無異，並且也未見到那隻「羊」有狗的特徵，所以可以大膽推論：「草原遠方有隻羊」。其實確實有隻真正的羊也在那片草原，只是在觀察時未發現到，如此，你可否表示你具有「草原遠方有隻羊」的知識？

### 标准问题

标准问题（英語：Problem of criterion），由美国哲学家罗德里克·奇泽姆在他的著作《知识的理论》中阐明：

1. 我们知道什么？我们能知道的范围是什么？
2. 我们怎么知道？知道的标准是什么？

## 美學

### 本質主義

本質主義的概念就是每一個藝術媒介（建筑、手工艺品、绘画作品、电子化设备等等）都有其擅長之處及其弱點，也可能需依艺术的传播方式而定。例如，汽车追逐场景，对于影像来说可能很合适，如果是写诗的话，就不好理解，因为诗的媒介的基本构成对于传达追逐场景的信息实在是太贫乏了。这种观点还能再改良一下，相对于十四行诗而言，或许可以说俳句在传达恋人间的爱恋方面同样是糟糕的载体。对于艺术家来说，本质主义是有吸引力的，因为它不仅描绘了艺术和媒介的作用，同时也规定了一种评估艺术的方法（质量与*有机形式*相关）。

不過因為一直無法定義這種媒介的有機形式，也產生許多有關本質主義的批評，例如詩的媒介到底是什麼？倘若有机形式是语言，又该如何同散文相区分？很难说到底区别是在媒介上，还是艺术类型上。跟有机形式相关的问题，诸如它的定义、它对艺术的作用，仍然有争议。通常，实践型的艺术家认同有机形式这一概念的部分形式，然而，哲学家却倾向于认为含糊且没有意义。

## 形而上学

### 存在问题

包括戈特弗里德·威廉·莱布尼兹和马丁·海德格尔和路德维希·维特根斯坦在内的哲学家称其为形而上学的基本问题。此问题是普遍的，而不是关于什么具体的存在，如宇宙的大爆炸、数学规律、物理规律、时间、意识或神。

### 个性化问题

个性化原则与普遍性问题有关，个性化原则是使普遍性个性化的原则。