科学基礎論研究

Online ISSN : 1884-1236
Print ISSN : 0022-7668
ISSN-L : 0022-7668

検索

閲覧

検索

検索
閲覧

巻号一覧

2 号 p. 51-
1 号 p. 1-

39 巻, 2 号

選択された号の論文の15件中1～15を表示しています

メタデータをダウンロード

すべての抄録を表示する

表紙

原稿種別: 表紙
2012 年 39 巻 2 号 p. Cover1-
発行日: 2012/03/25
公開日: 2017/08/01

DOIhttps://doi.org/10.4288/kisoron.39.2_Cover1

ジャーナルフリー

PDF形式でダウンロード (24315K)
目次

原稿種別: 表紙
2012 年 39 巻 2 号 p. Cover2-
発行日: 2012/03/25
公開日: 2017/08/01

DOIhttps://doi.org/10.4288/kisoron.39.2_Cover2

ジャーナルフリー

PDF形式でダウンロード (24315K)
矛盾許容型論理PCL1の拡張について

大森仁, 藁谷敏晴

原稿種別: 本文
2012 年 39 巻 2 号 p. 51-68
発行日: 2012/03/25
公開日: 2017/08/01

DOIhttps://doi.org/10.4288/kisoron.39.2_51

ジャーナルフリー

抄録を表示する抄録を非表示にする

A system of paraconsistent logic called PCL1 is known to have an interesting relation to Modal Logic S5, and in one of our previous papers, we focused on some concrete conditions to obtain the "minimal" extension of PCL1 enriched with the classical negation. Based on this result, the present paper offers some additional remarks on enriching PCL1 with the classical negation and other concrete conditions to obtain the relation between PCL1 enriched with the classical negation and S5. Also a simple relation between PCL1 and the existing systems is clarified and a maximal three-valued extension of PCL1 is presented.

抄録全体を表示

PDF形式でダウンロード (1525K)
特集への序文:あたらしい数理論理学の揺籃 : 証明論的な順序数と集合論的な順序数

藤田博司

原稿種別: 本文
2012 年 39 巻 2 号 p. 69-
発行日: 2012/03/25
公開日: 2017/08/01

DOIhttps://doi.org/10.4288/kisoron.39.2_69

ジャーナルフリー

PDF形式でダウンロード (166K)
<数学の哲学>における多元的視点(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)

中山康雄

原稿種別: 本文
2012 年 39 巻 2 号 p. 71-81
発行日: 2012/03/25
公開日: 2017/08/01

DOIhttps://doi.org/10.4288/kisoron.39.2_71

ジャーナルフリー

抄録を表示する抄録を非表示にする

In this paper, I introduce three criteria for the historical assessment of research activities and apply them to mathematical activities, especially research activities in the set-theory. These criteria are accuracy, expressibility, and coherence. According to my proposal, a research tradition is progressive, when it is more accurate, more expressive and more coherent than its predecessors. A research tradition in a crisis is regressive with respect to at least one of these criteria. This approach is based on a nominalistic non-realism that is connected with a metaphysical position, namely the ontological theory of multiple languages.

抄録全体を表示

PDF形式でダウンロード (1354K)
現代集合論における巨大基数(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)

薄葉季路, 藤田博司

原稿種別: 本文
2012 年 39 巻 2 号 p. 83-92
発行日: 2012/03/25
公開日: 2017/08/01

DOIhttps://doi.org/10.4288/kisoron.39.2_83

ジャーナルフリー

抄録を表示する抄録を非表示にする

This article is to give a brief survey of roles of large cardinals (those ordinals which are in certain sense very big) in set theory of our time. In particular, close relationship of the structure of the continuum to large cardinals is emphasized. We also mention the inner model method which is a comparable approach to large cardinal axioms, so that we could make clear the reason why large cardinals are so important.

抄録全体を表示

PDF形式でダウンロード (1110K)
非可述性の分析としての証明論(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)

秋吉亮太

原稿種別: 本文
2012 年 39 巻 2 号 p. 93-107
発行日: 2012/03/25
公開日: 2017/08/01

DOIhttps://doi.org/10.4288/kisoron.39.2_93

ジャーナルフリー

抄録を表示する抄録を非表示にする

Proof theory was initiated by Hilbert for the foundation of mathematics, especially for carrying out "Hilbert's program". After Godel's incompleteness theorems, proof theory (ordinal analysis) has been developed as pure mathematics. It has been widely held that it is quite difficult to explain what has been gained in proof theory (ordinal analysis). In this paper we review the development of proof theory and its recent results for impredicative subsystems of analysis from the viewpoint of "analysis of impredicativity". We point out the main difficulties to explain conceptual significance of proof theory. Our conclusion is that such difficulties should be addressed by developing (not only proof theory as pure mathematics) philosophy of mathematics in future.

抄録全体を表示

PDF形式でダウンロード (1671K)
因果と実在, Judea Pearl, Causality, 第二版書評

大塚淳

原稿種別: 本文
2012 年 39 巻 2 号 p. 109-115
発行日: 2012/03/25
公開日: 2017/08/01

DOIhttps://doi.org/10.4288/kisoron.39.2_109

ジャーナルフリー

PDF形式でダウンロード (906K)
2010年度奨励賞選考結果

原稿種別: 付録等
2012 年 39 巻 2 号 p. 117-118
発行日: 2012/03/25
公開日: 2017/08/01

DOIhttps://doi.org/10.4288/kisoron.39.2_117

ジャーナルフリー

PDF形式でダウンロード (126K)
基礎論学会2011年度秋の研究例会プログラム

原稿種別: 付録等
2012 年 39 巻 2 号 p. 119-
発行日: 2012/03/25
公開日: 2017/08/01

DOIhttps://doi.org/10.4288/kisoron.39.2_119

ジャーナルフリー

PDF形式でダウンロード (52K)
『科学基礎論研究』投稿規定

原稿種別: 付録等
2012 年 39 巻 2 号 p. App1-
発行日: 2012/03/25
公開日: 2017/08/01

DOIhttps://doi.org/10.4288/kisoron.39.2_App1

ジャーナルフリー

PDF形式でダウンロード (71K)
編集委員

原稿種別: 付録等
2012 年 39 巻 2 号 p. App2-
発行日: 2012/03/25
公開日: 2017/08/01

DOIhttps://doi.org/10.4288/kisoron.39.2_App2

ジャーナルフリー

PDF形式でダウンロード (71K)
奥付

原稿種別: 付録等
2012 年 39 巻 2 号 p. App3-
発行日: 2012/03/25
公開日: 2017/08/01

DOIhttps://doi.org/10.4288/kisoron.39.2_App3

ジャーナルフリー

PDF形式でダウンロード (71K)
裏表紙

原稿種別: 表紙
2012 年 39 巻 2 号 p. Cover3-
発行日: 2012/03/25
公開日: 2017/08/01

DOIhttps://doi.org/10.4288/kisoron.39.2_Cover3

ジャーナルフリー

PDF形式でダウンロード (48K)
CONTENTS

原稿種別: 表紙
2012 年 39 巻 2 号 p. Cover4-
発行日: 2012/03/25
公開日: 2017/08/01

DOIhttps://doi.org/10.4288/kisoron.39.2_Cover4

ジャーナルフリー

PDF形式でダウンロード (48K)

feedback

Top

J-STAGEへの登録はこちら（無料）