目次
1 論理、ことば、真理
2 命題論理学(真理関数;論理語;言明形式;推論形式;妥当性の形式的証明)
3 述語論理学(述語〈関数としての〉;単称言明と量化言明;作用〈束縛〉範囲と多重一般言明;関数;量化規則、形式的証明)
4 伝統的論理学(還元のシステム;周延の論理学;クラスの論理学、存在解釈)
1 論理、ことば、真理
2 命題論理学(真理関数;論理語;言明形式;推論形式;妥当性の形式的証明)
3 述語論理学(述語〈関数としての〉;単称言明と量化言明;作用〈束縛〉範囲と多重一般言明;関数;量化規則、形式的証明)
4 伝統的論理学(還元のシステム;周延の論理学;クラスの論理学、存在解釈)
東京都公安委員会 古物商許可番号 304366100901