人々はChatGPTを過信しすぎ…AIが抱える超難問「シンボルグラウンディング問題」とは

2023/11/19 7 users chatgpt LLM 超難問 難問 人々

ChatGPTの数学力は、一般に考えられていることとは違って、かなり低い。それだけでない。論理学や金融の概念さえも間違える。これは、ChatGPTのLLMの仕組みが関係している。LLMをベースとしたAIが抱える本質的な問題であり、解決法が見いだされていない難問だ。 1940年、東京に生まれる。 1963年、東京大学工学部卒業。 ... 続きを読む

論理学 - 株式会社昭和堂

2021/09/18 12 users

第Ⅰ部　計算と表現 第1章　古典命題論理（1）――論理式で計算する 第2章　古典命題論理（2）――推論の妥当性 第3章　様相論理（1）――可能世界意味論 第4章　様相論理（2）――対応理論 第5章　古典述語論理（1）――量化子 第6章　古典述語論理（2）――多重量化 第7章　古典述語論理（3）――計算と表現 第Ⅱ部　正しい論理を求め... 続きを読む

「泥棒は外国人でした」を、何故か「外国人は泥棒でした」と読んでしまうバカが多すぎ。論理学って大切 / つるのさん一連のツイート削除。言論弾圧大成功。不平不満もツイートできない

2020/09/08 6 users 不平 泥棒 北朝鮮 ツイート削除 外国人

「泥棒は外国人でした」を、何故か「外国人は泥棒でした」と読んでしまうバカが多すぎ。論理学って大切 / つるのさん一連のツイート削除。言論弾圧大成功。不平不満もツイートできないなんて北朝鮮レベルやなw 続きを読む

マンガ「主語が「みんなが」とデカくなる人に正確な数字で聞いてみたら「30人中5人くらい」と言われた話」…「論理学ではみんなの時点で嘘」や「人数確認は大事」の反応も - Togetter

2019/06/12 253 users 意味 言葉 ところ Togetter 主語

言葉の意味としての｢皆｣ということではなく、なんというか、みんながざっくり言うところの｢みんな｣の認識ってなんか難しいよねって話ね。みんなが。 続きを読む

JavaScript で論理学を実装 - Qiita

2019/04/06 37 users Qiita node 構文解析 npm i 実装

0. 概要 JavaScript上で命題論理の言語を実装し、意味論 (恒真式・意味論的同値関係やタブロー計算)の各種概念も実装に落とし込む。証明論は未実装。動作環境は Node。 依存パッケージは nearley (構文解析) のみ。npm i --save nearley で環境構築完了。 0. 表記 原子命題は p,q,r,s,t,u のみ利用可。¬⋀⋁→↔ は -,A,V,->... 続きを読む

夏目漱石の成績表を発見　旧制一高時代、哲学クラストップ　 - 毎日新聞

2019/01/07 13 users 夏目漱石 毎日新聞 漱石 文豪 備忘録的

福井県は7日、夏目漱石（1867～1916年）が旧制第一高等中学（現東京大教養学部）に在籍した時の成績資料が見つかったと発表した。現在の福井県越前市出身の哲学者で一高教諭の松本源太郎（1859～1925年）が、論理学（哲学）の成績を付けた備忘録的な手帳で、漱石の大学入学前の学業状況を示す記録は珍しく、県は「文豪の... 続きを読む

「論理的思考」は万能薬ではないかも【その１】 - ちしきよく。

2017/03/27 22 users 思考 万能薬 bookmark スポンサーリンク コメント

2017 - 03 - 27 「論理的思考」は万能薬ではないかも【その１】 論理学 あとで読む シェアする Bookmark! Facebook Twitter Google+ Pocket スポンサーリンク もっと読む コメントを書く 続きを読む

『理論から学ぶデータベース実践入門』の間違いを指摘する - Qiita

2017/01/02 125 users Qiita リレーショナルモデル 理論 データベース実践入門

『 理論から学ぶデータベース実践入門 』という本を読んでいて、2章の論理学の説明に多くの誤りを見つけたので指摘しておく。この本はデータベースについての技術書であり、数学書ではないのでこれらの誤りがこの本の価値を完全に損なうとは思わない。 しかし、述語論理に基いてリレーショナルモデルを説明するという趣旨の本である以上、その基礎である論理学の説明が不正確なのは大きな問題である。また著者が論理学の専門家... 続きを読む

某在京キー局から「番組で応量器を使いたい、無償で送れ」という旨のメールを頂戴した。 - Togetterまとめ

2016/05/18 347 users Togetterまとめ 無償 数学 哲学 物理

応量器をはじめとした漆器屋、漆器専門家。化学物質不使用。好きな食べものは構造主義と論理学。真理探究のため哲学や宗教学や人類学と論理学や数学や物理を行ったり来たり。 https://t.co/nNTT5Minuj 某在京キー局から「番組で応量器を使いたい、無償で送れ」という旨のメールを頂戴した。「無償は無理、卸もしていない。小売価格で通常通り注文ください」と返したら「それくらいタダでよこしてもいいで... 続きを読む

論理学の問題を解くには「真理値表」というのを使うと一見地味だが汎用性が高く威力抜群であること - しいたげられたしいたけ

2016/03/25 304 users 数学 前々回 しいたけ エントリー 威力

2016 - 03 - 26 論理学の問題を解くには「真理値表」というのを使うと一見地味だが汎用性が高く威力抜群であること 数学 前回と前々回のエントリーには、思ったより多くのアクセスをいただき、ありがとうございました。どうも「 はてなブックマーク 」の特集の「 技術ブログ 」というところに載ったのが理由のようです。 いつもの悪い癖で長々と書いてしまいましたが、三行で要約すると、以下の通りです。 ... 続きを読む

易しくない論理学

2015/11/05 141 users 文科系 Logic 副読本 素養 体裁

0.1　論理学の素養が必要になる理由 この報文の原稿は、学術レポートを作成するときの教材として作成した「実用文書のまとめ方」の副読本として編集したものです。実用文書を作ることは技術です。これには三つの要素があります。第一は、正しい文章が書けること、第二が文書の書式、第三が全体としての体裁です。第一の要素には、学問としての論理学(logic)の素養が大切です。この学問は、従来は文科系の専門と考えられ... 続きを読む

この世界は作り物だった - phaの日記

2015/10/13 338 users pha シミュレーシ 僕ら 人工知能 2015-10-13

2015-10-13 この世界は作り物だった 最近論理学の本を読んでいたんだけど、そうしたら、僕らが生きているこの世界は生の現実ではなくて現実と見分けが付かないくらい精巧なコンピュータシミュレーションの中の世界である可能性が極めて高いということが分かった。僕らはみんなコンピュータゲームの中の人工知能みたいなものだ。 現在の科学技術ではまだ人間と同じように意識を持つプログラムや世界全てをシミュレーシ... 続きを読む

素人が分析哲学や論理学・数学の哲学をやる際にこれだけは読んでおけ！ってリストを教えてくれませんか五冊ほど教えてくれたら嬉しいです | ask.fm/ytb_at_twt

2015/08/17 268 users ref www.amazon.co.jp 数学 哲学 言語

素人が分析哲学や論理学・数学の哲学をやる際にこれだけは読んでおけ！ってリストを教えてくれませんか五冊ほど教えてくれたら嬉しいです こんな感じでいかがでしょう（5種8冊になってしまいましたが） ①数学を哲学する スチュワート シャピロ http://www.amazon.co.jp/dp/4480860746/ref=cm_sw_r_tw_dp_moE0vb1VN9SAR ②言語はなぜ哲学の問題にな... 続きを読む

安保法制「論理的に不毛の議論だ」自民・細田氏：朝日新聞デジタル

2015/06/18 29 users 安保法制 自民 帰結 細田博之 細田氏

■細田博之・自民党幹事長代行　平和安全法の議論をみても、平和、安全が損なわれる可能性があるから、備えをしないといけないという問題意識だ。「それが起こるかどうか分からないじゃないか」などということを、すべて網羅することは不可能。言語の定義というのは、そういうものだ。言語に惑わされて、非論理的な議論をしてはならないというのは、論理学と法哲学で当然の帰結だが、わが日本では、ややあいまいで情緒的な議論が行... 続きを読む

「論理学」ってなんですか。　 - Togetterまとめ

2014/08/16 71 users Togetterまとめ

嘘にもとづく結論は、論理学的にはつねに真です（対偶をとるとわかる）。 RT @yamagen_jp: 論理的には、前提が嘘に基づいていても、結論が正しいことはあり得る。しかし、前提は嘘で無い方がいいですね。RT 嘘にもとづいて正しい結論が出ることはない。 続きを読む

圏論入門のとしてのホモロジー - 再帰の反復

2013/08/08 39 users 反復 ロジック 数学 再帰 入門

数学圏論への入門の仕方ホモロジー付記:ホモトピーとホモロジーの違いコホモロジー関数のつながりにくさと(コ)ホモロジー完全系列と圏論的視点制約としての完全系列付記:加群のホモロジーとTor圏論への入門の仕方圏論を学ぶきっかけとしては、だいたい計算機科学、論理学からホモロジー、代数幾何からの二つがあって、一見すると計算機科学、ロジックの方から入った方が(数学の前提知識をあまり必要としないこともあって)... 続きを読む

議論の方法と論理的思考のレッスン - 社会学徒の研究（？）日誌

2013/07/15 51 users 社会学徒 日誌 議論 思考 和久

論理学をつくる 戸田山 和久論理学をつくる作者: 戸田山和久出版社/メーカー: 名古屋大学出版会発売日: 2000/10メディア: 単行本購入: 27人 クリック: 330回この商品を含むブログ (107件) を見る 「科学的思考」のレッスン　戸田山 和久「科学的思考」のレッスン―学校で教えてくれないサイエンス (ＮＨＫ出版新書)作者: 戸田山和久出版社/メーカー: NHK出版発売日: 2011/... 続きを読む

SF・評論入門2 円城塔と宮沢賢治の意外な共通点とは？：藤井義允:Book News

2013/07/08 25 users 虐殺器官 宮沢賢治 飯田一史氏 笠井潔氏 しくみ

若手を中心にした批評家集団の「限界研」のメンバーの皆さんによるSF入門レビュー企画「ＳＦ・評論入門」。 「限界研」は、『ベストセラー・ライトノベルのしくみ 』飯田一史氏のほか、作家としても活躍している批評家の笠井潔氏, 『神、さもなくば残念。 』や『探偵小説の論理学 』の小森健太朗氏、『虚構内存在 』の藤田直哉氏、『イメージの進行形 』の渡邉大輔、2010年に伊藤計劃『虐殺器官』を論じた評論で日本... 続きを読む

Alloy でクリプキ可能世界意味論！ - はてな使ったら負けだと思っている

2011/08/30 13 users Alloy 意味論 勉強 記録 通常

Alloy, 論理学, 様相論理Alloy でクリプキの可能世界意味論をエンコードしてみた記録。論理学をきちんと勉強した訳じゃないので、もし誤りがあったら是非教えてください。 可能世界意味論と云うのは、偉大な論理学者ソール・クリプキが、なんと若干高校生の頃に思い付いた様相論理の意味論です。様相論理って云うのは、通常の命題論理に、「□P (必然的に P)」とか「◇P (Pであることが可能)」と云う二... 続きを読む

【論理学】やる夫が論理的な考え方を学ぶようです １ニートな２ちゃんねらー日記

2011/01/08 587 users ２ちゃんねらー日記 考え方 イントロダクション 第1回

150 ： ◆GI8xWOz4Ko：2010/04/25(日) 16:20:35 ID:KOMqvzRI ┌────────────────────────────────────────────┐ │　　　│ │　　　│ │　　　【論理学】やる夫が論理的な考え方を学ぶようです　　　......│ │　　　│ │　　　│ │　　　第１回　イントロダクション　〜　論理学マジおすすめ　〜　　　....... 続きを読む

論理学は思考の「高地」トレーニング」である／ロジック・アズ・ブロックバスター 読書猿Classic: between / beyond readers

2010/04/05 320 users between 高地 beyond readers 悪文 思考

論理学の良いところは、トレーニングの効果が絶大なところだ。 　たとえれば、論理学は一種の「高地」トレーニングなので苦しいが、これによって思考の「心肺機能」がアップする。 　思考が「息切れ」しにくくなる。そして「登坂力」が増す。 　微細な違いに気付く力や、筋が混み入った話への感受性も高まる。 　学術書の類や、日本語とは思えない悪文を読むのに、きつい坂道を上るような苦しさを感じている人は、最もその効果... 続きを読む