嘘つきのパラドックス

[@kotolabo]

🗒 補足
4:20 動画でいう "形式的な議論" の記法は、説明を簡略化するために、論理学の議論でよく使われるものとは異なるものになっています。
厳密な議論に興味のある方は以下の本がおすすめです。分かりやすくてオモシロいです。
論理学をつくる / 戸田山和久（著）
6:54 「あらゆることが言える論理体系というのは、逆に言えば、何にも言えない論理体系ということになるからです」
曖昧な表現だったので補足します。
「何にも言えない」というのは、その論理体系から出てくる定理や命題は、何でもかんでも真となるので、論理体系の中で意味のあることは何も言えない、ということです。
より大きな視点で見れば、矛盾を認めることで意味が生まれることは当然あります。「こっちの論理体系は矛盾が生まれてあらゆることが言えるので、やっぱりもう一方の論理体系の方を採用しよう」など。

[@theuk2257]

S⇔ not Tr("S")のところが個人的に矛盾を引き起こしているいるのではないかと思いました。なぜなら、S⇔not Tr("S")を言葉で表すと"この文は嘘である"⇔"この文は嘘である"ことは嘘である、となってしまうと考えたからです。
もし、この文章を読んでいただけたら幸いです。

[@hrtszk8185]

必ず嘘をつくの逆には嘘も本当のことも言うも含む気がする。

[@Fラン大学就職チャンネル-g9w]

下からニョキッって出てきたら動画の節目ってわかるの好き

[@orange1869]

撮影する度にりょうさんがしゃがんで待機しているの想像すると面白いw

[@って誰かが言ってた]

エイプリルフールという日から「嘘」から来てる言葉のパラドックスを紐解いてく動画出すの神

[@D_Yamabuki]

全く同じ事思ってました！！
着眼点流石ですよね！まぁ嘘なんですけど。
(ごめんなさいこれも嘘です笑)

[@なぷ]

@@D_Yamabuki 嘘の連鎖笑

[@まあち-i1b]

こういう感じのことってふと1人の時に考え出すと止まらなくなって結局わからないけど、楽しいよね

[@Ruuuu123]

何か凄い大発見が出来るかもって思って考えるけど，結局パラドックスみたいにぐちゃぐちゃになって放棄する

[@Ayataka_nomitai4]

夜眠れずに天井見ながらこういう事考えてると賢くなった気がして好き

[@ボケゴールデン]

りょうさんいつも子守歌のような落ち着いた声で分かりやすく説明してくれるから好き。デスゲームの司会してほしい。

[@澄風ヨシエ]

声が良すぎる、なんかすんごく落ち着く

[@funanaoi_2]

寝る前に聞くと寝れるよね

[@タイトエンド-h1k]

難しい内容なのに、知的好奇心がストレートに掻き立てられる動画ありがとうございます。笑いや解りやすさに逃げないチューニングが大好きです。

[@コンデ-j4g]

最近投稿頻度高くて嬉しい

[@nor2187]

最近このチャンネルにどハマりしてます！投稿ありがとうございます！

[@saba-can7516]

自己言及のパラドックスは数学方面で知っていたけど、言語や論理の観点から改めて見れて面白かった

[@user-salmontabetai]

ゲーデルさんですかね？w

[@抹茶ケーキ-m2u]

最近ことラボさんの事を知ったのですが、どの動画もとても興味深いです！
ゆっくり話して下さるので、聴き取りやすくて有難いです。これからも頑張ってください！

[@井の中の蛙-g3p]

すごい0除算的な雰囲気を感じた。
数学は人間が勝手に定義したものだから割と勝手にルールを作れるけれども,
自然言語は数学よりもずっと前から人々に定着してきた物だから,
今更帰るのも難しい。

[@土谷昇-z4b]

ことラボさんの動画見てると、言語学と数学って結構密接に繋がっているのかな？
と感じます

[@kafkano]

言語学も科学に入るからね

[@小野妹子遣隋使]

数学と自然科学との距離よりも、数学と言語学の距離の方が近い気がする

[@たたた-p6t]

数学は最も美しい言語とも言われていますからね

[@an--am353]

数学（数字）は哲学だからね
数理哲学といいます

[@sanmao398]

数学も言語（記号で表している）でしか表現できないからね。その言語は「述語論理」と言われるもの。

[@sako731]

「わからないことを解決すること」を「やるべきこと」として捉え続けてきたから文明はこんなに発展したんだなぁ、なんて

[@男団子-x5t]

爆発律とかそういう単語好き

[@Ruri_625]

編集うますぎ

[@非日常無]

最初の生えてくる演出好きです

[@siysan7390]

「それではまたいつか｣って言われたあとの余韻がやばい

[@EEEEEESEN]

パラドックスに関連することラボさんの動画↓
ua-cam.com/video/DLPCKALdQ0o/v-deo.html

[@0u0...]

横　縦書き
書
き　　　　　　これ好き

[@桜餅-m8d]

まーた面白い話題引っ提げて...
最高

[@hayabusa_task]

教育実習の先生として来て欲しい

[@zako57]

そういえば
・滑舌が悪い人は「滑舌」が言いにくい
・呂律が回らない人は「呂律」が言いにくい
・舌足らずな人は「舌足らず」が言いにくい
そういう意味では、自己整合語になるのかな…。

[@youdenkisho455]

かっつぇつがわりいの
ろりぇちがまわりゃい
ちたたぁらずなんだよ
こうして文にするとまあ整合性取れますね

[@deetade]

嘘つきのパラドックス、考えるだけで気持ち悪くなってたのでこういう簡単に説明してもらえるとありがたいですし、わかりやすいです！
4/1だし”嘘”について取り上げたのだけれど、最初この動画自体嘘だったら…みたいに考えてましたw

[@パスタ好き-k7c]

つまり本当である。

[@通り過ぎて週末]

「はい」か「いいえ」で答えなさい。
あなたが次に発するのは「いいえ」である。というのを思い出した。

[@PongPongPain]

俺嘘しかつかんからww
って言ってる奴に別に違和感わかないのにこの文書は嘘ですって文がパラドックスになるの面白い

[@matchachacha]

我々がふだん気にせずに使うものに潜むものをネタにするのが上手い

[@えるふぃ-b7u]

自己矛盾語から嘘の文の話に繋げるのしゅごい

[@NightOvl]

言葉にもパラドックスあるのすごい

[@ultimatemilk]

今日という日にぴったりのテーマ…そして安定の動画内容の濃さ🙏💕さすがです

[@Ryooo669]

こんなややこしいことでも式に変換できるの凄い

[@suken1019]

嘘つきのパラドックスに対する明快な解法が
いまだ発見されてないということが驚きだった

[@sphinx7556]

こう言う動画マジで好きすぎる
ありがとうございます！

[@あいうえお-z4c4c]

6:15
この辺り、論理の話になるから、最低限ベン図が出てくるか出てこないかで内容の理解度変わりそう

[@mader1194]

伊坂幸太郎先生のオーデュボンの祈りで読んで気になっていたから嬉しいです！

[@ultimatemilk]

1:04 で｢なんか聞いたことあるな…？｣となった人へ
ua-cam.com/video/DLPCKALdQ0o/v-deo.html

[@goami0426]

めっちゃわかりやすいからめっちゃ面白いからめっちゃ好き

[@funanaoi_2]

何回見てもNHKで放送してそうって思う

[@jiroyamashita505]

このチャンネルは教育テレビみたいで好き

[@はにもも-c3n]

なんかNHKの教材番組的な感じがして懐かしい気持ちになる！

[@miekotanaka587]

楽しいです❣️
動画を見た後は、必ず、調べてみたくなります。
今回は、「嘘つき」辞書で調べると、
「嘘吐き」〜へえ！「吐」という漢字
嘘を吐くんだ。
じゃあ、英語は、liar
大嘘吐きは、a big liar , a fat liar
毎回、動画から空想、妄想を楽しんでいます❣️
ありがとうございます😊

[@roku4030]

今回も興味深くて楽しかったです。

[@Matcha_Latte_0128]

りょうさん「言葉という言葉はそれ自体が言葉です」
俺「ん？ちょ、もっかい」

[@mesitii714]

どことなく数学的に感じる
やはり数学で全てを表せるのだな！

[@akashike_yanage_hiro_no_toriyo]

集合論のラッセルのパラドックスとか、数学一般の議論でたまに出てくるカントールの対角線論法とかが、嘘つきのパラドックスとだいたい同じような論法だったり。

[@こちなや]

サムネに釣りと書いとけばやりたい放題
釣りと書いてある→中身釣り→釣りではないしかし↑

[@DYD0671]

ゆる言語学ラジオとこのラジオが最近のマイブーム

[@gejihito]

この頻度で毎回内容が濃いの普通に天才

[@Arucaholix]

すごい楽しい動画でした
これからも応援してます

[@alist6667]

この話の教訓
言葉と内容が一致するとは限らない

[@mahbohz]

まじでこのチャンネル攻殻機動隊のタチコマの会話を思い出すｗ

[@T_A_K_O_]

形式的な議論においては「自己言及を禁止する」でも問題ないと思った
自己言及を含む定義って自然言語特有な気がする

[@nashi.2279]

そんなことはないです。
数学的な論理演算でも自己言及ができてしまい、それが故に語り得ないものというのが存在します。
気になる方はヴィトゲンシュタインの論理哲学論考の解説本または解説動画を見てみることをおすすめします（原著は難解なのでおすすめしません）。さらっと見れる良いざっっっくり解説はUA-camでロシュフコー 論考 とかで検索すると見つかります。

[@mirimiri3300]

今回の内容に興味を持たれた方は大西先生の『論理学』等を読むと楽しいと思われます。
嘘つき文についても軽く触れており、ある意味で矛盾を許容する論理体系や、爆発律のような一切無関係な命題の推論を禁止する論理体系など豊富な話題が載っています！

[@yogurt7835]

パラドックスと言えば竹原ピストルの曲の「俺の言うこと聞いてくれ〜俺を含め誰の言うことも聞くなよ」もそうだよね

[@やすらぎ]

これをテーマにしたSFとか読んでみたい

[@赤岳へぼ]

初見です。面白すぎて今までの動画も全部見ました。これからも楽しみにしてます！

[@KS-om3sp]

小泉構文を解説してほしいです！！

[@sfling3926]

自己言及のパラドックスの面白い所は有限の文字数と意味で無限を感じられる事

[@toastsandwich]

このチャンネルのNG集を見てみたい

[@eikonnnu-sakana]

関係ないけど
嘘つきが「自分は嘘つきだ」って言うと「この人がいつも嘘をついてる訳では無い」って逃げ道ができるから
「この文の内容は嘘である」ってわざわざややこしく考えたのかなって今ふと思った

[@sanmao398]

前提があるんです。
常に真実しか言わない人
常に虚偽しか言わない人
この二種類の人しか居ない世界で「自分は嘘つきだ」と言ったら、その人はどっちか？と考えると、その言明はパラドックスを生むというのです。
前提は、文は真か偽かの必ずどちらかである、です。この前提でその文は真か偽かを考えるとパラドックスになるというものです。

[@thepear1893]

すごく面白い動画ですが、サイコパス味が凄いw

[@Hilotaka2649]

難しいっすね！
なんかわからないけどトクさんのパラドックスを思い出しましたw

[@HY-cq5lg]

自己言及と矛盾は面白い表現の成立条件と言ってもいいくらいです。ならぬ堪忍するが堪忍のように、定義される言葉が定義する部分に入るのもいい表現になりがちです。

[@雨薔薇]

このNHK感すごい好き

[@LUCA-oo3sb]

おもろすぎる🔥

[@サイコロ入りステーキ]

6:16 「Sは常に成り立っているので、S or Aが任意のAに着いて常に成り立つ」ってどういうことでしょうか、AはSに対してどんな関係にあるのかイマイチ分かりません…

[@味噌かに-t7d]

エイプリルフールスペシャルですね

[@ジョージ真壁]

おもしろいチャンネルだ

[@shn1962]

すっごく個人的な意見ですが、最初のサムネ、ことラボさんが映ったらいいのになんて。　　
というか十分動画内容も作りもためになって、引き込まれるものがあるから、もうちょっと目に留まるようなデザインにしたらいいのになと。統一感？ですかね。見てすぐ「ことラボさんだ！」ってわかるような感じ。上から目線みたいになっちゃいましたが、動画が大好きで、もっといろんな人に見てほしくてお伝えしましたー！

[@小田切政志]

言葉って面白いですね。何が正しく、何が間違っているのか分からなくなった。答えも間違いも幾通りもあるのでしょうか。

[@k.f2281]

なんか頭バグった。
宇宙より広いあの動画を見た時のような、、、、

[@Nera_kun]

この文は嘘である。
この文＝この文は嘘である。
この文は嘘である。は嘘である。
この文は嘘である。は嘘である。は嘘である。…
やばい Tr("S) と not Tr("S") が同時に成り立ってしまった…

[@anman1120_]

真以外偽であるという体系がなぜ駄目なのかをもっと突き詰めて説明して欲しい

[@mochimochimochiochi]

確かに「この文は嘘である」の反対が「この文は嘘でないかもしれない」だと成り立つね

[@sanmao398]

私達が用いている論理体系（述語論理）は、「真以外偽である」という「ＡであるかＡでないかのどちらかが（必ず）成り立つ」（排中律）を公理としています。つまり、神のみぞ知る、ということを論理体系に組み込んでいるのです。
排中律を認めない「直観論理」という論理体系も考えられますが、その体系は小さ過ぎて実用に耐えません（私達の議論はその体系内におさまっていません）。
排中律が駄目だというのではなく、述語論理（という論理体系）には「ＡであるかＡでないかが決まらない言明」が（体系そのものの中に）含まれていることが（数学を用いて）証明されています（ゲーデルの不完全性定理）【排中律を公理としているにも関わらず、です！】。しかし、私達が論理的に語るには、現在のところ述語論理以外にはないというのが実情なのです（数学も述語論理に基づいています）。
詳しくは論理学とＺＦＳ集合論を参照してください。

[@rinrincgghu]

sをもう一度見た時にsが重なりそう見える
このループ
この文の内容は嘘つきとは書かれていない
感情を持つか持たないか
使い方の問題を別にするか
ルールを水を掬う事にする
ザルで掬えば水滴しかつかない
皿で掬えば水が多い
理論はあってるものの
使い方が違うと思う
それはそれでと変えるべき

[@赤点燈蟲]

S:この文の内容は嘘である、が真だと仮定する。するとこのSの内容は嘘である為真ではなくなる。(状態の変化)つまりSの内容は嘘である、とこの方がさっぱりするから勝手に思ってる

[@user-Acompany]

嘘つきのパラドックスについて、似たような話がゲーデルの不完全性定理？ってやつで聞いたことがあります。
また最初の自己整合語、自己矛盾語の話とラッセルのパラドックスってやつの話に似てる気がします。
こういう言語学と数学基礎論はわりかし似たような範囲を扱ってたりするんですかね？

[@00時00分0秒]

ほう…炭酸抜きコーラですか

[@ultimatemilk]

オイオイオイ

[@正体不明-c6l]

死ぬわアイツ

[@れおん-w6r]

０でわるのを禁止しないと数の理論が崩壊してしまうのと似てる

[@hikari3429]

理系やからやと思うけど量子力学的な考え方の真でもあり偽でもあるって理論が好きやな。でも私には言語の世界にも科学で言う量子の世界みたいな高次的で必ずとは断定できない分野もあるんじゃないかと思う。親しみやすさは断然違うと思うけどね

[@at5605]

この内容に関心のある人は数学基礎論に入門しましょう

[@user-cc9bh3gc1g]

パラドックスって面白いよね。
自分が本で読みかじったのは、｢真でも偽でもない｣って説だったな～
｢半径2cmの形容詞が4日にリンカーンです｣みたいな“意味無し文”と同じ扱い方をしてたっけな？

[@ktpeei8495]

なんだか話を聞いていたら頭痛が痛くなってきたよ

[@織田信長だと思うでしょ]

コレ見てると
ミステリーと言うなかれ
見てるみたいで、好きだわ

[@masuo64]

嘘つきのパラドクスを支えているのは排中律なんだから、それを廃した直観主義の話なら「真でも偽でもない」真理値をもたせることができて矛盾は回避できることも触れるべきだと思いました。
（そもそも現実社会は真でも偽でもない状態のものが無数にあるので、排中律の不自然さは論理学やる上でかなり意識しないといけないと思うんです）

[@パンダ野郎-f6e]

NHKのEテレ感がすげぇ

[@metropolitan.1035]

よくぽいことを発言しようとしている人が「ゆうて人間って基本全員嘘つきだからねぇ〜」というのと同じことですね　
香ばしい気分

[@MPDGWJPAGD]

1:18ここでようやく理解出来たのにどんどんややこしくするのおもろ

[@SAKEFRI]

矛盾=成立していない　として、
解釈を諦めてもよいのでは。(放棄する)
答えを導き出せないもの(つまりは矛盾)という答えとして結論付けてしまうのは？

[@not_jieitai]

これって「この文」が指してるのはそのあとの文を指してることが多いからそうだって考えればいいんじゃね？

[@ソラマメ-l2w]

｢次の文は本当である。前の文は嘘である。｣とか

[@HY-cq5lg]

この動画はゲーデルエッシャーバッハに触発にされましたか？

[@yum_yum877]

もやもやするー！

[@ノテレックス]

このパラドックス自分の中では「嘘」の逆を「本当」にしない、例えば逆を「この文の内容なんて無い」にすればただの意味のない文になるので解決してるんですがどこか間違ってたりしますか？　まぁメタいこと言うとこの文が本当でも嘘でも何も情報がないので意味がないんですけどね

[@不破夕-t6q]

定義に間違いも何もないよ。ただその定義は不便だね。

[@livre8666]

外国人: 日本人はイエスノーをはっきり言わないよね
日本人: えーそうかなぁ
も関連事項で思い出した

[@mesty20]

つまり｢嘘は言っていない｣ということだな！

[@Chiyosuke_interior]

突然、あなたは肉うどんです。って言って欲しい

[@Prst-un5sc]

とある町に散髪屋がありました。そこの店長はこう言いました。「自分で髪を切るやつの髪は切らない。ただ、自分で髪を切らないやつの髪は切る」すると一人の市民が彼にこう言いました。「誰があなたの髪を切るんですか?」

[@xd-hd5hk]

sesquipedalianは東京外大生の間ではかなり有名な単語

[@firerita7612]

この文は日本語で書かれていない。

[@ksa9vvjxpignc7xr56xv]

1:04〜のBGM、Golf itじゃね？？
追記
フリー音源なのか