[過去ﾛｸﾞ] 【交絡】柄谷行人を解体する83【ħ】 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
53: [age] 2025/04/26(土)10:08:10.32 ID:0(53/1000) AAS
これは、任意の文が常に真だということを意味するのではもちろんなくて、
もしある文が公理から導き出されるならばその文に「□」をつけた文も導き
出していい、という意味であるにすぎない。もし「Ｐ」が時間論理の公理から
導き出される文すなわち時間論理の定理だとすれば、いかなる解釈のもとでも、
「Ｐ」はすべての時点において真であるので「常にＰ」が真となる。よって
「□P」も定理となっていいわけだ。
時間論理の定理はいかなる解釈のもとでもすべての時点で真である、というこの
メタ定理を時間論理の「健全性（soundness）」という。その厳密な証明には、
時間論理で使う推論規則をすべて列挙し、時間論理における文の解釈とは何か、
そして解釈のもとでの時点における真理とは何かを定義したうえで、いかなる
省1
65: 2025/04/26(土)21:20:06.32 ID:0(65/1000) AAS
752 考える名無しさん
2025/04/15(火) 02:49:16.020
母親は殺されたわけだが、まだ父親その他兄弟はいるわけであって
しかし母親殺しの身としては、もはや家族と一緒に生活できるわけがない。
実家と少し離れたところにアパートを確保して、そこに月数回の
保護観察官の訪問と病院への通院を条件に、ひとり暮らしの身となった。
もちろん労働能力は皆無だし朝からやることはないわけだから一日中
インターネットをつけっぱなしの前科者の生活となる。
それで案の定、茨城の片田舎で超孤独で孤立した生活を送る前科者豚は、
ネットから5CHへの常時接続生活へと、簡単に転落してきたわけだ。
省8
208: 2025/04/27(日)18:31:09.32 ID:0(208/1000) AAS
三遊亭好楽
後楽園ホールのピューマ渡久地の試合に
工藤静香は来なかった
373: [age] 2025/04/29(火)04:26:41.32 ID:0(373/1000) AAS
自然言語から、数学と論理という世界共通言語への言語論的転回。
A:自然言語は発散・散逸系
B:数学、論理(世界共通言語)は収束系
AからBへの言語論的転回
387: 2025/04/29(火)06:11:41.32 ID:0(387/1000) AAS
AA省
629: 2025/05/04(日)01:14:52.32 ID:0(629/1000) AAS
くっさくAA特集
719: 2025/06/03(火)16:12:27.32 ID:0(719/1000) AAS
数学スレ頑張ってますね
4日
あれはそのうち自爆して自滅しますよｗ
4日
柄谷＝哲学と思ってるみたいですね
4日
722: 2025/06/03(火)19:02:57.32 ID:0(722/1000) AAS
170: 考える名無しさん 2025/06/03(火) 18:59:12.71 ID:0
本当に豚の妄想世界、現実捻じ曲げ怨念欲望
すごすぎる 完全公害ｗ 公共空間破壊
83: 考える名無しさん 2025/06/03(火) 18:56:47.86 ID:0
> 「学歴を持つ」
>
> たったこれだけで猿が確定する
> 人間の言葉遣いじゃない
完全あんたの妄想言い掛かりですｗ
84: 考える名無しさん 2025/06/03(火) 18:57:22.12 ID:0
省5
841: 2025/06/11(水)17:29:40.32 ID:0(841/1000) AAS
皆が納得せざるえない！
＜このスレ見ればｗｗｗｗｗｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s