22/05/20 05:20:22.01 GqaaZfZr.net
>>148
>このときってのは、「ニワトリでない（前件が偽）、しかし卵を産む（後件が真）」を指してる
「ニワトリでない」は偽と確定しないし「卵を産む」も真とは鍵らない
「ニワトリではないが卵を産む」とは
「「ニワトリではない」が真であるとき「卵を産む」が真である」という命題のことで
「「ニワトリではない」が偽であるかまたは「卵を産む」が真である」と同値
>否定のところだけど、まさにその部分と論理学の関係がわからなくて質問したわけよ。
このときというのが「ニワトリではないが卵を産む」が真であるという意味だとして
君は「ニワトリは卵を産む」もそもそも真であるとしているのでしょ？
それともこちらは真かどうか分からないと考えていて
「ニワトリではないが卵を産む」が真であることが「ニワトリは卵を産む」が偽であることを導くのではないかと疑問に思っているということ？
いずれにせよ
「ニワトリではないが卵を産む」が真であっても
「ニワトリは卵を産む」の真義には関係ない
なぜなら
後者が真であるとは
「ニワトリである」が偽であるかまたは「卵を産む」が真であるということ
「卵を産む」が真であれば両者とも真だし
「卵を産む」が偽であれば前者が真のとき後者は偽なのでね
>戸田山は「科学的説明すべてに共通してるのは反事実的依存関係（反事実条件法）」だと明確に書いてる。
勝手に言わせておけば？
「ならば」で悩むなら「科学的説明」の場合は「ならば」を「iff」（念のためだけど「if and only if」のことね）の意味で使うとその人は主張していると考えたら？
いずれにせよその主張は正しいと思えないけど別にどうでもいい