- 知っておくと便利かも
- WebClass活用
- 文学部から論理学を教える人になるんだ
- 数学と哲学を一緒にやってる人って割と多いんだ
- 「いる」とか「みな」とかのあいまいさがあるのを何とかしたい
- 反例ってそもそも何？
- 正しい推論を自分で判定するようにできるの、丁寧に論理的な文章を理解する事が目標
- 現代論理学は自然数を論理的に定義することを目的に考案される
- 世の中すべてを論理的に記述したいという欲求
- 現実的か否かではなく前提は前提
- 記号によって抽象化ができる
- どの病気にもよく効く薬がある←「すべての」のスコープがあいまいな場合
- 文からはじめて分析する
- 永井荷風は小説家である
- 名前: 永井荷風
述語: _は小説家である
- 私は大学生だ
- 名前: 私
述語: _は大学生だ
- 述語には穴がある
- 名前(個体定項): a,b,c…
述語: F,G,R…
- 私は大学生だの場合、
私: a
_は大学生だ: F
→Fa.
- フォードはフェラーリを打ち負かした
フォード: c
フェラーリ: d
_は…を打ち負かした: R
→Rcd（Rdcでは勝敗が逆転する）
- 受け身文になったりすると引数の順番がややこしくなる
- かつ（∧）は命題(文)を結びつける
東京: t
埼玉: s
_は晴れである: F
東京と埼玉は晴れである
→Ft∧Fs（F(s∧t)は駄目）
- または（∨）はどちらか一方が真である場合（どちらも真である場合も含む）
逆説も∨に含める（であるか、あるいは、もしくは、にもかかわらず）
- 花子は美しい学生だ→花子は美しい∧花子は学生
- いつでもこれをほぐすことができるのか？←自然言語では結構怪しいが、いったん置いておく
- 12は7よりも大きい自然数→12は自然数∧ 12は7より大きい
- Fa∧Fb∧FcやGa∨Gb∨Gcはかっこが不要だが、∧と∨が混在しているときにはかっこが必要