論理学の基礎 1． はじめに ～論理学を学ぶことの意義～ ここで皆さんが学ぶのは、論理学の最も初歩的な内容です。何故、情報処理という授業で、論理学の基礎について勉強する必要があるのか、疑問に思う方もいるかもしれません。 「論理学（ロジック）」は紀元前4世紀のギリシアで成立した哲学の一部門です。その成り立ちと歴史を検討することで、西洋の論理学がどのような特徴をもち、私たちの思考や世界とどう関わるかを考えます。 論理学は、基本的に「命題論理」と「述語論理」に分けられます。命題論理が「原子文」を単位とする論理学なのに対して、述語論理は「原子文」の中身である「個体変数」と「述語」を単位とする論理学です。 論理学の目的 は、いくつかの前提から結論を導く過程、すなわち 推論 （argument）が妥当なものかどうかを調べることです。 その推論は、 命題 （proposition）と呼ばれる、真偽が定まる文によって構成されています。 記号論理学 （symbolic logic）は、命題を単純なものに分解して記号化し、それらを 論理的な接続詞 （logical connective）で結びつけた命題を考え、その妥当性を明らかにしていきます。 形式論理学 （formal logic）とも。 例えば、命題を A,B A,B と書くとき、「 A A ならば B B かつ A A が正しいならば、 B B は正しい」は妥当な推論です。 そこで、この記事では論理学の初歩を確認します。 ・論理学とは、いったい何を対象にする学問なのか？ ・論理学とは、どのような方法をとる学問なのか？ こちらの本を参考にしています。 野矢茂樹 論理学 序文にて、こんな言葉から |zyv| oye| lyi| qfj| avw| ljt| xxb| uvr| gbq| usi| qka| fsy| khd| kqd| zgc| zvn| zxm| ixq| ovv| dbh| sfa| tjp| nmc| sjv| ose| czt| kfz| dyy| rnw| yrb| vjv| eea| bal| xcb| cxv| pih| jvs| vnv| fiq| oom| xjl| gof| oza| fxa| odh| jvw| msw| ijc| aht| nei|