2024-02-17

anond:20240217105009

から、基づいてないとどうしていえる?基づいているの定義は?って話されたら終わりじゃん?

記号論理学はたとえば記号列を記号列を書き換える矢印?いやなんでもいいけど「書き換える」に相当する記号規則が示されてるだろうけど

そもそも「書き換える」を定義できるか?「矢印」含めて記号列全体が規則なわけだが、「矢印」のみを「書き換える」という意味を持つ特別資格を持つ記号だと規則として示すのに常識によらないことは可能か?どうやって?

記事への反応 -
  • 言及されている状況を(記号論理のような)推論規則を用いて何らかの証明を書いていると仮定します. 「証明」というものも特定の条件を満たす公理と推論規則を用いた操作の列として(...

    • だから、その先生の判定が合っていて、学生のは間違っているとどうしていえる?それなりに納得感を持ってその答えを出したと言うのに?ドモルガンレベルでもそうだ。学生により複...

      • まず数学的な内容の真偽の判断に納得感や権威などは関係ないです. あくまで言及されている状況の場合は, 先生の方が想定している証明の体系では生徒が与えた記号列, 文字列が合致し...

        • うーん たとえば否定否定AはAというごく初歩的な推論規則を想定して 否定否定否定否定否定AをAに等しいと答えた学生がいたとする 学生は否定否定AはAという規則から否定かける5Aは否定...

          • 推論規則に基づいてないことを言い切っても無意味 学生は否定否定AはAという規則から否定かける5Aは否定かける2Aだから上記はAなんだと言い切る

            • だから、基づいてないとどうしていえる?基づいているの定義は?って話されたら終わりじゃん? 記号論理学はたとえば記号列を記号列を書き換える矢印?いやなんでもいいけど「書き換...

              • なんで基づいてる根拠を言えない人の相手をせんといかんの?

                • 相手にするしないの話は厳密云々の論点と全然無関係でしょ…

                  • 定義にない操作という間違ったことをしてるのに、それを間違ってないと言い張る人とは意味のあるやりとりはできません

                    • だから「間違った」というそこまで原始的な概念を感覚によらず記号で定義できるのかという話よ。矛盾やら証明やらはともかく、操作の同一性って話な。 別にこっちとしては感覚が厳...

                      • いや、だから間違ってないというならその根拠をまず言ってよ

                        • ?それはそっちの「間違ってない」という主張にもそのまま返ってこない?あらゆる根拠は「それは根拠にならない」と言い張られたら終わり。水掛け論。ひるがえって定義とは曖昧だ...

                          • いや、根拠は定義(とそれから出てくる定理)と形式が一致するかどうかだけなんで、どの定義かだけ言えば終わる話なの。それを言わないであーだこーだ言ってもスタート地点に立て...

                            • スタート地点に立ててない、とは?それこそ比喩的で解釈の余地ありまくりだが…

              • ラムダ計算あたりを勉強してみては?

                • 目的語がでかい↓ https://anond.hatelabo.jp/20240216191123

                  • そんじゃあ記号論理学でいいよ。

                    • の具体的になんて本(ネットのpdfでもよい)の何ぺージあたりからが元増田の問いにとって核心なのって話よね

                      • (x x)もラムダ項だよ!

                        • 具体的にどういう意味の式なんだ?たとえば再帰的にどうより簡単な式に書き換えられる?

                          • 意味はないよ 形式なので

                            • トポロジーの証明を立体を含む何かに関する事実と解釈するのも意味付けに過ぎないみたいな感じだもんね?

          • まず大前提として現在使っている証明体系が無矛盾であるとします. 証明体系が矛盾しているというのはある命題Bについて, Bかつ¬Bが証明できることを言います. (かつの記号が出なかっ...

            • もっと根源的な問題として、推論規則の「一覧表」があるとして、あるマスの記号列とあるマスの記号列の関係それ自体を厳密に記述することは可能なのか?と思う。 「書き換えられる...

              • > もっと根源的な問題として、推論規則の「一覧表」があるとして、あるマスの記号列とあるマスの記号列の関係それ自体を厳密に記述することは可能なのか?と思う。 はい. もちろ...

                • 突然これらの定義を見せたら, ただの絵や呪文に見えるでしょう でしょ?それでその定義を(いずれ大数学者になる人も含め)初学者に教えるのには多少なりとも自然言語を使うでしょ?...

            • 「Aかつ¬Aの証明を得ることができる」に対して、「いいや得られない。お前がそのように見せかけているだけだ」おれの計算(記号処理)手続きこそ推論規則に適っているし正しいと、反...

              • 横だけど、気が狂った人が主観的に納得するかどうかは数学の厳密性とは全く別の議論だろ それを言い始めたら「¬¬A→A」という主張に対して、「俺はお前が¬A→Aと言ってるよ...

                • ここまでは、気が狂った理解であり、定義の厳密さには無関係 ここからは、気が狂った理解にはあたらず、定義の厳密さに疑義を挟む余地あり その境界はどこなの?それこそ恣意的主観...

                  • だから多くの専門家の批評を受ける必要がある 究極的には多くの人が「これは厳密である」と信じているからとしか言いようがないけど、そもそも「客観的」ってそういう意味だろ

                    • こいつは狂ってる否かが、結局は異端審問的な多数決にかかってるってことなのかね。まあいいけど。

                      • 当たり前だろ まず「客観」を多数決以外で定義するのは無理だろ

      • まず数学的な内容の真偽の判断に納得感や権威などは関係ないです. あくまで言及されている状況の場合は, 先生の方が想定している証明の体系では生徒が与えた記号列, 文字列が合致し...

        • だから、合致しているとはどういうこと?そりゃ常識的には「わかる」から変なこと言ってる自覚は大いにあるけど、突き詰めればそういうことになると思う。 推論規則の「一覧表」が...

記事への反応(ブックマークコメント)

ログイン ユーザー登録
ようこそ ゲスト さん