固定されたトゥート

大学進学についてです、誰か関連情報を持っている人が居たら教えてくれると助かります:twitter.com/mushi_ayumu/status

「ミツバチの8の字ダンスで真上に向かう腰振りダンスには、『太陽に向かって飛べ!』というメッセージが込められてる」これは熱い

猫に構造を与えないでください

矛盾律がないのは、始対象がないの?(?)[要出典]

"小反対の関係とは, もっと見る

関連して、矛盾許容論理の「否定」はいわゆる否定ではなく、アリストテレスのいう小反対に相当するとの主張もある[12]。ja.wikipedia.org/wiki/%E7%9F%9
らしい(小反対はあるxはPで、あるxはPでない、的なことらしい)うーん

同一律が無いと圏にならなそうくらいしか分からない(小並感)

ayu_mushi さんがブースト

そういえば矛盾許容論理だとAの否定と他の「AならばX」みたいな形の文って何の違いがあるんだろ
(※私は矛盾許容論理について何も知らない)

(めっちゃどうでもいいけど、
( (∃x. P(x)) ∧ (∃x. Q(x)) ) ⇒ (∃x. P(x) ∧ Q(x)) については議論領域が1つだけ(シングルトン)のモデルを考えれば充足は可能なことにこのとき気づいてなくてコレ(インチキ分配法則(?))自体がA ∧ ¬Aと同値ってことなのかと思っちゃった)

ヘーゲル「私のために争わないで!」

フレーゲ流に、「存在」(などの量化子)を性質から真理値への関数として意味論的にも扱えるでしょう?

分かんないけどそういうのってダメットとかへの道なのか?【要出典】

mstdn.jp/web/statuses/10072318 「xが素数」かどうかは有限ステップで判定するアルゴリズムがあるから、否定による意味習得は可能だけど、「xは犬でない」は潜在的なxが無限にあり、都合の良いアルゴリズムも無いので、「犬」を予め使わずに習得することは不可能、みたいに考えればいいか?

(これは私が「つまり(A∧¬A)」を「インチキ分配法則(?)と(A ∧ ¬A)が強い意味で同義」のいみで取ったのが悪いか
mstdn.jp/web/statuses/10072302

なお、私はブランダムのファンですが(といってもpdfしか読んでないけど)、ヘーゲリアンになる予定はありません。

ayu_mushi さんがブースト

あー、ヘーゲリアン候補の子供たちの相手をするのに疲れた‼️‼️‼️

形式意味論でもよく犬の集合とかで集合算してるぞ

もっと見る
mstdn.jp

Mastodon日本鯖です.