科学基礎論学会　2016年度 秋の研究例会プログラム
日 付：2016年11月5日（土）
会　場：東京大学駒場キャンパス
参加費 ：無料（非会員：1,000円）
A会場（1号館1階 108教室）
B会場（1号館1階 107教室）
【A会場】
「Paraconsistency: philosophy
and applications」　※英語使用
オーガナイザ 大森　仁（京都大学）
10：00～12：00
（京都大学）
1 大森　仁
「Towards a unification of paraconsistency」
2 Zach Weber （オタゴ大学）
「Dialetheism in philosophy and mathematics」
（帝京大学）
3 上出哲広
「Paraconsistent sequential linear-time temporal
logic and its application to medical reasoning」
12：00～12：15 科学基礎論学会奨励賞発表および授賞式　【A会場】
12：15～13：30 昼休み、企画委員会
【A会場】
【B会場】
「カントの論理思想の現代性―19世
紀論理哲学再考･1」
オーガナイザ 岡本賢吾（首都大学東京）
13：30～15：30
13：30～15：30 「科学基礎論と科学」
オーガナイザ 村上祐子（東北大学）
1 五十嵐涼介 （京都大学・学振特別研究員）
「カント論理学の形式的分析」
（東京工業大学）
1 熊澤峰夫
「科学の哲学、哲学の科学」
2 細川雄一郎
2 工藤光子
（首都大学東京）
「超越論的論理学の構想における様相論理と遷移構
造」
（立教大学）
「理系大学教員がイメージする科学論」
（首都大学東京）
3 岡本賢吾
「なぜポスト・カント論理哲学を再評価するか」
【A会場】
【B会場】
15：45～17：45 「2階論理の意味論」
15：45～17：45
オーガナイザ 菊池　誠（神戸大学）
「心的内容の不確定性の問題 再検
討」
オーガナイザ 勝亦佑磨（東京大学）
1 佐藤智哉
1 勝亦佑磨
「2階論理的妥当性の新しい意味論的特徴づけ」
（東京電機大学）
2 池上大祐
「2階論理とブール値2階論理」
（千葉大学）
3 新井敏康
「竹内の基本予想の意味論的証明」
（東京大学）
「目的論的機能主義に基づく志向性の自然化―ドレツ
キ表象論」
2 前田高弘
「知覚的表象と目的論的意味論」
（東京大学）
3 堀越謙治
「動物の心的内容の不確定性と行動の説明」
科学基礎論学会
〒108-0023 東京都港区芝浦2-14-13 MCKビル2F 笹氣出版印刷株式会社内
TEL : 03-3455-4439　URL : http://phsc.jp/　E-mail : [email protected]

1 1 2 2 3 3 4 4 5 5 6 6 7 7 8 8 FT.1 FT.2 FT.3 1 1 2 2 3 3 4 4 5 5 6 6 7

数学基礎論とその応用

2015.12.1 2015.12.31