文献一覧: 野本和幸 (著者)

4 0 0 0 OA G・フレーゲの生涯、ならびに論理哲学探究の構成と方法

著者: 野本和幸
出版者: 北海道大学哲学会
雑誌: 哲学 (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.

http://hdl.handle.net/2115/35024

3 0 0 0 OA 日本科学哲学会50周年の回顧

著者: 野本和幸
出版者: The Philosophy of Science Society, Japan
雑誌: 科学哲学 (ISSN:02893428)
巻号頁・発行日: vol.50, pp.1-34, 2017-12-20 (Released:2019-05-02)

3 0 0 0 OA G. フレーゲの論理・数学・言語の哲学

著者: 野本和幸
出版者: 国際基督教大学キリスト教と文化研究所
雑誌: 人文科学研究(キリスト教と文化) = Humanities: Christianity and Culture (ISSN:00733938)
巻号頁・発行日: no.48, pp.55-101, 2016-12-15

フレーゲは、第一に、「数とは何か」という問いに対し、自ら考案した記号言語により、史上初の高階述語論理の公理体系化を達成し、その論理的基礎から、数論全体を論理的に導出しようと試みた。第二に、その体系構成の「予備学」として、日常のドイツ語をいわば「メタ言語」に用い、当の記号言語自身の統語論についてのメタ的説明や、自らの論理的カテゴリー区分(対象と型つきの概念・関係)、意味論的区別(意味と意義等)を解明し、第三に、全欧規模で数学者・論理学者・哲学者と充実した誌上および書簡論争を行った。以上の論理学・数学基礎論上の仕事に加え、フレーゲは意味と意義の区別をはじめ、現代の意味論・言語哲学の原型を与えた。

2020-04-30 15:30:37
3 + 0 Twitter

http://id.nii.ac.jp/1130/00004222/

2 0 0 0 OA 様相論理のモデル理論と存在および同一性の問題

著者: 野本和幸
出版者: 日本科学哲学会
雑誌: 科学哲学 (ISSN:02893428)
巻号頁・発行日: vol.9, pp.27-39, 1976-11-10 (Released:2009-05-29)

1 0 0 0 OA 可能世界意味論と形而上学

著者: 野本和幸
出版者: 日本哲学会
雑誌: 哲学 (ISSN:03873358)
巻号頁・発行日: vol.1981, no.31, pp.57-83, 1981-05-01 (Released:2009-07-23)

2022-08-18 20:39:21
1 + 1 Twitter

1 0 0 0 OA 石川求著『カントと無限判断の世界』要約紹介とコメント若干

著者: 野本和幸
出版者: 東京都立大学哲学会
雑誌: 哲学誌 (ISSN:02895056)
巻号頁・発行日: vol.62, pp.5-29, 2020-03-25

2022-02-07 17:02:12
1 + 0 Twitter

http://hdl.handle.net/10748/00011786

1 0 0 0 OA 大江晁先生を偲んで

著者: 野本和幸 Kazuyuki NOMOTO
出版者: 創価大学人文学会
雑誌: 創価大学人文論集 (ISSN:09153365)
巻号頁・発行日: no.18, pp.1-16, 2006-03-01

2021-11-04 16:15:31
1 + 1 Twitter

http://hdl.handle.net/10911/2690

1 0 0 0 OA フレーゲ論理哲学的探究の認識論的位相とメタ理論の可能性

著者: 野本和幸
出版者: 日本科学哲学会
雑誌: 科学哲学 (ISSN:02893428)
巻号頁・発行日: vol.38, no.2, pp.1-19, 2005-12-25 (Released:2009-05-29)
参考文献数: 69

First I will characterize Frege's "logicism" epistemologically. His "logicism" is originated from his epistemological claim of the "analyticity" of arithmetic. In order to confirm this, it needs to show that any arithmetic proposition is derivable from the logical laws with the logical definitions alone. Nevertheless there was no such powerful logic in the 19th century, and so Frege was forced to invent the radically new logic.Further Frege understands inferences and judgments epistemologically. He construes an inference as justifying a conclusion based on its premises, and both premises and conclusion as assertions/judgments, which Frege takes as holding true, whereas he regards the justified conclusion as recognition of its truth (knowledge).Frege's "sense" is not only the contribution to the truth-condition, but is also related to the cognitive value of a proposition, to the modes of presentation of the designation, and to various propositional attitudes, as is well known.Second I expound Fregean semantic explanations of logic, and mention Fregean meta-theoretic proof of independence briefly.