Jonathan Kvanvig (epistemology, metaphysics, philosophy of religion) @ the University of Missouri -> Baylor University.

Lisa Downing (early modern philosophy) @ the University of Illinois at Chicago -> Ohio State University.Abraham Roth (philosophy of mind and action) @ the University of Illinois at Chicago -> Ohio State University.

Richard Samuels (philosophy of psychology and cognitive science) @ King's College -> Ohio State University.Karen Neander (philosphy of mind and cognitive science, philosophy of biology) @ the University of California at Davis -> Duke Unive…

I have re-read Jané's famous article I. Jané, `The Role of the Absolute Infinite in Cantor's Conception of Set', Erkenntnis, 42, 1995, 375--402. Last time I've read is about two and half years ago, and I recognized nothing remains with me …

Michael McKenna (free will) @ Ithaca College -> Florida State University.

Sean Kelly (philosophy of mind and cognitive science, phenomenology) @ Princeton University -> Harvard University.

Peter Vranas (logic, ethics, philosophy of science, and metaphysics) @ Iowa State University -> the University of Wisconsin at Madison.Claudine Verheggen (philosophy of language, Wittgenstein) @ the City University of New York -> York Univ…

Notices of American Mathematical Society vol. 53 no. 4がゲーデルの解説論文特集になっていてなかなか役に立ちそう。

Paul Noordhof (philosophy of mind, action theory and metaphysics) @ the University of Nottingham -> the University of York.

Paul Draper (philosophy of religion, philosophy of science) @ Florida International University -> Purdue University. なるほどW.Roweの後任なのね。

Michael Zimmerman (Continental philosophy, environmental philosophy) @ Tulane University -> University of Colorado at Boulder.Ernest Sosa, (epistemology and metaphysics) @ Brown University -> Rutgers University (from Jan. 2007). おおー。

こういう歴史的でない論文は久しぶりに読んだ気がする。 Donald A. Martin, `Multiple Universes of Sets and Indeterminate Truth Values', Topoi, 20, 2001, 5--16. 集合論における決定不可能な文が示すことは、集合の宇宙は同型にならないものがいくつも…

大量に情報が流れすぎて面倒になったのでやめ。見たい人はこちらへどうぞ。

Marcy Lascano (early modern, philosophy of religion) @ University of Massachusetts at Amherst -> California State University at Long Beach.Jeremy Anderson (Early Modern Political Philosophy and Ethics) @ University of California at Irvine …

Jessica Berry (19th-Century Philosophy) @ University of North Carolina at Wilmington -> Georgia State University. James Stacey Taylor (Ethics, Applied Ethics, Autonomy Theory) @ Louisiana State University -> Bowling Green State University.

といってもパラレルコンデンサーではなく。 ぼちぼちと Graham Priest, `Paraconsistent Logic', in D. Gabbay & F. Guenthner (eds.), Handbook of Philosophical Logic, vol.6, 2002, pp. 287-393. を斜め読みしてるんですが、やっぱあまり面白くないです…

こないだの殴り書きの全体の背景になってたフレーズ。とても印象的。 したがって、sから導出されるすべての命題は、それ【推論規則】によって「証明可能」でもある。とはいえ、さしあたって絶対的な、「無限主義的な(infinitistisch)」意味においてである。…

・・・結局何書きたかったんだっけ。

やっぱ飽きてきた。支離滅裂になってきた。そろそろやめよう。

やっぱ飽きてきた。あと、バラバラになってきた。そろそろやめよう。

何書こうとしてたか忘れてしまった。。。

Mark Colyvan (metaphysics; philosophy of science, logic, and mathematics) @ the University of Queens -> the University of Sydney. おおっ。

This is not much fictitious story. Hilbert's idea of metamathematics is surely influenced by Cantor's philosophy of mathematical objects. But an important difference is this: Hilbert changed the question of existence of mathematical object…

We must take a step back. Cantor claimed that if the forming process is consistent, the formed object exists. So, the problem of consistency is crucial in this argument. Cantor was very sure of existence of objects which his own mathematic…

なんとなく、突然、英語。ってかルーズに書くときは英語のほうが書きやすいような気がする。これは書こうとしている論文の内容ではないです。

Elizabeth Harman (ethics, metaphysics) @ New York University -> Princeton University. この人はGilbert Harmanの娘なんですね。 Manuel Vargas (ethics, philosophy of action, Latin American Philosophy) @ the University of San Francisco -> the U…

ちょっと容易には手に入りそうにないな。誰か持ってませんか。しかしゲーデルについてのこの本が国内所蔵が無いとは。。。 G. Moore, `Die Kontroverse zwischen Gödel und Zermelo', in B. Buldt et al. (eds.), Kurt Gödel: Wahrheit & Beweisbarkeit, vol…

Bradley Monton(philosophy of physics, epistemology) @ the University of Kentucky -> the University of Colorado at Boulder.

これらは全体として集合M0（すなわち、それ自身を要素として含まないMの部分集合すべての集合）を形成する。そこでM0について次の二つのことを証明しよう。1)M0はそれ自身を要素として含まない、2)M0はそれ自身を要素として含む。1)について。M0はMの部分集…

赤字は原文のゲシュペルト。 私のシュレーダー書評の272ページに関して、ツェルメロが教えてくれた（1902年4月16日）。 この問題について、証明のやりかたについてではないところで、シュレーダーは正しい。すなわち： その部分集合m, m'...のそれぞれを要素…