2005-11-08から1日間の記事一覧

 Natural Deduction と Sequent Calculus の先駆者としての Peirce

昨日の Geraldine Brady From Peirce to Skolem: A Neglected Chapter in the History of Logic, Amsterdam, North-Holland/Elsevier, Studies in the History and Philosophy of Mathematics, vol. 4, 2000 を初めの方を拾い読みしていると、興味深い記述が…

Gottlob Frege Logische Untersuchungen Gunther Patzig (Hg.), Vandenhoeck & Ruprecht, Kleine Reihe V&R, Band 4031, 2003. Gottlob Frege Die Grundlagen der Arithmetik Joachim Schulte (Hrsg. u. Nachw.), Reclam, 1987. Eric Margolis and Stephen L…