Charlie

応用化学系大学院修士卒業後、プログラマーとして働く。 現在は週５でフリーランスのエンジ…

Charlie

応用化学系大学院修士卒業後、プログラマーとして働く。 現在は週５でフリーランスのエンジニアとして働きつつ、趣味でカント『純粋理性批判』を読み始め、関連文献を紹介したり翻訳したりしています。 主にカントの現代哲学への影響・科学哲学的な側面について興味を持っています。

『人間界へようこそ』(2024/10/28 夢の記録)

長い夢を見ていた。 途方もなく長い。 俺は何度も殺され、何度も拷問され、何度も死んだ 絞首刑にもなり また違う死に方をし、 休む間もなく目覚めてまた死ぬ クイズに答えられなければ死ぬ このループから抜け出すラストチャンス それも失敗しかけていた、、、もうダメかと思った。また地獄のループに戻されるのかと、行き着く暇もなく、また死と苦痛の世界の走馬灯のよう所に落とされるのかと。 、、、 でも俺は今さっき目覚めてこの世界（現実）にいる？ メモせざるをえない あれが

Charlie

    • カント『純粋理性批判』とゲーデル『不完全性定理』

      以下思いつき。 概要『純粋理性批判』における純粋理性の二律背反（アンチノミー）の議論はゲーデルによる『不完全性定理』の議論と類似のもの（もしかすると同じ議論？）考えることができる 1. カントある命題とその反対命題が両方とも証明できてしまう これをアンチノミーとして「理性の限界」とした。 2. ゲーデルの不完全性定理 <第一不完全性定理> これと同値なのが 「T + φが無矛盾」 「T + not φが無矛盾」 が同時に成り立つことである。 この時、数学基礎論

      Charlie

      • (途中)Sidechainについて

        こちらのPaperの概要を書いていく。 "Enabling Blockchain Innovations with Pegged Sidechains" https://blockstream.com/sidechains.pdf 課題Bitcoin以外のブロックチェーン（アルトチェーン）の開発は活発に行われているが、それらはブロックチェーン開発者全体の開発能力の分散化を招いている。 Bitcoinが充分に検討されたセキュリティや設計を持っているのに対し、アルトチェーン

        Charlie

        • 翻訳：「化学の哲学」 Stanford Encyclopedia of Philosophy

          Author Info: Weisberg, Michael, Paul Needham, and Robin Hendry Version Info: First published Mon Mar 14, 2011; substantive revision Wed Jan 16, 2019 化学の哲学（Philosophy of Chemistry) Introduction化学は物質の構造と変化に関する学問である。アリストテレスが紀元前4世紀に初めて系統的な論文を

          Charlie

        『人間界へようこそ』(2024/10/28 夢の記録)

        Charlie

        マガジン

        • あ
          2本

        記事

          レーヴェンハイム＝スコーレムの定理とその哲学的問題

          https://tsukuba.repo.nii.ac.jp/records/5795 読んだ。   # 内容 レーヴェンハイム・スコーレムの定理の概要解説 パトナムの議論の解説水槽の中の脳 形而上学的実在論

          Charlie

          レーヴェンハイム＝スコーレムの定理とその哲学的問題

          Charlie

          研究テーマと今の立ち位置

          研究テーマについて 自分の関心としては「カントの自然科学論の現代的位置付け」というものがあり、カントの超越論的観念論は現代でどう評価するべきか？どのような思想的系譜に位置付けられるか？などを考えていきたいと思っている。 　なぜカントなのか？というのは特に大きな意味はなく、たまたま手に取った哲学書が『純粋理性批判』だったからで、そこの超越論的感性論に惹き込まれてしまったからだ。 関連投稿 https://note.com/charlieman/n/n295974dbcf8

          Charlie

          研究テーマと今の立ち位置

          Charlie

          論理学とは何か：鹿島亮「数理論理学」②ー不完全性定理、シークエント計算、直観主義論理ー

          前の記事 第６章　不完全性定理いよいよ不完全性定理です。 この説では証明の説明及びその意味について書いてあります。 不完全性定理の意味 第一不完全性定理 ざっくり詳細は省いて説明します。 自然演繹体系に自然数論の公理を追加した体系Basicにおいて、以下の２つは同時に成り立たない Basicは無矛盾である どんな論理式φについても、φと¬φのどちらかは証明できる つまり、 Basicが無矛盾ならば、φと¬φがどちらも証明できない命題がある 第二不完全性定理

          Charlie

          論理学とは何か：鹿島亮「数理論理学」②ー不完全性定理、シークエント計算、直観主義論理ー

          Charlie

          論理学とは何か：鹿島亮『数理論理学』を読んでいる①

          著者 is 誰　一介のプログラマーで専門家ではない。数理論理学を趣味で勉強している。理工系大学院卒で数学などの最低限はやった模様。 以下５章までざっくりまとめ １章　具体的な証明の例と証明図の導入 ２章　構文論（シンタックス）に関する章である。構文論とは、人間や機械が記号操作的にやる世界のことである。 シンタックス（構文論） セマンティクス（意味論） この２つの違いが重要。 　プログラムで言えば、ソースコードの記述ルール（文法）がシンタックス、その記述ルールを元

          Charlie

          論理学とは何か：鹿島亮『数理論理学』を読んでいる①

          Charlie

          生きる意味の哲学

          ってありますか？ わかる人教えてください。

          Charlie

          生きる意味の哲学

          Charlie

          余は如何にしてプログラマーとなりしか

          こんにちは。 37歳のよわよわプログラマーのちゃーりーと申します。 自分がいままでどのようにしてプログラマーとしてなんとかサバイブしてきたかを書くことでこれからの人生どうするかを考えることにしました。 学生時代(16-27)　これは直接は関係ないですが、某宗教団体の３世としてこの世に生を受けました。小学校・中学校は公立の学校へ通っていましたが、高校からその宗教団体の設立した学校へ通いました。S高校とS大学です。 その時代はプログラミングなどにほとんど興味がなく、パソコンと

          Charlie

          余は如何にしてプログラマーとなりしか

          Charlie

          翻訳：新カント主義と科学的実在論と現代物理学（ほぼ完了）

          文献 Michael Friedman, "Neo-Kantianism, Scientific Realism, and Modern Physics" 本文 　カントの人間の認識能力における合理性と客観性の概念は、私が理解する限り、（その他の中でも）ニュートンのプリンキピアの成功に対する反応である。とりわけ、カントの概念化した我々の感性的直観の２つの形式（空間と時間）と我々の実体性・因果性・相互性（共通性）の純粋悟性概念は、ニュートンの絶対空間・絶対時間の概念の上で

          Charlie

          翻訳：新カント主義と科学的実在論と現代物理学（ほぼ完了）

          Charlie

          最近

          カントに関する進捗 　ゼロです。中山元訳『純粋理性批判』の２巻で止まっています。脳汁が出ません。１巻を読んでいる時は脳汁が出ましたが、２巻のカテゴリー表以降、統覚のあたりらへんからよくわからなくなり、脳汁が出なくなり、読み進む手も止まりました。 論文読み 　進んでません。自分の問題意識は「カントの現代科学哲学における立ち位置について」みたいなざっくりとしたことなのですが、英語論文を読むのが苦痛・面白く無いので進んでいません。 読書会はじめました。 やっている読書会 戸

          Charlie

          最近

          Charlie

          [WIP]要約「カントによる感性のアプリオリな形式としての時間と空間についての批判」

          文献 "Critique of Kant's Space and Time as A Priori Forms of Sensibility" https://www.academia.edu/9966131/Critique_of_Kants_Space_and_Time_as_A_Priori_Forms_of_Sensibility ネットに落ちていた文書 論文誌等への投稿ではなさそうだが、興味があるので読んでいる。 1. 超越論的感性論カントの理論について

          Charlie

          [WIP]要約「カントによる感性のアプリオリな形式としての時間と空間についての批判」

          Charlie

          カントの超越論的感性論とカント以降の物理学

          カントと現代物理学の関係 　 カントの理解をしようとした時に一番最初に躓くと思われるのは、「超越論的感性論」です。ここでは、我々の「空間」「時間」を槍玉に挙げ、それらを「感性の形式」「主観の形式」として一気に片付けてしまいます。その違和感を払拭するために以下の文献リストを作っていて、特にカント以降の物理学（ニュートン力学以降）との関係について調べています。 結論的には、以下のパターンが考えられます。 カントの認識論は現代物理学を説明できず、間違っている。 現代物理学は

          Charlie

          カントの超越論的感性論とカント以降の物理学

          Charlie

          論文要約「カントの動力学的空間論」

          書誌情報 カントの動力学的空間論 犬竹 正幸 「哲学」2002 年 2002 巻 53 号 p. 107-115,247 https://www.jstage.jst.go.jp/article/philosophy1952/2002/53/2002_53_107/_article/-char/ja 要旨 　「カントはニュートンの物理学的な絶対空間を哲学的に基礎づけようとした」とされる通説は誤りである。『自然科学の形而上学的原理』の内容を考察することで、カントの空

          Charlie

          論文要約「カントの動力学的空間論」

          Charlie

          論文要約『カントにおける「実在性」と「客観的実在性」ー実在性としての力』

          書誌情報 掲載誌：「哲学」1996 年 1996 巻 47 号 p. 217-226 タイトル：カントにおける「実在性」と「客観的実在性」 副題：実在性としての力 著者：犬竹 正幸 リンク: https://www.jstage.jst.go.jp/article/philosophy1952/1996/47/1996_47_217/_article/-char/ja/ 要旨 　カントにおける「実在性」と「客観的実在性」概念についての区別を論じた。また、『自然科

          Charlie

          論文要約『カントにおける「実在性」と「客観的実在性」ー実在性としての力』

          Charlie