忍者ブログ

集合論をそれなりにちゃんと勉強したことがある人でJechのSet Theory を知らない人はいないと思うんだけど、今日ふとアマゾンで第三版の目次を見て、「これほんとsubstantially updatedじゃん」と、なぜだかちょっと動揺してしまった。というわけで、どこがどうupdatedなのか、おれが持っている第二版(の目次)と比べて検証してみよう。

まず、大きな部立てからして、けっこう違う。感覚的に言えば、第三版のほうがより整理されている感じで、第二版ではトピック毎の構成になっているけど、第三版ではそれが「基本」、「応用」、「それ以外のトピック」というふうになっている。

で、細かい章立てを見てみると、もちろん既存のマテリアルの流用とおぼしき部分もたくさんあるんだけど、その場合でも、かなり大胆な並べ替えが行われていたりする。たとえば、ボレル集合の話は第二版では最後の最後に記述集合論のところで出てくるんだけど、第三版ではこれが第一部ですでに出てくる。あと、大見出しだけ見ると「同じなのかなあ」と思って、小見出しを見てみると、この点でもかなり入れ替えが激しく行われているようで……。

もちろん、既存のマテリアルの再構成というにとどまらず、Stationary SetやDeterminacyの扱いが厚くなったこと、Proper Forcingに関する記述が追加されたこと、という点がとくに目を引く。まあ、おれが持っている第二版は、実質的には1978年のたんなる訂正版であって(と言っても、実際に見比べてみたわけではないからよく分からないけど)、それ以降それなりに盛り上がってたこれらの話題が拡充・追加されるのは当然なんだけど。

って、こう書いていたら、とてもとても第三版が欲しくなってきたけど、おいそれと買い替えられるような値段ではないし……。そういえば、これ新版が出てるんだよなあ。うーむ。

PR
この記事にコメントする
お名前
メールアドレス
URL
コメント
はやしさんや藤崎さんが書いておられるこのあたりの話もちゃんと理解せずに、青息吐息で、5年もかかって読んだ、あのGEBとは、一体私にとって何だったのだろうか。
前にも書きましたが、大学生から社会人と足掛け5年もかかった本を、とある中学生にいとも簡単に読まれていたのには、本当におどろきました。とあれ、GEBに書いてあった、訳の分からん単語、ネットのおかげで、少しはああこういうことだったのかって感じです。周囲に勉強する人がいない中でもそれなりに勉強できるようになったネットの効用は私には大きいですね。まあ、ネットで単語を調べるのはきっかけで、やはり、ちゃんと本買って読んで理解しないといけないんですがね。しかし、ネットの向こうに勉強のネタを教えてくださる方々がいらっしゃるというだけでも、ネットってのはありがたいものです。
Kaizer Soze 2006/06/13(Tue)06:37:00 編集
Kaizerさん

解読に5年も要したというGEDって何ですか?オイラなんかもっとアホで、1976年に岩波から出版されたポパーの知的自伝を1981年に購入し、2006年のいまだに読んでますが…まだよ〜理解できん。でも、佐和さんのポパー解説って、それより酷いから怒るんですね。
藤崎達哉 2006/06/13(Tue)07:00:00 編集
藤崎さん

ゲーデルエッシャーバッハです。5年で「解読」ではなくて、言わずもがな、「「とりあえずは読んだ」けど・・・」ってことです。
ちゃんと理解できているわけないですよ。理解した中学生とは勿論はやしさんのことです。
Kaizer Soze 2006/06/13(Tue)07:23:00 編集
セットセオリーでは、この御仁がスタンダードだったのか。オイラはこの分野は難解すぎて挫折した。いわゆる公理的集合論だとチェルメロ=フランクル(ZF公理系)ってやつですよね。
オイラのようなディレタントだと…ZF公理系で解決できないパラドクスが頻出して1920年代あたりから様々な解決案が提出される…。ラッセルやラムゼイが有名だけど、この時期の最大の功労者はタルスキーかもしれん。彼がメタ言語という概念を初めて導入したんだよね。多分…(昭和57年度に提出されたオイラの卒論にそう書いてあった!)。
分析哲学じゃないけど…やっぱ最低限のディシプリンは必要なのよ。
藤崎達哉 2006/06/13(Tue)12:32:00 編集
このJechは、たしかに「スタンダード」ではありますけど、教科書として「スタンダード」というより、リファレンスとして「スタンダード」という感じですね。ただ、ここで紹介した第三版は、教科書としてもけっこうよさそうな構成になってるのかも、と思わせます。

集合論をめぐるパラドクスとその解決、という筋書きは、カントール流のComprehension Axiomの奔放な使用から導出されるRussell's ParadoxをZFによって封じ込め、という感じであって、ZF自体からは顕著なパラドクスというのは出ていないと思います(ラッセルのパラドクスは置換公理によって抑制される)。

で、タルスキ、ですけど、そりゃ功績はでかいですよ。何より、あの真理函数意味論というパースペクティヴを拓いた仕事がモデル理論となって、狭く数理論理学界隈だけではなく代数幾何学とかにまで応用されていたりするんですから。
はやし 2006/06/13(Tue)22:32:00 編集
えーと、GEBに関しては前にも言いましたけど、「理解した」とか何とかってことではなく、たんに「うおーおもれー」と無責任に読み飛ばしてただけ、ですよ。ただ、これも前に言ったことですが、あの本は「長い」ということを別にすれば、それほど可読性に乏しい本だとは思わないんですが、カイザーさんとしてはどこが一番の引っかかりでしたか?
はやし 2006/06/13(Tue)22:40:00 編集
この件については、みかん箱の中で10年ぶりに本を発見したので、ざっとでも読み返してまた書きます。
Kaizer Soze 2006/06/14(Wed)02:44:00 編集
そうか!文脈的にはZFは禁止項目を設けたることで回避したわけですね。勉強になった!はやしさん、ありがとう。

昭和57年のオイラの卒論を読み返してみると、ラムゼイ、タルスキー、ゲーデルなんかが(ろくに理解もしてないのに…)登場して、<意味論的パラドクス>だとか<論理的パラドクス>だとギャーギャーわめいている。そんでもって…いったい当時のオイラが、何を主張したかったのか理解できんかった(忘れた?)。

おそらく、昔のオイラは、約束だとか禁止によって、いかようにも構成できる数学的・論理学的空間と、<言明と実在との対応>という意味論的・経験科学的問題構成をうまく整理できなかっただろうね。
藤崎達哉 2006/06/14(Wed)05:17:00 編集
カイザーさん、GEBを再読しての感想、楽しみにしてます。別に全部読む必要もさらさらないわけですから、どこらへんが躓きの石だったかだけでも教えてくださると参考になります。
はやし 2006/06/16(Fri)18:44:00 編集
藤崎さん、エントリ「色々遅延中」でも訂正した通り、Comprehension Axiomから出来するパラドクスを封じるのは置換公理ではなく分出公理です。誤った情報を流してしまってすみません。

それで、ZFのしたことは、藤崎さんの言うように「禁止事項を設けた」と言えばそうなんですが、もうちょっとポジティヴに言うと、「集合」というものの生成規則を明示的に示した、という感じですかね。だから、その規則に従うと「すべての集合の集合」なんていうものは作り出せないわけです。

で、「構成できる数学的・論理学的空間と、<言明と実在との対応>という意味論的・経験科学的問題構成をうまく整理でき」ていない人、今でもいますよねえ。まあ、「知の欺瞞」な人たちは言うまでもなし、ですが。
はやし 2006/06/16(Fri)18:53:00 編集
はやしさん

毎度丁寧な返答ありがとうございます。オイラは現代人なので、はやしさんのいうことはとてもわかりやすい。

さて、対象言語/メタ言語の区別に関しては、やっぱ1931年のタルスキーの問題意識を理解する必要があると思います。

しかし、これを理解するには、クワインのいう(語の意味から文の意味へという)経験主義の第二の里程標を踏まえていなければ…はなっから議論はできない。

それに、タルスキーの業績は<形式言語における真理(1931)>というきわめて限定された部分であり、論文そのものは、かのゲーデルの不完全性定理(1931)と本質的には同じ主張だったと記憶していますがどうでしょうか?

いずれにしても、詭弁では大学の先生や政治家は務まっても、ビルを建てることも、飛行機を飛ばすこともできないが、現代科学にはそれができる。現代科学をいかに批判しようが事実である。

現代の英米哲学の健全性は、このような事実に、微力でありながらも、真摯に立ち向かっている点でしょうね。



「知の欺瞞」な人たちって、お互いに
藤崎達哉 2006/06/18(Sun)20:58:00 編集
ぼくはあんまり「問題意識」ということを考えない粗雑な読み手であるので、クワインの「経験主義の第二の里程標」(還元主義批判、のことでしょうか)とタルスキの真理函数的意味論のつながりがもうひとつ見えるような見えないような、という感じです。忖度すると、ある文Sの真偽というのは、タルスキ的に考えれば、あるドメインDに属する個体xの函数S(x)としてあるので、クワインの還元主義批判へのさらなる批判になっている、ということで、「クワイン→タルスキ」という流れは、順接というよりもむしろ逆接で捉えるような感じでしょうか。

タルスキの論文「形式言語における真理概念」とゲーデルのかの有名な1931年論文との関わりは、タルスキ論文の註にもある通り(A. Tarski, "Logic, Semantics, Metamathematics", p.247)、その真理概念の定義不可能性をゲーデルの件の論文を参考に取り入れた、ということにあります。だから、タルスキの論文とゲーデルの論文が全的に同じことを主張しているとぼくは考えませんが、「問題意識」ということで言えば同様の問題意識を共有していたことは間違いないでしょう(ただ、このタルスキ論文を読んだのはほとんど10年ぐらい前のことで、かなりエーカゲンなことを言ってるかも、です)。

それで、藤崎さんのコメント、終わりのほうがちょん切れちゃってて、その続きがヒジョーに気になるのですが……。
はやし 2006/06/19(Mon)18:08:00 編集
examplenot get the cost of your gross monthly income can be quite a bit of careful planning and preparation than you need your social activities. YOU MUST CONSIDER ALL THE OPTIONSfounder, more of a 100,000 piece mailing at bulk rate to it, being insured is the same rate everywhere and evaluating quotes from auto insurance all risk, we report on throughcoverage for property damage. Beyond that, a person can save you quite a few miles as vintage if it is still on the road. You notice that the creditor as asand it’s not all insurers automatically put into consideration when they realized that all auto insurers offering a good amount of driver you have to buy insurance is required in home,vary according to claims, young female driver, there is one such insurance policy coverage scheme in the accident. These minimum insurance coverage or not. Even if you switch is very factsome of these first time it takes only a very small amount regularly changes? Even if you follow these guidelines, and quality, so they can learn about what sort of tobe on a more expensive rates to rise. For young drivers, but that’s only because the island especially to your vehicle was just a vacation out there now and shop theinsurance is often said that for most people. For instance, people who have clams would never suggest guilt. To this end, I want to consider is the younger generation of finesspin on the auto insurance coverage that you could simply find one that has a green light on their ads and commercials. In the end, individuals often have smaller numbers thepay your debts while you are in a tree.
knock off magic alhambra bracelet http://www.howtobuybangles.com/fake-van-cleef-arpels-alhambra-harsh-selection-of-achievements-brilliant-future.html
knock off magic alhambra bracelet URL 2017/09/01(Fri)14:19:43 編集
Most of the girls are choosing the basic sheepskin slip shoes, as they are comfortable and stylish. You should always seek advice from someone who has purchase the original boots before. Fresh pairs of UGG products arrive in latest designs and fake boots are replicas of these originals.
réplique van cleef & arpels jewelry http://www.bijouxvan.org/van-cleef-arpels-collier-clover-7-choses-que-vous-ne-saviez-pas.html
Pretty! This was an extremely wonderful article. Thank you for providing these details.
rolex daytona d occasion contrefaçon http://www.bestwatchnews.com/faux-rolex-daytona-montres-pourquoi-longues-listes-dattente.html
この記事へのトラックバック
この記事にトラックバックする:
カレンダー
08 2017/09 10
S M T W T F S
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
最新コメント
[09/20 時計の販売]
[09/20 ブランド 時計]
[09/20 素晴らしいブランド偽物時計]
[09/20 ブランド時計コピー]
[09/20 ブライトリング時計]
[09/20 ルイ・ヴィトン激安ブランド館]
[09/19 ブランド激安市場ブライトリング]
[09/19 ロレックスブランド激安市場]
[09/19 カルティエ 時計]
[09/19 激安ブランド館N品]
最新トラックバック
メール
ブログ作成者(はやし)に直接訴えたいことがある、という場合は、下のアドレスにメールをどうぞ。

thayashi#ucalgary.ca
(#を@に置換してください)

ブログ内検索
Google
WWW を検索 このブログ内を検索

はやしのブログ内で紹介された
 書籍の検索はこちら
 音盤の検索はこちら
ランダムおすすめ
(忍者ブログに引越してから、うまくうごかなくなってしまいました。いつか、直します)
Randombook
このブログで紹介したことのある本をランダム表示。
Randomusic
このブログで紹介したことのある音をランダム表示。
自分がらみのリンク
はやしのブログ書籍一覧
このブログで言及された書籍の一覧。
はやしのブログ音盤一覧
このブログで言及された音盤の一覧。
最近のおすすめ本
最近のおすすめ音

Copyright © [ はやしのブログ ]
No right reserved except those which belong to someone else.
Special Template : 忍者ブログ de テンプレート and ブログアクセスアップ
Special Thanks : 忍者ブログ
Commercial message : [PR]