現代思想, 第 17 巻青土社, 1989 |
この書籍内から
検索結果1-3 / 79
226 ページ
... ある「変項( variable ) x 」であるとみなし、その真の主語 x を指示するものこそ、本来的ないみでの「固有名」にほかならないとかんがえた。変項として機能すれば、それがさすものはラッセルのいう percept である必要はまったくなく、それをしめす表現 ...
... ある「変項( variable ) x 」であるとみなし、その真の主語 x を指示するものこそ、本来的ないみでの「固有名」にほかならないとかんがえた。変項として機能すれば、それがさすものはラッセルのいう percept である必要はまったくなく、それをしめす表現 ...
73 ページ
... ある。アルゴリズムは出力、すなわち計算過程においてそれが「印字する」ものの集合を持つと仮定する。(もちろんアルゴリズムは空なる出力を持つかもしれない)。もしアルゴリズムが形式体系であるならば、その出力はその体系内で証明可能な言明の集合に ...
... ある。アルゴリズムは出力、すなわち計算過程においてそれが「印字する」ものの集合を持つと仮定する。(もちろんアルゴリズムは空なる出力を持つかもしれない)。もしアルゴリズムが形式体系であるならば、その出力はその体系内で証明可能な言明の集合に ...
135 ページ
... ある、という事が証明されるのである。そして、これもあり得ない」。それ故命題 P は、真ではあるがしかし証明不可能である、という事のみが可能なのである」。( I の I − 8 ) 使えないのであるから。( I の. る。実はゲーデル自身の論法が、まさにこの ...
... ある、という事が証明されるのである。そして、これもあり得ない」。それ故命題 P は、真ではあるがしかし証明不可能である、という事のみが可能なのである」。( I の I − 8 ) 使えないのであるから。( I の. る。実はゲーデル自身の論法が、まさにこの ...
他の版 - すべて表示
多く使われている語句
あっ あり あるいは ウェーバー うか ゲーデル ゲーデル数 こうした ここ しまう ジラルダン セクシュアリティ そう そういう ソクラテス そこ それは だが だから だけ たち だっ たり つまり てき できる でも という とき ところ なか なかっ ながら なけれ なっ など なの なら ならない なり なる において における にし にとって によって による のか ハイパー テキスト ハラウェイ ひとつ フェミニスト フェミニズム ヘーゲル べき ベンサム ボードレール ます また まで メタファー モード より ライプニッツ られ られる れる ろう わけ われわれ 意識 意味 運動 我々 概念 革命 関係 記号 近代 権力 現実 現代 言う 言っ 言説 個人 構成 構造 考え 行為 差異 思想 時代 自己同一性 自身 自然数 自分 自由 社会 女性 証明 場合 身体 人間 数学 世界 政治 全体 存在 対し 対象 男性 中国 中村雄二郎 哲学 同じ 日本 批判 必要 表現 民主主義 命題 問題 理解 理念型 理論 歴史 論理