[過去ﾛｸﾞ] 【交絡】柄谷行人を解体する83【ħ】 (872ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
52: [age] 2025/04/26(土) 10:07:35.89 ID:0(52/872) AAS
>>47
５は４と似ているが、同じオペレーターの反復は含まない。同じオペレーターが
繰り返されているわけではないにもかかわらず、その論理的真理性は４と
同様な形であきらかである。もし少なくともひとつの時点でＰならば、少なくとも
ひとつの時点でＰだというその事実がすべての時点でそうである。「すべての
時点で」というオペレーターを足しても真理は保たれる、というのが４と５の
共通点だ。
Bは他の五つの公理とはちがう。六つの公理はBも含めてどれも条件文の形を
しているが、Bだけがその前件にオペレーターがない。その点を除けばBは
５に近い。「ある時点でＰ」と言うかわりに、ただ単に「Ｐ」と言っている
のだが、だからといってBは５ほどあきらかに真ではないということにはならない。
もしＰだとしたら、発話の時点でＰなので、ある時点でＰということになる。
ということは、５が真だと言えるならばBも真だと言えるだろうということ
なのである。「□」はオペレーターなので、それを司る推論規則がいる。
それは「任意の文「Ｐ」から「□P」を導き出して良い」という規則である
上下前次1-新書関写板覧索設栞歴
あと 820 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.164s*