タグ論理学を含む動画:20件 1ページ目を表示
2024年6月2日 06時22分に生成された05時00分のデータです
2021-05-21 16:50:00
【ゆっくり解説】飛行機でよく聞く(らしい)Fish or chicken?は論理学的に正しいのか追記
>>FishとChikinに重なり合う部分がない
いい着眼点です!
FishやChikinそのものを集合として捉えれば,
Fish ∩ Chikin
はタンパク質だとかそういう話になるっていう考え方です。
ANDにすれば領域が狭まるのですから,減ることはあっても増えることはないですね。
一方この動画では,乗客を「Fishを食べる人」,「Chikinを食べる人」,「FishとChikinを両方食べる人」…のように集合とみなしています。
他にも何かあればどんどんコメントしてください!
前回の広告主様
https://uncerta.info/7
つべ版
https://youtu.be/L-RY905UVU8論理演算子じゃなくて? NOT AND エクスクルシブオア Y=AB ←お風呂やないかい !=条件を逆にする AND=両方が一致しないと実行しない条件分岐の一種 OR=片方又は両方だと実行する条件分岐の一種 もう助からないぞw メーデーメーデー、乗務...
- 104,364
- 910.1
- 1630.2
- 300.0
2022-04-09 14:08:03
琴葉茜と 一階述語論理の統語論と意味論Γ ⊨ φ って何?という話をします。
次: sm40433507いきなり全部未定義でいやきついっす そんなことがあり得るのか…? 42 代入操作を割り当てgと呼んでいるのかな ようは変数ξに何かaという具体的な元を代入するということか 完全性と不完全性までみたい 定義的にφが必要なのか。 宇宙(数学) ここ論理式...
- 3,192
- 300.9
- 531.7
- 200.6
2023-04-07 20:50:30
琴葉茜と 一階述語論理のα同値性自由変項と束縛変項と代入について、そして ∀ξφ ≡ ∀ζ(φ[ζ/ξ]), ∃ξφ ≡ ∃ζ(φ[ζ/ξ]) について話します。
前: sm40433507, 次: sm43229064評価器作ってるみたい へー うぽつ!ずっと待ってた チェックリストたすかる うぽつ ただの項が深さ0みたいな考えがあったりするのだろうか やっと分かった! そのまんまやね はぇ~どうやって定義するのか気になる
- 1,841
- 130.7
- 201.1
- 30.2
2024-01-03 15:12:03
琴葉茜と シーケント計算LKの健全性証明論・証明体系・シーケント計算について話し、 Γ ⊢_{LK} Δ ⇒ Γ ⊨ Δ を証明します。
前: sm42049458勃起大好き? 丁寧でわかりやすかった おつ 完全性(狭義) 推移律に似てる? いまいちなにの話をしとるんかわからん
- 911
- 111.2
- 232.5
- 40.4
2022-05-07 18:46:03
琴葉茜と 表現的適格性と演繹定理Γ ⊨ φ→ψ ⇔ φ, Γ ⊨ ψ を証明します。
前: sm40293733, 次: sm42049458おお? でたー 論理回路で似たようなことやったなあ 歩いたのに不幸なことが起きないなら前提φか「不幸なことが起きない」という結論¬ψ(プサイの否定)が間違ってるということか。 多分だけど「歩いたら不幸なことが起きる」かつ「歩いた」ならば「不幸なことは...
- 686
- 456.6
- 263.8
- 20.3
2022-06-06 19:34:02
【ゆっくり論理学解説】ひろゆきvs勝間和代編ゆっくり茶番劇投稿祭
素振りは基本 悲しいなぁ・・・w 業者の勧誘電話に真面目に付き合っちゃう人みたいだなw かわいいですねw どっちもダメじゃないですかw 質問に質問で返すのと似た感じかw でも数学の圏論ってそういう感じじゃないのかな? 太刀筋が寝ぼけているよw 議論と...
- 436
- 112.5
- 71.6
- 00.0
2024-03-17 19:00:00
直観主義論理の気持ち @第29回日曜数学会お酒を飲みながら数学の話をするイベント「日曜数学会」。そのメイン企画である数学LT(5分間の発表)の部分を、抜粋してお送りします。
日曜数学会は、年3回(1月、6月、10月)の開催予定です。ご興味のある方は、ぜひコミュニティ登録やTwitterフォローをお願いします。
コミュニティ:co3098377
日曜数学会マイリスト:mylist/54162119
Twitter:https://twitter.com/nichimath
発表タイトル:直観主義論理の気持ち
発表者:キグロ
発表資料等:https://kakuyomu.jp/works/16817330668267473152
※第29回日曜数学会は、オンラインとオフラインのハイブリッド開催を致しました88888888888888888 Null含めなきゃいけないもんな ほなウカシェヴィチの方かー(wikipedia見ながら) 逆だったかもしれねェ クリーネの3値論理?(未定義を残した論理) T/F 神憑りの翻訳家はいつも大変 Minnie The...
- 390
- 133.3
- 112.8
- 20.5
2022-12-21 20:00:00
【論理学】ひろゆきが使う詭弁対策講座 ブーメラン編【VOICEROID解説】スマート&スマイルなココロ、略してスマココチャンネルです。
心理学の世界を楽しん学べる心理教育バラエティーを目指しています。
今田舞(CV:紲星あかり)と新条あすか(CV:琴葉茜)がお届け!
今回は心理学から少し離れて論理学がテーマです。
ひろゆきは論破王として有名ですが、実体としては詭弁を使って相手を黙らせる印象が強いです。
今回はそんなひろゆきみたいな人とディベートをするときになったときの詭弁の返し方を見ていきましょう。
【Twitter】
https://twitter.com/smacoco_ch
【お世話になっているサイト】
かわいいフリー素材集 いらすとや様…https://www.irasutoya.com/
甘茶の音楽工房様…http://amachamusic.chagasi.com/
ニコニ・コモンズ様…https://commons.nicovideo.jp/
効果音ラボ様…https://soundeffect-lab.info/sound/button/
DOVA-SYNDROME様…https://dova-s.jp/
小学生の流行語ニュースの出典はこちら
https://www.itmedia.co.jp/news/articles/2212/02/news090.html←心理学はやらないのが一番の治療ゾ ゲームとしては違反 でも説得力に傷はつく プロスペラ論法 ポケモンの増田信者の愉快犯共がめっちゃやってた悪ふざけ ポケモンでガルットモンスターをふざけて幇助してたクズ愉快犯ガキ共がしてたやつかな 常習犯の場合は流石...
- 390
- 4010.3
- 297.4
- 10.3
2023-03-29 17:32:03
【VOICEPEAK解説】ずんずん命題論理(1)導入ずんだもん、論理を学ぶ。
導入です。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
(20230410_応答)
Γ⊢φは「証明可能」ではなく、正しくは「演繹可能」という用語でした……!
証明可能は、(当該体系において)φが無前提から演繹可能である、すなわち⊢φという概念を表します。
統語論の枠組み・用語については、第3回で少し詳しく解説します。
つぎ……https://www.nicovideo.jp/watch/sm42060279
ずんずん命題論理……https://www.nicovideo.jp/series/397548👻 ほう…いちまる派ですか deny 「でない」が"deny" ほむ 数学Aだっけ 美訛りずん子かわいい おもしろい 助かる むしろそのように作られたのかな たのしみ それは嬉しい ふむ んならばすき ここのずんこさんいいな〜 おおー 分霊ちゃんらく...
- 376
- 379.8
- 349.0
- 71.9
2023-04-09 21:53:02
【VOICEPEAK解説】ずんずん命題論理(2)意味論1と0のちまちまとした世界なのだ。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
(20230410_応答)
意味論的演繹定理の系にかんして、その表記が一部不適切になっています。
具体的には、有限の書き方でのみ定義される部分が、無限の書き方をすることで定義不可になっています。
これについては、第3回のおまけコーナーで、問題点を説明しつつ修正案を提示します。
あと無前提の妥当式を書く時、ちょくちょく⊨を入れ忘れています。まじかよ。
あと妥当式って言うべきところを推論式って言ってる部分があります。まじかよ。
まえ……https://www.nicovideo.jp/watch/sm42006489
つぎ……https://www.nicovideo.jp/watch/sm42271709
ずんずん命題論理……https://www.nicovideo.jp/series/397548おててやわらかすき 環境大臣構文 決定可能性からだめな気がする 2人の字幕の色が逆だと読みやすくて助かる おまかわ へー ダメ? これ、有限子じゃないと 上のドットは最終的な結果が出る場所? へー うぽつ
- 312
- 216.7
- 258.0
- 31.0
2023-05-27 00:10:02
【VOICEPEAK解説】ずんずん命題論理(3)統語論正しいものから正しいものを導くのだ。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
(20231029_応答)
(1) ∧Eの横線の上の「φ, ψ」は、「φ∧ψ」の誤植です!!! ご指摘いただいた方、ありがとうございます。毎度助かっております。編集ミスは尽きないので、こんな感じで適宜ご指摘いただけると幸いです……!
(2) 次の動画のリンクを貼りました。これもご指摘いただいた内容です((4)のほうでご指摘いただきました)。ありがとうございます。わすれっぽいんだワ。
(20240216_応答)
C. 「有限論理の論理式の数は可算無限、は誤り」の旨>14:51
A. おっと……Goedelが念頭にあったのはそうなのですが、不学ゆえしっかりお答えすることができない内容です。参考文献等ありましたらお教えいただけますと幸いです。勉強してきます。
(20240222_追記)
C. キューネン。
A. やっぱキューネン読まなきゃだめですかねえ、だめですよねえ、数学基礎論沼すぎて避けてたのが露呈しましたか……。
まえ……https://www.nicovideo.jp/watch/sm42060279
つぎ……https://www.nicovideo.jp/watch/sm42891860
ずんずん命題論理……https://www.nicovideo.jp/series/397548←マズくなかった。失礼しました。 述語論理の論理式の個数が非可算になりうるのは言語が可算とは限らないから。非可算濃度の言語はモデル理論でよく使う。キューネン数学基礎論講義p155参照。 ←おまけパートだしGödel数が根拠になっているしで述語論理も念...
- 281
- 238.2
- 258.9
- 20.7
2022-08-03 17:00:03
【前編】モデル検査入門【作ってみよう】後編 → sm40866923
プログラムの検証をするための手法の一つをご紹介します。
この分野に少しでも興味を持っていただけたら嬉しいのです。
ソースコードと講義資料: https://github.com/yukatayu/model_checking_example
【訂正】 3:22
正: 1 | if(turn == 1-pid){ goto 2 }
誤: 1 | if(turn == pid){ goto 2 }
【お問い合わせ等】
twitter: https://twitter.com/yukata_yuBの=は==の書き間違い? 1ゲト
- 247
- 20.8
- 72.8
- 10.4
2023-10-15 16:48:03
【VOICEPEAK解説】ずんずん命題論理(4)証明の1証明するのだ。こう、ええと、うまく言えないけど、こんな感じで。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
まえ……https://www.nicovideo.jp/watch/sm42271709
つぎ……https://www.nicovideo.jp/watch/sm43183004
ずんずん命題論理……https://www.nicovideo.jp/series/397548うぽt~前動画主※にも動画リンク載せてくれると嬉しい メタメタしてる定理はこれより難しいのいっぱいありそう やさしいせかい 次回も楽しみ intro h (Lean民) うぽつ
- 186
- 137.0
- 168.6
- 21.1
2024-02-13 12:55:02
【VOICEPEAK解説】ずんずん命題論理(6)証明の3いろんな証明体系を見るのだ。なにこれ、え、無理。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
(20240213_応答)
コメントありがとうございます!
(1) 8:27周辺
Q. 1行目が「0:¬(P∨Q)」となっている。が、正しくは「¬¬(P∨Q)」では?
A. たぶん、どちらでも大丈夫です。というか、お示しの後者の方がより正統派だとおもいます。
タブローは意味論と密接に語られることがあり、その際に前者のように真理値が併せて表記されることがあります(cf. 丹治2014、戸次2012)。
今回は、そのような意味論寄りのタブローを取り上げて、「タブローに意味が入ったとき、これは意味論なのか統語論なのか」という問題に繋げたかったので、真理値を併記するよう表記しました。
ただ、枝を閉じる条件について、前者は同形式の命題が異なる真理値を持つ、後者は肯定と否定のリテラルが同時に出る、という異なりがあるため、動画内の表現はやや混在しております(お見逃しを〜〜〜!!!)。
(2) 13:28周辺
C. 古典論理の完全性と算術の完全性は異なりますよ。
A. ばれちった……! ごまかしが露呈しましたね、へへへ。第9回か第10回で盛り込みます。
私の現在の理解をお話しします。Pを証明体系、Aを命題としましょう。
・(意味論的完全性)古典論理の完全性は、概略「Aが恒真であるならば、Pで証明可能である」です。換言、論理体系が不完全であるとすれば、それは「Aが恒真であるからといって、Pで証明可能であるわけではない」となります。
・(統語論的完全性)たいして、Goedel的な不完全性(第一不完全性定理における)は、概略「Pにおいて、Aも¬Aも証明できない、そのようなAが存在する」です。ここには、Aの恒真性の概念が含まれません。
(3) 投稿者から
Q. ここで、統語論的完全性に①二値原理、②排中律を加えると、意味論的完全性との関連はどうなるでしょうか? また、これらを加えることは可能でしょうか? もしお考えのことがあれば、コメントお願いします。
(20240216_追記)
15:43 議論ありがとうございます! たすかります。
まえ……https://www.nicovideo.jp/watch/sm43183004
つぎ……https://www.nicovideo.jp/watch/sm43402491
ずんずん命題論理……https://www.nicovideo.jp/series/397548入門じゃないだと 理論の完全性は理論(=公理系)の性質。意味論・統語論のどちらの観点からも説明できる。> 20240213_応答(2) そもそもGödelの不完全性定理は二値原理・排中律を許す証明体系を採用したうえでの主張である。> 20240213...
- 149
- 2315.4
- 149.4
- 10.7
2023-12-24 01:04:02
【VOICEPEAK解説】ずんずん命題論理(5)証明の2ドモルガンの法則を証明するのだ。なにこの、なに。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
まえ……https://www.nicovideo.jp/watch/sm42891860
つぎ……https://www.nicovideo.jp/watch/sm43388820
ずんずん命題論理……https://www.nicovideo.jp/series/397548オナニーみたいなもんか 草 うぽつ 証明チョットワカル うぽつ
- 146
- 74.8
- 149.6
- 21.4
2022-08-09 20:20:02
【ゆっくり解説】それって本当に因果関係?因果関係の詭弁と誤謬【第1論】みなさん、お久しぶりですこんにちは。
今回はそれって本当に因果関係になってるの?っていうことを解説していきます。
夏休みでフィーバーのためまだまだたくさん動画上げるんで楽しみにしててね。
お借りした素材;
ニコニコモンズ 様・・・http://commons.nicovideo.jp/
きつねゆっくり 様・・・http://nicotalk.com/charasozai_kt.html
魔王魂 様・・・https://maoudamashii.jokersounds.com/
いらすとや 様・・・https://www.irasutoya.com/
123theory 様・・・https://1se2or3.com/
参考資料;
論理的思考力と議論
http://ronri2.web.fc2.com/kiben21.html
Wikipedia相関と因果
https://ja.wikipedia.org/wiki/%E7%9B%B8%E9%96%A2%E9%96%A2%E4%BF%82%E3%81%A8%E5%9B%A0%E6%9E%9C%E9%96%A2%E4%BF%82
Wikipedia前後即因果
https://ja.wikipedia.org/wiki/%E5%89%8D%E5%BE%8C%E5%8D%B3%E5%9B%A0%E6%9E%9C%E3%81%AE%E8%AA%A4%E8%AC%AC
NHK ロンリのちから
https://www.nhk.or.jp/kokokoza/tv/ronri/index.html
かっこデータサイエンスぶろぐ 疑似相関
https://cacco.co.jp/datascience/blog/statistics/503/#i-6
食品分析開発センター
http://www.mac.or.jp/mail/100801/04.shtml#:~:text=Dihydrogen%20Monoxide%EF%BC%88DHMO%EF%BC%89%E3%81%AF%E6%B0%B4,%E6%B0%B4%E7%B4%A0%E3%82%AC%E3%82%B9%E3%82%92%E7%99%BA%E7%94%9F%E3%81%95%E3%81%9B%E3%82%8B%E3%80%82
ゆっくりそらチャンネルtwitter;https://twitter.com/sora_yukkuri_kj?s=09おつ ネットの基本だねーw おれもあぶねーw 一酸化二水素(DHMO)は毒的なw アンケートとかで騙されそうだなw 卵が先か鶏が先かみたいだなと思ったけど、それは比例関係の方に似てるかw ヒュームはむしろこれを因果関係の条件としているねw
- 138
- 107.2
- 64.3
- 00.0
2024-02-16 17:47:02
【VOICEPEAK解説】ずんずん命題論理(7)健全性の1むむむ無矛盾な論理、いかがですか。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
(20230216_追記)
(1) 爆発律は第5回のときにちょろっと触れてましたね、どわすれしてます、うへ。
(2) 09:53周辺
C. 強い健全性にかんする台詞、無限論理と無関係では。
A. おっしゃる通りです。無限個の前提を含む有限論理の推論にかんする統語論・意味論の接続に、もちろん無限論理は関係ありません(有限論理の話ですから!)。
ここで無限論理の話を引き合いに出しているのは、本シリーズにおいて推論を任意の論理式列に拡張していないことから発生する、演繹定理を利用するときの注意とのずれの修正のためです。むしろ、ここでの議論は無限論理を考慮する必要がない、という旨を補足したかったので、ご指摘賜りありがたい限りです。
一往、この表現にかんする私の意図を記せば、以下のようになります。さらなるご指摘等あれば、よしなにお願いします。
①(想定される注意)「無限個の前提をそっくりそのまま結論部に送る」という操作は、第3回に補足したように、有限論理の範囲では不可能です。
②(本来すべき定義)ここで、無限個の前提を含む推論は、有限個の前提によって議論することが可能です(cf. 「形式証明の図式は高々有限列」という旨の指摘>10:07)。
③(主張されること)したがって、任意の推論は、その妥当性・演繹可能性を論じる範囲において、演繹的理により、定理の形に書き換えることが可能です。本来すべき定義を用意すれば、本シリーズで採用する野矢(1994)的導出式の方針から、自然演繹の健全性は強い形で論証されるものと考えられます。
まえ……https://www.nicovideo.jp/watch/sm43388820
つぎ……まだ
ずんずん命題論理……https://www.nicovideo.jp/series/397548形式証明は有限個の論理式の列だから、どんな主張でもそれを示すのに必要な前提は有限個だけということを使うと定義できます。 このセリフに無限論理は関係ないです。有限論理でも無限個の論理式を前提におくことは普通にあります。 メタ論理というかメタ定理ですね。...
- 110
- 1311.8
- 87.3
- 10.9
2021-09-25 18:15:02
【ゆるく解説】並列処理の基礎知識並列処理の基本的な概念をいくつかご紹介します。
この分野に少しでも興味を持っていただけたら嬉しいです。
(追記: 一部音声が聞き取りづらい箇所があり,申し訳ないのです。)
youtube版: https://www.youtube.com/watch?v=GIEkD6CJZ_U
気になる点などがありましたらコメント頂けると幸いです。
【お問い合わせ等】
twitter: https://twitter.com/yukata_yuへー、こんなことやるんか やっほー
- 75
- 22.7
- 45.3
- 00.0
2024-04-10 20:38:02
【VOICEPEAK解説】ずんずん命題論理(8)健全性の2おまたせ、健全です。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
まえ……https://www.nicovideo.jp/watch/sm43402491
つぎ……まだ
ずんずん命題論理……https://www.nicovideo.jp/series/397548うれしい でかA 配慮が行き届いてる うぽつ! うぽつ
- 66
- 913.6
- 710.6
- 11.5
2022-08-04 17:35:02
【後編】モデル検査入門【作ってみよう】前編 → sm40864910
少し風邪気味です。音声が聞き取りづらい箇所があり,申し訳ないのです。
プログラムの検証をするための手法の一つをご紹介します。
ソースコードと講義資料: https://github.com/yukatayu/model_checking_example
【お問い合わせ等】
twitter: https://twitter.com/yukata_yu宿題まであるのか…
- 65
- 11.5
- 69.2
- 00.0