  |
はてなキーワード: 様相論理とは
次の文章を眺めてみて欲しい。
『まず第一に、二十世紀に係れたミステリ作品と違って、狂気や妄想を、いわゆる正気の論理で枠囲いされるものではない。第二に、以前の小説作品と大きく違って、可能世界へと分岐する「相対的」な論理を、それが作品内で主題化されないほどに内在的なものとして組み込まれ浸透しているからである。』
インターネットぶつかりおじさんにカンパし、一度ブロックされて解除された後2023年10月の今に至ってもなお彼やその賛同者の多くをX（旧twitter）でフォローし続けている、推理小説作家・評論家小森健太朗の著作「探偵小説の論理学」269ページから引用した文章である。
氏のSNSにおける華々しい戦歴の説明は割愛する。冒頭で引いた氏の文章を眺めることからはじめ、氏のSNS上における無数の陰謀論傾倒の人生、ひいては暇アノン化する文化人やネットユーザたちについてなんらかの理解を得ることができないか見てみたいのである。
====
『まず第一に、二十世紀に係れたミステリ作品と違って、狂気や妄想を、いわゆる正気の論理で枠囲いされるものではない。』
主語がないのは先に出ているからである。一つ前の文の「西尾維新の作品」がこの文の主語である。そして、この第一に～第二に～というのは疑問に対する答えの列挙である。
『それではなぜ、なぜことさら西尾維新の作品を様相論理と親和性のあるものとしてとりあげられるべきなのか。』
冒頭の文の一つ前に置かれたこの文がその問いである。なぜ「それでは」なのかというと更に一つ前の文で↓のように認定しているからである。
『様相論理一般が、それらの作品により適合するのではなく、われわれの住む世界にある論理、どの作品にもある論理一般において様相論理は適合性を有している』
つまり、著者はこの箇所で「西尾維新の作品こそ様相論理が合う」と言いたいのである（なお、『様相論理は適合性を有している』だとか『様相論理と親和性のある』とかいう語句の意味は不明）。
それを踏まえた上でも文の後半は日本語がおかしい。いやそもそも『それではなぜ、なぜことさら西尾維新の作品を様相論理と親和性のあるものとしてとりあげられるべきなのか。』の「‥‥作品を～～とりあげられるべきなのか」という文も変なのだが。受動態ならば‥‥作品が～～とりあげられるべきなのかとすべきであろう。とはいえ文意は理解できている（と信じたい）ので無視しよう。
・（西尾維新の作品では）狂気や妄想が、いわゆる正気の論理で枠囲いされるものではない
・（西尾維新の作品は）狂気や妄想を、いわゆる正気の論理で枠囲いされるものとしていない。
引用した文のある段落の一つ前の段落で、彼らの作品における狂気の取り扱い方について『現実の正気の論理が前提として背後にある。狂気や、いわば正気の世界に枠囲いされる形で、際立たせられる』と説明されている。この書き方ならば前世紀に書かれたチェスタトンや泡坂妻夫らのミステリ作品との違いを述べていることが明確である。
なお別の案として、第二に～の述語に繋がっていると見ることもできる。が、そうして読むと能動態・受動態が変になるのである
・『二十世紀に書かれたミステリ作品と違って、狂気や妄想を、いわゆる正気の論理で枠囲いされるものではない』‥‥『ものとして組み込まれ浸透しているからである』
この能動態・受動態が変というのが引用の二文目の問題でもある。
例によって主語だが『‥‥組み込まれ浸透している』の主語はなんだろうか？そもそも『組み込まれ』『浸透している』は同じ主語を持つのだろうか？候補は『西尾維新の作品』と『可能世界へと分岐する「相対的」な論理』の二つである。
『西尾維新の作品』は『組み込まれ』がおかしいのは‥を組み込むという能動態に直せば明らかである。『西尾維新の作品』を目的語とした「西尾維新の作品を組み込んでいる」には意味を見出すことは不可能である。
『西尾維新の作品』は『浸透している』は、意味としてはありえる。だが使えるのは読者の認知度などを述べる文脈などであり、どこに浸透しているとかいった説明の無いこの文では意味を持たないであろう。
すると『西尾維新作品』は、『西尾維新の作品では』という句であり、主語は『可能世界へと分岐する「相対的」な論理』と見るべきである。これならば受動態能動態を変えても意味が通じるであろう。
・（西尾維新の作品では）『可能世界へと分岐する「相対的」な論理』は‥‥組み込まれ浸透している
・（西尾維新の作品には）『可能世界へと分岐する「相対的」な論理』が‥‥組み込まれ浸透している
いけそうである。しかしそう理解すると今度は九段の文の書き方があまりにも奇妙に見えると言わざるを得ないのである。
『（西尾維新の作品では）可能世界へと分岐する「相対的」な論理を、それが……組み込まれ浸透しているからである。』
「を、それが」と書いた理由はなにかあ在るのであろうか‥‥？？？「‥‥を」とするならば「それが」をそこに付けず「組み込み、そしてそれが浸透している」というようにすべきだし、受動態のまま「組み込まれ」を使いたいならば「を」をなくして「‥‥が～～組み込まれ浸透している」と書くべきであろう。なぜここまでねじくれた、好意的に見て文法違反スレスレで読みにくい書き方をしているのだろうか‥‥？？？著者も校正者もなにかおかしいと思わなかったのだろうか？？？
余談だが、様相論理において可能世界ごとに分岐（というか異なる）のは、命題への真偽値の割り当てであったり個体領域である。それらは一般的にいって「論理」と呼ばれるものではない。このあたりも意味不明なのである。ようはポストモダンにおける科学の誤用濫用の仲間である。さておきこれまで氏の華々しい戦歴を目にしてきた者の意見として言うと、氏の癖として、彼がカンパしているインターネットぶつかりおじさんと同様に、勝手に定義した「A」を、他の意味の「A」と気軽につなげて論証をするというものがある。いわゆる「媒概念曖昧の虚偽」と言われたりするやつである。こうした論証上の誤りに無頓着な事も陰謀論にたやすくはまる一因と言えるのかもしれない。
海法紀光や、アレな発言を非難する者がしばしば指摘していることであるが、氏は、理由をあげたり説明したりといったいわゆる論証をする際こういった文章を頻発する傾向がある。特に、自身の立論が苦しくなってくると、文法が崩壊していると感じられる弁明が増えるように見えるのである（quantumspin氏による批判とそれへの応答なども参照せよ）。主語や述語がみつけにくいのもよくあるパターンのひとつである。小説以外の活動に関しては、ずっとそういうやり方で通して来ているのかもしれない。
これは結論に対して必死に理由を拵えているせいというのもあるのかもしれない。そのような、結論にあわせて理屈を拵えることをよしとする姿勢もまた陰謀論への傾倒を片側から支えているようにも思えるのである。
などなどと、かつて新本格のムーブメント到来に歓喜したものとして心苦しい気持ちを抱いていたのであるが、最近大きなヒントを見つけることができた。
https://twitter.com/furukawa1917/status/1708364352540246446
氏にとって人類の進歩は虚構的観念であるらしい。勿論、氏のいう虚構的観念は、非難されればすぐにその中身を適当に入れ換えられるブラックボックスであり、「生活費切り詰めてカンパ」と同じ程度の軽口でしかないのやもしれない。
だが、そういうことかと得心もしたのである。
かつてポストモダン思想が華やかなりしころ、同じ世代にあって「進歩なんて幻想だ」と嘯いた者は多かったのではないだろうか。なにしろ、特に思想や政治について色を出さず、特に「後期クイーン的問題」等の話題に珍説を披露したこともない有栖川有栖氏の作品においても、「ホイッグ史観」「進歩史観」といったかたちで冷めた態度が見られるのである。
311以降かどうかは定かでないが、SNS上では、ミステリ業界の「知の欺瞞」が手ひどく叩かれる時期があった。氏も基礎的な誤解を指摘されてはよくわからない弁明を書き連ね、最終的に相手が呆れて去っていくということがしばしばあった。その後、左翼・リベラルに敵対的な気分をもつひとは自らを「科学的」と自認するようになり、小森もなんとなく菊池誠氏などをRTしたり科学的な雰囲気のある人々の輪に入ることで、これまたなんとなくのうちに過去の知の欺瞞は有耶無耶になった。
しかし上記の発言から察せられるように、頭はポストモダンのままだったのである。この点を傍証する発言はひとつではない。
『紀藤さんは、カルトと宗教の弁別ができる超越的な裁定者であると自認しておられるのでしょうか？』
これは、統一協会が話題になった際、紀藤弁護士の発言に対して、なされた引用RTである。
カルトであるかカルトでないかの区別ができることが『超越的な裁定』だと言うのである。その理由もふるっている。
『カルトと宗教の線引きがわからないのではなく、できないと言っています。』
まさにあの堕落したポストモダン思想にかぶれたあの世代の、あの辟易するような懐疑的態度を思い起こさせるものである！！！認識的な不確実性を理由として判断の正しさを否定する。現実的・実践的な正しさをすっ飛ばして「超越的」なものに基礎づけようとする（そして、その不可能性からお好みの結論を導く）。‥‥ところで、なぜ「分からない」「できない」「不確実だ」という判断だけは正しいと信じられるのか自分にはまったく理解できないのだが‥‥‥笠井潔なら教えてくれるのであろうか‥‥？？？？
結局の話、己の欲する結論のためにいい加減な理由づけを許容する態度、あらゆる価値・論証・実践的合理性等を無効化した気になれる堕落したポストモダン思想、メチャクチャナ言説をまともに文章を読み批判をすることのできない現代ニッポン論壇・批評コミュニティの無力さ、そうしたものが無数に積みあがって悲惨な令和の余.命事件へと通じる道が敷かれたのかもしれないと思うのである。
横から失礼。
様相論理についてwikipediaで調べてみたが（要するにその程度の知識だが）
https://ja.wikipedia.org/wiki/%E6%A7%98%E7%9B%B8%E8%AB%96%E7%90%86
いくつかある公理系の内、T の公理系とそれより強い公理系では
◇□A→□A
となるようだね。
つまり「必然的に変更することになる可能性がある」ならば「必然的に変更することになる」はTの公理系では成り立つ。
つまり少なくともTより強い公理系では件の社会学者は「男女役割分業の描き方は必然的に変更することになる」と主張していた、という事になるようだね、様相論理によると
より厳密には「フェミニズムの論理的な誤りを認めない事が可能である」の方が正しい。
もし、そこから元増田の論理を導けるなら、「フェミニズムの論理的な誤りを認める事が可能ならば、必然的に誤りを認める」ことになってしまう。詳しく説明しよう。
以下、「フェミニズムの論理的な誤りを認めない事が可能である」ならば「フェミニズムの論理的な誤りを認める事が可能でない」が成立すると仮定する。
命題 p を「フェミニズムの論理的な誤りを認める」とすると、
◇¬p → ¬◇p
が成立する。対偶もまた真なので
◇p → ¬◇¬p
公理 ¬◇¬p = ◽︎p より
◇p → ◽︎p
したがって、「フェミニズムの論理的な誤りを認める事が可能ならば、フェミニズムの論理的な誤りを必然的に認める」が成立する。
さて、元増田で省略されている主語は、"フェミニストは" だと思う。そうすると、
フェミニストは誤りを認められるなら必ず認めるとなってしまうのだが、フェミニストはそれほど誠実な集団という事でよろしいか。さもなくば背理法により元増田の主張「フェミニズムの論理的な誤りを認める事が可能でない」は成立しない。論理的な誤りである。
なんだよ偽物だったんか… じゃあ削除逃亡増田のお前を尊敬する道理はないわ。
カマを掛けたのは失礼。それは悪かった。ケンカしてるつもりもなかったんだが… いやなんか色々透けて見えてるつもりみたいだが、文章読んで書かれてない事が見えるようになったら、それお前病院行ったほうがいいぞ。
すでに反論しましたあぁぁぁ を壊れたレコードみたいに連呼して議論先延ばしにしてるお前の目的は何？「バカは有害」で俺がバカに見えてるんだったな。なら同じ言説繰り返してバカを治すつもりなの？ それともああバカなんだと自覚させて筆を折らせる気か？ そんなこと本気で信じてるなら鏡見たほうがいいぞ。いやしかしまさか受け身の対応者って事はないよな。逃田は俺と違ってF5キーポチーじゃなく増田の全ログ監視して俺の返答を探してるんだろうが、話し掛けてくるやつ全員にそれやってるならお前は皆んなのオモチャにされるがままになっているーーということになってしまう。…だとしたら哀れみを禁じえないですぅ。
ところで本論だ。途中からなんか噛み合わねえなと思ってたし、お前も「はあ？」って言ってたしで状況錯綜してたんだが、全部わかったわ。
たり得るとか出てくるんで、様相論理で定式化するのがいいだろう。
命題pを「ただの非難だ」と定義する。¬pは「ちゃんとした反論だ」になる。
「その人はフェミニストらの良心を判断する基準が納得できないと非難したかったんじゃないか」
これをお前は「ちゃんとした反論であることはあり得ない」¬ ◇¬p と取った。
俺は「非難であり得る」◇p と言ったつもりだった。
お前が提出すべきだと論理的に判断した反論は ¬¬◇¬p = ◇¬p
俺が提出してほしいと考えた反論は ¬◇p = □¬p
q = ¬p とおくと、◇q ≠ □q
これがすれ違いの結果だ。
お前が本筋においては論理的だったことがここに明らかになった。よかったね。ところでこの間、お前は俺をバカだと言ったが、「最終的にお前が気付かなかった、お互いの考えとその差を明らかにできた。だから知恵比べは俺の勝ちだぁぁ」という勝利宣言(笑)を持ってその反論としたい。どうだ？
「…納得できないと非難したかったんじゃないか」=「ちゃんとした反論であることはあり得ない」or「非難であり得る」?
俺は正直、うわあネットには文章の読めない被害妄想狂がおるんやぁぁ という感想だが、これを批判にできる材料はない。感想に過ぎない。だから身近で信頼の置ける先生などに聞いてみてほしい。「俺の方が正しいですよね？」と。俺もやってみる。
追記・
「長文増田は頭おかしい」… いやあ増田も多様性を重視していこうよ
「二日前のトラバを即レスがなんか言ってる」… 人違いじゃん？ 投稿は昼夜二回って決めてたし、削除逃亡増田のレスはなにせ消えてるので時刻はわからない、だから即レスになっているかは不明だ。
ところであの喋り方界隈で人気の奴だったんだな… 知らなかった、恥ずかしいわ
お前らにエンターテイメントを提供してたのは気付かなかったw 楽しんでくれたみたいで嬉しいぜ
しかし逃田君が最後投げやりになっちゃったのは残念。痛めつけ過ぎて壊れてしまったか… 脳内完結してるのも同じセリフ繰り返してるのも誰がどうみてもお前の方やん… 。すっかりおざなりになってる逃田が支持した大元の意見はさ「勝手に、客観的でなく、判断するのがアホ」って話だったじゃん。その点で俺の理屈は第三者が検証可能なところがいいじゃんか。それに対してお前は内容無視の感想… 逃田が恥も外聞も支持する主張さえもかなぐり捨ててネットゾンビになってしまった今、俺からしてやれることはもう何もないよ…。ただ話に付き合ってくれたのは嬉しかった。議論の側面もネットバトルの側面も楽しかった。ありがとう。
