「うさぎは死ぬ」が真なんだから「うさぎは寂しいと死ぬ」も自明に真となると言えてしまうのではないか、という問題に対し、logics of conditionals的にどうなるんだっけと調べてた。そしたらそもそも「うさぎは死ぬ」を「∀x. ウサギである(x) → 死ぬ(x)」と捉えるのではなく、別のもの(generics)として捉えるという考えがあるらしい。
https://plato.stanford.edu/entries/logic-conditionals/
https://plato.stanford.edu/entries/generics/
https://plato.stanford.edu/entries/logic-conditionals/
https://plato.stanford.edu/entries/generics/
- replies
- 1
- announces
- 0
- likes
- 0
Stanford Encyclopedia of PhilosophyのGeneric Generalizationsの項、導入だけでもかなりおもしろい。
https://plato.stanford.edu/entries/generics/
「アヒルは卵を産む」とは言えるが「アヒルはメスである」とは言えない、とか「ダニはライム病を媒介する」とは言える(実際にはライム病を媒介するダニは約1 %)が「ヒトは右利きである」とは言えないとか、「本は一般的に/通常/多くの場合ペーパーバックである」とは言えるが「本はペーパーバックである」とは言えないとか。