人間社会ならば法とは何かという問題がある 他分野(医学や化学)ならばこのような状況はみられない と置く．このとき (1) (2) TTTT ① TTTF ②TTFT ③TTFF ④TFTT ⑤TFTF ⑥TFFT ⑦ TFFF ⑧ FTTT ⑨FTTF ⑩FTFT ⑪FTFF ⑫FFTT ⑬FFTF ⑭FFFT ⑮FFFF ⑯ で可能世界を考える． (…

① この本は主に分析哲学を扱っていると考えられるが，記述社会学と捉えてもよい． ② 言葉の意味を研究することは，言葉だけを明らかにすることではない． ③ 言葉を研究するということは，その言葉が使われている社会を考える必要があるからである．

① 伝統的論理学とはアリストテレスの論理学と中世に発展したその発展形態のことである． ② 現代論理学はこのような伝統的論理学からの脱却と，継承をするという面がある． ③ インドや中国にも論理学はあったが，日本で紹介される論理学は西洋のものが多い．

① 法，強制，道徳は互いに関連し，共通点も多い． ② 日常的には「せざるを得ない」は義務ともいえるが，これは法的に「責務を負う」とどう違うのか． ③ 法律違反をした仲間内のルールとは何か． ④ ルールを守るが法律を守らない，ということはあり得るのか．…

とする．このとき関数について をそれぞれ計算せよ． (1) (2) (解答の方針) (1)について ∀-除去 ① より ∀-導入 である． ② より ∀-導入 と書ける． (2)について ∀-除去 ① より ∀-導入 で表される． ② より ∀-導入 を得る．

とする．このとき，関数に対して をそれぞれ計算せよ． (1) (2) (解答の方針) (1)について ∀-除去 ① 仮定はないので∀-導入可能であるから ∀-導入 を得る． ② 仮定はないので∀-導入可能であるから ∀-導入 である． ③ 仮定はないので∀-導入可能であるから ∀-導…

など など とする．このとき ☆ という関係が成立する．これらは何れもパラメタである．そこで対応記号 に基づいてパラメタを量化すれば と書ける． ☆は という計算公式である．あとは ① ∃-仮定を落とせるか ② ∀-導入可能か(①や前提外のその他の仮定が落とさ…

ベクトルに関して とする．このとき が成立する． (証明の方針) ∀-除去 とする．このとき，の逆ベクトルは ∃-仮定 である．いま，に対して 平行移動 を行う．他方，に関しての倍は であり と置き，ここで とすれば である．そして∃-導入，∃-除去を適用すれば…

とする．このとき (1) (2) (3) (4) () が成立する． (証明の方針) ∀-除去 ∀-除去 ∀-除去 を考える． (1)について 左辺 に対して 平行移動 いま と置けば で表すことができる．他方 右辺 について に対して と置く．に対して 平行移動 で書ける．ここでたとえ…

とする． (1) (証明の方針) ∀-除去 ∀-除去 ∀-除去 に対して与式の両辺が一致することを示す． 左辺 に対して 平行移動 和 である．いま と置けば で表される．他方 右辺 に対して と置換すれば 平行移動 和 のように表示できる．したがって左辺と右辺は一致…