ページ

▼
ラベル フレーゲ『数学における論理』 の投稿を表示しています。 すべての投稿を表示
ラベル フレーゲ『数学における論理』 の投稿を表示しています。 すべての投稿を表示
2018年12月5日水曜日

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

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

(a)既に意義の明らかな構成要素から、複合的表現すなわち新たな意義を構成する「構成的定義」、(b)既に用いられている単純記号の意義を分析し、既に意義の明らかな構成要素から再構成する「分析的定義」(ゴットロープ・フレーゲ(1848-1925))

›
構成的定義と分析的定義 【(a)既に意義の明らかな構成要素から、複合的表現すなわち新たな意義を構成する「構成的定義」、(b)既に用いられている単純記号の意義を分析し、既に意義の明らかな構成要素から再構成する「分析的定義」(ゴットロープ・フレーゲ(1848-1925))】 ...