エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
プログラミングと論理学|実熊 秀史
プログラミングと言えば、論理学に関連してきますので、現代論理学の創始者として、また、それを基にし... プログラミングと言えば、論理学に関連してきますので、現代論理学の創始者として、また、それを基にした言語哲学の祖として知られているゴットロープ・フレーゲを古田徹也共著『経験論から言語哲学へ』から学びます。 アリストテレス以来の伝統的論理学は「名辞論理」とも呼ばれている。というのは、推論を構成する命題の基本型は、ーー例えば「動物は生物である」のようにーー、「主語+述語」とし、主語も述語も名辞として理解するからです。 名辞論理がカバーできる推論の範囲は、次に述べるように狭いと古田氏は述べる。 しかし、名辞論理がカバーできる推論の範囲は狭く、たとえば, 「す べての人間は誰か (ある人間) を愛している」 といった命題を用いた推 論を扱うことができない。 なぜなら、名辞論理では,「愛している」といった関係性自体を自然に表現することが難しいうえに. 「すべて (all)」や 「誰か・ある(some)