くま
@kumatsubalgc
M1 様相論理とか哲学とか算術とか証明論とか集合論とか美学とか
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 に一章まるまる割かれてるみたいで、とてもありがたい
\\詳細情報解禁// ロン・ミュエク展 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!…
「論理規則が同じなら論理記号の意味は同じ」がどの程度ホントなのかわからなくて、証明論的意味論をやりたい気持ちがある ド・モルガン則を推論規則として入れる必要がある論理とかだと、単純に導入規則と除去規則を比較して、とはいかない気もして
今月末のconnexive Logics の集会に日帰りで行くつもりだったけど、よくよく考えたら1日で4〜5万飛ぶわけで、さすがにやめとこかな……😢
今年もゆるてつは早稲田祭で会誌頒布と展示を行います。 11月1日(土)の一日のみの出展です。早稲田キャンパス16号館403教室でお待ちしております!
United States Trendler
- 1. #AEWDynamite 19.4K posts
- 2. Philon 1,185 posts
- 3. #AEWCollision 7,572 posts
- 4. #CMAawards 4,826 posts
- 5. #Survivor49 3,370 posts
- 6. Donovan Mitchell 3,770 posts
- 7. Dubon 3,384 posts
- 8. #cma2025 N/A
- 9. Simon Walker N/A
- 10. Nick Allen 2,010 posts
- 11. Okada 12.2K posts
- 12. Derik Queen 2,020 posts
- 13. Bristow N/A
- 14. Lainey Wilson N/A
- 15. UConn 7,857 posts
- 16. Arizona 32.3K posts
- 17. Cavs 8,479 posts
- 18. Morgan Wallen N/A
- 19. Andrej Stojakovic N/A
- 20. FEMA 56K posts
Something went wrong.
Something went wrong.