タグを含む動画 : 53件
論理学とは、人間の推論について研究する学問である。 概要 人間の推論について、正確にはどのようなものが正しい推論であるかを問うのが論理学である。"実際に我々がどのような推論をしているか"の研究は心理学...続きを読む
関連タグ
論理学 を含むタグ一覧
琴葉姉妹の数学キソ論:第2回「光と闇のパラドックス」
【ゆっくり解説】飛行機でよく聞く(らしい)Fish or chicken?は論理学的...
(V)・∀・(V)<世界に一つだけの花(SMAP)を対偶で歌ってみぱん。
頭を使うクイズ4
検索ヘルプ
この機能をご利用いただくには、会員登録する必要があります。
2007/09/06 18:31投稿
頭を使うクイズ3
好評につき第三弾です。数学、論理学の問題です。その他の作品頭を使うクイズsm987191頭を使うクイズ2sm989891頭を使うクイズ4sm1008048頭を使うクイズ5sm1020044頭...
←出身地に嘘はつかねーよ おかしいこと書いてるやつがいるけど文章よく読め 分かったけど問題文が不完全だな まあ普通に考えれば簡単だけど 嫌いなものと足りないものは食べないってことでいい? AそばBカレーCラーメン これ駄目じゃね? A 蕎麦 B カ...
2009/12/13 21:34投稿
宇佐見教授の哲学パラドクス講座⑤ ~怪奇!!皆既日食
2009年7月22日、私の頭上は見事な曇り空でしたorz。みんなは日食見れた? ⑥:sm9225681 秘封動画一覧:mylist/12024044 誤記... 8:30/逆に考えれば~ ⇒逆に考えれば、...
でも否定できないならそれは理論として残るんすよ この辺に関しては適応論のほうが好みだなたまたま生物ってやつが水と空気に適応しただけ まあ宇宙規模でみたら何かしらの稀な現象が必ずどこかで起こってて、それを人間がたまたま観測してるから珍しがって名前を付け...
2009/06/16 01:44投稿
【東方人形劇】蓮子とメリーの秘封倶楽部活動 番外編 ~悪魔の証明
月について色々調べていたら、興味深い記述を見つけたので。 part.08:sm10292435 後日譚(講座①):sm7459253 秘封動画一覧:mylist/12024044
ちゅっちゅ C ←それはウサギじゃない なら蓮子の部屋にメリーがいないことを証明しろ! いいなぁあのクソムシを見なくて済むなんて 現実世界に東方キャラはいないとかな・・・ バカ「よっしゃアイルランド住むわ」 A.東方永夜抄 うどんげ「私です(論理学無視)」
ニコニ広告
センシティブな内容が含まれている可能性のあるコンテンツです。
2009/03/20 19:49投稿
哲学の「て」第3回 ヴィトゲンシュタイン+クリプキ=パラドックス
うp主が遭遇したおもしろそうな哲学のネタについて、ファミレスで友達に話してるくらいのテンションで紹介していく動画シリーズです。(対象年齢=うp主の精神年齢=1...
なんでみんなバラバラなんだw あ a w このシリーズの動画すごく勉強になる 意味を考えずに、ペアノの公理と十進法記法に従っているってわけにはいかないのか ありがとー 原著に挑戦してみようかな これ聞くと争いとか戦争とかなくならないわけだよなあって感...
2008/09/21 17:16投稿
若き日のサール、ウィトゲンシュタインを語る その1
アメリカ哲学界の大御所サール(J. R. Searle)が、天才ウィトゲンシュタイン(L. Wittgenstein)を語り尽くした動画。聴き手は哲学コメンテーターのブライアン・マギー...
論考ktkr 楽譜とレコードの例がわかりやすいね 訳ありがたい すばひびで知って、論考の入門書読んだわ タコ8 字幕無きゃムリwww 写像理論 同級生でなく同じ学校に通っていた 英語が変て普通にイギリス英語聞き慣れてだけじゃんサールのが聞き取りづらい...
2024/04/10 20:38投稿
【VOICEPEAK解説】ずんずん命題論理(8)健全性の2
おまたせ、健全です。※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。実際、論理学はずぶの素人なので……。まえ……https://www.nicovideo.jp/watch/s...
うれしい でかA 配慮が行き届いてる うぽつ! うぽつ
2024/03/17 19:00投稿
直観主義論理の気持ち @第29回日曜数学会
お酒を飲みながら数学の話をするイベント「日曜数学会」。そのメイン企画である数学LT(5分間の発表)の部分を、抜粋してお送りします。日曜数学会は、年3回(1月、...
88888888888888888 Null含めなきゃいけないもんな ほなウカシェヴィチの方かー(wikipedia見ながら) 逆だったかもしれねェ クリーネの3値論理?(未定義を残した論理) T/F 神憑りの翻訳家はいつも大変 Minnie The...
2024/02/16 17:47投稿
【VOICEPEAK解説】ずんずん命題論理(7)健全性の1
むむむ無矛盾な論理、いかがですか。※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。実際、論理学はずぶの素人なので……。(20230216_追記)(1) 爆...
形式証明は有限個の論理式の列だから、どんな主張でもそれを示すのに必要な前提は有限個だけということを使うと定義できます。 このセリフに無限論理は関係ないです。有限論理でも無限個の論理式を前提におくことは普通にあります。 メタ論理というかメタ定理ですね。...
2024/02/13 12:55投稿
【VOICEPEAK解説】ずんずん命題論理(6)証明の3
いろんな証明体系を見るのだ。なにこれ、え、無理。※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。実際、論理学はずぶの素人なので……。(20240213...
入門じゃないだと 理論の完全性は理論(=公理系)の性質。意味論・統語論のどちらの観点からも説明できる。> 20240213_応答(2) そもそもGödelの不完全性定理は二値原理・排中律を許す証明体系を採用したうえでの主張である。> 20240213...
2024/01/03 15:12投稿
琴葉茜と シーケント計算LKの健全性
証明論・証明体系・シーケント計算について話し、 Γ ⊢_{LK} Δ ⇒ Γ ⊨ Δ を証明します。前: sm42049458
勃起大好き? 丁寧でわかりやすかった おつ 完全性(狭義) 推移律に似てる? いまいちなにの話をしとるんかわからん
2023/12/24 01:04投稿
【VOICEPEAK解説】ずんずん命題論理(5)証明の2
ドモルガンの法則を証明するのだ。なにこの、なに。※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。実際、論理学はずぶの素人なので……。まえ……http...
オナニーみたいなもんか 草 うぽつ 証明チョットワカル うぽつ
2023/10/15 16:48投稿
【VOICEPEAK解説】ずんずん命題論理(4)証明の1
証明するのだ。こう、ええと、うまく言えないけど、こんな感じで。※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。実際、論理学はずぶの素人なので...
うぽt~前動画主※にも動画リンク載せてくれると嬉しい メタメタしてる定理はこれより難しいのいっぱいありそう やさしいせかい 次回も楽しみ intro h (Lean民) うぽつ
2023/05/27 00:10投稿
【VOICEPEAK解説】ずんずん命題論理(3)統語論
正しいものから正しいものを導くのだ。※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。実際、論理学はずぶの素人なので……。(20231029_応答)(1) ∧...
←マズくなかった。失礼しました。 述語論理の論理式の個数が非可算になりうるのは言語が可算とは限らないから。非可算濃度の言語はモデル理論でよく使う。キューネン数学基礎論講義p155参照。 ←おまけパートだしGödel数が根拠になっているしで述語論理も念...
2023/04/09 21:53投稿
【VOICEPEAK解説】ずんずん命題論理(2)意味論
1と0のちまちまとした世界なのだ。※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。実際、論理学はずぶの素人なので……。(20230410_応答)意味論...
おててやわらかすき 環境大臣構文 決定可能性からだめな気がする 2人の字幕の色が逆だと読みやすくて助かる おまかわ へー ダメ? これ、有限子じゃないと 上のドットは最終的な結果が出る場所? へー うぽつ
2023/04/07 20:50投稿
琴葉茜と 一階述語論理のα同値性
自由変項と束縛変項と代入について、そして ∀ξφ ≡ ∀ζ(φ[ζ/ξ]), ∃ξφ ≡ ∃ζ(φ[ζ/ξ]) について話します。前: sm40433507, 次: sm43229064
評価器作ってるみたい へー うぽつ!ずっと待ってた チェックリストたすかる うぽつ ただの項が深さ0みたいな考えがあったりするのだろうか やっと分かった! そのまんまやね はぇ~どうやって定義するのか気になる
2023/03/29 17:32投稿
【VOICEPEAK解説】ずんずん命題論理(1)導入
ずんだもん、論理を学ぶ。導入です。※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。実際、論理学はずぶの素人なので……。(20230410_応答)Γ⊢φは「...
ほう…いちまる派ですか deny 「でない」が"deny" ほむ 数学Aだっけ 美訛りずん子かわいい おもしろい 助かる むしろそのように作られたのかな たのしみ それは嬉しい ふむ んならばすき ここのずんこさんいいな〜 おおー 分霊ちゃんらくがき...
2022/12/21 20:00投稿
【論理学】ひろゆきが使う詭弁対策講座 ブーメラン編【VOICEROID解説】
スマート&スマイルなココロ、略してスマココチャンネルです。 心理学の世界を楽しん学べる心理教育バラエティーを目指しています。今田舞(CV:紲星あかり)と新条あす...
←心理学はやらないのが一番の治療ゾ ゲームとしては違反 でも説得力に傷はつく プロスペラ論法 ポケモンの増田信者の愉快犯共がめっちゃやってた悪ふざけ ポケモンでガルットモンスターをふざけて幇助してたクズ愉快犯ガキ共がしてたやつかな 常習犯の場合は流石...
2022/08/09 20:20投稿
【ゆっくり解説】それって本当に因果関係?因果関係の詭弁と誤謬【第1論...
みなさん、お久しぶりですこんにちは。今回はそれって本当に因果関係になってるの?っていうことを解説していきます。夏休みでフィーバーのためまだまだたくさん動画上...
おつ ネットの基本だねーw おれもあぶねーw 一酸化二水素(DHMO)は毒的なw アンケートとかで騙されそうだなw 卵が先か鶏が先かみたいだなと思ったけど、それは比例関係の方に似てるかw ヒュームはむしろこれを因果関係の条件としているねw
2022/08/04 17:35投稿
【後編】モデル検査入門【作ってみよう】
前編 → sm40864910少し風邪気味です。音声が聞き取りづらい箇所があり,申し訳ないのです。プログラムの検証をするための手法の一つをご紹介します。ソースコードと講義...
宿題まであるのか…
2022/08/03 17:00投稿
【前編】モデル検査入門【作ってみよう】
後編 → sm40866923プログラムの検証をするための手法の一つをご紹介します。この分野に少しでも興味を持っていただけたら嬉しいのです。ソースコードと講義資料: https...
Bの=は==の書き間違い? 1ゲト
2022/06/06 19:34投稿
【ゆっくり論理学解説】ひろゆきvs勝間和代編
ゆっくり茶番劇投稿祭
素振りは基本 悲しいなぁ・・・w 業者の勧誘電話に真面目に付き合っちゃう人みたいだなw かわいいですねw どっちもダメじゃないですかw 質問に質問で返すのと似た感じかw でも数学の圏論ってそういう感じじゃないのかな? 太刀筋が寝ぼけているよw 議論と...
2022/05/07 18:46投稿
琴葉茜と 表現的適格性と演繹定理
Γ ⊨ φ→ψ ⇔ φ, Γ ⊨ ψ を証明します。前: sm40293733, 次: sm42049458
おお? でたー 論理回路で似たようなことやったなあ 歩いたのに不幸なことが起きないなら前提φか「不幸なことが起きない」という結論¬ψ(プサイの否定)が間違ってるということか。 多分だけど「歩いたら不幸なことが起きる」かつ「歩いた」ならば「不幸なことは...
2022/04/09 14:08投稿
琴葉茜と 一階述語論理の統語論と意味論
Γ ⊨ φ って何?という話をします。次: sm40433507
いきなり全部未定義でいやきついっす そんなことがあり得るのか…? 42 代入操作を割り当てgと呼んでいるのかな ようは変数ξに何かaという具体的な元を代入するということか 完全性と不完全性までみたい 定義的にφが必要なのか。 宇宙(数学) ここ論理式...
2021/09/25 18:15投稿
【ゆるく解説】並列処理の基礎知識
並列処理の基本的な概念をいくつかご紹介します。この分野に少しでも興味を持っていただけたら嬉しいです。(追記: 一部音声が聞き取りづらい箇所があり,申し訳ないの...
へー、こんなことやるんか やっほー
2021/05/21 16:50投稿
【ゆっくり解説】飛行機でよく聞く(らしい)Fish or chicken?は論理学的に正し...
追記>>FishとChikinに重なり合う部分がないいい着眼点です!FishやChikinそのものを集合として捉えれば,Fish ∩ Chikinはタンパク質だとかそういう話になるってい...
論理演算子じゃなくて? NOT AND エクスクルシブオア Y=AB ←お風呂やないかい !=条件を逆にする AND=両方が一致しないと実行しない条件分岐の一種 OR=片方又は両方だと実行する条件分岐の一種 もう助からないぞw メーデーメーデー、乗務...
2020/11/28 14:52投稿
【ボイスロイド解説】犯人がどうしても見つからない殺人事件のパラ...
次:sm37885383先輩兄貴のパラドックス動画が面白くて自分でも作ってみました!スマリヤンのパラドックスと呼ばれる物で、めちゃんこよくできてると思います。三浦先生...
太郎と次郎の二人ですね お互いの相互作用で三郎を死に追いやったと考えるのが自然かと思われます テーレッテレー! WWWW 水を飲ませないようにして結果的に三郎は水が飲めずに死んだのなら次郎では? ならない 水を飲めなくして死期を早めたのは次郎 三郎は...
2020/06/14 16:33投稿
【ゆっくり解説】ロジカルシンキングとは?論理的とは?
論理的やロジカルシンキングという言葉をよく耳にしますが、みなさんはこれらの言葉の意味を知っていますでしょうか?参考文献「地頭力を鍛える」「論より詭弁」「知的...
面白かった ww きしょいw www 事もあるだと無限に言葉が紐付いて収集できなくなるぞw 電気回路で便利なやつ 大草 草 はえ〜 「他の方も読んでいらっしゃいます」「じゃあ読もう」 ボイチェしてるだけでウサン臭えw 「世界の法則なんぞ知るか!この経...
2020/06/03 20:57投稿
実数について
共感しました!みたいなコメント待ってます!追記:なぜかいくつかのコメントが表示されないみたいです。プレビューでだけ見えているコメントが何個かあります。BGM:す...
例えばZFCだと、c.t.m.の住人にとっては非可算だがVの住人にとっては可算という考え方ができる コーシー列とか言われてもなんか疑わしいよね しょっぱなから飛ばすなあ ? 声がわりしたんだ
2020/05/29 22:19投稿
多重否定について
別に変ではないです
2020/05/19 23:03投稿
【作ってみた】SATソルバを作ってみよう【論理学】
論理パズルを解くプログラムの簡単な解説です。この分野に少しでも興味を持っていただけたら嬉しいです。youtube版: https://www.youtube.com/watch?v=GYrFliXBFEo【ソ...
思ったよりためになりそう。ノート買ってきて週末もう一回見直す 基本の単語から説明してくれるの助かる 再帰下降構文解析って全体を細かくわけてくやつか お声可愛い うぽつ ( /*>ω<)/♡ ソルバー作るとか怖い・・・
2018/07/13 20:38投稿
【解答編】√3>3の証明
予想外に反響があった「√3>3の証明(sm33505304)」の解答編です。本当の意味で正解にたどり着いた方は少なかったようです。※問題編を見てからのご視聴をお勧めします...
非ユークリッド幾何でも無理か? あとはこれが成り立つ公理系組んでやりゃいいんだもんな 「誤っている」かどうかの根拠(現実)や論理、自意識の正しさは証明できないから気にすることないゾ 図形問題で虚数解が出てくる時点で前提がおかしいってことね 要は初手か...
2018/01/22 00:08投稿
琴葉姉妹の数学キソ論:第4回「愛と平和とストーカー」
琴葉姉妹がパジャマパーティーするだけの簡単な内容です。よろしくお願いします。基礎論マイリス:mylist/60751437sm32594566←前|次→sm32659112動画終了後にミスがあっ...
草 この流れで和集合とか聞くとなんか卑猥 愛、愛ってなんだ ふーん。いいんじゃない?ただ少し……すこぺっそすだなあと思っただけさ いやそのりくつはおかしい だがこいつが許すかな? てことは言葉もあったんだな たしかに お前らひとつになっとるやんけ 工...
関連するチャンネルはありません
論理学に関するチャンネルが件見つかりました
他のチャンネルを探してみませんか?
全ての関連チャンネルを見る
関連するコミュニティはありません
論理学に関するコミュニティが件見つかりました
動画:
フォロワー数:
レベル:
コミュニティを開設してみませんか?
全ての関連コミュニティを見る