論理積としての法則

ボイル・シャルルの法則および運動方程式において，部分法則の論理積としての法則の発展・完備という歴史的または教育的手順が共通して見られる。

ボイルの法則
「温度 $T$ が一定のとき，閉じ込められた気体の圧力 $p$ と体積 $V$ は互いに反比例する」

　　 $pV = k(T)$

シャルルの法則
「圧力 $p$ が一定のとき，閉じ込められた気体の体積 $V$ と温度 $T$ は互いに比例する」

　　 $\frac{V}{T} = k^\prime(p)$

$k(T)$ は $T$ によって変わる，いいかえれば「定数をのぞく」 $T$ の関数である。理想気体においては， $T$ が条件として変わっても時間的に一定でさえあれば， $p$ と $V$ の反比例関係は保証される点が重要である。

$k^\prime(p)$ は $p$ によって変わる，「定数をのぞく」 $p$ の関数である。 $p$ が条件として変わっても時間的に一定でさえあれば， $T$ と $V$ の比例関係は保証される。

さて，上の２つの部分法則から必然的にボイル・シャルルの法則が導かれる。その「必然性」とは，次のようなものである。

　　 $\frac{pV}{T} = \frac{k(T)}{T}$

右辺は「定数を含む」 $T$ のみの関数である。 $T$ が決まれば値が決まっているといえるが， $T$ の値によって変わらなければならないという限定はない。同様に，

　　 $\frac{pV}{T} = k^\prime(p)p$

右辺は「定数を含む」 $p$ のみの関数である。

上の２法則の論理積は，右辺が $T$ にも $p$ にもよらない定数であることを要請する。

　　 $\frac{pV}{T} = K$

これがボイル・シャルルの法則である。

ただし，ボイルシャルルの法則の右辺の「定数 $K$ 」は，実は物質量の関数である。ボイル・シャルルの法則は，「閉じ込められた理想気体」という限定の中に，物質量という変数の存在を保留している。右辺が単に物質量 $n$ に比例すべきことは自明であろう。すなわち，

　　 $\frac{pV}{T} = nR$

※OKWave

同じように，運動の第二法則すなわち運動方程式の場合，とりわけ教科書的な導入で「部分法則の論理積」という手順がとられる。

「質量 $m$ が一定のとき，加速度 $a$ は力 $F$ に比例する」

　　 $a = k(m)F$ 　　…(1)

「力 $F$ が一定のとき，加速度 $a$ は質量 $m$ に反比例する」

　　 $a = \frac{k^\prime(F)}{m}$ 　　…(2)

すると，

　　 $\frac{ma}{F} = mk(m) = \frac{k^\prime(F)}{F}$

したがって， $ma/F$ という量は $m$ のみの関数であり，かつ $F$ のみの関数である。すなわち，この量は $m,F$ について定数でなければならない。

　　 $\frac{ma}{F} = K$

$K=1$ となる単位系をとって，

　　 $ma = F$

運動方程式は実際はベクトル方程式であるから，上の論理を座標変数の数だけ用いなければならないことはいうまでもない。結論として，

　　 $m\boldsymbol{a} = \boldsymbol{F}$

運動方程式は，ボイル・シャルルの法則とは異なり，ここまでで閉じている完備した法則である。さらに状態変数 $p,V,T$ が公平な変数であるボイル・シャルルの法則と異なって，運動方程式は時間発展を決定する法則として「因果関係」がはっきりしている。明らかに原因である力 $F$ が，対象 $m$ を通じて，結果としての加速度 $a$ を生起する，という因果を記述している点が，状態変数の「平等な」関係を述べたボイル・シャルルの法則との大きな違いである。

※OKWave

上のリンクＱ＆Ａで追加回答があった。引用すると，

********************************

（１）と（２）の２つに分けているので、わけがわからなくなります。
なぜならば、ｋとｋ’は定数ではないからです。
ｋ　は　１／ｍ　と同一ですから、定数ではなく変数です。
ｋ’は　Ｆ　と同一ですから、これも定数ではなく変数です。

ですので、やり直し。

ａ　は　Ｆ　に比例し　ｍ　に反比例するから、
ａ　＝　ｋＦ／ｍ
と一発で書けます。
（以下略）

********************************

(1)と(2)を分けるのは，多くの第二法則の初歩的導入でなされる実験を基礎におく方法であり，私たちの認識手順にそった正当な「法則の分割」である。

「 $a$ は $F$ に比例し， $m$ に反比例する」

という結論を，私たちはひと通りの実験で導くことはできない。比例，反比例は２つの変数の関係であって，３つの変数の関係が比例ならびに反比例であることを知るのは，まずひとつの変数を一定にするという，条件をコントロールした２通りの実験によってはじめて可能になることである。

操作的な法則の「解釈」に走った上記の回答は，質問者は納得するかもしれないが，私には納得のできない回答である。常連の中では，多くの教育的な回答を連発している信頼できる回答者のものであり，それだけに残念。ここでひっそりと批判しておくことにする。

タグ：

+ タグ編集

「論理積としての法則」をウィキ内検索

最終更新：2010年11月15日 23:29

科学のおもちゃ箱 @wiki