| アイテムタイプ |
Article |
| ID |
|
| プレビュー |
| 画像 |
|
| キャプション |
|
|
| 本文 |
KAKEN_17H02265seika.pdf
| Type |
:application/pdf |
Download
|
| Size |
:244.6 KB
|
| Last updated |
:Dec 23, 2024 |
| Downloads |
: 243 |
Total downloads since Dec 23, 2024 : 243
|
|
| 本文公開日 |
|
| タイトル |
| タイトル |
「証明の哲学」の視点に立つ「論理と数学の哲学」の新展開
|
| カナ |
「ショウメイ ノ テツガク」ノ シテン ニ タツ「ロンリ ト スウガク ノ テツガク」ノ シンテンカイ
|
| ローマ字 |
"Shōmei no tetsugaku" no shiten ni tatsu "ronri to sūgaku no tetsugaku" no shintenkai
|
|
| 別タイトル |
| 名前 |
"Philosophy of proofs" : towards new developments of philosophy of logic and mathematics
|
| カナ |
|
| ローマ字 |
|
|
| 著者 |
| 名前 |
岡田, 光弘
 |
| カナ |
オカダ, ミツヒロ
|
| ローマ字 |
Okada, Mitsuhiro
|
| 所属 |
慶應義塾大学・文学部 (三田) ・名誉教授
|
| 所属(翻訳) |
|
| 役割 |
Research team head
|
| 外部リンク |
科研費研究者番号 : 30224025
|
| 名前 |
秋吉, 亮太
|
| カナ |
アキヨシ, リョウタ
|
| ローマ字 |
Akiyoshi, Ryota
|
| 所属 |
早稲田大学・高等研究所・その他 (招聘研究員)
|
| 所属(翻訳) |
|
| 役割 |
Research team member
|
| 外部リンク |
科研費研究者番号 : 20587852
|
| 名前 |
金子, 洋之
|
| カナ |
カネコ, ヒロシ
|
| ローマ字 |
Kaneko, Hiroshi
|
| 所属 |
専修大学・文学部・教授
|
| 所属(翻訳) |
|
| 役割 |
Research team member
|
| 外部リンク |
科研費研究者番号 : 60191988
|
| 名前 |
峯島, 宏次
|
| カナ |
ミネシマ, コウジ
|
| ローマ字 |
Mineshima, Koji
|
| 所属 |
慶應義塾大学・文学部 (三田) ・准教授
|
| 所属(翻訳) |
|
| 役割 |
Research team member
|
| 外部リンク |
科研費研究者番号 : 80725739
|
|
| 版 |
|
| 出版地 |
|
| 出版者 |
|
| 日付 |
| 出版年(from:yyyy) |
2022
|
| 出版年(to:yyyy) |
|
| 作成日(yyyy-mm-dd) |
|
| 更新日(yyyy-mm-dd) |
|
| 記録日(yyyy-mm-dd) |
|
|
| 形態 |
|
| 上位タイトル |
| 名前 |
科学研究費補助金研究成果報告書
|
| 翻訳 |
|
| 巻 |
|
| 号 |
|
| 年 |
2021
|
| 月 |
|
| 開始ページ |
|
| 終了ページ |
|
|
| ISSN |
|
| ISBN |
|
| DOI |
|
| URI |
|
| JaLCDOI |
|
| NII論文ID |
|
| 医中誌ID |
|
| その他ID |
|
| 博士論文情報 |
| 学位授与番号 |
|
| 学位授与年月日 |
|
| 学位名 |
|
| 学位授与機関 |
|
|
| 抄録 |
「証明の哲学」の構築に向けて証明と推論の研究を進めた。推論と証明・論証の関連分野を分野横断的に研究するところに本研究の独創性がある。次のような成果を得た。Wittgensteinを中心とした20世紀前半の、証明の哲学に対して現代的再評価を与えた。日常の自然言語による推論に新たな成果を得た。特にデフォルト推論の新たな意味論分析を与えた。図的推論や画像的論理表現の成果を得た。論理の基盤構造を捉える線形論理レベルの証明の有効性分析を行い、Truth-Maker Semantics、実時間システム分析などを含む哲学的・論理学的成果を挙げた。証明論的順序数の論理的・哲学的分析を与えた。
We investigated in proofs/demonstrations and their inferences, towards the construction of "philosophy of proof". The characteristic of our research consists in the interdisciplinary method, We researched philosophy of proof which appeared in the philosophical literature, especially in Wittgenstein, in the first half of the 20th century. We obtained new understandings on the natural language inferences, such as default inference, as well as diagrammatic inference, such as image-based logical inference. We studied the fundamental logical structures such as linear logic. We gave new logical and philosophical analyses on proof-theoretic ordinals.
|
|
| 目次 |
|
| キーワード |
|
| NDC |
|
| 注記 |
研究種目 : 基盤研究 (B) (一般)
研究期間 : 2017～2021
課題番号 : 17H02265
研究分野 : 論理の哲学
|
|
| 言語 |
|
| 資源タイプ |
|
| ジャンル |
|
| 著者版フラグ |
|
| 関連DOI |
|
| アクセス条件 |
|
| 最終更新日 |
|
| 作成日 |
|
| 所有者 |
|
| 更新履歴 |
| Dec 23, 2024 | | インデックス を変更 |
| Dec 23, 2024 | | 著者 名前,著者 カナ,著者 ローマ字,著者 所属,著者 所属(翻訳),著者 役割,著者 外部リンク,著者 著者ID,抄録 内容,注記 注記 を変更 |
|
|
| インデックス |
|
| 関連アイテム |
|
