ページ

▼
ラベル 公理系 の投稿を表示しています。 すべての投稿を表示
ラベル 公理系 の投稿を表示しています。 すべての投稿を表示
2018年12月5日水曜日

公理系に矛盾がないことだけから、その公理系が適用可能な「対象」が「存在」するということが、納得できない。喩えではあるが、3つの未知数を持つ3つの連立方程式が、ただ一つの解をつねに持つわけではない。(ゴットロープ・フレーゲ(1848-1925))

›
構成的定義が必要と思われる理由 【公理系に矛盾がないことだけから、その公理系が適用可能な「対象」が「存在」するということが、納得できない。喩えではあるが、3つの未知数を持つ3つの連立方程式が、ただ一つの解をつねに持つわけではない。(ゴットロープ・フレーゲ(1848-1925)...
2018年12月3日月曜日

公理系の無矛盾性とは異なる、ある「対象」の「存在」の概念が有意味と思われ、その存在は、構成的な定義により示されると思われる。(ゴットロープ・フレーゲ(1848-1925))

›
対象の存在ということ 【公理系の無矛盾性とは異なる、ある「対象」の「存在」の概念が有意味と思われ、その存在は、構成的な定義により示されると思われる。(ゴットロープ・フレーゲ(1848-1925))】 （1'）(2.3')追加記載 (1)公理系が無矛盾...

(1)公理系が無矛盾なら、それは「真」であり、定義されたものは「存在」すると言い得る、(2)概念は、概念の諸関係によってのみ論理的に定義され得る。(3)公理系は、論理構造が同じ無数の体系に適用可能である。(ダフィット・ヒルベルト(1862-1943))

›
公理主義 【(1)公理系が無矛盾なら、それは「真」であり、定義されたものは「存在」すると言い得る、(2)概念は、概念の諸関係によってのみ論理的に定義され得る。(3)公理系は、論理構造が同じ無数の体系に適用可能である。(ダフィット・ヒルベルト(1862-1943))】 (1...