著者

岡田 光弘

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.18, no.2, pp.59-65, 1987

---

論理記号の意味を論理記号導入規則と呼ばれる推論規則に基づいて与えて論理的意味論を展開する研究が論理学者達によっていろいろな観点からなされてきた。例えばGentzen ([4] II.§5) による説明はその最初のものであろう。Dummett, PrawitzおよびMartin-Löf等による最近の一連の論理的意味論の運動もこのような流れの上にある。また, LorenzenおよびLorenzの学派によるoperational logicおよびdialogical logicもこのような意味論の変形と考えられる。Gentzenはまた, そのような意味論を彼の与えた数論の整合性証明の哲学的意義の説明に際して展開した。Dummettの意図はそのような意味論に基づいて直観主義推論の哲学的基礎付けを行うことにあった 。これらの哲学的立場の共通する特徴はFrege-Russellのパラドックスの出現以来生じてきた論理学, 数学基礎論における哲学論争を哲学的意味論の論争として捉え直すという前提に立っている点にある。伝統的な捉え方に従うと, QuineやPutnamらが指摘するように, 数学基礎論における論理主義, 直観主義, 形式主義の論争は中世の存在論哲学の普遍論争における実念論, 概念論, 唯名論の間の論争に対応すると考えられてきた。ここで普遍論争とは普遍観念 (または一般観念) の存在論的位置付けに関する論争のことであり, 実念論, 概念論, 唯名論は各々一般観念がプラトンのイデアのような形で実在するという立場, 我々の精神において構成されるという立場, 単に記号として使用しているだけでありその存在を前提する必要がないとする立場, に対応している。数学や論理学で使用される観念についての論争もこのような存在論的なレベルの論争と解釈されてきたわけである。これに対して先に挙げた人々の共通した前提の一つはこの論争を存在論的枠組の中でではなく, 意味論の問題として, つまり言語哲学的レベルの枠組みで捉えようとする傾向があることである。つまり, 論理主義, 直観主義, 形式主義等の立場の違いを同じ数学言語, 論理言語に対して採用される意味論の違いによって説明しようとするわけである。例えば古典論理の立場では正しいとされる「<I>A</I>または非<I>A</I>」という形の排中律は直観主義論理の立場では一般には正しいと見なされないが, この立場の違いもそれぞれが別な意味論体系を採用していて, この別な意味論体系に従って, 「または」という論理結合詞に対して違った意味解釈を与える, ということによるとみなされる。<BR>以下において我々はこのような枠組みの中で「論理記号導入規則による意味論」と呼ばれる意味論の採用がいかに我々の論理的数学的言語行為に合ったものであるかをPrawitz-Dummettの議論を踏まえながら述べ (§1), 次にこの意味論の中核部分を最も基本的な形で展開する (§2) 。最後にこの意味論による直観主義論理推論の基礎付けの可能性およびそこに含まれる問題点について検討する (§3) 。

著者

藤田 翔

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.44, no.1, pp.1-14, 2017

被引用文献数

1

---

<p> This paper discusses a philosophical answer about the question "in relativistic cosmology, is space really expanding?" In general cosmology which is called a big-bang theory, cosmological space is said to have been expanding like a balloon gradually pumped up since a big-bang, which is shown by a co-moving coordinate of which the scale gets bigger as a proper time of observers in the earth passes. In this paper, I would like to interpret this phenomenon from a structural spacetime realism's viewpoint in which spacetime is real as different whole structures for different coordinates you arbitrarily choose depending only on a metric/gravitational field. Through my remark, I get a new conclusion of what spacetime really means,thus the role of specetime in contemporary physics. </p>

著者

Satosi WATANABE

出版者

科学基礎論学会

雑誌

Annals of the Japan Association for Philosophy of Science (ISSN:04530691)

巻号頁・発行日

vol.7, no.1, pp.1-14, 1986-03-05 (Released:2009-02-16)

参考文献数

8

被引用文献数

1 6

---

We can recognize at least three types of epistemological relativity. The present paper deals with the logico-linguistic type of relativity, which is exemplified by the grue emerald of Goodman and the ugly duckling of the present author. A general theorem is introduced and proven, which covers all the cases of this type of relativity.

著者

Joel DAVID HAMKINS

出版者

科学基礎論学会

雑誌

Annals of the Japan Association for Philosophy of Science (ISSN:04530691)

巻号頁・発行日

vol.19, pp.37-55, 2011-05-15 (Released:2017-08-01)

参考文献数

11

被引用文献数

1 4

---

Set theorists often take their subject as constituting a foundation for the rest of mathematics, in the sense that other abstract mathematical objects can be construed fundamentally as sets. In this way, they regard the set-theoretic universe as the universe of all mathematics. And although many set-theorists affirm the Platonic view that there is just one universe of all sets, nevertheless the most powerful set-theoretic tools developed over the past half century are actually methods of constructing alternative universes. With forcing and other methods, we can now produce diverse models of ZFC set theory having precise, exacting features. The fundamental object of study in set theory has thus become the model of set theory, and the subject consequently begins to exhibit a category-theoretic second-order nature. We have a multiverse of set-theoretic worlds, connected by forcing and large cardinal embeddings like constellations in a dark sky. In this article, I will discuss a few emerging developments illustrating this second-order nature. The work engages pleasantly with various philosophical views on the nature of mathematical existence.

著者

佐藤 暁

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.42, no.1, pp.1-17, 2014

---

In The Origins of Analytical Philosophy, Dummett criticized the philosophy of Husserl for being a Humpty-Dumpty theory. We reconstruct this criticism into a more general argument that shows that the idea of meaning as a type entails the Humpty-Dumpty theory. In interpreting Dummett's text, we show that the criticism of the Humpty-Dumpty theory is a criticism of "associating expressions with meanings" in an attempt to explain linguistic significance, and that types are not objects, but rather equivalence relations. In addition, we demonstrate that tokens are not concrete, but theoretical objects, and thus should be distinguished from bearers of tokens, which are bare physical objects.

著者

STICH Stephen

出版者

科学基礎論学会

雑誌

Annals of the Japan Association for Philosophy of Science (ISSN:18841228)

巻号頁・発行日

vol.23, pp.21-31, 2015-03-30

著者

依岡 輝幸

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.36, no.2, pp.45-52, 2009-03-31

---

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.37, no.1, pp.9-18, 2009-11-25

---

Scientific realists are pressed to reply against the critical argument from the anti-realist, pessimistic induction. One of the promising positions for them is that of ontic structural realism. This position claims that scientific theories are true of world structure and we must ontologically commit ourselves not to theoretical entities but only to such structures, totally eliminating the former. This elimination of relata, with the admission of relations has subjected it to a barrage of criticism. In this paper, I survey the debates about ontic structural realism and examine where its defects, if any, lie.

著者

太田 紘史 佐金 武

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.39, no.1, pp.1-11, 2011-11-25

---

Temporality is an essential part of our conscious experience. Indeed, it is difficult to conceive of a conscious individual who does not know what it's like to "experience time." For instance, we know what it's like to see bubbles in a glass rising up to the surface, to hear music playing, and even to feel time passing. In this paper, we first clarify three temporal characteristics of conscious experience: change, duration, and direction. Next, we criticize a memory-based account of those characteristics and suggest a representationalist account as an alternative approach. We also consider some objections to the representationalist account raised by B. Dainton, and try to reply to them. Finally, we give an outline of a systematic representationalist theory of all the three temporal characteristics.

著者

SHIRAI Hisato

出版者

科学基礎論学会

雑誌

Annals of the Japan Association for Philosophy of Science (ISSN:04530691)

巻号頁・発行日

vol.18, pp.29-43, 2009-11-15

---

Quantum mechanics is widely believed to be inconsistent with local realism because J.S. Bell proved the contradiction between quantum mechanics and the hidden variable theories based on reality and locality of matter. As described herein, the relation between quantum mechanics and local realism is discussed. This paper presents the question of whether any version of local realism is contradicted by quantum mechanics. The answer is negative. An interpretation is proposed by which the contradiction is explained using physical variables of two types: (1) physical variables of the first type, such as positions and angles (i.e. coordinates), are realistic variables and always possess definite values independently of measurements; (2) those of the second type, such as momenta, angular momenta, and spins (i.e., conserved quantities), are non-realistic variables, which possess no value before measurement. Value definiteness of the first type provides a reliable basis to physical reality of matter, and non-reality of the second type might solve the problem of inconsistency between quantum mechanics and local realism.

著者

依岡 輝幸

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.36, no.2, pp.45-52, 2009

著者

KANEKO Hiroshi

出版者

科学基礎論学会

雑誌

Annals of the Japan Association for Philosophy of Science (ISSN:04530691)

巻号頁・発行日

vol.11, no.1, pp.35-49, 2002-11-25

参考文献数

16

被引用文献数

1 2

---

It has been the main stream of research into intuitionsim for some decades to try to interpret intuitionist criticism of classical mathematics from a constructive semantic point of view. In such attempts, however, it is impossible to include all intuitionistic tenets, especially Brouwer's criticism of language and communication, in such a semantic framework. Some parts of Brouwer's thoughts thoroughly resist any kind of semantic interpretation. This is similar to Wittgenstein's later philosophy which also does not fit any kind of semantic interpretation, or to interpretations that his philosophy is constructed to exclude any semantic readings. By this comparison I hope to suggest that we have something to learn from Brouwer's philosophy, especially his criticism of language and linguistic communication that resists any semantic readings. In fact, Brouwer exerted influence on peoples such as Hilbert and Weyl for almost two dacades before the beginning of semantic research, that is, before the formulation of intuitionistic logic by Heyting. So, we can raise a legitimate question about what influence Brouwer exerted. Roughly speaking, I think it was his prior insights into the relation between language and mathematics. In the following, I would like to consider what those insights are, what kind of view on language they are based on and how they influence the foundational debates.

著者

糸山 浩司

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.37, no.2, pp.87-94, 2010-03-25

---

南部陽一郎博士2008年ノーベル物理学賞受賞の対象となった素粒子物理学における対称性の自発的破れの機構を、場の量子論の成立、発展を含めて論じる。

著者

金杉 武司

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.37, no.1, pp.39-48, 2009-11-25

---

Mental causation is one of the major problems in the philosophy of mind. It is a big problem not only for dualism but also for physicalim because even physicalists, as long as they accept the multiple realizability of mental properties, cannot identify mental properties with physical properties, therefore, they seem to be forced to exclude mental properties from physical causal relations. Sydney Shoemaker recently proposed interesting metaphysics of properties as a physicalist solution to this problem. According to Shoemaker, causal powers are essential to properties, and a realized property is a part of its realizer. This paper aims to assess the possibility of a physicalist solution to this problem through a critical examination of the adequacy of his solution.

著者

林 真理

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.90, pp.1-6, 1998

著者

長滝 祥司

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.83, pp.47-52, 1994

---

フッサールが指摘したように(1), ガリレイ以来発展してきた自然科学によって, われわれは世界や事物を数量化して把握することに馴染んできた。こうした数量化によって, 事物把握が間主観的になり科学的客観性が生じてくる。科学的客観性とは, 個人的で一回的な事物経験が数量化され, 間主観的, 全時間的になることによって成立してきたものである。またそれと相即的に, 知覚され経験される事物は因果的連関のうちにあり, 自然科学が発見した精密な因果的法則に支配されていると見なされる。そこでは, 主観性は因果連関のなかに組み込まれるか, あるいは無視されている。しかし, こうした事態は世界についての客観的, 因果的把握も, 直接的に経験された知覚世界 (フッサールの用語に従えば, 生世界 [Lebenswelt] に基づく認識方法の一つであるということが忘却された結果である。言い換えれば, 人間の生と自然科学とが完全に切り離された結果といえよう。近代の自然科学に範をとる実験心理学も, こうした忘却の上に成立していた。<BR>では, 知覚世界と科学とはいかなる関係にあるのか。フッサールに従えば, そもそも知覚世界とは科学的世界 (科学によって規定される世界) の出発点であり, その基底にあって科学に素材を提供し, その根拠となるものである。つまり, 精密な科学も知覚経験から出発して得られたものである。そうならば, 知覚経験のなかに科学へと繋がる萌芽が看取できるであろう。換言すれば, 知覚経験のなかに科学的客観性の起源が見出されるはずである(2)。われわれの知覚経験が, まったく秩序を持たずきわめて不安定なものであったなら, それは精密科学に素材を提供することなどできなかったと考えられるからである。したがって, その素材とは知覚経験におけるある種の安定性であるともいえる。もちろん知覚経験とは, 身体の運動などによってつねに変動し, 人によって異なることもあるなど, 不安定なものである。しかし, それでもわれわれは, ある事物の見え方が様々に変異するなかでそれを同一のものとして把握し, 身体を同じ場所に置くことによって緩い意味での間主観性も成立する。つまり数量化して把握する以前に, われわれは事物についての安定的な経験を持っているのである。本稿ではこの安定性を"知覚的客観性"と名づける。<BR>本稿の目的は, 心理学の知覚研究において知覚と実在の関係, 知覚における安定性, 客観性の問題がどのように取り扱われてきたかを整理し, 現象学的知覚論との対比をつけることである。心理学からは, 実験心理学の始祖であるヴントと, 彼への批判から始まったゲシュタルト心理学, そして後者の継承者であるギブソンを扱う。また, 現象学ではメルロ=ポンティの知覚論を主題的に論じていくことにする。そして, 知覚的客観性をめぐって, ギブソンとメルロ=ポンティの議論を比較してみたい。もちろん, この二人のあいだに直接的な影響関係があったわけではない。しかし, ゲシュタルト心理学が要素主義を克服したことに対する彼らの強い共感を考えると, 両者を比較することはあながち不毛なこととは思われない。そして, 両者の対比を通じてあらためて知覚的客観性の問題を考察することにより, 知覚と科学の結び目を確認したい。

著者

TANAKA Yutaka

出版者

科学基礎論学会

雑誌

Annals of the Japan Association for Philosophy of Science (ISSN:04530691)

巻号頁・発行日

vol.8, no.2, pp.49-67, 1992-03-05

---

This paper starts with the observation that the combination of the so-calld EPR argument and Bell's theorem reveals one of the most paradoxical features of quantum reality, i.e. the no-separability of two contingent events. If we accept the conclusion of the revised EPR argument together with Bell's theorem, we are necessarily led to the denial of local causality which was presupposed by the original version of Einstein's criticism against quantum physics. As the concept of local causality is a cornerstone of Einstein's theory of relativity, we next consider the problem of compatibility between the theory of relativity and quantum physics. Popper's proposal of going back to Lorentz's theory is examined and rejected because the quantum correlation of EPR is not to be interpreted as "an action at a distance" which we can control and use as the operational definition of absolute simultaneity. An inquiry into something like aether as hidden reality behind the theory of relativity is considered as retrogressive as the so-called hidden variable theory of quantum physics. Accepting the non-separability of local elements of reality as the undeniable fact, we discuss the possibility of a realistic interpretation of quantum physics which transcends scientific materialism and classical determinism. As an example of such projects, Stapp's theory is examined with respect to a Whiteheadean process philosophy which provides the meta-physical background for his realistic interpretation of quantum physics. Finally, we present another version of quantum meta-physics based on "the philosophy of organism" which is broad enough to include observer and observed, local causality and non-local correlation, space and time, and potentiality and actuality in the inseparable unity of physical reality.

著者

倭文 知騎 藁谷 敏晴

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.100, pp.31-36, 2003

被引用文献数

1 1