科学基礎論研究

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

検索

閲覧

検索

検索
閲覧

巻号一覧

2 号 p. 81-
1 号 p. 1-

42 巻, 2 号

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

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

すべての抄録を表示する

表紙

原稿種別: 表紙
2015 年 42 巻 2 号 p. Cover1-
発行日: 2015/03/30
公開日: 2017/08/31

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

ジャーナルフリー

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

原稿種別: 表紙
2015 年 42 巻 2 号 p. Cover2-
発行日: 2015/03/30
公開日: 2017/08/31

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

ジャーナルフリー

PDF形式でダウンロード (25124K)
間接検証としての演繹的推論

大西琢朗

原稿種別: 本文
2015 年 42 巻 2 号 p. 81-95
発行日: 2015/03/30
公開日: 2017/08/31

DOIhttps://doi.org/10.4288/kisoron.42.2_81

ジャーナルフリー

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

Dummett's conception of deductive inference as indirect verification underlies his philosophy of logic. It is intended to serve as the core idea to make clear the complex relationships among the key notions such as legitimacy and utility of inference, applicability of deduction to empirical statements, the realist and semantic concept of truth, and so forth. In this paper, we focus on his constructivist idea of justification of inference and point out that it does not play the intended role in the entire picture. In particular, it faces a difficulty in explaining the modal notion of verifiability. Then an alternative model of justification is proposed. It is called bilateralism since it explains legitimacy of inference in terms of (in)coherence between verification and falsification, from which modality involved in justification process is derived.

抄録全体を表示

PDF形式でダウンロード (1900K)
極限再帰関数における広義計算概念の仕組み

八杉滿利子

原稿種別: 本文
2015 年 42 巻 2 号 p. 97-104
発行日: 2015/03/30
公開日: 2017/08/31

DOIhttps://doi.org/10.4288/kisoron.42.2_97

ジャーナルフリー

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

The halting property as such is not guaranteed for limitimg recursion, since its evaluation process requires infinitely many steps. Nevertheless, as limiting recursive functions are useful in the study of computational aspects of mathematics on the continuum, it is desirable that some extended notion of computation be bestowed upon limiting recursion. We will here present a framework which general recursion and limiting recursion can share in characterizing their functions, and in which the halting property of the former and the identification in the limit of the latter can be expressed in terms of a formula stating a kind of compactness of a sequence of sets. We regard this fact as claiming that limiting recursion is conjunctive to general recursion, and hence can be viewed as a computation in an extended sense.

抄録全体を表示

PDF形式でダウンロード (945K)
本学会創設期の日本における科学基礎論の研究状況

古田智久

原稿種別: 本文
2015 年 42 巻 2 号 p. 105-119
発行日: 2015/03/30
公開日: 2017/08/31

DOIhttps://doi.org/10.4288/kisoron.42.2_105

ジャーナルフリー

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

原稿種別: 付録等
2015 年 42 巻 2 号 p. 120-122
発行日: 2015/03/30
公開日: 2017/08/31

DOIhttps://doi.org/10.4288/kisoron.42.2_120

ジャーナルフリー

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

原稿種別: 付録等
2015 年 42 巻 2 号 p. 123-
発行日: 2015/03/30
公開日: 2017/08/31

DOIhttps://doi.org/10.4288/kisoron.42.2_123

ジャーナルフリー

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

原稿種別: 付録等
2015 年 42 巻 2 号 p. App1-
発行日: 2015/03/30
公開日: 2017/08/31

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

ジャーナルフリー

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

原稿種別: 付録等
2015 年 42 巻 2 号 p. App2-
発行日: 2015/03/30
公開日: 2017/08/31

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

ジャーナルフリー

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

原稿種別: 表紙
2015 年 42 巻 2 号 p. Cover3-
発行日: 2015/03/30
公開日: 2017/08/31

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

ジャーナルフリー

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

原稿種別: 表紙
2015 年 42 巻 2 号 p. Cover4-
発行日: 2015/03/30
公開日: 2017/08/31

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

ジャーナルフリー

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

feedback

Top

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