古典命題/述語論理の証明論・モデル論や、健全性・完全性定理に多少触れたことがないと理解できない可能性が高いです。 また、哲学に関する前提知識は必要ありません(おそらく)。 分かっている人向けの説明 「金子先生や大西先生の文献を追いながら、ダメットの反実在論に関する議論をざっくり整理してスッキリしたい」という気持ちに突き動かされて書いた個人的なメモを、他人に見せられるように整形・拡張したものです。今年言語哲学について学んだことのメモにもなっています。 直観主義論理とはまず、今回のテーマである直観主義論理についての説明をしておきたいと思います(すでにご存じの方は次章に移ってくださって構いません)。いわゆる普通の論理学の体系、古典論理(classical logic)についての知識は前提としているので、知らない方は色々調べて見てください。 さて、直観主義論理を非常に簡単に説明するなら、古典論理の
ver.2022.05.26：文章を色々と変更・修正。数学や歴史についての内容は変っていない。数式を MathJax で表示するように変更。インライン要素の前後に意図せぬ空白が入っていたのを修正。 1. 不完全性定理理解の第一歩に向けて…このテキストの内容の説明 このテキストでは、1931年にクルト・ゲーデルが発表した数学の定理である不完全性定理の理解への第一歩として、なるべく数式を使わない説明を行う。不完全性定理には第一不完全性定理と第二不完全性定理のふたつがあるが、最初、物理学の万物の理論とのアナロジーを使って、第一不完全性定理がどんな定理なのかを説明し（第2-8節）、その後で第二不完全性定理の説明、および、第一不完全性定理と第二不完全性定理が生まれた歴史的背景について説明する（第9-15節）。そして、最後にこの定理の人類の知の歴史における位置付けを行う（第16節）。 このテキストでは
L．フロリディのInformation: A Very Short Introductionがついに翻訳された。 邦題は『情報の哲学のために』である。 原書は2010年にOxfordのVery Short Introductionsシリーズから発売され、11年後の今になってようやく翻訳がなされたわけである。嬉しい。 フロリディの翻訳と言えば今年2月に何かが発売されたような気がしないでもないが、あれは錯覚である。 みんなして同じ悪い夢でも見ていたんだろう、きっと。 その錯覚のせいなのか「フロリディの翻訳」と聞くと若干身構えてしまうが、今回の翻訳はまともである。 翻訳を担当したのは図書館情報学や社会情報学などが専門の塩崎氏と河島氏だ。 情報の哲学が専門ではないものの、わりと近い分野からの翻訳ということで、幻となってしまった彼よりかはよっぽど専門家である。 そして、なんと言っても天下の勁草書房か
生まれてこないほうが良かったのか? ――生命の哲学へ! (筑摩選書) 作者:正博, 森岡 発売日: 2020/10/15 メディア: 単行本（ソフトカバー） おれは反出生主義者を自認している。 おれの反出生主義は、シオランを読んで目覚めたものでもなければ、べネターを読んだせいでも、ショーペンハウアーから学んだわけでもない。 まず、おれの中から生じてきた思いがあって、その後に「反出生主義」という言葉を知ったのだ。 反出生主義、この世に生まれ出るという不運―シオラン『生誕の災厄』を読む - 関内関外日記 べつに今いるのを殺すことはないけれど、これ以上増やさなくてもいいとはわりと本気で思う。 おれはこれを書いたとき「これだ」と思った。べつにだれの言葉の引用でもない。おれの内から湧き出た言葉だ。ひょっとしたらだれかの影響を受けているのかもしれないが、それを言い出したらキリがない。ここに今叩きつけて
この記事は、大塚淳『統計学を哲学する』（2020年、名古屋大学出版会）についての記事である。特に、哲学の観点から、本書における認識論への言及について論じる。 先に自己紹介をしておこう。私は数年前に大学院の修士課程を修了し、それ以降は特に哲学とは関係のない仕事をしている。大学では、学部・院を通して分析的認識論を勉強・研究していた。伝統的・非形式的な認識論のほうが詳しいと思っているが、形式認識論（特に確率を用いるベイズ認識論）についても関心を持っていて、博士課程に進んでいたらベイズ認識論を中心にした研究を行おうとも思っていた。数年前の記事になるが、私がどのようなトピックを学んでいたかは、現代の分析的認識論を紹介したこのブログ記事を読むとより把握できると思う。 踏まえて、以下の文章は主に哲学の視点からみたものになり、記述の大半は哲学的認識論に割かれている。帰納推論や因果推論などのトピックについて
類似性と「みにくいアヒルの子の定理」 小野山 敬一 １．はじめに 類似性 similarity は対象間の関係を見るひとつの方法であり，しばしば分類における基準となるもので，それによって事物のグルーピングが行なわれたりするものである．一方，「みにくいアヒルの子の定理」（the theorem of the ugly duckling）は，形質を同等に評価した場合には類似性にもとづく分類がありえないこと，したがって客観的な分類がありえないことを示すものと解釈されている． 「みにくいアヒルの子の定理」はWatanabeが1961年にAAAS annual meetingで言及し，1962年ブラッセルでの講演で厳密な証明を与えた．後者はWatanabe (1965) に収録されている．その後，渡辺自身は，Watanabe (1969) や渡辺（1978，1986）で取り上げているが，他の著者が言
研究会は1100人を超える登録者にYouTube配信を行い，盛会のうちに終了しました．ご参加ありがとうございました． 日程： 2020年11月21日，22日 【招待講演】 合原一幸，甘利俊一，池上高志，伊庭幸人，蔵本由紀，篠本滋，土屋和雄，西浦廉政 【戦略提案】 石井信，郡宏，寺前順之介，引原隆士，深井朋樹 【特別出演】 塚田稔，設楽宗孝 【討論参加】 青柳富誌生，大泉匡史，樺島祥介，唐木田亮，小山慎介，酒井裕，中尾裕也，中江健 趣旨: 数理モデル解析には高度な解析技術が必要とされてきましたが，現代では様々なアプリケーションが開発され，誰もが手軽に利用できるようになりました．このような変化のなかで，理論研究者はどういう方向を目指せば良いのでしょうか．本研究会では，数理モデリング研究の開拓者たちをお呼びして，彼らがこれまで研究を進めた背景の哲学を語っていただきます．また現在最前線で活躍中の研
目 次 序 章 統計学を哲学する？ 1 本書のねらい 2 本書の構成 第1章 現代統計学のパラダイム 1 記述統計 1-1 統計量 1-2 「思考の経済」としての記述統計 1-3 経験主義、実証主義と帰納の問題 2 推測統計 2-1 確率モデル 2-2 確率変数と確率分布 2-3 統計モデル 2-4 推測統計の世界観と「確率種」 第2章 ベイズ統計 1 ベイズ統計の意味論 2 ベイズ推定 2-1 仮説の確証と反証 2-2 パラメータ推定 2-3 予測 3 ベイズ統計の哲学的側面 3-1 帰納論理としてのベイズ統計 3-2 内在主義的認識論としてのベイズ統計 3-3 ベイズ主義の認識論的問題 3-4 小括：ベイズ統計の認識論的含意 第3章 古典統計 1 頻度主義の意味論 2 検定の考え方 2-1 蓋然的仮説の反証 2-2 仮説検定の考え方 2-3 検定の構成 2-4 サンプルサイズ 3 古典
対談 単行本 - 日本文学 生まれることは悪いことか？ では産むことは？ 【特別対談】川上未映子×永井均 反出生主義は可能か〜シオラン、べネター、善百合子 川上未映子 永井均 2020.05.22 昨年、毎日出版文化賞（文学・芸術部門）を受賞し、この春に英訳が刊行され、The New York Timesをはじめ、The New Yorker、VOGUE といった主要メディアに書評やインタビューが掲載されるなど、海外でも大きな話題になっている川上未映子さんの『夏物語』（文藝春秋・刊）。この作品を巡って行われた、初の総特集本「文藝別冊 川上未映子」掲載の永井均さんとの対談を公開します。 なお、この対談の参考として「文學界」2019年8月号に掲載された、永井均さんの「善百合子の主張」も特別掲載いたします。ぜひこちらもご一読ください。 *** 川上 今日のイベントは永井先生と「反出生主義は可能
14世紀の『健康全書』の挿絵 「鶏が先か、卵が先か」（にわとりがさきか、たまごがさきか）という因果性のジレンマは、平たく言えば「ニワトリとタマゴのどちらが先にできたのか」という問題である。昔の哲学者にとってこの疑問は、生命とこの世界全体がどのように始まったのかという疑問に行き着くものだった[1]。 教養的な文脈で「鶏が先か、卵が先か」と述べるとき、それは互いに循環する原因と結果の端緒を同定しようとする無益さを指摘しているのである。その観点には、この問いが持つ最も根源的な性質が横たわっている。文字通りの解答はある意味明白であり、初めて鶏の卵を産んだ鶏以外の一個体（またはその卵の父親を含む二個体）が鶏の存在を規定したと言える。しかしメタファーとしての視点に立つと、この問いはジレンマにつながる形而上学的問題をはらんでいる。そのメタファーとしての意味をよりよく理解するために、問いは次のように言い換
こんなものが読めるとは思っていなかった。驚き、悲しみ、何度も頭に血がのぼった。そして、著者の本気度に慄いた。 物理学者の谷村省吾先生（以下、谷村氏）による、『〈現在〉という謎』への「補足ノート」が公開された。本書の発行時から、公開が予告されていた文章だ。 谷村省吾「一物理学者が観た哲学」（pdf） http://www.phys.cs.is.nagoya-u.ac.jp/~tanimura/time/note.html 書籍『〈現在〉という謎』に関しては、感想をブログに書いた： 同書で谷村氏と分析哲学者たちの応酬を読んだ私は、当初は谷村氏が「挑発者」の役を演じているのではないかと思った。裏ではお互いわかり合っていながらも、本を面白くするために、敢えて対立点を強調したのではないかと。そうであってほしいとも思っていた。 しかし、違った。本気だった。谷村氏は、物理学者としてのインテグリティを賭し
科学というのは、その成り立ちや動作原理が未知の対象――宇宙、生命、脳など――を「理解する」ための営みと言える。だが、ときに「科学的に理解するとはどういうことなのか」がわからなくなることがある。本ブログでは、一貫してそれについて考えてきた。 どうすれば脳を「理解」できるのか：「コンピュータチップの神経科学」から考える - 重ね描き日記（rmaruy_blogあらため） 深層学習は科学に「理解」の放棄を迫るのか？：「高次元科学への誘い」（丸山宏）へのコメント - 重ね描き日記（rmaruy_blogあらため） 続・どうすれば脳を「理解」できるのか： 分かり方は一つじゃない～脳理解の多元主義へ～ - 重ね描き日記（rmaruy_blogあらため） 脳や生命や量子現象は、どのように理解できるのだろうか？ 理解できないものを理解するには、まずは理解を理解しないといけないだろう。 また近年、機械学習が
たとえば、高速道路に「たまたま」飛び出した人をはねて死なせてしまったとする。ドライバーは「注意して運転していれば避けられたはず」として、過失の度合いが図られる。 あるいは、通勤中、「たまたま」通り魔に襲われたとする。「過失」を無理やり探すなら、その道を選んでしまったことになるのだろうか。 この「たまたま」が厄介だ。 それまでの善行・悪行に関係なく、「たまたま」悪い目に遭う。悪い結果になっていないのは、偶然に過ぎないのに、結果が「たまたま」悪ければ、悪い原因が遡及される。 理想の世界では、善人には報酬が、悪人には報復が与えられる。災厄に見舞われた人には埋め合わせとする幸福が与えられる。 だが、現実は違う。善悪と幸不幸が同期しない。現実は、むしろ運に左右される。そのため、善悪を語る場から、運を排除しようとする。 宗教や神話は、「神意」や「天命」と呼ばれる神の意志＝運命を取り入れ、前世や来世の因
（注意：長いです。お時間のある時にどうぞ。） 私は「情報技術が私達の社会にどのような影響を与えるか」という問題に興味を持っています。ここでは、最近進歩が著しい深層学習が、科学の営みにどのように影響を与えるかを考えてみたいと思います。「高次元科学」とでも呼ぶべき新しい方法論が現れつつあるのではないか、と思うのです。 １．深層学習と科学 そもそも、この考えに行き着いた背景には、私が統計数理研究所で過ごした5年間がありました。統計数理研究所は大学共同利用機関として、自然科学の様々な研究を推進するための統計的手法を研究しています。ご存知の通り、統計的仮説検定や統計モデリングは、現代の科学における重要な道具立ての一部です。そのような道具立てが、科学の方法論の長い歴史の中でなぜそのような地位を占めるようになってきたか、に興味を持つようになったのです。 きっかけは、情報技術が科学の方法論をどのように変え
みすず書房 @misuzu_shobo 【新刊】本日配本！ ゴドフリー=スミス『タコの心身問題 頭足類から考える意識の起源』（夏目大 訳） 進化は「心を少なくとも二度、つくった」。哲学者かつダイバーでもある著者が、生物学と哲学をブレンドしながら、頭足類の心身問題や進化を通じて心や意識の本性を探る。 msz.co.jp/book/detail/08… pic.twitter.com/FF3PCQfEhm リンク www.msz.co.jp タコの心身問題：みすず書房 『タコの心身問題』の書誌情報：心は何から、いかにして生じるのだろう。進化は「まったく違う経路で心を少なくとも二度、つくった」。一つはヒトや鳥類を含む脊索動物、もう一つがタコやイカを含む頭足類だ。哲学者であり練達のダイバーでもある著者によれば、「頭足類と出会うことはおそらく私たちに ... 50
Publickeyの記事をきっかけに話題になっているようです。 www.publickey1.jp ネタ元はHacker Newsなんですかね。 news.ycombinator.com 残念ながら、リンクされているページは開発中のブランチであり、まだSQLite本流にはマージされていません。 また、現状ではマージする予定もありません。 sqlite.org ちなみに、このブランチは楽観的ロックを実装しているので、マージされたとしても使うときにはアプリケーション側でちょっと気を付ける必要がありそうですね。リトライすればいいんですかね？ 皆さん、こんにちは！ 今回のブログでは、私が最近行った28000円の寄付についてお話しします。私は昨年から効果的利他主義に基づいて寄付を続けており、この記事が皆さんに善行を広めるきっかけになればと思っています。 効果的利他主義とは？ 効果的利他主義(Effe
この記事は中立的な観点に基づく疑問が提出されているか、議論中です。 そのため、中立的でない偏った観点から記事が構成されているおそれがあり、場合によっては記事の修正が必要です。議論はノートを参照してください。 (2019年8月) この記事には独自研究が含まれているおそれがあります。 問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。（2019年8月） 神の存在証明（かみのそんざいしょうめい、英語：Existence of God）とは、主として（少なくとも、西欧哲学でこの言葉を使うときは）、中世哲学における理性による、神の存在の根拠の提示の試行を意味する。中世以前では、神の存在は自明と考えられていたが、『神学大全』の著者トマス・アクィナスは、「神は、自然なる理性においても、その存在や超越的属性が論証可能な存在である」と主張した。このように神の存在を、
直観（ちょっかん、英語: intuition）とは、知識の持ち主が熟知している知の領域で持つ、推論、類推など論理操作を差し挾まない直接的かつ即時的な認識の形式である。 なお、日本語の直観（ちょっかん）は、仏教用語の「प्रज्ञा（プラジュニャー、般若）」の訳語の一つである直観智に由来する。直観智は分析的な理解である分別智に対する直接的かつ本質的な理解を指し、無分別智とも呼ばれる。また、整理整頓などでも洞察力や判断力よりも直観を必要とされることが多い。 直感とは感覚的に物事を感じとることで、勘（で答える）のような日常会話での用語を指すが、直観は、合理的かつ分析的な思考の結果に概念化された知識の実体が論理的に介在する（すなわち思考や、概念という仲介物が知識の持ち主と対象の間に論理的に置かれる）ようなすべての知識の形式、とは異なっている。 パースの言うアブダクションという仮説形成の操作にも直観
イマヌエル・カント（Immanuel Kant ドイツ語: [ɪˈmaːnu̯eːl ˈkant, -nu̯ɛl -]、当て字は「韓圖」[1]、1724年4月22日 - 1804年2月12日）は、プロイセン王国の哲学者であり、ケーニヒスベルク大学の哲学教授である。 『純粋理性批判』、『実践理性批判』、『判断力批判』の三批判書を発表し、批判哲学を提唱して、認識論における、いわゆる「コペルニクス的転回」をもたらした。 イマヌエル・カントは1724年、東プロイセンの首都ケーニヒスベルク（現ロシア領カリーニングラード）で馬具職人の第四子として生まれた。生涯のほとんどをその地で過ごしそこで没した。両親はルター派の敬虔主義を信仰していた。1732年、敬虔派宿泊施設であるフリードリヒ校に通学し始める。当校ではラテン語教育が重視されたほか、哲学は正規授業としてあり、ヴォルフ派の哲学が教えられていた。174
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く