著者
鈴木 俊洋
出版者
北海道大学哲学会
雑誌
哲学 (ISSN:02872560)
巻号頁・発行日
vol.53, pp.105-110, 2019-01-04
著者
野本 和幸
出版者
北海道大学哲学会
雑誌
哲学 (ISSN:02872560)
巻号頁・発行日
vol.40, pp.1-28, 2004-07-18

Firstly I sketch Frege's personal history, his academic career and his publications briefly, and secondly I try to give a general outline of the structural and methodological characteristics of his investigations as a whole. One can divide Frege's logico-philosophical investigations into the three parts as follows: (A) The invention of contemporary logic, its axiomatic systematization and the development of the logicist philosophy of arithmetic. (B) Philosophy of logic. (C) Controversies with his contemporary distinguished scholars concerning psychologism, empiricism, physicalism, formalism, etc., though I do not take them up this time. Concerning (A), firstly I try to explain why Frege must constitute the higher order logic through formulating his formal language (Begriffsschrift) for the accomplishment of his logicist project. Secondly I take note of his theory of judgment/ assertion and inference, and point out its two distinctive features, i.e., (1) his priority thesis of judgment, and (2) his epistemological characterization of judgment and inference. For Frege, a judgment is the recognition of the truth (als wahr anerkennen) of the thought-content and assertion is the manifestation of a judgment with assertoric force,while an inference is the justification (Berechtigung) of the correctness of the conclusion based on its true premises. Thirdly, Frege's claim of the primacy of the sentence or the context principle, and the composition principle are Frege's methodological guiding principles of his syntactic and semantic considerations as a whole. Concerning (B): his philosophy of logic, (1) Frege will neither approve the justifiability of primitive logical laws nor definability of primitive logical terms within his Begriffsschrift. (2) In fact, Frege does not introduce distinctive model theoretic ideas such as variant domains or quantification along with domain fixing. However, Frege explicitly provides lots of semantical 'explanations (Erklärung/Darlegung)' in his ‘explanatory language (Darlegungssprache)' as metalanguage distinguished from his object language (Begriffsschrift as ‘Hilfssprache'). For example, in his main work: GGA, Frege tries to give the proofs of the meaningfulness of his primitive logical symbols, truthfulness of axioms, and the truth-preserving nature of inference-rules. (3) Frege gives further metalinguistic explanations as propedeutic concerning the basic ‘logical forms' such as‘fall-under (subsumption)' and his logical categories: objects versus concepts/functions, and his semantic distinction of sense (Sinn) and Meaning (Bedeutung). In such explanations there might be a certain anticipation of Wittgensteinian idea of ‘saying' and ‘showing'. Furthermore Frege provides meta-meta-linguistic elucidations or suggestions resorting to vivid metaphors concerning his fundamental categories of proper names versus function-signs/concept-words,o r objects versus functions/concepts, the distinction of Begriffsschrft from ordinary language, and the relationship of representation, sense and Meaning, etc. Really Frege is not only the most revolutionary logician since Aristotle, but also a distinguished man of metaphor.
著者
水野 浩二
出版者
北海道大学哲学会
雑誌
哲学 (ISSN:02872560)
巻号頁・発行日
vol.38, pp.1-17, 2002-07-21
著者
田村 圭一
出版者
北海道大学哲学会
雑誌
哲学 (ISSN:02872560)
巻号頁・発行日
vol.39, pp.1-18, 2003-07-20
著者
斉藤 健
出版者
北海道大学哲学会
雑誌
哲学 (ISSN:02872560)
巻号頁・発行日
vol.40, pp.45-63, 2004-07-18

The aim of this paper is to examine Shapiro's structuralism in philosophy of mathematics and to show several difficulties in his structuralism. He adopts ante rem structuralism which is based upon his realism. After delineating his arguments I will point out some advantages of his structuralism, which become apparent when it is compared especially with a traditional type of mathematical Platonism. Then I will show, by using examples taken from mathematics, that there are some ambiguities in his uses of the basic notions, such as structure, system, exemplification and place. Finally I criticize his axiomatic theory of structure mainly because it relies upon too many undefined terms, and show that in his ontological views there is an underlying discrepancy between his ante rem structuralism and his set-theoretic approach to structures.
著者
川端 繁之
出版者
北海道大学哲学会
雑誌
哲学 (ISSN:02872560)
巻号頁・発行日
vol.41, pp.103-120, 2005-07-17

It is common knowledge among philosophical researchers that modern philosophy began with Descartes's "cogito". And there might be no objection to calling modern philisophy "philosophy of self-consciousness". H.Bergson found his philosophical starting-point in immediate self-knowledge, "durée pure". As such we can say that his philosophy belongs to the ancestry of self consciousness philosophy. If so, a problem will arise. :What is his own contribution to philosophy? I found an answer by interpreting and extending the concept of "schéme moteur" which is found in his second main book, "Matter and Memory". The answer is a tri-structure which is composed of three moments, "actual", "virtual", and "medium". I propose to regard this structure as the archetype of signification, moreover, to extend it to the ontological principle. And I call this the "semiotic process". My intention is to give some logical form to Bergson's idea which some people often criticize as just being a metaphor. In this sense I think it can be said that "semiotic process" is another name for "élan vital". The making Bergson's "hidden logic" clearer by finding out the "semitic process" is the main theme of this paper.
著者
麻生 尚志
出版者
北海道大学哲学会
雑誌
哲学 (ISSN:02872560)
巻号頁・発行日
vol.46, pp.17-31, 2010-03-21