「証明論」に関するサイレントキーワード「論理哲学」が含まれる科研費採択研究4件

【研究名】「証明の哲学」の視点に立つ「論理と数学の哲学」の新展開
【研究代表者】岡田 光弘  慶應義塾大学   文学部(三田)   名誉教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/	 
【研究分担者】
秋吉 亮太  早稲田大学  高等研究所  その他(招聘研究員)  	https://nrid.nii.ac.jp/ja/nrid/1000020587852/	
金子 洋之  専修大学  文学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000060191988/	
峯島 宏次  慶應義塾大学  文学部(三田)  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000080725739/	

【研究名】直観主義論理を中心とした学際的論理哲学研究
【研究代表者】岡田 光弘  慶應義塾大学   文学部(三田)   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/	 
【研究分担者】
金子 洋之  専修大学  文学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000060191988/	
峯島 宏次  お茶の水女子大学  シミュレーション科学教育研究センター  特任講師  	https://nrid.nii.ac.jp/ja/nrid/1000080725739/	

【研究名】論理哲学の学際研究ー直観主義論理の推論・証明理論を中心として
【研究代表者】岡田 光弘  慶應義塾大学   文学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/	
【研究名】論理学・認知科学・遺伝学を統合した論理推論研究
【研究代表者】岡田 光弘  慶應義塾大学   文学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/	 
【研究分担者】
安藤 寿康  慶應義塾大学  文学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000030193105/	
大野 裕  慶應義塾大学  保健管理センター  教授  	https://nrid.nii.ac.jp/ja/nrid/1000070138098/