|
|
論理学 野矢 茂樹 東京大学出版会 1994-02 by G-Tools |
p16「否定詞も接続詞も含まない命題を 原子命題 と呼び、原子命題をもとにして否定詞や接続詞を用いて構成された命題を 分子命題 と呼ぶ」
P17「原子命題の真偽x1,x2,…,xnから分子命題の真偽yへの関数を 真理関数 (truth function��� と呼ぶ。」
p49「構文論的方法」
��� 以下に規定するような仕方で構成される論理式を「定理」と呼ぶ。
��� 出発点として無前提に定理として承認される論理式をいくつか定める。ここで承認された論理式は「公理」と呼ばれる。
��� ある定理ないし諸定理からさらにどのような定理を導いてよいかを規定した規則を定める。この規則は「導出規則」、あるいは「推論規則」と呼ばれる。
��� 公理と導出規則を用いて、次々に論理式を構成していく。こうして構成された論理式は「定理」と呼ばれる。
このような構造をもった体系を「公理系」と呼ぶ。
p53「ヒルベルトというドイツの数学者」
p54「ユークリッドが図形表現に引きずられてしまったからだ」
p56「心理学者ピアジェの「発生的認識論」」
p56「記号の意味を考慮せず、記号相互の導出関係、記号変形の規則のみを考察する仕方、このようなアプローチの仕方が「構文論」(syntax)である。それに対して、前節で見たような、意味および真偽という観点から為されるアプローチが、「意味論」(semantics)にほかならない。」
述語論理
p75「ドイツの数学者・論理学者・哲学者であるフレーゲ」
p84「オルガノン」
p85「古代ギリシャ哲学にストア学派およびメガラ学派という学派があったんですが、」
p86「「���の倍数は偶数である」と「���の倍数ならば偶数である」」
p87「特定の個人ないし個物を表わす名前を「固有名」と言い、固有名によって表わされる特定の個人ないし個物を「個体」と言う」
p90「真理性は、明らかに、語のレベルで問われるのではなく、文のレベルで問われる」
p91「空欄の部分は 変項 と呼ばれ、…命題関数を構成する変項以外の要素「…は犬である」の部分は 述語 と呼ばれる」
p95
��� 命題 審議を問題にできる文
��� 命題関数 命題から個体を表わす表現を空欄にし、x,y,z,…で置き換えたもの
��� ���個体���変項
��� 述語
��� (個体���定項
��� 量化
��� 全称量化子と存在量化子
��� 量化の範囲
��� 自由変項と束縛変項
p100「述語論理において論理的心理とみなされる論理式を「妥当式」と呼ぶ。」
述語論理の意味論
p102「「トートロジー」という言葉は、そのもともとの意味合いである「同語反復」を漠然と意味する場合から、明確に「恒真関数」のみを意味する場合まで、多少の語法の揺らぎがある」
p104「妥当式」 「論理式Aが妥当である���Aはいかなる解釈のもとでも真」
p126「フレーゲの論理主義」
p126「フレーゲへの手紙 ラッセル、1902」
p127「命題関数と集合の同等性」
