論理学詳しい人いる？

1 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 22:40:22.069 ID:Tu+5VlzZa.net

何で実質含意って一部に嫌われてるの？

2 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 22:41:22.392 ID:BnA0PMaS0.net

そういう話は知らない

3 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 22:45:22.303 ID:Tu+5VlzZa.net

>>2
実質含意のパラドックスの話

4 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 22:54:55.459 ID:tA+E+mEKd.net

なんでってそりゃ直接的でないからなのでは

5 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 22:54:56.160 ID:9KCkqQK/0.net

論理における「P ならば Q」は、「P でない、と Q である、の少なくとも一方が正しい」の短い言い換えなのである

これじゃね

6 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 22:57:04.954 ID:9KCkqQK/0.net

日常会話の「ならば」と論理記号の「ならば」は違うって話じゃないの

7 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 22:58:44.153 ID:bCje1qRYd.net

>>6
というより古典論理のだね

8 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 22:58:55.883 ID:Tu+5VlzZa.net

>>5
それは知ってる
でも「PならばQである、Pでないならその限りではない」と解釈すれば、別にパラドックスっていうほど日常会話での「ならば」と乖離してないように思うんだ

9 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 23:04:30.966 ID:Tu+5VlzZa.net

最近知ったけど、そもそも実質含意はラッセルが形式含意を定義するために定義されたものらしいな

そういった経緯から実質含意は実は不適切な概念ではないかと一部に思われているんだろうか

10 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 23:10:09.683 ID:9KCkqQK/0.net

>>8
つまり日常の言語を論理記号にして表すにはなんか足りないって話じゃないの

11 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 23:12:46.834 ID:9KCkqQK/0.net

>>7
え、もう解決してんの？

12 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 23:18:26.964 ID:Tu+5VlzZa.net

>>10
日常会話の「ならば」は実際のところ実質含意でなくて同値の意味で使われてるというだけで、実質含意を見直す必要がないように思うんだ

13 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 23:19:49.985 ID:9KCkqQK/0.net

>>12
自然言語を形式言語にしたときどうするのがいいんだろ？って話じゃないの

14 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 23:21:45.319 ID:9KCkqQK/0.net

なにか作るにしてもそれは何が必要なんだ？ってとこが問題なのではないかと思われる

15 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 23:23:14.254 ID:9KCkqQK/0.net

論理学って面白いよなあ
現役ならこれやりたかった

16 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 23:35:44.557 ID:Tu+5VlzZa.net

>>7が言ってるのってRelevance logicのことだと思うけど、ざっとwikipediaの記事読む限りでも、含意の前件と後件に関連性を期待するって話に違和感を覚える
その関連性って論理じゃなくて意味論の問題じゃないの？

https://ja.m.wikipedia.org/wiki/%E9%81%A9%E5%88%87%E3%81%95%E3%81%AE%E8%AB%96%E7%90%86

17 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 23:41:01.642 ID:Tu+5VlzZa.net

>>15
現役ならって言うのは数学科出身？

18 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 23:42:41.674 ID:9KCkqQK/0.net

>>17
違う違う専門は別
単におっさんだからって話

19 ：以下、？ちゃんねるからVIPがお送りします：2021/02/10(水) 23:48:03.530 ID:Tu+5VlzZa.net

>>18
そうなのか
まあ俺も学生時代数学苦手でほんの2、3年前から独学し始めた口だけど

20 ：以下、？ちゃんねるからVIPがお送りします：2021/02/11(木) 00:22:36.195 ID:EaOd4OVb0.net

>>16
論理と意味論とで違いがある。
故に一部（＝意味論重視派）から嫌われている。