はてなキーワード: 論理学とは
数学ではまず基本的な初等的な問題分野に関する考察から初めて、 そこで発見されている色々なものを整備しておくことから始まる。そこで研究を深めて完全なものを整備しておくとその
完全無欠と一般に観念されているものは後々色々な問題に出て来ることになるから、なおざりにしてはならない。 これが中学校までにやることである。 しかし、高等学校の数学となると
毛色が違ってくる。 高等学校の数学とは何か?というとよく分からないのである。 二次関数という分野が特に文科省が分類をしているが、二次関数はただの関数であってそこに何か
定理があるかというとそういうものはない。定理のないところに技術もない。従って、二次関数という分野を特に重点的にやったところで論理学思考の何も成長しない。ならば二次関数とは何か
ということである。微分積分、サインコサイン何になるというのが昭和50年代に流行った。サインコサインつまり三角比の分野には、定理が大量にある。さらには複素数。しかし、定理があるかないか
でいうなら、三角比の分野である。しかし、その証明にあたって、いわゆる驚愕的な証明はない。平成時代に2ちゃんねるにいる数学マニアが、そういうものは知っていても沈黙というスッドレが
流行った
これでは話にならない。 数学の偉大な定理は発表されたときに驚愕されるが数学の技術は、 定理による技術と、数式の計算それ自体の技術がある。組み合わせ論的な議論で、
円はしょっちゅう出て来るから、組み合わせをやるなら、円が出て来ることは覚悟しなければいけませんよと、ブレジスとかオレインなどが言っていた。そういう技術的着想の意味で私のころは
フェッファマンがスターだった。数学的帰納法でも、 帰納法背理法は完全無欠で有名な論法だから、出て来るときがある。そういうのを出せると、界隈では、スターと呼ばれる。
私の感想で、代ゼミの荻野のぶや先生のYoutubeの講義の中に、 えー、-af(a)+bf(b) という部分が出て来るし、東大の入試問題にも、 最近、数学的帰納法で示せ、
という問題がある。しかしその問題はいわゆる超絶難問ではない。だから眠くて仕方がない。
あなたは「Aという、何の根拠もなく、なんとなく『それっぽい』というだけの理由で広く信じられている話」を否定しようとする。
Aのような、何の根拠もないのにみんなが信じているやっかいな作り話はネット上にそれこそ雨後の筍のように溢れている。今日も今もこの瞬間も生まれ続けている。
こういうものを否定しようとしたときに、あなたはいつも困難を感じる。
それは何故かというと、Aという「何の根拠もない話」を「否定するための根拠」を挙げなければ、人は一度信じた話を疑うということが出来ないからだ。
相手がある程度論理的な人間だったらまだマシだ。「Aだったらこういう矛盾がある」という、論理学でいう「反例」をひとつ挙げれば十分だからだ。
実際には、それでも「無闇に信じるのではなく疑いを持って見る」という程度にしか相手を変えることができない方が多いかも知れない。
非常に聡明な人間をしても、「そもそも根拠なく信じていたこと」に「全く根拠がないのだから完全にデマだと思って見る」というほどの信条の変化を起こすのは困難なことなのである。
更に悪い場合、相手が「反例」という概念が理解できない。ある理論が矛盾することを示す例が一つあれば、その理論そのものが机上の空論であり、なんの信頼性もないものであるということが証明できるという、論理学の常識がない。
のみならず、自分が何の根拠もなく信じていることを否定する話にこそ、100%の、何の瑕疵もない証明が要るとすら考える。
「Aが矛盾する」ことを示すために「Bという可能性もある」というような話をすると、「Bが正しいという証明をせよ」と迫る。こちらが言いたいことは「Bと同じ程度、あるいはそれ以下にしかAの信頼性もない」というくらいのことなのに、そういう微妙な理屈はバカには通じない。
一度Aという理論を「なんとなく」の雰囲気ででも信じてしまったら、100%絶対の信頼性を持ってBという別のストーリーを証明しない限り、思い込みを絶対に変えないことが、そういう奴らには「賢くて疑い深い」とすら自己認識されているのだ。
デマが広がる理由、衆愚が衆愚たる理由はひとえにここにあると言っても良いくらい、これは根源的で如何ともし難い愚民社会の病巣だ。
頭が悪いということは、「反例が理解できない」ということ。「証明」という概念に対して、狭く幼いイメージしか持たないこと。
知性というものに対して低いレベルの理解しかしていないからこそ、バカは自分がバカだと気づかず、いつまでもバカのままでいる。
自分が何を信じているのかを客観視出来ないバカは、自分が何を疑えているのかも正確に理解することができない。
デマにハマっている奴ほど相手をデマ呼ばわりするというのは、つまりこういうことなのである。
数学の必然性は実は人間の言語分析能力によるものなので、言語能力が異なる宇宙人とは、数学的語彙が共有できない可能性があるんですよね~
なぜ数学と言語能力が関係するんだ?と思う人は、以下のノーム・チョムスキーの有名な、無意味な二種の文を見ればわかってもらえるかもしれませんね~
・“Colorless green ideas sleep furiously.”(「無色の緑の考えが猛烈に眠る。」)
・“Furiously sleep ideas green colorless”(「猛烈に」「眠る」「アイデア」「緑色」「無色」)
前者は文法的には正しいが意味が無い文で、後者は文法的に正しくないから意味がない文、ということはわかっていただけるかと思います。
しかし、上記二種の文は、両方とも経験的には何も想起させないがゆえに、経験的には同様に意味の無い文です。
ということは、経験こそが認識の基礎、基底であると考える人にとっては、二種の文の違いを説明することができないのですよね~。
なぜならそのどちらも経験することができず、経験による理解が基底であると主張するのだから、経験的基底において違いのない(意味のなさ、指示対象が存在しないという点において同質という意味)上記二種の文の本質的差異(基底的差異)を指摘することができないのですね~
現代の言語哲学、そして現代論理学の基礎を作ってきた哲学者たちは、数学の必然性がどこから来るのかという問題について、
文の経験的理解よりも前に、文の文法的分析が先に行われる(そして数学的必然性は、文法分析に基づく理解そのものから正当化可能である)ことを示すことによって、
前経験的(アプリオリ)に論理や数学の必然性の正当化が可能であることを証明してきたんですね~
例えば上記二種の前者の文でいえば、経験できないにもかかわらず文法的に正しいことが理解できるのは、まず文法分析が先に行われ、その後意味の解釈に失敗するから無意味なのであって、その逆ではないのですね~
そして数学で扱われる文、例えば2+2=4は、なんらかの経験を前提せずとも、形式的な理解(つまり文法的理解)から正当化可能であるがゆえに必然的(=非偶然的、または前経験的)なのですね~
そして例えば上記二種の文とは別の有意味である文「無職の緑色のジャージを着た男性が猛烈に眠る」であったとしても、まず文法的理解が先に行われたあと、その意味解釈を行うことができるがゆえに有意味なのですね~
プログラミング言語だって、まずどれが変数で、その変数に何が割り当てられているかといったセマンティクスよりも先に、シンタックス的分析が行われますよね~
だから、数学の必然性は実は人間の前経験的な言語分析能力によるものなので、言語能力が異なる地球外生命体と遭遇した時、数学的語彙が共有できない可能性ももしかしたらあるのかもしれませんね~
なぜなら我々の理解する必然性とは、我々の言語分析能力に基づくものであって、よそから来た宇宙人にそれが期待される理由がないからですね~
たとえばユークリッド幾何学での直線は「幅をもたず、両側に方向に無限にのびたまっすぐな線」だそうですが、これも「幅」とは?「(幅を)持つ」とは?両側とは?「方向」の定義は?「無限(限りが無く)」とは?そもそも「限り」って何?「のびる」とは?「まっすぐ」とは?「線」と結論づけるのは循環論法じゃないの?
と突っ込む人にとっては厳密ではなくなっていませんか?
ここで、これらの言葉の意味は、国語辞典に載っている意味と同じものだよなどといおうものなら、それこそ数学の厳密性を否定したようなものになってしまっていると思います。
たとえば「方向」を調べたら「向くこと」とでます。これを調べると「物がある方向を指す」というふうに出ます。これは循環論法に陥ってますし、「物の正面があるものに面する位置にある」という別の語釈もありますが、物とは?正面とは?面するとは?位置とは?となります。これを繰り返せば結局どこかで循環論法に行きつくでしょう。
そもそも数学の根幹部分を支える論理学の重要な概念である「否定(そうでないこと)」にしても、厳密に定義することは可能なのかと思います。
「~でない」というのは、そうであることがないということ、と言ってみたところで循環論法。
そうであるのになぜ上記のような定義や公理が厳密なものと認識されているかといえば、「さすがにここまで平易な単語の組み合わせで書けば、これらの単語については私が常識として理解してる意味と同じ常識を、相手も持ってるはずだから同じ理解をするよね?」みたいな態度に立っているんだと思います。
結局相手も同じ常識を持っているという不確かな信念によりかかっている、甘えている点で、数学の記述もまた完全に厳密で一意というわけではないのかなという気がしてくるのです。
そもそも「方向」なんていうような概念は、言語によって定義されたものを知っているというよりは、幼少期に言語を習得していく過程で、それが話されるシチュエーション、つまり五感などあらゆる感覚の総体とセットでそうした言葉が使われているという環境に身を置いているなかで理解しているにすぎません。理解内容が各個人で全く同じである保証はどこにもないと思います。
どんなに高度な数学の表現も究極的には自然言語に還元されるはずで(どんな高級言語も機械語に置き換えられて処理されるように)、自然言語の各単語に対する人々の理解は原理的には五感に根差した感覚的なものなのだから、数学の記述が厳密で一意というのは、結局はほかの記述の仕方に比べた程度問題(つまりは誇張表現)なのかなと思うのです。
感覚によらない「証明」をすることに価値を見出す人が数学をありがたがることがありますが、数学もまた根源的には感覚ありきの理解に基づいていると思うわけです。
この考えは間違っているでしょうか?そうであればどうして間違いなのか、どこがどう理解を誤っているのか知りたいので教えてください。
ちなみにたとえば「否定」というのは、根本的には、やはり言語で理解が完結しているものではなく、現実の状況としての存在非存在にそれぞれ直面して、それぞれに対して「○○がある」「○○がない(なくなってる)」と言われてる場面を経験したうえで、その状況から理解した内容のさらなるアナロジーとして理解してるに過ぎないと思います(理解のあり方が、言語的ではなく、観念的直観的)。
数学が他よりも他者と厳密に同一な合意が常に成り立つ、その工夫として、抽象度を高くしているのがその工夫にあたるのではないかという人がいました。↓
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14293524459
しかし抽象度を高くすることは、合意内容のずれを減らすという点で「有効でもあり逆効果でもある」のではないかと思いました。つまり諸刃の剣なわけです。
有効である理由はリンク先に書かれているのでそこに説明を譲るとして、逆効果であると思う私の説明を書きます。
つまり、抽象度が高い概念は、抽象度が低い概念や直接的な事物に比べて理解が難しい傾向があるのがまずあるわけです。
また定義者の提起する定義をそれを発信される側が期待通りに理解しているかを確認するのも、抽象度が高い概念ほど困難な傾向はあると思います。
これ自体ある意味で抽象そのものなのでたとえが悪いですが、たとえば「左を向いて」という発言に対して、「左」を向く反応をすることで、この人は左について正しく理解してそうだなという確認(いや原理的には推定というべき)することができます。
抽象度が高くなるほど具象と結びつけたこのような正しく理解してるかの評価、確認テストをすることが難しくなるでしょう。
といってもそもそもわれわれは相手が自分の言ったことを期待することと厳密に一致した内容で理解してるか確認することは原理的に不可能です。
頭をパカっと割って理解内容を覗きみるということはできないですから。
対象となる言葉に関連したその人の発言や反応をみて、理解の結果としての発言や反応として、その人がある部分で正しく(定義者の期待通りに)理解してるだろうということを推定するしかありません。
しかも全体ではなく一部だけの理解が正しくても、発言や反応には異常が見られないということもあるでしょう。
反応や発言をいくら調べても、概念全体を期待通りに理解してるかのテストには無限通りのパターンが必要と思われ、原理上不可能と思います。
哲学的ゾンビにも通じそうな話ですが、日常の範囲内で「理解に齟齬があるような反応が返ってこないなら」そんな「理解が完全同一でないかもしれない」という可能性上の話を心配する必要はないというのはその通りでしょう。
ただ場合によってはそれが表出したように見える一例が、あれの原因がこれだとは言いませんが、望月新一がABC予想を証明したという論文での紛糾みたいなことが起こる一因にはなりえると思います。
あれだけ理論として抽象的な概念を積み重ねた先には、定義者とそれ以外のその定義を見た人とでの理解のずれは、反応や発言として顕在化してくるほどになっても不思議ではありません。(定義者の解釈が正しいという優劣の問題ではなく)
とはいいますが、そもそも「矛盾」とは何か?「論理」とは?「範囲」とは?とは、といくらでも曖昧でしょう。
たとえ矛盾を記号論理の表現で記述して定義した気になったところで、じゃあその記号の定義ないし意味は?とどこまで突っ込まれても感覚に頼らない定義が可能なんですかね?と思います。
数学に限らない話じゃんっていうのはまあその通り。
でも定義について「厳密で一意」であることを(得意げに?)標榜してるのは数学(+論理学)とそれベースの客観的であろうとする学問ぐらいだから、別にエントリ名詐欺じゃないよね?
a=b、aはbだ。「は」って何?「だ」って何?「英語的にはどっちもisという語に集約されてるけど、じゃあisってなんだよ」ってところから概念の共有をしてない前提に立った時、その概念を非感覚的で厳密に共有することは可能なのか、それが「完全に」できたと確かめるのにはどうすりゃいいって話よ。
言葉という形式が従で、それに乗るべき内容が主であることは百も承知だが、形式言い換えれば入れ
物抜きに内容を厳密に伝えられるのか、入れ物の存在に無関係な、内容の厳密な伝達というテレパシーじみたものを考えることはそれこそ論理的に正しいのかという話でもある。
非言語的なテレパシーは論理的に矛盾してるので存在しえないのではないかとは思っている。
イデア論かな哲学書読めばってブコメついたけど、順序が逆なんだよね。
イデア論とか学校で習って本読んだりして教養として知ってるからこそ、改めてその考え方を自分なりの具体的な考察対象にあてはめて思索したくなるわけよね。
先達の哲学者たちがいなかったら俺はいまだにブルアカで抜くだけの毎日だわ。むしろ哲学者リスペクト100パーセントなんだよね。
語彙力ないので語弊ありそうなのは百も承知だが、哲学って考え方の基幹部分のオリジナリティーはそんな求められてないんだよ。
むしろ先人から受け継いだ考え方をどう今の時代の具体的な問題に適用して考察を広げるかが大事なので、ちょっと哲学かじったような素人目には過去の論文の焼き増しに見えてその存在意義が理解できないような論文はごまんとあるんだよね。
ああいうブコメつける人って「方向性とかみたいな意味でベクトルという言葉を使ってる人は横文字使いたがりの格好つけ」と言ってる人みたいな人を性悪説的にとらえるクレーマー気質が高い人間に感じる。
ちなみに俺はベクトルという言葉を使う人は「周りがベクトルという言葉を使ってるから、リアルタイム性を要求される会話でとっさに出てくる言葉がベクトルだから、それをそのまま使ってる」ってだけだと思う。
↓なんかchatgptっぽくね?
ゲーデルの第1不完全性定理は、形式的な論理体系内での数学の特定の命題に関して「証明できない」ということを示しています。この定理によれば、ある論理体系内で自己言及的な命題を含む場合、その命題が真か偽かを証明することはできないということを意味します。
つまり、ゲーデルの第1不完全性定理は、「この命題は証明できない」という命題を考えた場合、それが真か偽かを判断できないことを指摘しています。したがって、特定の命題が「証明できない」ということは、その命題が現実には真か偽かになっているかどうかを示すものではありません。
ゲーデルの第1不完全性定理は、形式的な論理体系の限界を示すものであり、数学や論理学の基本的な性質を理解する上で重要な結果です。しかし、この定理が特定の命題の真偽を示すものではないため、その命題が現実に真か偽かを判断するためには、他の手段や情報が必要です。
ウィトゲンシュタインの思想とゲーデルの不完全性定理には、いくつかの類似点があるかもしれません、それぞれ異なる観点から論理と数学にアプローチしています。
ウィトゲンシュタインの「論理空間」の概念は、言語や記号による表現の枠組みや制約を強調し、言語や論理の限界について考察しています。彼は「言語ゲーム」という概念を導入し、言葉や文脈の中での意味の理解に注目しました。ウィトゲンシュタインの主張は、言語や論理の使用が特定の文脈やルールに従って行われることを強調し、その文脈やルールから外れた場合、意味が崩壊する可能性があるというものです。
一方、ゲーデルの不完全性定理は、数学的な形式的論理体系に焦点を当て、その体系内での命題と証明可能性について論じました。この定理は、特定の命題がその論理体系内で証明できないことを示し、論理体系の限界を示唆しています。
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13286033693
「うぬぼれすぎ」と「非論理的」という2つの視点からあなたの考えが誤っていることを指摘します。
まず根本的な部分として、あなたは自分の行動が世界に及ぼす影響を高く見積もりすぎです。
あなたの行動は、世界を変える一要素になる可能性はありますが、あなたの行動だけで直接的に世界が変わることはありません。「おまえは神になったつもりか? 自惚れぬなよ人間。」
あなたがある人を救うという行動は、その人を救う以上の意味はありません。これは、あなたがたいしたことをしてないと否定しているわけではなく、自分の選択が世界に及ぼす影響を過剰に見積もるなと言いたいのです。
ある人に対して何らかの行動をしたという事実は、それ単独で評価されるべきものです。それ以外の人についてはあなたは行動も意思表示もしてないのですから、それ以外の人について過度に責任感をもつ必要はありません。神ならぬ個人が気軽に世界を変えることはできないのです。
あなたの目の前にいなかったりあなたの手が届かない人は、あなた以外の誰かが救うはずです。そう信じて目の前のことに集中しましょう。
もし、より積極的に世界を変えたいと思うなら「俺は目の前の人を可能な範囲で救います。それ以外の人については他の人が救ってくれ!」と声を挙げるのは良い方法かもしれませんね。その積み重ねできっと多くの人が救われるはずです。世界を背負う時はあなた一人だけでなくみんなで一緒に背負いましょう。
次に、論理学的な側面からの誤り指摘です。つまり、あなたの考え方は論理的ではありません。
「AはBである(A is B)」という命題が真であるとき、対偶である「BでないものはAでない(~B is ~A)」という命題が真であることが知られています。高校数学で学びましたよね? 一方でそれ以外の命題、たとえば逆(B is A)や裏(~A is ~B)については不明(真かどうかこれだけではわからない)です。
そのため、ある人がとある命題Fを主張したとき、同時にFの対偶を主張したことになります。しかし一方で、言及していないそれ以外の命題については、「その人はそれについては触れてない(言及してない)」と考えるべきなのです。勝手に裏や逆などの命題を作って、その命題をその人が主張していると解釈すること自体が「非論理的」なのです。
「Aという人を救う」という行動による意思表示は、その逆である「Aでない人を救わない」という意思表示を意味しません。この「Aでない人を救わない」については、その人は意思表示をしていない(不明である)と考えるのが、論理的な解釈です。人生を生き抜く上で、求められてもいない命題について意思表示はする必要はありません。ましてや、非論理的で破綻した推論で自分の意思表示をねじまげて解釈され、自分の行動が制約されるなんて馬鹿らしいことです。