文献一覧: 科学基礎論学会 (出版者)

2 0 0 0 OA 強制公理とΩ-論理

著者: 依岡輝幸
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.36, no.2, pp.45-52, 2009-03-31 (Released:2017-08-15)
参考文献数: 48

It is well known that the Continuum Hypothesis is independent from the axioms of set theory by the results of Kurt Godel and Paul Cohen. However, there are some set theorists who do not consider that this independency of the hypothesis is the ultimate answer of the continuum problem and who think the validity of the hypothesis should be determined. Recently, several ideas have been proposed to decide the hypothesis. In this paper, we introduce two ideas to determine the truth of the Continuum Hypothesis, which are related to the concept of forcing absoluteness. One is the concepet of forcing axioms, and the other is Ω-logic.

2 0 0 0 OA 工学的知識の独自性はどこにあるのか

著者: 伊勢田哲治
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.35, no.2, pp.65-76, 2008-03-30 (Released:2010-02-03)
参考文献数: 22

This paper discusses in what sense engineering knowledge is peculiar, in comparison with science. First, I trace the development of “epistemology of engineering knowledge” and introduce Walter Vincenti's analysis of normal design knowledge as one of the representative works in the literature. I propose four peculiarity theses of engineering knowledge as possible interpretations of his position. However, there are problems with these theses. First, scientific knowledge seems to have similar features as the ones Vincenti regards as peculiar to engineering knowledge. Second, in the context of the debate on the peculiarity of the engineering knowledge, Vincenti's approach seems to miss the point. We need a broader notion of peculiarity of engineering knowledge.

2 0 0 0 OA 外延的真理様相の論理としての部分論理

著者: 加地大介
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.34, no.2, pp.61-70, 2007-03-25 (Released:2009-07-31)
参考文献数: 20
被引用文献数: 1

In [Kachi 2002a] I made comparison between several definitions of validity in Simple Partial Logic (SPL) and adopted two of them as most appropriate. In this paper, after elaborating more on these two definitions than in my previous paper and considering the characteristics of Partial Semantics, in which these definitions are given, I construct a tableau proof theory and prove its soundness and completeness. Then, based on the characterization of Partial Semantics, I will show that we can regard SPL as a logic of extensional alethic modality.

2 0 0 0 OA 懐疑論のパラドクスを文脈主義によって解決する方法

著者: 山田圭一
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.34, no.1, pp.11-20, 2007-03-25 (Released:2010-02-03)
参考文献数: 19

Epistemological contextualism holds that the truth-conditions of knowledge-attributing sentences depend on the contexts in which they are uttered. While Contextualists have presented solutions of the skeptical paradox with reference to this dependence, they are confronted with various criticisms. In this paper, I examine DeRose's solution of skepticism, and then elucidate why it fails to do justice to the persuasiveness of skeptical argument. Finally, as an alternative resolution of radical skepticism, I suggest the position of “radical contextualism” that claims not only standards of knowledge but of epistemic distinction (justification) depend on the context, and illustrate the justification model of radical contextualism in contrast with that of radical skepticism.

2 0 0 0 OA 討論 : 「私は知っている」の神秘鬼界彰夫『ウィトゲンシュタインはこう考えた』について

著者: 水本正晴
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.33, no.2, pp.89-96, 2006-03-25 (Released:2009-07-23)
参考文献数: 36

2 0 0 0 OA 量子力学, 統計力学, 統計学における不確定性関係

著者: 白井仁人
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.33, no.2, pp.59-67, 2006-03-25 (Released:2009-07-23)
参考文献数: 4

2 0 0 0 OA 非反射的様相をもつ二様相論理

著者: 佐野勝彦中山康雄
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.34, no.1, pp.1-10, 2007-03-25 (Released:2009-07-31)
参考文献数: 12
被引用文献数: 1 1

This paper proposes a bimodal logic with an additional modality (called the irreflexive modality), which corresponds semantically to the intersection of the accessibility relation and the inequality. First, we show that we can define, within this framework, several properties that are undefinable in the unimodal language; irreflexivity is one of such properties. Second, with respect to the frame expressivity, we compare our language with the unimodal language and another bimodal language with the difference operator that is studied by de Rijke. Finally, we give a Hilbert-style axiomatization of our logic and prove that certain familiar modal systems, such as S4 and S5, enjoy Kripke completeness in our language.