英書の論理学入門書ってありますか？

質問

お世話になります。

論理学の入門レベルを英語の勉強と兼ねて行いたいと
考えております（現時点での英語レベルは仕事で使って
いるため、基礎的な英文法は問題ありません）。

論理学は昔かじったことがあるのですが、アタマの体操
として、再開したいと希望しております。こちらは、再度
入門レベルから取り掛かりたいと思っています（ブランクが
ながいため）。

良書をご存知の方がいらっしゃいましたら、教えてくださいませ。

回答No.1

ur2c · ベストアンサー

論理学よりは圏論とその応用の方に興味がある者です．

Samson Abramsky and Nikos Tzevelekos
Introduction to Categories and Categorical Logic
Lecture Notes, Oxford 2011
http://arxiv.org/pdf/1102.1313v1.pdf

が，只ですぐ download できます．眺めた程度ですけど，良さそう．私だったらこれにします．

紙の本なら

Robert Goldblatt
Topoi: The Categorial Analysis of Logic;
Dover Books on Mathematics，2006
http://www.amazon.com/Topoi-Categorial-Analysis-Logic-Mathematics/dp/0486450260/ref=sr_1_1?ie=UTF8&qid=1337214082&sr=8-1

が有名です．これもほんの一部分，論理に入る以前の所しか読んでませんけど．ご参考まで．

参考URL：

http://arxiv.org/pdf/1102.1313v1.pdf

お礼

ご回答ありがとうございます。

まずは、教えていただいたURLを眺めて拝見いたします。