• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

哲学のための中上級論理学推進

研究課題

研究課題/領域番号 23520008
研究種目

基盤研究(C)

配分区分基金
応募区分一般
研究分野 哲学・倫理学
研究機関東北大学

研究代表者

村上 祐子  東北大学, 文学研究科, 准教授 (80435502)

研究分担者 矢田部 俊介  京都大学, 文学研究科, 非常勤講師 (70379337)
研究期間 (年度) 2011-04-28 – 2015-03-31
研究課題ステータス 完了 (2014年度)
配分額 *注記
5,200千円 (直接経費: 4,000千円、間接経費: 1,200千円)
2013年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2012年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2011年度: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円)
キーワード論理学 / 哲学 / 非古典論理学 / 論理学教育 / 哲学教育 / 哲学的論理学 / 論理学の哲学
研究成果の概要

哲学専攻者向けの中上級論理学の授業として、一般向けの1階述語論理の概略に加えて(1)自然演繹による部分構造論理(2)様相論理(3)代数論理といった内容の授業開発を行うとともに、国内外の論理学者・哲学研究者を招いて哲学的論理学の最先端の研究が哲学に及ぼす影響についての意見交換を行い、哲学教育に含めるべき論理学の概要を上記に設定した。

報告書

(5件)
  • 2014 実績報告書   研究成果報告書 ( PDF )
  • 2013 実施状況報告書
  • 2012 実施状況報告書
  • 2011 実施状況報告書
  • 研究成果

    (71件)

すべて 2015 2014 2013 2012 2011 その他

すべて 雑誌論文 (12件) (うち査読あり 8件、 オープンアクセス 1件) 学会発表 (49件) (うち招待講演 4件) 図書 (4件) 備考 (6件)

  • [雑誌論文] Is truth a logical connective?: A truth theory and the harmony2015

    • 著者名/発表者名
      Yatabe, S.
    • 雑誌名

      科学哲学科学史研究

      巻: 9 ページ: 1-32

    • NAID

      120005593663

    • 関連する報告書
      2014 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] On the crispness of omega and arithmetic with a bisimulation in a constructive naive set theory2014

    • 著者名/発表者名
      Shunsuke YATABE
    • 雑誌名

      Logic Journal of IGPL

      巻: online first 号: 3 ページ: 482-493

    • DOI

      10.1093/jigpal/jzt045

    • 関連する報告書
      2013 実施状況報告書
    • 査読あり
  • [雑誌論文] 論理学とサイエンス・コミュニケーションの補完2013

    • 著者名/発表者名
      村上祐子
    • 雑誌名

      科学

      巻: 2013年11月号 ページ: 1275-1277

    • 関連する報告書
      2013 実施状況報告書
  • [雑誌論文] 応用哲学は学ぶものか?2013

    • 著者名/発表者名
      村上祐子
    • 雑誌名

      科学哲学

      巻: 46巻1号 ページ: 69-76

    • 関連する報告書
      2013 実施状況報告書
    • 査読あり
  • [雑誌論文] 循環性を受け入れる : 構成主義における可述性の位置づけの変更とその影響2013

    • 著者名/発表者名
      矢田部俊介
    • 雑誌名

      科学哲学科学史研究

      巻: 7 ページ: 1-26

    • NAID

      120005244404

    • 関連する報告書
      2012 実施状況報告書
    • 査読あり
  • [雑誌論文] 哲学の未開地としての化学2013

    • 著者名/発表者名
      村上祐子
    • 雑誌名

      月刊化学

      巻: 2 ページ: 11-11

    • 関連する報告書
      2012 実施状況報告書
  • [雑誌論文] Test-Case Design by Feature Trees2012

    • 著者名/発表者名
      Takashi Kitamura, Ngoc Thi Bich Do, Hitoshi Ohsaki, Ling Fang, and Shunsuke Yatabe
    • 雑誌名

      Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

      巻: 7609 ページ: 458-473

    • DOI

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

    • ISBN
      9783642340253, 9783642340260
    • 関連する報告書
      2012 実施状況報告書
    • 査読あり
  • [雑誌論文] 数学的理解に関して哲学・哲学者は何ができるのか?2012

    • 著者名/発表者名
      村上祐子
    • 雑誌名

      数学セミナー

      巻: 11 ページ: 94-94

    • 関連する報告書
      2012 実施状況報告書
  • [雑誌論文] 哲学者たちの反省2012

    • 著者名/発表者名
      村上祐子
    • 雑誌名

      情報管理

      巻: 55 号: 7 ページ: 532-534

    • DOI

      10.1241/johokanri.55.532

    • NAID

      130001855888

    • ISSN
      0021-7298, 1347-1597
    • 関連する報告書
      2012 実施状況報告書
  • [雑誌論文] 大きな数としての超準数―超準数と厳格有限主義―2012

    • 著者名/発表者名
      矢田部俊介
    • 雑誌名

      科学哲学科学史研究

      巻: 6

    • NAID

      120003891659

    • 関連する報告書
      2011 実施状況報告書
    • 査読あり
  • [雑誌論文] A co-inductive language and truth degrees2011

    • 著者名/発表者名
      Shunsuke Yatabe
    • 雑誌名

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

      巻: 6878 ページ: 209-226

    • DOI

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

    • ISBN
      9783642232107, 9783642232114
    • 関連する報告書
      2011 実施状況報告書
    • 査読あり
  • [雑誌論文] Yablo-like paradoxes and co-induction2011

    • 著者名/発表者名
      Shunsuke Yatabe
    • 雑誌名

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

      巻: 6878 ページ: 90-103

    • DOI

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

    • ISBN
      9783642256547, 9783642256554
    • 関連する報告書
      2011 実施状況報告書
    • 査読あり
  • [学会発表] Gamification of logic education: first-order logic through Go2014

    • 著者名/発表者名
      Murakami, Y.
    • 学会等名
      IHPST Asia
    • 発表場所
      台湾師範大学
    • 年月日
      2014-12-05
    • 関連する報告書
      2014 実績報告書
  • [学会発表] 非単調論理における行為様相2014

    • 著者名/発表者名
      村上祐子
    • 学会等名
      電子情報通信学会SITE(技術と社会・倫理)研究会
    • 発表場所
      日本大学理工学部
    • 年月日
      2014-10-14
    • 関連する報告書
      2014 実績報告書
  • [学会発表] Truth, omega-inconsistency and Harmony2014

    • 著者名/発表者名
      Yatabe, S.
    • 学会等名
      The 2nd Conference on Contemporary Philosophy in East Asia
    • 発表場所
      京都大学
    • 年月日
      2014-08-28
    • 関連する報告書
      2014 実績報告書
  • [学会発表] HPS/NOS in higher education in Japan2013

    • 著者名/発表者名
      Yuko Murakami
    • 学会等名
      IHPST
    • 発表場所
      Pittsburgh, USA
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] 地球科学における研究管理:ケーススタディ2013

    • 著者名/発表者名
      村上祐子・久利美和
    • 学会等名
      日本地球惑星科学連合2013年大会(地球科学の科学史・科学哲学・科学技術社会論分科会)
    • 発表場所
      幕張メッセ
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] A Test-case Design Method based on Feature Trees2012

    • 著者名/発表者名
      Do Thi Bich Ngoc, Kitamura Takashi, Ohsaki Hitoshi, Fang Ling and Yatabe Shunsuke
    • 学会等名
      Off the Beaten Track: Underrepresented Problems for Programming Language Researchers
    • 発表場所
      heraton Society Hill Hotel, Philadelphia, USA
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] Logic Education: Now and Future2012

    • 著者名/発表者名
      Yuko Murakami
    • 学会等名
      Indiana University Logic Seminar
    • 発表場所
      Indiana University, USA
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] Yablo paradox and co-induction2012

    • 著者名/発表者名
      Shunsuke Yatabe
    • 学会等名
      Indiana University Logic Seminar
    • 発表場所
      Indiana University, USA
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] 国内主要大学院入学者選抜の現状――全入時代の入学者選抜プロセスICT 活用のあり得べきシナリオ――2011

    • 著者名/発表者名
      村上祐子・土屋俊
    • 学会等名
      平成23年度全国大学入学者選抜研究連絡協議会大会(第6回)大会
    • 発表場所
      早稲田大学
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] 法と科学の界面における真理2011

    • 著者名/発表者名
      村上祐子
    • 学会等名
      科学基礎論学会大会
    • 発表場所
      愛媛大学
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] 応用哲学会コモンズ: 構想と意見聴取2011

    • 著者名/発表者名
      村上祐子
    • 学会等名
      応用哲学会2011年度臨時研究大会
    • 発表場所
      京都大学
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] 不確実な状況下での真理と事実認定2011

    • 著者名/発表者名
      村上祐子
    • 学会等名
      応用哲学会2011年度臨時研究大会
    • 発表場所
      京都大学
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] 音楽と哲学:表現の限界2011

    • 著者名/発表者名
      村上祐子
    • 学会等名
      応用哲学会2011年度臨時研究大会
    • 発表場所
      京都大学
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] テスト工程における形式手法の利用2011

    • 著者名/発表者名
      矢田部俊介、北村崇師、Ling Fang、Do Thi Bich Ngoc、大崎人士
    • 学会等名
      形式手法の産業界応用ワークショップ
    • 発表場所
      千里ライフサイエンスセンター
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] On the crispness of $\omega$ and an arithmetic with a bi-simulation in a constructive naive set theory2011

    • 著者名/発表者名
      Shunsuke Yatabe
    • 学会等名
      Non-classical Modal and Predicate Logics
    • 発表場所
      Sun Yat-sen University, Guangzhou, China
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] あいまい性と極限2011

    • 著者名/発表者名
      矢田部俊介
    • 学会等名
      論理学と数学の哲学に関する研究会
    • 発表場所
      星陵会館
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] 余帰納的言語と真理の度合理論2011

    • 著者名/発表者名
      矢田部俊介
    • 学会等名
      日本科学哲学会
    • 発表場所
      大阪市立大学
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] ヤブローのパラドックス:自己相似性と自己言及性2011

    • 著者名/発表者名
      矢田部俊介
    • 学会等名
      言語学と言語哲学研究会
    • 発表場所
      東京大学駒場キャンパス
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] A co-inductive language and truth degrees2011

    • 著者名/発表者名
      Shunsuke Yatabe
    • 学会等名
      12th Meeting on Mathematics of Language
    • 発表場所
      奈良県文化会館
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] A truth theory and co-induction2011

    • 著者名/発表者名
      Shunsuke Yatabe
    • 学会等名
      Algebraic and Coalgebraic Approaches to Non-Classical Logics Workshop (ACAN)
    • 発表場所
      京都大学
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] RAMS の認証とセーフティケース

    • 著者名/発表者名
      相馬 大輔, 田口 研治, 西原 秀明, 大岩 寛, 矢田部 俊介, 森 崇 2矢田部俊介
    • 学会等名
      第11回クリティカルソフトウェアワークショップ
    • 発表場所
      宇宙航空研究開発機構
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] Yablo’s paradox and coinduction

    • 著者名/発表者名
      Shunsuke Yatabe
    • 学会等名
      Kyoto-Bristol symposium
    • 発表場所
      京都大学
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] Naive set theory and coinduction

    • 著者名/発表者名
      Shunsuke Yatabe
    • 学会等名
      Research Meeting: Social Responsibilities of Logicians and Philosophers
    • 発表場所
      宮城県蔵王町
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] Verification of System Requirement Specification of Radio Based Train Control (JRTC-W) Using Modeling Language

    • 著者名/発表者名
      MORI Takashi , Shunsuke YATABE, Hiroyuki YAMAMOTO, Takahiro ARAKAWA, Kenji TAGUCHI, Daisuke SOUMA, Izumi TAKEUTI, Sumitaka AKIBA and Hitoshi OHSAKI
    • 学会等名
      WCRR2013
    • 発表場所
      Sydney, Australia
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] 集合項は論理結合子と見なしうるか

    • 著者名/発表者名
      矢田部俊介
    • 学会等名
      日本科学哲学会
    • 発表場所
      法政大学
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] A non-classical approach to modeling the circularity

    • 著者名/発表者名
      Shunsuke Yatabe
    • 学会等名
      International Workshop on Game Theory, Epistemic Logic, & Related Topics
    • 発表場所
      筑波大学
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] サイエンス・コミュニケーションにおける論理性

    • 著者名/発表者名
      村上祐子
    • 学会等名
      日本科学哲学会
    • 発表場所
      法政大学
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] A constructive naive set theory and Kreisel-Goodman paradox

    • 著者名/発表者名
      Shunsuke YATABE
    • 学会等名
      「台湾論理・方法論与科学哲学」国際学術検討会
    • 発表場所
      台北, 台湾
    • 関連する報告書
      2013 実施状況報告書
    • 招待講演
  • [学会発表] 構成的真理と構成的素朴集合論

    • 著者名/発表者名
      矢田部俊介
    • 学会等名
      日本哲学会
    • 発表場所
      お茶の水女子大学
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] 科学的知識の伝達と意思決定の論理

    • 著者名/発表者名
      村上祐子
    • 学会等名
      科学技術社会論学会大会
    • 発表場所
      東京工業大学
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] Science cafe; for information gathering

    • 著者名/発表者名
      Miwa KURI and Yuko Murakami
    • 学会等名
      4S
    • 発表場所
      San Diego, USA
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] 社会的合意形成:シミュレーション使用のケース

    • 著者名/発表者名
      村上祐子
    • 学会等名
      科学基礎論学会
    • 発表場所
      大阪大学
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] 構成的素朴集合論と無限

    • 著者名/発表者名
      矢田部俊介
    • 学会等名
      認識論理とゲーム理論研究会
    • 発表場所
      筑波大学
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] Yablo paradox and semantics of coinductive language

    • 著者名/発表者名
      Shunsuke Yatabe
    • 学会等名
      CAPE Truth theory and Logic Workshop
    • 発表場所
      京都大学
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] 嘘つきのパラドックス -自己言及の論理学-

    • 著者名/発表者名
      矢田部俊介
    • 学会等名
      大人のための数学講座
    • 発表場所
      京都大学
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] PARADOKSY LOGICZNE ― PARADOKS YABLO

    • 著者名/発表者名
      Shunsuke Yatabe
    • 学会等名
      logic seminar, University of Warsaw
    • 発表場所
      ポーランド・ワルシャワ大学
    • 関連する報告書
      2012 実施状況報告書
    • 招待講演
  • [学会発表] A constructive naive set theory, a truth predicate and the omega-rule

    • 著者名/発表者名
      Shunsuke Yatabe
    • 学会等名
      logic and set theory seminar, Bristol University
    • 発表場所
      イギリス・ブリストル大学
    • 関連する報告書
      2012 実施状況報告書
    • 招待講演
  • [学会発表] A constructive naive set theory and the omega-rule

    • 著者名/発表者名
      Shunsuke Yatabe
    • 学会等名
      Oxford University
    • 発表場所
      イギリス・オックスフォード大学
    • 関連する報告書
      2012 実施状況報告書
    • 招待講演
  • [学会発表] Yablo's paradox, a coinductive language and its semantics

    • 著者名/発表者名
      Shunsuke Yatabe
    • 学会等名
      LENLS 9
    • 発表場所
      北海道大学
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] ワークショップ「余帰納法と論理学」

    • 著者名/発表者名
      矢田部俊介
    • 学会等名
      日本科学哲学会
    • 発表場所
      宮崎大学
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] 部分構造論理上の理論

    • 著者名/発表者名
      矢田部俊介
    • 学会等名
      CAPEセミナー・論理学上級シリーズ
    • 発表場所
      京都大学
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] 部分構造論理とその階層

    • 著者名/発表者名
      矢田部俊介
    • 学会等名
      CAPEセミナー・論理学上級シリーズ
    • 発表場所
      京都大学
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] Yablo's paradox and -inconsistency

    • 著者名/発表者名
      Shunsuke Yatabe
    • 学会等名
      Numbers and Truth, A Marcus Wallenberg Symposium, Gothenburg
    • 発表場所
      スウェーデン・ヨテンボリ
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] A constructive naive set theory and the -rule

    • 著者名/発表者名
      Shunsuke Yatabe
    • 学会等名
      Logic, algebra and truth degrees
    • 発表場所
      金沢
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] Test-Case Design by Feature Trees

    • 著者名/発表者名
      北村 崇師, DO THI BICH NGOC, 大崎 人士, 矢田部俊介
    • 学会等名
      ISoLA2012
    • 発表場所
      ドイツ・ポツダム
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] 計算的言語理論とCCG

    • 著者名/発表者名
      矢田部俊介
    • 学会等名
      応用哲学会大会
    • 発表場所
      千葉大学
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] 石黒ひでとその周辺

    • 著者名/発表者名
      村上祐子
    • 学会等名
      応用哲学会大会
    • 発表場所
      千葉大学
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] プライバシーの論理

    • 著者名/発表者名
      村上祐子
    • 学会等名
      第2回情報倫理研究会
    • 発表場所
      東京外国語大学東京サテライト
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] 科学的不確実性を取りあつかう場合の情報収集型サイエンスカフェの試み

    • 著者名/発表者名
      久利美和・村上祐子・立花浩司
    • 学会等名
      科学技術社会論学会第11回年次研究大会
    • 発表場所
      湘南国際村センター
    • 関連する報告書
      2012 実施状況報告書
  • [図書] 科学技術をよく考える2013

    • 著者名/発表者名
      伊勢田哲治・戸田山和久・調 麻佐志・村上祐子 編
    • 総ページ数
      306
    • 出版者
      名古屋大学出版会
    • 関連する報告書
      2013 実施状況報告書
  • [図書] 科学についてよく考える2013

    • 著者名/発表者名
      伊勢田哲治・戸田山和久・調麻佐志・村上祐子
    • 総ページ数
      306
    • 出版者
      名古屋大学出版会
    • 関連する報告書
      2012 実施状況報告書
  • [図書] Michael Matthews et al. (eds.) International Handbook of Research in History and Philosophy and Science Teaching2013

    • 著者名/発表者名
      Yuko Murakami and Manabu Sumida
    • 出版者
      Springer
    • 関連する報告書
      2012 実施状況報告書
  • [図書] 情報倫理入門2012

    • 著者名/発表者名
      土屋俊監修、大谷卓史編著、江口聡・喜多千草・永崎研宣・村上祐子・川口嘉奈子・坪井雅史・谷川卓・吉永敦征・川口由起子共著
    • 出版者
      アイ・ケイ・コーポレーション
    • 関連する報告書
      2012 実施状況報告書
  • [備考] 村上祐子

    • URL

      http://researchmap.jp/read0140800

    • 関連する報告書
      2014 実績報告書
  • [備考] 矢田部俊介

    • URL

      http://researchmap.jp/ytb

    • 関連する報告書
      2014 実績報告書
  • [備考] 村上祐子

    • URL

      http://researchmap.jp/read0140800

    • 関連する報告書
      2013 実施状況報告書
  • [備考] 矢田部俊介

    • URL

      http://researchmap.jp/ytb

    • 関連する報告書
      2013 実施状況報告書
  • [備考] 矢田部俊介

    • URL

      http://researchmap.jp/ytb/

    • 関連する報告書
      2012 実施状況報告書
  • [備考] 村上祐子

    • URL

      http://researchmap.jp/read0140800/

    • 関連する報告書
      2012 実施状況報告書

URL: 

公開日: 2011-08-05   更新日: 2019-07-29  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi