キーワード統語論を含む動画:6件 ページ目を表示
2024年6月24日 07時12分に生成された05時00分のデータです
2017-04-05 22:56:28
パンツァー語で喋ってみた [パンツァードラグーン]セガ制作のゲームで使われた言語。YouTubeコメ欄でリクエストがあったので衝動的に。ピジンみたいに単語羅列しただけのクソ動画ですが、統語論は公式文例に準拠したつもり。わざとコテコテの日本語訛りで話すのに苦労したぜ。オルテ語とを話す声優の真似的な。公式音源が凄く日本語訛りなんだよね。それゆえファンからアイヌ語的響きと評されるのか。
最近はディープラーニングとスパースモデリングとか多変量解析だの機械学習に興味が移って語学全然やってねえ。予告してたハワイ語が忘却の彼方すぎて我ながら草。
過去動画は「言語学」タグで検索。またおまえか パンツァー=戦車 2017年になってパンツァー語の動画上がるってすごいなw デナ! せんちゅりおーん おつ うぽつ かなり発音が簡潔と思っていいのかな? 1
- 1,800
- 80.4
- 20.1
- 80.4 YouTubeで検索
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だっけ 美訛りずん子かわいい おもしろい 助かる むしろそのように作られたのかな たのしみ それは嬉しい ふむ んならばすき ここのずんこさんいいな〜 おおー 分霊ちゃんらく...
- 378
- 379.8
- 349.0
- 71.9 YouTubeで検索
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 YouTubeで検索
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 YouTubeで検索
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 YouTubeで検索
1970-01-01 09:00:00
- 0
- 0nan
- 0nan
- 0nan YouTubeで検索