INDEX 　　投稿順一覧 　　最初の投稿 　　トピック内新規投稿 　　ツリー表示
TOPIC 記号論理学入門　カルナップ
　
Subject Entailment
Author イストラン [ 3175 to ALRDTP ]　　12/14/Sat/2003　 　

実はこれ前にアマゾン古本で注文しました。とても安かったのですが、来たのは第二巻だけ。第一巻が欲しいのですが、あらかじめ確かめないと注文しても来るかどうかわかりませんね。

　ところでカルナップの本は訳すのがしんどいので、疑問点やわかりやすかった点などを訳出することにいたします。来年こそは述語論理まで進みたいと思ってます。って何年同じこと言ってるんだか。



　

返信（引用有） 　 返信（引用無） 　 全スレッド 　 ツリー表示 　 最新20 　 新規投稿 　 削除 　 編集
トピック= 3169 宛先= 3174 同宛先= 返信=
　
Subject うーむ
Author ALRDTP [ 3174 to イストラン ]　　12/12/Fri/2003　 　

そちらは辞典というか古典というか分厚すぎて専門家向けです。
おまけに現在入手不可能。よりコンパクトな解説では
Handbook of Philosophical Logics V
「RELEVANCE LOGIC AND ENTAILMANT」(M.DUNN)があります。

返信（引用有） 　 返信（引用無） 　 全スレッド 　 ツリー表示 　 最新20 　 新規投稿 　 削除 　 編集
トピック= 3169 宛先= 3173 同宛先= 返信= 3175
　
Subject 含意
Author イストラン [ 3173 to ALRDTP ]　　12/12/Thu/2003　 　

>これが標準的教科書ですが高い！

アンダーソンとベルナップのEntailmentはどうなんですか。あれが標準的教科書だと思ってた。

返信（引用有） 　 返信（引用無） 　 全スレッド 　 ツリー表示 　 最新20 　 新規投稿 　 削除 　 編集
トピック= 3169 宛先= 3172 同宛先= 返信= 3174
　
Subject 含意
Author ALRDTP [ 3172 to イストラン ]　　12/11/Thu/2003　 　

⊃の意味を理解するにはRelevant logicsという分野を学ぶ
必要があります。⊃の解釈問題から様相論理が生まれたと言っても
いいでしょう。いずれ勉強したいと思ってます。

https://www.ashgate.com/shopping/title.asp?key1=&key2=&orig=results&isbn=0%207546%201113%202

これが標準的教科書ですが高い！

返信（引用有） 　 返信（引用無） 　 全スレッド 　 ツリー表示 　 最新20 　 新規投稿 　 削除 　 編集
トピック= 3169 宛先= 3171 同宛先= 返信= 3173
　
Subject Re2: 記号論理学入門　カルナップ
Author イストラン [ 3171 to ALRDTP ]　　12/11/Wed/2003　 　

ようやっと、わけのわかる入門書に出会えた感じです。ああ長かった、ここまで来るのに。ははは。日本人の教科書はポイ。


>「Introduction to Symbolic Logic and Its Applications」(1958)ですか？　これは邦訳ないです。
>安いので私も注文しました。

　そうですか、それはよかった。安いと言えばタルスキーの記号論理学入門もあるのですよね。これもわかりやすそう。といっても私の場合、⊃の説明だけしか必要ないのですが。来年はこれらを訳していこうと思ってますので、よろしくお願いします。

返信（引用有） 　 返信（引用無） 　 全スレッド 　 ツリー表示 　 最新20 　 新規投稿 　 削除 　 編集
トピック= 3169 宛先= 3170 同宛先= 返信= 3172
　
Subject Re: 記号論理学入門　カルナップ
Author ALRDTP [ 3170 to イストラン ]　　12/10/Wed/2003　 　

「Introduction to Symbolic Logic and Its Applications」(1958)ですか？　これは邦訳ないです。
安いので私も注文しました。

返信（引用有） 　 返信（引用無） 　 全スレッド 　 ツリー表示 　 最新20 　 新規投稿 　 削除 　 編集
トピック= 3169 宛先= 3169 同宛先= 返信= 3171
　
Subject 記号論理学入門　カルナップ
Author イストラン [ 3169 new post ]　　12/7/Sun/2003　 　

これはいいと思います。叙述が丁寧で、動機がわかる。この本の訳が『論理学の形式化』なんでしょうか。

返信（引用有） 　 返信（引用無） 　 全スレッド 　 ツリー表示 　 最新20 　 新規投稿 　 削除 　 編集
トピック= new post 宛先= 同宛先= 返信= 3170

Complete

Eleutheria ver.1.6 / 2004.12 by www.eleutheria.com