kumatsubalgc's profile picture. M1  様相論理とか哲学とか算術とか証明論とか集合論とか美学とか

くま

@kumatsubalgc

M1 様相論理とか哲学とか算術とか証明論とか集合論とか美学とか

他所で書いた何本かをパッチワークして数行足すだけなのに、なんともかんともうまくいかない


ポスターむずかしい


Towards Non-Being って邦訳出てるんだ 知らなんだ


くま gönderiyi yeniden yayınladı

Thomas Hofweber先生が来られるのに合わせたワークショップで前座をやらせてもらうことになりました。19日(水)のランチを挟んだ時間帯です。申し込み等不要なので自由にお越しください。 Workshop “Reconsidering Frege's Philosophy of Arithmetic”開催のお知らせ philosophy.bun.kyoto-u.ac.jp/2025/11/worksh…

philosophy.bun.kyoto-u.ac.jp

Workshop “Reconsidering Frege’s Philosophy of Arithmetic”開催のお知らせ - 京都大学文学研究科 哲学研究室

下記の要領でReconsidering Frege's Philosophy of Arithemeticと題されたワークショップを開催いたします。奮ってご参加ください。


LFIs の位置付けよくわかんないけど Carnielli とConiglio の本読むのはきついなあと思ってたら、 Handbook of Philosophical Logic に一章まるまる割かれてるみたいで、とてもありがたい


冠頭(かんとう)標準形の名前をド忘れして、カントール標準形って量化子外に出すやつのことも言うんだ〜って思ってたのアホすぎる


くま gönderiyi yeniden yayınladı

\\詳細情報解禁// ロン・ミュエク展 2026.4.29(水)~ 9.23(水) 主な展示作品を公開しました! mori.art.museum/jp/exhibitions… 主催:森美術館、カルティエ現代美術財団 Ron Mueck 2026.4.29 [Wed] - 9.23 [Wed] We’ve just announced the futured key works of the exhibition!…

mori_art_museum's tweet image. \\詳細情報解禁//

ロン・ミュエク展
2026.4.29(水)~ 9.23(水)
主な展示作品を公開しました!
mori.art.museum/jp/exhibitions…
主催:森美術館、カルティエ現代美術財団

Ron Mueck
2026.4.29 [Wed] - 9.23 [Wed]
We’ve just announced the futured key works of the exhibition!…

ロン・ミュエク展、かなりアツい 作品なんてデカければデカいほどいいですからね


「論理規則が同じなら論理記号の意味は同じ」がどの程度ホントなのかわからなくて、証明論的意味論をやりたい気持ちがある ド・モルガン則を推論規則として入れる必要がある論理とかだと、単純に導入規則と除去規則を比較して、とはいかない気もして


Truth-maker semantics、気になる


来年に期待……


今月末のconnexive Logics の集会に日帰りで行くつもりだったけど、よくよく考えたら1日で4〜5万飛ぶわけで、さすがにやめとこかな……😢


K3の真理値表ってすごすぎるかも


くま gönderiyi yeniden yayınladı

今年もゆるてつは早稲田祭で会誌頒布と展示を行います。 11月1日(土)の一日のみの出展です。早稲田キャンパス16号館403教室でお待ちしております!


いっぱい読んでいっぱい書けるようになりたいねえ


自然科学系図書館の4階ってガラス張りのおしゃれスペースでいいですね 今日みたいな秋晴れにちょうどいい


法政にささまお来るのうらやまし〜〜


Strict finitismって最近の論文いっぱい出てるけど、なんでこんなに流行ってるんですかこれ


Annotated Logic気になる


United States Trendler

Loading...

Something went wrong.


Something went wrong.