[過去ﾛｸﾞ] 【交絡】柄谷行人を解体する83【ħ】 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
54: [age] 2025/04/26(土)10:08:34.92 ID:0(54/1000) AAS
なお、この健全性を（妥当かつすべての仮定が真という）議論の健全性と混同
してはならない。まったく内容の違うこの２つの概念に同じ名前が与えられて
いるということは誰の益にもならないが、残念ながらそれが論理学における
専門用語の実情である。英語でも事情は同じだ。
任意の解釈のもとで、すべての時点で真理であるような時間論理の文を
時間論理における論理的真理と呼ぶが、そのような論理的真理はすべて定理で
ある、という主張を時間論理の「完全性（completeness）」と呼ぶ。すべての
定理は論理的真理だという主張である健全性と一緒にすると、論理的真理と
定理は合致するということになり、時間論理の有用性が保証される。一般に、
新しい論理学体系を設立するにあたってもっとも重要なのは、その体系の
省1
127: [age] 2025/04/27(日)03:29:48.92 ID:0(127/1000) AAS
つまり、この宇宙や世界はまだまだブラックボックスである、ということだ
カントはこうしたブラックボックスを物自体と表現し、ウィトゲンシュタインで
あれば語り得ぬもの、と表現した
この世界が未だ解明されていないブラックボックスなのであれば、
それは可能態として、あらゆる可能性がこの世界にあることを暗示している
たとえば、不老不死のテクノロジーなども将来には可能になっているかもしれない
377: 2025/04/29(火)06:04:43.92 ID:0(377/1000) AAS
AA省
410: 2025/04/29(火)07:36:28.92 ID:0(410/1000) AAS
AA省
415: 2025/04/29(火)08:07:58.92 ID:0(415/1000) AAS
これほどスレの無駄遣いしてくれる厨房も珍しいよなｗ
いくら西村博之の縄張りだと言っても。
538: [age] 2025/05/02(金)20:57:06.92 ID:0(538/1000) AAS
特に、ユーザーインターフェース（UI）や製品デザインの分野では、ユーザーがどのようなメンタルモデルを持っているか、あるいはどのようなメンタルモデルを持ってシステムを利用するかを理解することが、使いやすいデザインを作る上で非常に重要視されます。
つまり、メンタルモデルとは、私たちが世界を認識し、推論し、それに基づいて行動するための、頭の中に持っている「自分なりの説明書」や「シミュレーター」のようなものだと言えます。
577: 2025/05/03(土)01:52:48.92 ID:0(577/1000) AAS
AA省
588: 2025/05/03(土)02:00:07.92 ID:0(588/1000) AAS
AA省
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s