Advanced logic for philosophy
| Project/Area Number |
23520008
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Philosophy/Ethics
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
MURAKAMI Yuko 東北大学, 文学研究科, 准教授 (80435502)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
YATABE Shunsuke 京都大学, 文学研究科, 非常勤講師 (70379337)
|
|---|
| Project Period (FY) |
2011-04-28 – 2015-03-31
|
| Project Status |
Completed (Fiscal Year 2014)
|
| Budget Amount *help |
¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000)
Fiscal Year 2013: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2012: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2011: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
|
|---|
| Keywords | 論理学 / 哲学 / 非古典論理学 / 論理学教育 / 哲学教育 / 哲学的論理学 / 論理学の哲学 |
|---|
| Outline of Final Research Achievements |
This project developed courses of advanced logic for students majoring in philosophy, whose topics include natural deduction of substructural logics, modal logic, and algebraic logic. Logicians and philosophers exchange research ideas in the area of philosophical logic to determine the range of topics in logic for philosophers.
|
Report
(5 results)
Research Products
(71 results)
-
-
-
-
-
-
-
[Journal Article] Test-Case Design by Feature Trees2012
Author(s)
Takashi Kitamura, Ngoc Thi Bich Do, Hitoshi Ohsaki, Ling Fang, and Shunsuke Yatabe
-
Journal Title
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Volume: 7609
Pages: 458-473
DOI
ISBN
9783642340253, 9783642340260
Related Report
Peer Reviewed
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] RAMS の認証とセーフティケース
Author(s)
相馬 大輔, 田口 研治, 西原 秀明, 大岩 寛, 矢田部 俊介, 森 崇 2矢田部俊介
Organizer
第11回クリティカルソフトウェアワークショップ
Place of Presentation
宇宙航空研究開発機構
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
