自己言及のパラドックス
-
31
ななしのよっしん
2011/09/04(日) 21:34:23 ID: 2liwXROqhe
-
「私の願いを叶えないでください」って願いとかどうかな
-
👍0高評価👎0低評価
-
32
ななしのよっしん
2011/09/14(水) 08:05:56 ID: 72H1Z0/3O6
-
👍0高評価👎0低評価
-
33
ななしのよっしん
2011/10/03(月) 15:24:34 ID: BrCP1nQs8s
-
👍0高評価👎0低評価
-
34
ななしのよっしん
2011/10/03(月) 15:31:19 ID: jgmXnbOwlV
-
👍0高評価👎0低評価
-
35
ななしのよっしん
2011/10/03(月) 15:54:26 ID: mOy+IIMk5k
-
どんな考えでも認められる。
-
👍0高評価👎0低評価
-
36
ななしのよっしん
2011/11/30(水) 18:44:10 ID: gt5Ccu/NTu
-
👍0高評価👎0低評価
-
37
ななしのよっしん
2011/12/01(木) 08:16:25 ID: pGdyKpYDP6
-
👍0高評価👎0低評価
-
38
ななしのよっしん
2011/12/01(木) 08:43:37 ID: pGdyKpYDP6
-
でしゃばりな連レス失礼
>>31
微妙なところだが、
「私の願いをかなえてください」というの自体を“願い”とは捉えないのでは
とすればその発言自体は願いではないと捉えうることになる
>>32->>33
真偽不明の文とすれば解消される
>>33が追加されても二重構造になるだけで本質的な議論は変わらないね
>>36
一つ目は、普通に考えて後半の“何者”という概念に神・空は含まれないはず
神は(神を含む)何者かであると言うのは当たり前だし、(神を含む)何者でもないというのは意味が通らないから
つまり論理式で表せば「A=B∧否B∧(B∧否B)∧否(B∧否B) ただしA≠B」となり、右辺は空集合になる
最終的には真なら神or空というものは存在しない、偽なら何らかの形で存在するって結論になるか
哲学に論理で切り込んでも仕方がない気もするが
2つ目は、論理学の分野で一番問題になったことかな
数学の定理を証明する手段は数学であり、この問題により全ての数学的知識は真偽不明または矛盾に陥るってことで -
👍0高評価👎0低評価
-
39
exp.@ゆうな
2012/01/07(土) 01:14:24 ID: y4vAwsbMOW
-
👍0高評価👎0低評価
-
40
ななしのよっしん
2012/02/24(金) 19:39:31 ID: YfQv28vIuP
-
👍0高評価👎0低評価
-
41
harukA
2012/03/19(月) 23:47:29 ID: FsIeVlm+a1
-
シュレ猫
-
👍0高評価👎0低評価
-
42
ななしのよっしん
2012/04/01(日) 16:26:38 ID: cb2Ky1NYrh
-
👍0高評価👎0低評価
-
43
ななしのよっしん
2012/04/07(土) 14:08:23 ID: C0TmYnk0AN
-
👍0高評価👎0低評価
-
44
ななしのよっしん
2012/04/08(日) 11:00:07 ID: 7ZHsjm05fe
-
👍0高評価👎0低評価
-
45
ななしのよっしん
2012/04/17(火) 13:31:07 ID: pGdyKpYDP6
-
>>40
真であり偽であるというのは論理学では禁じ手だろ…
記事中の例の下から2番目を適用ってこと
あくまで抜け穴だし、印象として不自然に感じるのは仕方がない
>>44
例の一番上の考察がいまだにめちゃくちゃなのはおいといて、有名な形式から論理的にすきのないパラドクスを構築するまでの段階が明確にわかるのはいいと思うんだけどね
感覚的な理解は確かにそうなんだが、そもそも“クレタ人は”の部分にクレタ人が一人残らず含まれるのか、“嘘つき”の部分は常に嘘をつくことを意味するのか、という疑問が残る
通常なら“大部分の”クレタ人は“かなりの頻度で”嘘をつくってことだろうし
まぁ全部クレタ人形式で統一してくれた方が考えのプロセスが分かりやすいと思うが -
👍0高評価👎0低評価
-
46
ななしのよっしん
2012/04/17(火) 17:07:07 ID: pGdyKpYDP6
-
👍0高評価👎0低評価
-
47
ななしのよっしん
2012/05/11(金) 14:44:25 ID: csBPJMXU6e
-
/)
///)
/,.=゙''"/
/ i f ,.r='"-‐'つ____こまけぇこたぁいいんだよ!!
/ / _,.-‐'~/⌒ ⌒\
/ ,i ,二ニ⊃( ●). (●)\
/ ノ il゙フ::::::⌒(__人__)⌒::::: \
,イ「ト、 ,!,!| |r┬-| |
/ iトヾヽ_/ィ"\ `ー'´ / -
👍0高評価👎0低評価
-
48
ななしのよっしん
2012/05/13(日) 21:59:21 ID: +xrXxsobMm
-
👍0高評価👎0低評価
-
49
ななしのよっしん
2012/06/09(土) 21:54:19 ID: qGD/yO0Zxs
-
この命題は偽である
-
👍0高評価👎0低評価
-
50
ななしのよっしん
2012/06/23(土) 01:18:59 ID: cnCatYDo4m
-
誰かウィトゲンシュタインさん呼んでこい。
-
👍0高評価👎0低評価
-
51
ななしのよっしん
2012/06/28(木) 04:04:17 ID: dwFY8wRFeS
-
👍0高評価👎0低評価
-
52
ななしのよっしん
2012/07/12(木) 12:05:45 ID: WfwsQ5yJGy
-
んー…俺は「×」を選ぶ
-
👍0高評価👎0低評価
-
53
ななしのよっしん
2012/07/17(火) 21:47:23 ID: +9XW+EAN2q
-
👍0高評価👎0低評価
-
54
ななしのよっしん
2012/08/24(金) 01:34:39 ID: NurJdWWZxm
-
👍0高評価👎0低評価
-
55
ななしのよっしん
2012/11/06(火) 16:38:36 ID: SoAmwV257G
-
確実なことなどない
確実なことなどないのであれば、この論理も確実ではない
ゆえに確実なことなどないということは確実なことではないから
確実なことなどないということは確実なことではない、という論理は確実なことか?
無限ループってこわくね? -
👍0高評価👎0低評価
-
56
ななしのよっしん
2012/12/01(土) 22:45:24 ID: pGdyKpYDP6
-
👍0高評価👎0低評価
-
57
ななしのよっしん
2012/12/01(土) 22:51:58 ID: pGdyKpYDP6
-
👍0高評価👎0低評価
-
58
ななしのよっしん
2013/03/06(水) 21:56:54 ID: +CQUDS8gkJ
-
👍0高評価👎0低評価
-
59
ななしのよっしん
2013/03/06(水) 22:02:21 ID: rmaQPG2B1N
-
👍0高評価👎0低評価
-
60
ななしのよっしん
2013/03/15(金) 22:34:23 ID: MwCqu+zcVZ
-
👍0高評価👎0低評価