文献一覧: 稲岡大志 (著者)

13 0 0 0 OA 図形推論と数学の哲学 ― 最近の研究から

著者: 稲岡大志
出版者: The Philosophy of Science Society, Japan
雑誌: 科学哲学 (ISSN:02893428)
巻号頁・発行日: vol.47, no.1, pp.67-82, 2014-07-30 (Released:2015-07-24)
参考文献数: 21

In this paper, we would present an overview of the recent studies on the role of diagram in mathematics. Traditionally, mathematicians and philosophers had thought that diagram should not be used in mathematical proofs, because relying on diagram would cause to various types of fallacies. But recently, some logicians and philosophers try to show that diagram has a legitimate place in proving mathematical theorems. We would review such trends of studies and provide some perspective from viewpoint of philosophy of mathematics.

8 0 0 0 堀江由衣をめぐる試論 : 音声・キャラクター・同一性

著者: 稲岡大志
出版者: ミュー
雑誌: フィルカル : philosophy & culture : 分析哲学と文化をつなぐ
巻号頁・発行日: vol.1, no.2, pp.112-140, 2016-09-30

2020-10-03 13:44:05
8 + 14 Twitter

https://ci.nii.ac.jp/naid/40021474135

2 0 0 0 オリンピックは道徳実験室でありうるか?:「生き方の哲学」としてのオリンピズムの可能性

著者: 稲岡大志
出版者: 関西倫理学会
雑誌: 倫理学研究 (ISSN:03877485)
巻号頁・発行日: vol.50, 2020

2020-12-31 20:20:38
2 + 1 Twitter

2 0 0 0 OA 幾何学における抽象と記号

著者: 稲岡大志
出版者: 日本哲学会
雑誌: 哲学 (ISSN:03873358)
巻号頁・発行日: vol.2010, no.61, pp.165-179_L10, 2010 (Released:2011-01-18)
参考文献数: 16

In this paper, we examine Leibniz's critique of Euclidean geometry and show what the point of his critique is. Leibniz thinks that, for the human mind to acquire geometrical ideas which have their origin in God's intellect, the use of symbols is essential. By Leibniz's theory of expressio, there is a structural isomorphism between the symbol system and the world. So we can acquire an eternal truth by using symbols. In Euclidean geometry, diagrams are used as symbols to introduce geometrical objects, but there is a difference in a precise sense between a diagram which is actually described and a geometrical object as an abstract object, so imagination must abstract this microscopic difference somehow. But, to acquire an intended geometrical object from a given diagram, we must in advance capture it by means of some kind of intellectual intuition. However, Leibniz rejects ideas acquired by intuition. So, he must discard diagrams as symbols capable of introducing geometrical objects appropriately.In fact, criticizing Euclidean geometry, Leibniz recognizes the role and importance of symbols in geometry and becomes keenly aware that diagrams are not capable of introducing geometrical objects. In analysis, Leibniz readily permits abstraction by imagination and he is thereby able to solve many mathematical problems. However, in geometry he cannot use diagrams in this way, for we cannot solve even an easy geometrical problem without expressing the geometrical object appropriately. This means that Leibniz realizes that between geometry and other areas of mathematics there is an essential difference in the function of imagination.Traditionally, Leibniz's critique of Euclidean geometry is interpreted as a kind of technical critique. But, the key point of his critique is that using diagrams as means of introducing geometrical objects involves a difficulty which is not solved in the framework of Leibniz's theory of knowledge based upon symbols and the theory of expressio.Finally, we discuss some features of Leibniz's characteristica geometrica [geometrical character], which he developed in order to overcome the defects of Euclidean geometry.