【SEOテキスト】宇田雄一「古典物理学」基礎未定義語,各理論の基礎未定義語は以下のごとくだ。T1(P;Q1,・・・,Qn;Z;S,U,I,J):「P」「Q1」・・・「Qn」「S」「U」「I」「J」「空」「時空点」「質点」「質量」「電荷」「電磁場の値」「ガリレイ系」「実在する」「可能だ」T2(P1,・・・,Pn;E;S,U,I,J):「P1」・・・「Pn」「S」「U」「I」「J」「空」「時空点」「質点」「質量」「電荷」「電磁場の値」「ガリレイ系」「実在する」「可能だ」T3(Q1,・・・,Qn;Y;S,U,J):「Q1」・・・「Qn」「S」「U」「J」「空」「時空点」「質点」「電荷」「電磁場の値」「ローレンツ系」「実在する」「可能だ」T4(P1,・・・,Pn;S,U,I,J):「P1」・・・「Pn」「S」「U」「I」「J」「空」「時空点」「質点」「質量」「電荷」「電磁場の値」「絶対静止系」「実在する」「可能だ」T5(P1,・・・,Pn;S,U,I,J):「P1」・・・「Pn」「S」「U」「I」「J」「空」「時空点」「質点」「質量」「電荷」「電磁場の値」「ローレンツ系」「実在する」「可能だ」T12(E;S,U,I,J):「S」「U」「I」「J」「空」「時空点」「質点」「質量」「電荷」「電磁場の値」「ガリレイ系」「実在する」「可能だ」T14(S,U,I,J):「S」「U」「I」「J」「空」「時空点」「質点」「質量」「電荷」「電磁場の値」「絶対静止系」「実在する」「可能だ」T15(S,U,I,J):「S」「U」「I」「J」「空」「時空点」「質点」「質量」「電荷」「電磁場の値」「ローレンツ系」「実在する」「可能だ」これらのうちで、P,P1,・・・,Pn,Q1,・・・,Qn,S,U,I,J,空は固有名詞であり、時空点,質点,質量,電荷,電磁場の値,ガリレイ系,ローレンツ系,絶対静止系は普通名詞だ。実在する,可能だ、は述語だ。普通は存在という語が用いられるところで、なぜ実在という語を用いたかというと、論理学用語の存在(∃)との混同を避ける
|