概念記法
【概念記法の目的と手法：隙間のない推論連鎖を、簡潔に見通しよく形式的に確保できるように、「計算のように少数の固定した形式のうちを動く」ような記法を考案すること。(ゴットロープ・フレーゲ(1848-1925))】(c)すべての数学的証明を、(b)のみから隙間のない推論連鎖により導くこと。
概念記法の目的と手法。
(1)設定された規則に合致しない推論の移行が混入しないように、一歩ずつ前進してゆくのは非常に手間がかかり、しかも推論式が、途方もない長さになりかねない。この困難を軽減するのが目的である。
(2)複雑で長い推論の表現を簡潔にして、見通しやすくなるようにする。
(3)「計算のように少数の固定した形式のうちを動くことによって」、隙間のない推論連鎖をたどることが、自動的に確保されるようにする。
（再掲）
概念記法の必要性。
(a)数学における推論に混乱が見られる。
(1)推論様式が、極めて多様に見える。
(2)非常に複雑な推論様式が、複数の単純な推論と等価なことがある。
(3)推論が「正しいと納得」できれば、それでよしとする。
(4)その結果、論理的なものと直感的なものが混在する。
(5)その結果、推論されたものを、総合的な真理であると勘違いする。
(6)不明確なまま、直感から何かが流入することがある。
(7)ときには、推論に飛躍がある。
(b)(a)から、次のものを抽出すること。
(1)純粋に論理的と承認された、少数の推論様式
(2)直感に基づく総合的な公理
(c)すべての数学的証明を、(b)のみから隙間のない推論連鎖により導くこと。
「したがって、推論における一切の飛躍を避けよ、という要求は拒否しえない。この要求をかくも満たし難いのは、一歩ずつ前進することに手間がかかるためである。どの証明も多少複雑になっただけで、途方もない長さになりかねない。それに加えてさらに、日常言語で形作られる論理形式があまりにも多様なため、すべての場合に十分で、また容易に見渡せる推論様式の範囲が画定し難いのである。
これらの障害を軽減するために、私は概念記法を考案した。私の概念記法というのは、表現をずっと簡潔にして、見通しやすくすることを目指すものであり、そして、計算のように少数の固定した形式のうちを動くことによって、確たる仕方で設定された規則に合致しない移行は許さないようにするものである。そのときには、証明根拠が知らぬ間に忍び込むということはありえない。私はこうしたやり方で、一瞥した際には総合的と思えるような命題を、直感から公理を借用せずに証明した。」
（ゴットロープ・フレーゲ（1848-1925）『算術の基礎』第九一節、フレーゲ著作集２、pp.154-155、三平正明・土屋俊・野本和幸）
（索引:概念記法）
 |
（出典：wikipedia）
「1. 思考の本質を形づくる結合は、表象の連合とは本来異なる。2. 違いは、［思考の場合には］結合に対しその身分を裏書きする副思想（Nebengedanke）が存在する、ということだけにあるのではない。
3. 思考に際して結合されるものは、本来、表象ではなく、物、性質、概念、関係である。
4. 思想は、特殊な事例を越えてその向こう側へと手を伸ばす何かを常に含んでいる。そして、これによって、特殊な事例が一般的な何かに帰属するということに気づくのである。
5. 思想の特質は、言語では、繋辞や動詞の人称語尾に現われる。
6. ある結合［様式］が思想を形づくっているかどうかを識別するための基準は、その結合［様式］について、それは真であるかまたは偽であるかという問いが意味を持つか否かである。
7. 真であるものは、私は、定義不可能であると思う。
8. 思想を言語で表現したものが文である。我々はまた、転用された意味で、文の真理についても語る。
9. 文は、思想の表現であるときにのみ、真または偽である。
10.「レオ・ザクセ」が何かを指示するときに限り、文「レオ・ザクセは人間である」は思想の表現である。同様に、語「この机」が、空虚な語でなく、私にとって何か特定のものを指示するときに限り、文「この机はまるい」は思想の表現である。
11. ダーウィン的進化の結果、すべての人間が 2+2=5 であると主張するようになっても、「2+2=4」は依然として真である。あらゆる真理は永遠であり、それを［誰かが］考えるかどうかということや、それを考える者の心理的構成要素には左右されない。
12. 真と偽との間には違いがある、という確信があってはじめて論理学が可能になる。
13. 既に承認されている真理に立ち返るか、あるいは他の判断を利用しないかのいずれか［の方法］によって、我々は判断を正当化する。最初の場合［すなわち］、推論、のみが論理学の対象である。
14. 概念と判断に関する理論は、推論の理論に対する準備にすぎない。
15. 論理学の任務は、ある判断を他の判断によって正当化する際に用いる法則を打ち立てることである。ただし、これらの判断自身は真であるかどうかはどうでもよい。
16. 論理法則に従えば判断の真理が保証できるといえるのは、正当化のために我々が立ち返る判断が真である場合に限る。
17. 論理学の法則は心理学の研究によって正当化することはできない。
」 （ゴットロープ・フレーゲ（1848-1925）『論理学についての一七のキー・センテンス』フレーゲ著作集４、p.9、大辻正晴）
ゴットロープ・フレーゲ（1848-1925）
フレーゲの関連書籍（amazon）
検索（フレーゲ）
数学ランキング
ブログサークル
「文句なしに、幸福な生は善であり、不幸な生は悪なのだ、という点に再三私は立ち返ってくる。そして《今》私が、《何故》私はほかでもなく幸福に生きるべきなのか、と自問するならば、この問は自ら同語反復的な問題提起だ、と思われるのである。即ち、幸福な生は、それが唯一の正しい生《である》ことを、自ら正当化する、と思われるのである。
「波の絶えず砕ける岩頭のごとくあれ。岩は立っている、その周囲に水のうねりはしずかにやすらう。『なんて私は運が悪いんだろう、こんな目にあうとは！』否、その反対だ、むしろ『なんて私は運がいいのだろう。なぜならばこんなことに出会っても、私はなお悲しみもせず、現在におしつぶされもせず、未来を恐れもしていない』である。なぜなら同じようなことは万人に起りうるが、それでもなお悲しまずに誰でもいられるわけではない。それならなぜあのことが不運で、このことが幸運なのであろうか。いずれにしても人間の本性の失敗でないものを人間の不幸と君は呼ぶのか。そして君は人間の本性の意志に反することでないことを人間の本性の失敗であると思うのか。いやその意志というのは君も学んだはずだ。君に起ったことが君の正しくあるのを妨げるだろうか。またひろやかな心を持ち、自制心を持ち、賢く、考え深く、率直であり、謙虚であり、自由であること、その他同様のことを妨げるか。これらの徳が備わると人間の本性は自己の分を全うすることができるのだ。今後なんなりと君を悲しみに誘うことがあったら、つぎの信条をよりどころとするのを忘れるな。曰く『これは不運ではない。しかしこれを気高く耐え忍ぶことは幸運である。』」
「精神も徳も、これまでに百重にもみずからの力を試み、道に迷った。そうだ、人間は一つの試みであった。ああ、多くの無知と迷いが、われわれの身において身体と化しているのだ！
