October 2010 Archives

法思想史宿題

| | Comments (0) | TrackBacks (0)
BOCARDO (bocardo) の証明が抜けでました。(難問なので最後に着手すればよい)

なお、問いの番号は重要でないので、気にしないでよい。

1) BAROCO (Baroco) の理解と例を作る

2) BOCARDO (bocardo) の証明

3) DISAMIS (disamis) の証明

4) CAMESTRES (camestres) の証明

5) FRESISON (fresison) の証明

(なお、意欲と余裕の有る人は暗唱用詩文の全部について)
略記法で書いてみる
例を考える
オイラー図、ヴェン図を書いてみる
中世スコラ由来の証明を考える

Barbara Celarent Darii Ferioque prioris
Cesare Camestres Festino Baroco secundae
Tertia Darapti Disamis Datisi Felapton
Bocardo Ferison habet, quarta insuper addit
Bamalip Calemes Dimatis Fesapo Fresison




法思想史宿題

| | Comments (0) | TrackBacks (0)
形式:
A4横書き(複数枚の場合左とじ)
マージンを十分にとる
先頭に学籍番号氏名日付を書く
レポート提出用紙を付ける(+)
手書きでもワープロでも自由
提出は2010年11月10日の授業開始30分以内とする
(当日差し支えの人は出席できる人に預けるか前日消印有効で大学住所宛郵送)

設問:
1) BAROCO (baroco) を例として、それがどのような判断(推論)なのか説明し、生物の例と法概念の例を挙げる。
余裕が有れば、オイラー図、ヴェン図などの表現を試みる。
2) DISAMIS (disamis) の証明を写すのでなく、見ないで、自分の言葉で試みる。
3) CAMESTRES (camestres) の証明を試みる。
4) FRESISON (fresison) の証明。
(余裕があれば、全部の証明を略記法で試みる)

証明はスコラ由来の第一格への還元を用いる。
第一格を公理として、aieo, spmcを適用して変形し、説明する。
cについては、論理の正方形によるcontradiction(矛盾)の理解から考えてみる。

法思想史宿題

| | Comments (0) | TrackBacks (0)
Screen shot 2010-10-27 at 16.16.00.png
Screen shot 2010-10-27 at 16.18.08.pngScreen shot 2010-10-27 at 16.17.54.pngScreen shot 2010-10-27 at 16.16.17.png