ゲーデルの理論のバックアップ差分(No.1) - MLEXP Wiki

[ トップ ] [ 新規 | 一覧 | 単語検索 | 最終更新 | ヘルプ ]

バックアップ一覧
現在との差分を表示
ソースを表示
バックアップを表示
ゲーデルの理論へ行く。
- 1 (2006-08-13 (日) 01:05:33)
- 2 (2006-08-13 (日) 01:13:16)
- 3 (2010-05-15 (土) 12:08:03)

追加された行はこの色です。
削除された行はこの色です。

 * ゲーデルの理論 [#fd5ad9b8]
 
 *** アリストテレスの論理 [#n448b507]
 あらゆる事柄は、論理的演繹法によって論ずることが出来る、とするもの。
 
 前提、もしくは仮定（自明なこと、証明しなくても真として受け入れられること）と、そこから導かれる推論（そう推論する規則）という流れによる説明方法。
 
 典型的なのは、ソクラテスの三段論法。
 
  1.人間は必ず死ぬ
  2.ソクラテスは人間である
  3.ソクラテスは必ず死ぬ
 
 1が成立する。かつ、2が成立する。
 
 ならば
 
 3が成立する。
 
 1と2は前提。そして自明。であるなら、そこから3が推論されるのは妥当であろう、という導出。「もしすべてのXがYであり、かつ、ZがXであるならば、XはYである」という規則が発動している。
 
 
 -----
 [[自然科学・哲学系メモ]]