1 2011.5.21 Ph.D Okayama-7 Résumé; Tani R. Fra: I∴L∴P∴ 真理と証明 ＊小論・「正しさ」の≪身躰性≫について ここにある部族が存在して、その部族の人々は、「証明」という概念にわれわれとは少�
1 2011.5.21 Ph.D Okayama-7 Résumé; Tani R. Fra: I∴L∴P∴ 真理と証明 ＊小論・「正しさ」の≪身躰性≫について ここにある部族が存在して、その部族の人々は、「証明」という概念にわれわれとは少し違った意味合いを与えて いる、と仮定してみよう。すなわち、その部族の人々は、ある対象 o と o から連続する 99 個の対象との、どれもが 述語 φ を充たすことを『証明』可能なとき、o から連続するすべての対象 x に関して φ(x).が成立することを『証明』 できる（というか、前者それ自体が後者の『証明』である）、と考えるのである。通常の推論法則に加え、こうした ルールをも許容する場合、例えば、1 と 1 から連続する 99 個の自然数とのそれぞれ（要するに 1～100）に関して、 約数の個数が 13 以下となるのは『証明』可能である。それは、
哲駒02＆哲高2-05（2010/10/30＆31）報告
◆第2回哲学道場駒込 【主宰者】 さかた 【開催日】 2010年10月30日 【発表者】 永井均先生（日本大学教授） 【テーマ】 「哲駒スペシャル開催： 永井均先生特別講義」 【参加者】 10人（itikun・市瀬・さかた・大道寺・Dosan・永井均・西村純・深草周・本多肇・村山康介） ◆第5回哲学道場高円寺 2nd Season 【主宰者】 市川＆深草周 【開催日】 2010年10月31日 【発表者】 土田久作 【テーマ】 「哲学的パズルを解く」 【参加者】 5人（市川・itikun・知愛・土田久作・深草周） ◆リソース一覧 哲学道場 哲学道場： 討論風景 Togetter「永井均講演@哲学道場駒込」 Togetter「【永井均批判】哲学道場高円寺『哲学的パズルを解く』」 哲駒02報告（深草周）〔mixi 内〕 哲駒02報告（さかた）〔mixi 内〕 哲
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
