著者
野本 和幸
出版者
北海道大学哲学会 = The Philosophical Society of Hokkaido University
雑誌
哲学 (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.

言及状況

はてなブックマーク (1 users, 1 posts)

Twitter (2 users, 2 posts, 1 favorites)

野本和幸「Gフレーゲの生涯、ならびに論理哲学探求の構成と方法」https://t.co/AhvIqvuCC1 時代の潮流の中で一連の思想を概観するならば、フレーゲがナチズムに賛同したという言及は些か日記や書簡からは言及しにくい問題なんだと思う。
G・フレーゲの生涯, ならびに論理哲学探究の構成と方法 http://t.co/wdhAILIB を武蔵野線車内で読んだ記憶がある。内容は全然覚えてない。

収集済み URL リスト