↓これの続きでごんす。 cut-elimination.hatenablog.com フィルカルの矢田部俊介「哲学的論理学入門」第3回と最終第4回を読みました。 フィルカル Vol. 5, No. 3―分析哲学と文化をつなぐ― 作者:木下頌子,和泉 悠,八重樫 徹,三木那由他,峯島宏次,飯塚理恵,佐…

↓これの続き。 cut-elimination.hatenablog.com ↓これに載っている矢田部俊介「哲学的論理学入門」第2回の感想でごんす。 フィルカル Vol. 5, No. 2―分析哲学と文化をつなぐ― 作者:山田圭一,池田喬,佐藤暁,松永伸司,銭清弘,難波優輝,村山正碩,朱喜哲,加藤隆…

またまたフィルカルだ！ フィルカル Vol. 5, No. 1―分析哲学と文化をつなぐ― 作者:柳川太希,鈴木亘,青田麻未,Jean Lin,佐藤暁,吉川孝,小野さやか,玉田龍太朗,稲岡大志,矢田部俊介,大畑浩志,谷川嘉浩,一方井祐子,酒井麻依子,朱喜哲,大谷卓史,長門裕介,大戸雄…

日本で証明論的意味論（PTS, Proof-Theoretic Semantics）を研究している人、やたらと多くないだろうか！？ という感じがしているが、どうもそうでもないらしい。後述する大西先生の講義によると、大西先生の博論以降の10年弱でも研究の進展はそれほどないと…

論理学をそこそこ勉強すると遭遇するのがラッセルのパラドクスの議論である。このパラドクスは有名なので、あるいはここから論理学に入った人も多いかもしれない。確か私はそうだった気がする。もうあんまり覚えてないけど。 このパラドクスは現在の標準的な…

ホフディランの「スマイル」という曲の歌詞を考察したいのよ。 www.youtube.com まあ名曲である。最近は森七菜さんのカバーによってリバイバルしている。 www.youtube.com この曲の歌詞の「深刻ぶった女はキレイじゃないから」とか「すぐスマイルするべきだ …

【分析】「モーニング娘。の第3期メンバー」は確定記述句か？【哲学】 - 曇りなき眼で見定めブログ ↑この記事で「『モーニング娘。の第3期メンバー』は後藤真希という一人の人物を表現するが、これは確定記述句っぽくない」というようなことを書いた。ここで…

※この記事はエイプリルフールのビッグウェーブに乗り遅れないように焦って書いたので、内容が凄くテキトーです。のちのちちゃんと勉強して推敲してアップデートします。 「私は嘘つきです」というやつです。論理学っぽく書くと「この文は偽である」。 (1)「…

Javaの勉強をしております。 Javaはオブジェクト指向言語である。オブジェクト指向プログラミング（Object-Oriented Programming）はいま多くの開発現場で使われている主流のプログラミングスタイルだと思われるが、これは哲学的にも興味深いのではなかろう…

明るい未来に就職希望だわ〜。 言語哲学における「確定記述句」というのはラッセルが論文「指示について」で取り上げた概念である。フレーゲも「意味と意義について」で考察している。確定記述句とは何かというと「唯一の対象を指示する言語表現」のことをい…

倉田剛先生の『現代存在論講義』Ⅰ・Ⅱ（新曜社）はたいへん素晴しい本である。哲学に入門したい人はみんなこの本を読むといいと思う。しかし哲学の入門者はそもそもどういう本を読めばいいのかがわからないのだから難しいものである。まあそういうオススメ記…

岡本賢吾先生は東京都立大学の哲学の教授で、専門は論理学・数学の哲学と情報の哲学とある（https://www.comp.tmu.ac.jp/philosophy/contents/staff/okamoto.html）。中央公論新社『哲学の歴史』の分析哲学編である第11巻で、ヒルベルトやブラウワーを中心と…