関係性アンテナ
id:massunnk
7/40ページ
▽日曜社会学>出不ろぐ de√Blog●11/12 07:10 2024-11-10【涜書】宇野邦一(2001/2020)『ドゥルーズ 流動の哲学』涜書 哲学ドゥルーズ 流動の哲学 [増補改訂] (講談社学術文庫)作者:宇野邦一講談社Amazoncontractio 2024-11-10 21:46 読者になる
▽hiroyukikojimaの日記●11/04 14:48 「命題論理の完全性定理」というのは、「トートロジーは必ず証明できる」という定理である。もう少し詳しく説明しよう。与えられた命題について、それを構成する命題変数にどんな真偽を割り当ててもその命題が真であるとき、その命題をトートロジー(恒真命題)と呼ぶ。与えられた命題がトートロジーであるなら、その命題は必ず、通常の(公理から出発する形式的な)推論規則によって証明できる、というものだ。例えば、命題変数から生成される命題を考えてみる。にどんな真偽の組み合わせ(4通り)を当てはめても、この命題は必ず真であるからトートロジーである。このとき、この論理式は推論規則で導出することができる。(どのように導出されるかは、拙著『証明と論理に強くなる』で読んでくださいな)。「命題論理の完全性定理」は、このようなことが一般的に成り立つことを主張している。すなわち、「形式的に証明できる命題は常に正しい」だけではなく、
▽雑誌『談』編集長によるBlog●11/02 04:10 2024年10月31日12:24カテゴリインフォメーション思想『談』no.131特集◉「空と無」(『〈精神的〉東洋』の第2回)が2024年11月1日(金)に全国書店にて発売になります。書店発売に先立ち、一足先に『談』Webサイトでは、各インタビューのアブストラクトとeditor’s noteを公開します。右ページの最新号no.131の表紙をクリックしてください。(10月31日正午公開)『談』no.131 特集◉「空と無」企画趣旨「色即是空、空即是色」、日本人なら誰もが知る『般若心経』の一文だ。仏教教義を示すことばのなかで、たぶん最もよく知られた文だが、意外にもその概念の解釈をめぐっては、今日でも議論がたえないという。学界の共通理解といえるようなものさえほとんど存在しないのが現状だと宗教学者の彌永信美氏は言う。それらの議論の中身を探ってみると、根本的な理解の相違があるとい
4.<前5 6.次5>
0.はてなアンテナトップ
8.このページを友達に紹介
9.このページの先頭へ
□ヘルプ/お知らせ
□ログイン
□無料ユーザー登録
□はてなトップ
(c) Hatena