- 数理論理学（数学基礎論） その12
862 ：１３２人目の素数さん[]：2018/06/13(水) 07:34:42.39 ID:DMPVOmLK - >>859
まだ言ってる
ではどう定義するべきかは何も考えてない
|
- 数理論理学（数学基礎論） その12
866 ：１３２人目の素数さん[]：2018/06/13(水) 07:57:02.35 ID:DMPVOmLK - なお
背理法が使えるような定義でなくては誰も興味持たないよ
|
- 数理論理学（数学基礎論） その12
867 ：１３２人目の素数さん[]：2018/06/13(水) 07:57:33.20 ID:DMPVOmLK - >>865
しょーもな
|
- 数理論理学（数学基礎論） その12
874 ：１３２人目の素数さん[]：2018/06/13(水) 23:44:56.08 ID:DMPVOmLK - >>870
前提は命題って言うにはちょっと甘いな
|
- 数理論理学（数学基礎論） その12
876 ：１３２人目の素数さん[]：2018/06/13(水) 23:49:28.34 ID:DMPVOmLK - マジレスすると
「象は動物である」を命題って言うのは
何でも集合だってしてた素朴集合論同様の「素朴命題論理」ってやつね
命題論理は真偽のみに着目して
「何が真」「何が偽」という真偽以前の「素朴命題」（って呼ばせてもらうね）には関知しない
あくまで投射された真偽の真偽そのものにしか注視しないのよ
|
- 数理論理学（数学基礎論） その12
877 ：１３２人目の素数さん[]：2018/06/13(水) 23:50:09.28 ID:DMPVOmLK - >>875
アホ？
|
- 数理論理学（数学基礎論） その12
879 ：１３２人目の素数さん[]：2018/06/13(水) 23:52:02.18 ID:DMPVOmLK - だので
「象が植物であるならばケネディは90歳で死んだ」は真（に投射される）
|
- 数理論理学（数学基礎論） その12
881 ：１３２人目の素数さん[]：2018/06/13(水) 23:52:55.08 ID:DMPVOmLK - >>878
「意味」を考えることはないってことが分かってないのね
|
- 数理論理学（数学基礎論） その12
882 ：１３２人目の素数さん[]：2018/06/13(水) 23:54:07.60 ID:DMPVOmLK - >>880
そこで言ったのは
ケネディ
暗殺
ケネディが暗殺された
定義を明確に出来ないからだよ
|
- 数理論理学（数学基礎論） その12
884 ：１３２人目の素数さん[]：2018/06/13(水) 23:55:15.87 ID:DMPVOmLK - 定義を明確にしようとすればするほど無限後退になってしまうからね
|
- 数理論理学（数学基礎論） その12
887 ：１３２人目の素数さん[]：2018/06/13(水) 23:56:15.97 ID:DMPVOmLK - >>883
どうぞ
ケネディ
大統領
暗殺
をマッピングしてね
|
- 数理論理学（数学基礎論） その12
888 ：１３２人目の素数さん[]：2018/06/13(水) 23:56:40.75 ID:DMPVOmLK - >>886
数学で無いって言ってるんだが？
|
- 数理論理学（数学基礎論） その12
889 ：１３２人目の素数さん[]：2018/06/13(水) 23:57:38.99 ID:DMPVOmLK - >>870
>ケネディ大統領が暗殺された
さあ
ドンドン「意味」をマッピングしてね
|
- 数理論理学（数学基礎論） その12
891 ：１３２人目の素数さん[]：2018/06/13(水) 23:59:32.11 ID:DMPVOmLK - >>890
マッピングできないんですね
|