• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Advanced logic for philosophy

Research Project

Project/Area Number 23520008
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Philosophy/Ethics
Research InstitutionTohoku 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)
  • 2014 Annual Research Report   Final Research Report ( PDF )
  • 2013 Research-status Report
  • 2012 Research-status Report
  • 2011 Research-status Report
  • Research Products

    (71 results)

All 2015 2014 2013 2012 2011 Other

All Journal Article (12 results) (of which Peer Reviewed: 8 results,  Open Access: 1 results) Presentation (49 results) (of which Invited: 4 results) Book (4 results) Remarks (6 results)

  • [Journal Article] Is truth a logical connective?: A truth theory and the harmony2015

    • Author(s)
      Yatabe, S.
    • Journal Title

      科学哲学科学史研究

      Volume: 9 Pages: 1-32

    • NAID

      120005593663

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] On the crispness of omega and arithmetic with a bisimulation in a constructive naive set theory2014

    • Author(s)
      Shunsuke YATABE
    • Journal Title

      Logic Journal of IGPL

      Volume: online first Issue: 3 Pages: 482-493

    • DOI

      10.1093/jigpal/jzt045

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] 論理学とサイエンス・コミュニケーションの補完2013

    • Author(s)
      村上祐子
    • Journal Title

      科学

      Volume: 2013年11月号 Pages: 1275-1277

    • Related Report
      2013 Research-status Report
  • [Journal Article] 応用哲学は学ぶものか?2013

    • Author(s)
      村上祐子
    • Journal Title

      科学哲学

      Volume: 46巻1号 Pages: 69-76

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] 循環性を受け入れる : 構成主義における可述性の位置づけの変更とその影響2013

    • Author(s)
      矢田部俊介
    • Journal Title

      科学哲学科学史研究

      Volume: 7 Pages: 1-26

    • NAID

      120005244404

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] 哲学の未開地としての化学2013

    • Author(s)
      村上祐子
    • Journal Title

      月刊化学

      Volume: 2 Pages: 11-11

    • Related Report
      2012 Research-status Report
  • [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

      10.1007/978-3-642-34026-0_34

    • ISBN
      9783642340253, 9783642340260
    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] 数学的理解に関して哲学・哲学者は何ができるのか?2012

    • Author(s)
      村上祐子
    • Journal Title

      数学セミナー

      Volume: 11 Pages: 94-94

    • Related Report
      2012 Research-status Report
  • [Journal Article] Reflection by philosophers2012

    • Author(s)
      村上祐子
    • Journal Title

      Journal of Information Processing and Management

      Volume: 55 Issue: 7 Pages: 532-534

    • DOI

      10.1241/johokanri.55.532

    • NAID

      130001855888

    • ISSN
      0021-7298, 1347-1597
    • Related Report
      2012 Research-status Report
  • [Journal Article] 大きな数としての超準数―超準数と厳格有限主義―2012

    • Author(s)
      矢田部俊介
    • Journal Title

      科学哲学科学史研究

      Volume: 6

    • NAID

      120003891659

    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] A co-inductive language and truth degrees2011

    • Author(s)
      Shunsuke Yatabe
    • Journal Title

      MOL'11: Proceedings of the 12th biennial conference on The mathematics of language (Sprinter Lecture Note in Computer Science)

      Volume: 6878 Pages: 209-226

    • DOI

      10.1007/978-3-642-23211-4_13

    • ISBN
      9783642232107, 9783642232114
    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] Yablo-like paradoxes and co-induction2011

    • Author(s)
      Shunsuke Yatabe
    • Journal Title

      New Frontiers in Artificial Intelligence(Springer Lecture Notes in Computer Science)

      Volume: 6878 Pages: 90-103

    • DOI

      10.1007/978-3-642-25655-4_8

    • ISBN
      9783642256547, 9783642256554
    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Presentation] Gamification of logic education: first-order logic through Go2014

    • Author(s)
      Murakami, Y.
    • Organizer
      IHPST Asia
    • Place of Presentation
      台湾師範大学
    • Year and Date
      2014-12-05
    • Related Report
      2014 Annual Research Report
  • [Presentation] 非単調論理における行為様相2014

    • Author(s)
      村上祐子
    • Organizer
      電子情報通信学会SITE(技術と社会・倫理)研究会
    • Place of Presentation
      日本大学理工学部
    • Year and Date
      2014-10-14
    • Related Report
      2014 Annual Research Report
  • [Presentation] Truth, omega-inconsistency and Harmony2014

    • Author(s)
      Yatabe, S.
    • Organizer
      The 2nd Conference on Contemporary Philosophy in East Asia
    • Place of Presentation
      京都大学
    • Year and Date
      2014-08-28
    • Related Report
      2014 Annual Research Report
  • [Presentation] HPS/NOS in higher education in Japan2013

    • Author(s)
      Yuko Murakami
    • Organizer
      IHPST
    • Place of Presentation
      Pittsburgh, USA
    • Related Report
      2013 Research-status Report
  • [Presentation] 地球科学における研究管理:ケーススタディ2013

    • Author(s)
      村上祐子・久利美和
    • Organizer
      日本地球惑星科学連合2013年大会(地球科学の科学史・科学哲学・科学技術社会論分科会)
    • Place of Presentation
      幕張メッセ
    • Related Report
      2013 Research-status Report
  • [Presentation] A Test-case Design Method based on Feature Trees2012

    • Author(s)
      Do Thi Bich Ngoc, Kitamura Takashi, Ohsaki Hitoshi, Fang Ling and Yatabe Shunsuke
    • Organizer
      Off the Beaten Track: Underrepresented Problems for Programming Language Researchers
    • Place of Presentation
      heraton Society Hill Hotel, Philadelphia, USA
    • Related Report
      2011 Research-status Report
  • [Presentation] Logic Education: Now and Future2012

    • Author(s)
      Yuko Murakami
    • Organizer
      Indiana University Logic Seminar
    • Place of Presentation
      Indiana University, USA
    • Related Report
      2011 Research-status Report
  • [Presentation] Yablo paradox and co-induction2012

    • Author(s)
      Shunsuke Yatabe
    • Organizer
      Indiana University Logic Seminar
    • Place of Presentation
      Indiana University, USA
    • Related Report
      2011 Research-status Report
  • [Presentation] 国内主要大学院入学者選抜の現状――全入時代の入学者選抜プロセスICT 活用のあり得べきシナリオ――2011

    • Author(s)
      村上祐子・土屋俊
    • Organizer
      平成23年度全国大学入学者選抜研究連絡協議会大会(第6回)大会
    • Place of Presentation
      早稲田大学
    • Related Report
      2011 Research-status Report
  • [Presentation] 法と科学の界面における真理2011

    • Author(s)
      村上祐子
    • Organizer
      科学基礎論学会大会
    • Place of Presentation
      愛媛大学
    • Related Report
      2011 Research-status Report
  • [Presentation] 応用哲学会コモンズ: 構想と意見聴取2011

    • Author(s)
      村上祐子
    • Organizer
      応用哲学会2011年度臨時研究大会
    • Place of Presentation
      京都大学
    • Related Report
      2011 Research-status Report
  • [Presentation] 不確実な状況下での真理と事実認定2011

    • Author(s)
      村上祐子
    • Organizer
      応用哲学会2011年度臨時研究大会
    • Place of Presentation
      京都大学
    • Related Report
      2011 Research-status Report
  • [Presentation] 音楽と哲学:表現の限界2011

    • Author(s)
      村上祐子
    • Organizer
      応用哲学会2011年度臨時研究大会
    • Place of Presentation
      京都大学
    • Related Report
      2011 Research-status Report
  • [Presentation] テスト工程における形式手法の利用2011

    • Author(s)
      矢田部俊介、北村崇師、Ling Fang、Do Thi Bich Ngoc、大崎人士
    • Organizer
      形式手法の産業界応用ワークショップ
    • Place of Presentation
      千里ライフサイエンスセンター
    • Related Report
      2011 Research-status Report
  • [Presentation] On the crispness of $\omega$ and an arithmetic with a bi-simulation in a constructive naive set theory2011

    • Author(s)
      Shunsuke Yatabe
    • Organizer
      Non-classical Modal and Predicate Logics
    • Place of Presentation
      Sun Yat-sen University, Guangzhou, China
    • Related Report
      2011 Research-status Report
  • [Presentation] あいまい性と極限2011

    • Author(s)
      矢田部俊介
    • Organizer
      論理学と数学の哲学に関する研究会
    • Place of Presentation
      星陵会館
    • Related Report
      2011 Research-status Report
  • [Presentation] 余帰納的言語と真理の度合理論2011

    • Author(s)
      矢田部俊介
    • Organizer
      日本科学哲学会
    • Place of Presentation
      大阪市立大学
    • Related Report
      2011 Research-status Report
  • [Presentation] ヤブローのパラドックス:自己相似性と自己言及性2011

    • Author(s)
      矢田部俊介
    • Organizer
      言語学と言語哲学研究会
    • Place of Presentation
      東京大学駒場キャンパス
    • Related Report
      2011 Research-status Report
  • [Presentation] A co-inductive language and truth degrees2011

    • Author(s)
      Shunsuke Yatabe
    • Organizer
      12th Meeting on Mathematics of Language
    • Place of Presentation
      奈良県文化会館
    • Related Report
      2011 Research-status Report
  • [Presentation] A truth theory and co-induction2011

    • Author(s)
      Shunsuke Yatabe
    • Organizer
      Algebraic and Coalgebraic Approaches to Non-Classical Logics Workshop (ACAN)
    • Place of Presentation
      京都大学
    • Related Report
      2011 Research-status Report
  • [Presentation] RAMS の認証とセーフティケース

    • Author(s)
      相馬 大輔, 田口 研治, 西原 秀明, 大岩 寛, 矢田部 俊介, 森 崇 2矢田部俊介
    • Organizer
      第11回クリティカルソフトウェアワークショップ
    • Place of Presentation
      宇宙航空研究開発機構
    • Related Report
      2013 Research-status Report
  • [Presentation] Yablo’s paradox and coinduction

    • Author(s)
      Shunsuke Yatabe
    • Organizer
      Kyoto-Bristol symposium
    • Place of Presentation
      京都大学
    • Related Report
      2013 Research-status Report
  • [Presentation] Naive set theory and coinduction

    • Author(s)
      Shunsuke Yatabe
    • Organizer
      Research Meeting: Social Responsibilities of Logicians and Philosophers
    • Place of Presentation
      宮城県蔵王町
    • Related Report
      2013 Research-status Report
  • [Presentation] Verification of System Requirement Specification of Radio Based Train Control (JRTC-W) Using Modeling Language

    • Author(s)
      MORI Takashi , Shunsuke YATABE, Hiroyuki YAMAMOTO, Takahiro ARAKAWA, Kenji TAGUCHI, Daisuke SOUMA, Izumi TAKEUTI, Sumitaka AKIBA and Hitoshi OHSAKI
    • Organizer
      WCRR2013
    • Place of Presentation
      Sydney, Australia
    • Related Report
      2013 Research-status Report
  • [Presentation] 集合項は論理結合子と見なしうるか

    • Author(s)
      矢田部俊介
    • Organizer
      日本科学哲学会
    • Place of Presentation
      法政大学
    • Related Report
      2013 Research-status Report
  • [Presentation] A non-classical approach to modeling the circularity

    • Author(s)
      Shunsuke Yatabe
    • Organizer
      International Workshop on Game Theory, Epistemic Logic, & Related Topics
    • Place of Presentation
      筑波大学
    • Related Report
      2013 Research-status Report
  • [Presentation] サイエンス・コミュニケーションにおける論理性

    • Author(s)
      村上祐子
    • Organizer
      日本科学哲学会
    • Place of Presentation
      法政大学
    • Related Report
      2013 Research-status Report
  • [Presentation] A constructive naive set theory and Kreisel-Goodman paradox

    • Author(s)
      Shunsuke YATABE
    • Organizer
      「台湾論理・方法論与科学哲学」国際学術検討会
    • Place of Presentation
      台北, 台湾
    • Related Report
      2013 Research-status Report
    • Invited
  • [Presentation] 構成的真理と構成的素朴集合論

    • Author(s)
      矢田部俊介
    • Organizer
      日本哲学会
    • Place of Presentation
      お茶の水女子大学
    • Related Report
      2013 Research-status Report
  • [Presentation] 科学的知識の伝達と意思決定の論理

    • Author(s)
      村上祐子
    • Organizer
      科学技術社会論学会大会
    • Place of Presentation
      東京工業大学
    • Related Report
      2013 Research-status Report
  • [Presentation] Science cafe; for information gathering

    • Author(s)
      Miwa KURI and Yuko Murakami
    • Organizer
      4S
    • Place of Presentation
      San Diego, USA
    • Related Report
      2013 Research-status Report
  • [Presentation] 社会的合意形成:シミュレーション使用のケース

    • Author(s)
      村上祐子
    • Organizer
      科学基礎論学会
    • Place of Presentation
      大阪大学
    • Related Report
      2013 Research-status Report
  • [Presentation] 構成的素朴集合論と無限

    • Author(s)
      矢田部俊介
    • Organizer
      認識論理とゲーム理論研究会
    • Place of Presentation
      筑波大学
    • Related Report
      2012 Research-status Report
  • [Presentation] Yablo paradox and semantics of coinductive language

    • Author(s)
      Shunsuke Yatabe
    • Organizer
      CAPE Truth theory and Logic Workshop
    • Place of Presentation
      京都大学
    • Related Report
      2012 Research-status Report
  • [Presentation] 嘘つきのパラドックス -自己言及の論理学-

    • Author(s)
      矢田部俊介
    • Organizer
      大人のための数学講座
    • Place of Presentation
      京都大学
    • Related Report
      2012 Research-status Report
  • [Presentation] PARADOKSY LOGICZNE ― PARADOKS YABLO

    • Author(s)
      Shunsuke Yatabe
    • Organizer
      logic seminar, University of Warsaw
    • Place of Presentation
      ポーランド・ワルシャワ大学
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] A constructive naive set theory, a truth predicate and the omega-rule

    • Author(s)
      Shunsuke Yatabe
    • Organizer
      logic and set theory seminar, Bristol University
    • Place of Presentation
      イギリス・ブリストル大学
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] A constructive naive set theory and the omega-rule

    • Author(s)
      Shunsuke Yatabe
    • Organizer
      Oxford University
    • Place of Presentation
      イギリス・オックスフォード大学
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] Yablo's paradox, a coinductive language and its semantics

    • Author(s)
      Shunsuke Yatabe
    • Organizer
      LENLS 9
    • Place of Presentation
      北海道大学
    • Related Report
      2012 Research-status Report
  • [Presentation] ワークショップ「余帰納法と論理学」

    • Author(s)
      矢田部俊介
    • Organizer
      日本科学哲学会
    • Place of Presentation
      宮崎大学
    • Related Report
      2012 Research-status Report
  • [Presentation] 部分構造論理上の理論

    • Author(s)
      矢田部俊介
    • Organizer
      CAPEセミナー・論理学上級シリーズ
    • Place of Presentation
      京都大学
    • Related Report
      2012 Research-status Report
  • [Presentation] 部分構造論理とその階層

    • Author(s)
      矢田部俊介
    • Organizer
      CAPEセミナー・論理学上級シリーズ
    • Place of Presentation
      京都大学
    • Related Report
      2012 Research-status Report
  • [Presentation] Yablo's paradox and -inconsistency

    • Author(s)
      Shunsuke Yatabe
    • Organizer
      Numbers and Truth, A Marcus Wallenberg Symposium, Gothenburg
    • Place of Presentation
      スウェーデン・ヨテンボリ
    • Related Report
      2012 Research-status Report
  • [Presentation] A constructive naive set theory and the -rule

    • Author(s)
      Shunsuke Yatabe
    • Organizer
      Logic, algebra and truth degrees
    • Place of Presentation
      金沢
    • Related Report
      2012 Research-status Report
  • [Presentation] Test-Case Design by Feature Trees

    • Author(s)
      北村 崇師, DO THI BICH NGOC, 大崎 人士, 矢田部俊介
    • Organizer
      ISoLA2012
    • Place of Presentation
      ドイツ・ポツダム
    • Related Report
      2012 Research-status Report
  • [Presentation] 計算的言語理論とCCG

    • Author(s)
      矢田部俊介
    • Organizer
      応用哲学会大会
    • Place of Presentation
      千葉大学
    • Related Report
      2012 Research-status Report
  • [Presentation] 石黒ひでとその周辺

    • Author(s)
      村上祐子
    • Organizer
      応用哲学会大会
    • Place of Presentation
      千葉大学
    • Related Report
      2012 Research-status Report
  • [Presentation] プライバシーの論理

    • Author(s)
      村上祐子
    • Organizer
      第2回情報倫理研究会
    • Place of Presentation
      東京外国語大学東京サテライト
    • Related Report
      2012 Research-status Report
  • [Presentation] 科学的不確実性を取りあつかう場合の情報収集型サイエンスカフェの試み

    • Author(s)
      久利美和・村上祐子・立花浩司
    • Organizer
      科学技術社会論学会第11回年次研究大会
    • Place of Presentation
      湘南国際村センター
    • Related Report
      2012 Research-status Report
  • [Book] 科学技術をよく考える2013

    • Author(s)
      伊勢田哲治・戸田山和久・調 麻佐志・村上祐子 編
    • Total Pages
      306
    • Publisher
      名古屋大学出版会
    • Related Report
      2013 Research-status Report
  • [Book] 科学についてよく考える2013

    • Author(s)
      伊勢田哲治・戸田山和久・調麻佐志・村上祐子
    • Total Pages
      306
    • Publisher
      名古屋大学出版会
    • Related Report
      2012 Research-status Report
  • [Book] Michael Matthews et al. (eds.) International Handbook of Research in History and Philosophy and Science Teaching2013

    • Author(s)
      Yuko Murakami and Manabu Sumida
    • Publisher
      Springer
    • Related Report
      2012 Research-status Report
  • [Book] 情報倫理入門2012

    • Author(s)
      土屋俊監修、大谷卓史編著、江口聡・喜多千草・永崎研宣・村上祐子・川口嘉奈子・坪井雅史・谷川卓・吉永敦征・川口由起子共著
    • Publisher
      アイ・ケイ・コーポレーション
    • Related Report
      2012 Research-status Report
  • [Remarks] 村上祐子

    • URL

      http://researchmap.jp/read0140800

    • Related Report
      2014 Annual Research Report
  • [Remarks] 矢田部俊介

    • URL

      http://researchmap.jp/ytb

    • Related Report
      2014 Annual Research Report
  • [Remarks] 村上祐子

    • URL

      http://researchmap.jp/read0140800

    • Related Report
      2013 Research-status Report
  • [Remarks] 矢田部俊介

    • URL

      http://researchmap.jp/ytb

    • Related Report
      2013 Research-status Report
  • [Remarks] 矢田部俊介

    • URL

      http://researchmap.jp/ytb/

    • Related Report
      2012 Research-status Report
  • [Remarks] 村上祐子

    • URL

      http://researchmap.jp/read0140800/

    • Related Report
      2012 Research-status Report

URL: 

Published: 2011-08-05   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi