概念記法
【概念記法の目的と手法：隙間のない推論連鎖を、簡潔に見通しよく形式的に確保できるように、「計算のように少数の固定した形式のうちを動く」ような記法を考案すること。(ゴットロープ・フレーゲ(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）
検索（フレーゲ）
数学ランキング
ブログサークル