著者
依岡 輝幸
出版者
科学基礎論学会
雑誌
科学基礎論研究 (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.
著者
伊勢田 哲治
出版者
科学基礎論学会
雑誌
科学基礎論研究 (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.
著者
加地 大介
出版者
科学基礎論学会
雑誌
科学基礎論研究 (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.
著者
山田 圭一
出版者
科学基礎論学会
雑誌
科学基礎論研究 (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.
著者
佐野 勝彦 中山 康雄
出版者
科学基礎論学会
雑誌
科学基礎論研究 (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.
著者
中山 康雄
出版者
科学基礎論学会
雑誌
科学基礎論研究 (ISSN:00227668)
巻号頁・発行日
vol.33, no.1, pp.1-7, 2005-10-25 (Released:2009-07-23)
参考文献数
8

本稿では, 人物 (person) の同一性の議論に現れる人物分岐のパズルの解法を, 四次元メレオロジーの立場から提案する.この解法においては, ある種の名前の指示が多義的になることが決定的な役割を果たす.また, 本稿での解法の利点を, 他のアプローチと比較して明らかにする.
著者
丸田 健
出版者
科学基礎論学会
雑誌
科学基礎論研究 (ISSN:00227668)
巻号頁・発行日
vol.27, no.2, pp.65-71, 2000-03-31 (Released:2009-07-23)
参考文献数
21