■

入手文献 入手文献
  • Toshiharu Waragai　　“Ontological Burden of Grammatical Categories”,　in: The Annals of Japan Association for Philosophy of Science, vol. 5, no.4, 1979
  • 戸田山和久　　「物理主義的数学論の可能性」、『紀要 A 人文科学・社会科学』、名古屋大学教養部、35号、1991年

藁谷先生の論文はQuineのOntological Commitment批判。大変面白そう。
戸田山先生の論文はH. Fieldの話。


定期購読している以下の雑誌が届く。掲載論文と共に記す。

  • History and Philosophy of Logic, vol. 29, issue 1, 2008
    • Sébastien Gandon　　“Which Arithmetization for Which Logicism? Russell on Relations and Quantities in The Principles of Mathematics”

This article aims first at showing that Russell's general doctrine according to which all mathematics is deducible 'by logical principles from logical principles' does not require a preliminary reduction of all mathematics to arithmetic. […] The second aim of this article is to set out the neglected Russellian theory of quantity.

    • Peter Milne　　“Russell's completeness proof”

Bertrand Russell's 1906 article 'The Theory of Implication' contains an algebraic weak completeness proof for classical propositional logic.

    • Timm Lampert　　“Wittgenstein on the Infinity of Primes”

It is controversial whether Wittgenstein's philosophy of mathematics is of critical importance for mathematical proofs, or is only concerned with the adequate philosophical interpretation of mathematics. Wittgenstein's remarks on the infinity of prime numbers provide a helpful example which will be used to clarify this question.



次の新刊も購入。掲載論文名も記す。

  • 岡田光弘編　　Essays in the Foundations of Logical and Phenomenological Studies, 慶應義塾大学出版会、Interdisciplinary Conference Series on Reasoning Studies, vol. 3, 2008
    • Mitsuhiro Okada　　“Preface”
    • Jocelyn Benoist　　“Drawing Phenomenology out of Its Silence”
    • ditto 　 　　“Des circonstances au contexte, et retour”
    • Jean-Yves Girard　　“La logique, d'Aristote aux algèbres d'opérateurs”
    • Takashi Iida　　“Towards a Semantics of Japanese Existential Sentences”
    • Yoshinori Ogawa　　“Hilbert’s Logical Grounding of Arithmetic”
    • Mitsuhiro Okada　　“On Wittgenstein’s Remarks on Recursive Proofs: A Preliminary Report”
    • Yoshimichi Saitô　　“What does ‘Phenomenize’ mean?”
    • Mitsuhiro Okada and Ryo Takemura　　“A New Proof-Theoretical View on an Old “Dialogue Logic””