Jan von Plato (vonplato-j)

My contributions to Philosophie.ch

Bibliography

Mäenpää, Petri and Plato, Jan von. 1990. “The Logic of Euclidean Construction Procedures.” in Language, Knowledge, and Intentionality – Perspectives on the Philosophy of Jaakko Hintikka, edited by Leila Haaparanta, Martin Kusch, and Ilkka Niiniluoto, pp. 275–293. Acta Philosophica Fennica n. 49. Helsinki: Societas Philosophica Fennica, Akateeminen Kirjakauppa.
Negri, Sara and Plato, Jan von. 2001. “Sequent Calculus in Natural Deduction Style.” The Journal of Symbolic Logic 66(4): 1803–1816.
Negri, Sara and Plato, Jan von. 2011. Proof Analysis. A Contribution to Hilbert’s Last Problem. Cambridge: Cambridge University Press.
von Plato, Jan. 1981. “Nicole Oresme and the Ergodicity of Rotations.” in Essays in Philosophical Analysis, dedicated to Erik Stenius on the Occasion of his 70th Birthday, edited by Ingmar Pörn, pp. 190–197. Acta Philosophica Fennica n. 32. Helsinki: Societas Philosophica Fennica, Akateeminen Kirjakauppa.
von Plato, Jan. 1982. “The Generalization of de Finetti’s Representation Theorem to Stationary Probabilities.” in PSA 1982: Proceedings of the Biennial Meeting of the Philosophy of Science Association, Part I: Contributed Papers, edited by Peter D. Asquith and Thomas Nickles, pp. 137–144. East Lansing, Michigan: Philosophy of Science Association.
von Plato, Jan. 1986. “Probabilistic Causality, Randomization and Mixtures.” in PSA 1986: Proceedings of the Biennial Meeting of the Philosophy of Science Association, Part I: Contributed Papers, edited by Arthur I. Fine and Peter K. Machamer, pp. 432–437. East Lansing, Michigan: Philosophy of Science Association.
von Plato, Jan. 1988. “Ergodic Theory and the Foundations of Probability.” in Causation, Chance, and Credence. Proceedings of the Irvine Conference on Probability and Causation, vol. 1, edited by Brian Skyrms and William L. Harper, pp. 257–278. The University of Western Ontario Series in Philosophy of Science n. 41. Dordrecht: Kluwer Academic Publishers, doi:10.1007/978-94-009-2863-3.
von Plato, Jan. 1989. “Probability in Dynamical Systems.” in Logic, Methodology and Philosophy of Science VIII: Proceedings of the Eight International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, pp. 427–445. Studies in Logic and the Foundations of Mathematics n. 126. Amsterdam: Elsevier Science Publishers B.V.
von Plato, Jan. 1994a. Creating Modern Probability. Cambridge: Cambridge University Press.
von Plato, Jan. 1994b. “Illustrations of Method in Ptolemaic Astronomy.” Grazer Philosophische Studien 49: 63–75.  “Investigating Hintikka,” ed. by Rudolf Haller.
von Plato, Jan. 1995. “Thoralf Skolem, Hermann Weyl and ‘Das Gefühl der Welt als begrenztes Ganzes’ .” in From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics, pp. 283–330. Synthese Library n. 251. Dordrecht: Kluwer Academic Publishers.
von Plato, Jan. 2002. “Review of Hendricks, Pedersen and Jørgensen (2000).” The Bulletin of Symbolic Logic 8(3): 431–432.
von Plato, Jan. 2003. “The Rise of Probabilistic Thinking.” in The Cambridge History of Philosophy 1870–1945, edited by Thomas Baldwin, pp. 621–629. Cambridge: Cambridge University Press.
von Plato, Jan. 2007. “In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs.” The Bulletin of Symbolic Logic 13(2): 189–225.
von Plato, Jan. 2008. “Gentzen’s Proof of Normalization for Natural Deduction.” The Bulletin of Symbolic Logic 14(2): 240–257.
Plato, Jan von. 2008. “The Development of Proof Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2008/entries/proof-theory-development/.
von Plato, Jan. 2009a. “Gentzen’s Original Proof of the Consistency of Arithmetic Revisited.” in Acts of Knowledge: History, Philosophy and Logic. Essays Dedicated to Göran Sundholm, edited by Giuseppe Primiero and Shahid Rahman. Tributes n. 9. London: King’s College Publications.
von Plato, Jan. 2009b. “Gentzen’s Logic.” in Handbook of the History of Logic. Volume 5: Logic from Russell to Church, edited by Dov M. Gabbay and John Woods, pp. 667–722. Amsterdam: North-Holland Publishing Co.
von Plato, Jan. 2009c. “Proof Theory of Classical and Intuitionistic Logic.” in The Development of Modern Logic, edited by Leila Haaparanta, pp. 499–515. Oxford: Oxford University Press, doi:10.1093/acprof:oso/9780195137316.001.0001.
von Plato, Jan. 2014. Elements of Logical Reasoning. Cambridge: Cambridge University Press.
Plato, Jan von. 2014. “The Development of Proof Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2014/entries/proof-theory-development/.
von Plato, Jan, ed. 2022. Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics. Vienna Circle Institute Library. Berlin: Springer, doi:10.1007/978-3-030-97134-2.
von Plato, Jan and Siders, Annika. 2012. “Normal Derivability in Classical Natural Deduction.” The Review of Symbolic Logic 5(2): 205–211.

Further References

Hendricks, Vincent F., Pedersen, Stig Andur and Jørgensen, Klaus Frovin, eds. 2000. Proof Theory: History and Philosophical Significance. Synthese Library n. 292. Dordrecht: Kluwer Academic Publishers.