タグ 論理学 が登録されている動画 : 53 件中 1 - 32 件目
種類:
- タグ
- キーワード
対象:
【VOICEPEAK解説】ずんずん命題論理(8)健全性の2
おまたせ、健全です。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
まえ……https://www.nicovideo.jp/watch/sm43402491
つぎ……まだ
ずんずん命題論理……https://www.nicovideo.jp/series/397548
直観主義論理の気持ち @第29回日曜数学会
お酒を飲みながら数学の話をするイベント「日曜数学会」。そのメイン企画である数学LT(5分間の発表)の部分を、抜粋してお送りします。
日曜数学会は、年3回(1月、6月、10月)の開催予定です。ご興味のある方は、ぜひコミュニティ登録やTwitterフォローをお願いします。
コミュニティ:co3098377
日曜数学会マイリスト:mylist/54162119
Twitter:https://twitter.com/nichimath
発表タイトル:直観主義論理の気持ち
発表者:キグロ
発表資料等:https://kakuyomu.jp/works/16817330668267473152
※第29回日曜数学会は、オンラインとオフラインのハイブリッド開催を致しました
【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
【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
琴葉茜と シーケント計算LKの健全性
証明論・証明体系・シーケント計算について話し、 Γ ⊢_{LK} Δ ⇒ Γ ⊨ Δ を証明します。
前: sm42049458
【VOICEPEAK解説】ずんずん命題論理(5)証明の2
ドモルガンの法則を証明するのだ。なにこの、なに。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
まえ……https://www.nicovideo.jp/watch/sm42891860
つぎ……https://www.nicovideo.jp/watch/sm43388820
ずんずん命題論理……https://www.nicovideo.jp/series/397548
【VOICEPEAK解説】ずんずん命題論理(4)証明の1
証明するのだ。こう、ええと、うまく言えないけど、こんな感じで。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
まえ……https://www.nicovideo.jp/watch/sm42271709
つぎ……https://www.nicovideo.jp/watch/sm43183004
ずんずん命題論理……https://www.nicovideo.jp/series/397548
【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
【VOICEPEAK解説】ずんずん命題論理(2)意味論
1と0のちまちまとした世界なのだ。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
(20230410_応答)
意味論的演繹定理の系にかんして、その表記が一部不適切になっています。
具体的には、有限の書き方でのみ定義される部分が、無限の書き方をすることで定義不可になっています。
これについては、第3回のおまけコーナーで、問題点を説明しつつ修正案を提示します。
あと無前提の妥当式を書く時、ちょくちょく⊨を入れ忘れています。まじかよ。
あと妥当式って言うべきところを推論式って言ってる部分があります。まじかよ。
まえ……https://www.nicovideo.jp/watch/sm42006489
つぎ……https://www.nicovideo.jp/watch/sm42271709
ずんずん命題論理……https://www.nicovideo.jp/series/397548
琴葉茜と 一階述語論理のα同値性
自由変項と束縛変項と代入について、そして ∀ξφ ≡ ∀ζ(φ[ζ/ξ]), ∃ξφ ≡ ∃ζ(φ[ζ/ξ]) について話します。
前: sm40433507, 次: sm43229064
【VOICEPEAK解説】ずんずん命題論理(1)導入
ずんだもん、論理を学ぶ。
導入です。
※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。
実際、論理学はずぶの素人なので……。
(20230410_応答)
Γ⊢φは「証明可能」ではなく、正しくは「演繹可能」という用語でした……!
証明可能は、(当該体系において)φが無前提から演繹可能である、すなわち⊢φという概念を表します。
統語論の枠組み・用語については、第3回で少し詳しく解説します。
つぎ……https://www.nicovideo.jp/watch/sm42060279
ずんずん命題論理……https://www.nicovideo.jp/series/397548
【論理学】ひろゆきが使う詭弁対策講座 ブーメラン編【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
【ゆっくり解説】それって本当に因果関係?因果関係の詭弁と誤謬【第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
【後編】モデル検査入門【作ってみよう】
前編 → sm40864910
少し風邪気味です。音声が聞き取りづらい箇所があり,申し訳ないのです。
プログラムの検証をするための手法の一つをご紹介します。
ソースコードと講義資料: https://github.com/yukatayu/model_checking_example
【お問い合わせ等】
twitter: https://twitter.com/yukata_yu
【前編】モデル検査入門【作ってみよう】
後編 → 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_yu
琴葉茜と 表現的適格性と演繹定理
Γ ⊨ φ→ψ ⇔ φ, Γ ⊨ ψ を証明します。
前: sm40293733, 次: sm42049458
【ゆるく解説】並列処理の基礎知識
並列処理の基本的な概念をいくつかご紹介します。
この分野に少しでも興味を持っていただけたら嬉しいです。
(追記: 一部音声が聞き取りづらい箇所があり,申し訳ないのです。)
youtube版: https://www.youtube.com/watch?v=GIEkD6CJZ_U
気になる点などがありましたらコメント頂けると幸いです。
【お問い合わせ等】
twitter: https://twitter.com/yukata_yu
【ゆっくり解説】飛行機でよく聞く(らしい)Fish or chicken?は論理学的に正しいのか
追記
>>FishとChikinに重なり合う部分がない
いい着眼点です!
FishやChikinそのものを集合として捉えれば,
Fish ∩ Chikin
はタンパク質だとかそういう話になるっていう考え方です。
ANDにすれば領域が狭まるのですから,減ることはあっても増えることはないですね。
一方この動画では,乗客を「Fishを食べる人」,「Chikinを食べる人」,「FishとChikinを両方食べる人」…のように集合とみなしています。
他にも何かあればどんどんコメントしてください!
前回の広告主様
https://uncerta.info/7
つべ版
https://youtu.be/L-RY905UVU8
【ボイスロイド解説】犯人がどうしても見つからない殺人事件のパラドックス
次:sm37885383
先輩兄貴のパラドックス動画が面白くて自分でも作ってみました!
スマリヤンのパラドックスと呼ばれる物で、めちゃんこよくできてると思います。
三浦先生にご許諾頂戴しまして参考にさせて頂きました。
この場を借りて厚く御礼申し上げます。
『論理パラドクス―論証力を磨く99問』二見書房 三浦俊彦
https://amzn.to/3oogWQz
『この本の名は?: 嘘つきと正直者をめぐる不思議な論理パズル』日本評論社 Raymond M. Smullyan (著), 川辺治之 (翻訳)
https://amzn.to/3fRjh3n
【ゆっくり解説】ロジカルシンキングとは?論理的とは?
論理的やロジカルシンキングという言葉をよく耳にしますが、みなさんはこれらの言葉の意味を知っていますでしょうか?
参考文献
「地頭力を鍛える」
「論より詭弁」
「知的トレーニングの技術」
「新版 論理トレーニング」
「ロジカルシンキング」
画像
・いらすとや
音楽
・甘茶の音楽工房
#ゆっくり解説 #ロジカルシンキング #哲学 #論理的思考
実数について
共感しました!みたいなコメント待ってます!
追記:なぜかいくつかのコメントが表示されないみたいです。プレビューでだけ見えているコメントが何個かあります。
BGM:すもち様「おうちタイム」
【作ってみた】SATソルバを作ってみよう【論理学】
論理パズルを解くプログラムの簡単な解説です。
この分野に少しでも興味を持っていただけたら嬉しいです。
youtube版: https://www.youtube.com/watch?v=GYrFliXBFEo
【ソースコード】
前半: https://github.com/yukatayu/Rustic_SAT_Solver
後半: https://github.com/yukatayu/Rustic_PL_Solver
【講義資料】
pdf: https://github.com/yukatayu/Rustic_SAT_Solver/blob/master/lecture_material.pdf
【訂正】
× 充足可能性問題の判定ソルバ
〇 充足可能性判定問題のソルバ
【お問い合わせ等】
twitter: https://twitter.com/yukata_yu
【解答編】√3>3の証明
予想外に反響があった「√3>3の証明(sm33505304)」の解答編です。
本当の意味で正解にたどり着いた方は少なかったようです。
※問題編を見てからのご視聴をお勧めします。
BGMは木村わいPさんの曲を使わせていただきました:sm23212603
【youtube版】
https://www.youtube.com/watch?v=yzUzqLYjK64
【他のシリーズ】
◆何にも縛られずにFF6:sm32955800
◆FF7英字・カタカナ禁止で低レベルクリア :sm32356994
◆3つのボタンでFF5:sm30938242
◆FF8最少コマンド入力回数クリアに挑戦:sm29792055
◆FF7物欲封印低レベルクリア):sm28522127
◆FF8ノージャンクンション1人旅+α:sm27238226
◆石橋を叩いてFF4:sm25971042
【twitter】
https://twitter.com/shelfall
琴葉姉妹の数学キソ論:第4回「愛と平和とストーカー」
琴葉姉妹がパジャマパーティーするだけの簡単な内容です。
よろしくお願いします。
基礎論マイリス:mylist/60751437
sm32594566←前|次→sm32659112
動画終了後にミスがあったため動画を一旦削除しました。大変申し訳ありません。
特にコメントしていただいた35名の方、無駄にしてしまって本当にごめんなさい。良ければまたコメントしてください。
琴葉姉妹の数学キソ論:第2回「光と闇のパラドックス」
琴葉姉妹がちょっとデュエルに詳しくなるだけの簡単な内容です。
よろしくお願いします。
基礎論マイリス:mylist/60751437
sm32548726←前|次→sm32594566
【議論のための日本語】ブラック企業対策?悪魔の証明と悪魔の代弁者
内容についておかしな部分があればコメントでご教示いただければと思います。
コンテンツクリエイター牛さん
ブログ
http://profile.ameba.jp/koushi1983
Twitter
@POPN_WAKABA_vv
コラボ企画・案件等ご依頼は
[email protected]
よりお願いします。
前回:【議論のための日本語】表現の自由とレッテル貼りの応用
http://www.nicovideo.jp/watch/sm32060314
次回:未定
音響素材:魔王魂様
動画編集:AviUtl
【議論のための日本語】表現の自由とレッテル貼りの応用
内容についておかしな部分があればコメントでご教示いただければと思います。
コンテンツクリエイター牛さん
ブログ
http://profile.ameba.jp/koushi1983
Twitter
@POPN_WAKABA_vv
コラボ企画・案件等ご依頼は
[email protected]
よりお願いします。
前回:【議論のための日本語】レッテル貼りとラベリング理論
http://www.nicovideo.jp/watch/sm32050456
次回:未定
音響素材:魔王魂様
動画編集:AviUtl
【東方】輝夜とフランドールの哲学教室 『ならば』の論理学【手書き】
姫様と妹様が論理学についてオシャベリする動画です。絵はほとんど固定しています、すみません。主に参考にしたのは<野矢茂樹『論理学』(東京大学出版会)>です。特に、『ならば』の謎めいたところと、雨の事例による議論を拝借いたしております。お借りした音楽は<nc119305>です。よろしくお願いいたします。
(V)・∀・(V)<世界に一つだけの花(SMAP)を対偶で歌ってみぱん。
花でないなら世界中に何かが沢山ある
幸せなら手をたたこう:sm29280065 エアーマンが倒せない:sm29280425 アニメじゃない:sm30014052 真赤な誓い:sm31660510
絶滅危惧種:sm19706393 メイキング:sm29328714
2003本目の動画