Primary Works
Beth, Evert Willem [1935], Rede en aanschouwing in de wiskunde (thesis), Groningen: Noordhoff.
Beth, Evert Willem [1937], L’évidence intuitive dans les mathématiques modernes, in : Travaux du IXe Congrès international de philosophie, Paris, 1–6 août 1937, vol. VI, 161–165.
Beth, Evert Willem [1940], Inleiding tot de wijsbegeerte der wiskunde, Antwerpen: Standaard-Boekh, reprints: Antwerpen-Brussels; Nijmegen-Utrecht: Standaard Boekh Dekker & Van de Vegt, 1942; Antwerpen: Standard-Boekkandel, 1953.
Beth, Evert Willem [1943], Verleden en toekomst der wetenschappelijke wijsbegeerte, De Gids, 107, 46–67.
Beth, Evert Willem [1944a], De Wijsbegeerte der Wiskunde van Parmenides tot Bolzano, Antwerpen; Nijmegen: Standaard-Boekhandel; Dekker & Van de Vegt.
Beth, Evert Willem [1944b], Geschiedenis der Logica, The Hague: Servire.
Beth, Evert Willem [1946a], De strekking en het bestaansrecht der metaphysica in verband met de toekomst der wijsbegeerte, Groningen; Batavia: Noordhoff.
Beth, Evert Willem [1946b], Metaphysica en wetenschap, De Gids, 109, 83–91, also in Door wetenschap tot wijsheid.
Beth, Evert Willem [1947], Hoe is wijsbegeerte mogelijk, Algemeen Nederlands Tijdschrift voor Wijsbegeerte, 40, 170–176.
Beth, Evert Willem [1948a], De wetenschap als cultuurfactor, in: De functie der wetenschap: drie voordrachten met discussie, edited by E. W. Beth, D. van Dantzig, & C. F. P. Stutterheim, The Hague: Leopolds, ‘s-Gravenhage, 7–40.
Beth, Evert Willem [1948b], Natuurphilosophie, Gorinchem: Noorduijn.
Beth, Evert Willem [1948c], Symbolische Logik und Grundlegung der exakten Wissenschaften, Bern: A. Francke.
Beth, Evert Willem [1948-1949], Analyse sémantique des théories physiques, Synthese, 7(3), 206–207, https://www.jstor.org/stable/20114040.
Beth, Evert Willem [1949], Towards an up-to-year philosophy of the natural sciences, Methodos, 1, 178–185.
Beth, Evert Willem [1950a], Critical epochs in the development of the theory of science, The British Journal of the Philosophy of Science, 1(1), 27–42, doi: 10.1093/bjps/i.1.27.
Beth, Evert Willem [1950b], Les Fondements logiques des mathématiques, Paris ; Louvain : Gauthier-Villars ; E. Nauwelaerts.
Beth, Evert Willem [1950c], Wijsgerige Ruimteleer, Antwerpen; Nijmegen: Standaard-boekhandel; Dekker & van de Vegt.
Beth, Evert Willem [1951], A topological proof of the theorem of Löwenheim-Skolem-Gödel, Indagationes mathematicae, 13, 436–444, doi: 10.1016/s1385-7258(51)50062-8.
Beth, Evert Willem [1953], On Padoa’s method in the theory of definition, Indagationes Mathematicae (Proceedings), 56, 330–339, doi: 10.1016/S1385-7258(53)50042-3.
Beth, Evert Willem [1955], Semantic Entailment and Formal Derivability, Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, vol. 18(13), Amsterdam: Noord-Hollandsche Uitgevers Maatschappij, repr. in Hintikka, J. (ed.) The Philosophy of Mathematics, Oxford: Oxford University Press, 1969, 9–41.
Beth, Evert Willem [1956a], L’Existence en mathématiques, Paris; Louvain: Gauthier-Villars; E. Nauwelaerts, Collection de logique mathématique, série A.
Beth, Evert Willem [1956b], Poincaré et la philosophie, in : H. Poincaré : Œuvres, edited by G. Darboux, Paris : Gauthier-Villars, vol. 11, 232–238.
Beth, Evert Willem [1956c], Semantic Construction of Intuitionistic Logic, Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, vol. 19(11), Amsterdam: Noord-Hollandsche Uitgevers Maatschappij.
Beth, Evert Willem [1956d], Über Lockes “Allgemeines Dreieck”, Kantstudien, 48, 361–380, doi: 10.1515/kant.1957.48.1-4.361.
Beth, Evert Willem [1957a], De weg der wetenschap: inleiding tot de methodeleer der empirische wetenschappen, Haarlem: Bohn.
Beth, Evert Willem [1957b], La Crise de la raison et la logique, Paris : Gauthier-Villars.
Beth, Evert Willem [1958], On machines which prove theorems, Simon Stevin, 32, 49–60.
Beth, Evert Willem [1959], The Foundations of Mathematics. A Study in the Philosophy of Sciences, Amsterdam: North-Holland.
Beth, Evert Willem [1962a], Door wetenschap tot wijsheid: verzameling wijsgerige studiën, Amsterdam: Amsterdam University Press, English version: Science, a Road to Wisdom, Dordrecht: Reidel, 1968.
Beth, Evert Willem [1962b], Formal Methods. An Introduction to Symbolic Logic and the Study of Effective Operations in Arithmetic and Logic, Dordrecht: Reidel.
Beth, Evert Willem [1963a], Carnaps views on the advantages of constructed systems over natural languages in the philosophy of science, in: The Philosophy of Rudolf Carnap, edited by P. A Schilpp, La Salle: Open Court, 469–502.
Beth, Evert Willem [1963b], Konstanten van het Wiskundig Denken, Mededelingen Kononklijke Nederlandse Akademie Wetenschappen, vol. 26, Amsterdam: Noord-Hollandsche Uitgevers Maatschappij.
Beth, Evert Willem [1965], Mathematical Thought. An Introduction to the Philosophy of Mathematics, Dordrecht: Reidel.
Beth, Evert Willem [1967], Moderne Logica, Assen: Van Gorcum, Engl. transl. Aspects of Modern Logic, Dordrecht : Reidel, 1970.
Beth, Evert Willem & Gonseth, Ferdinand [1948], Intervention dans la discussion de F. Gonseth “Les conceptions mathématiques et le réel”, in : Les Sciences et le Réel, Paris : Hermann, 56.
Beth, Evert Willem, Mays, Wolfe, et al. [1957], Epistémologie génétique et recherche psychologique, Paris : Presses universitaires de France, Nendeln : Kraus reprint, 1974.
Beth, Evert Willem & Piaget, Jean [1961], Épistémologie mathématique et psychologie, Paris : Presses universitaires de France, Engl. transl. Mathematical Epistemology and Psychology Dordrecht : Reidel, 1966.
Beth, Evert Willem & Piaget, Jean [1962], Implication, formalisation et logique naturelle, Paris : Presses universitaires de France.
Beth, Evert Willem & Tarski, A. [1956], Equilaterality as the only primitive notion of Euclidean geometry, Indagationes mathematicae, 18, 462–469, doi: 10.1016/s1385-7258(56)50062-5.
Further Readings
Barth, Else M. [1990], In the service of human society: Formal, informal or anti-logical? The philosophy of the logician Evert Willem Beth (1908-1964), Informal Logic, 12(1), 1–10, doi: 10.22329/il.v12i1.2596.
Barth, Else M., Heinzman, Gerhard, et al. (eds.) [1998-1999], Un logician consciencieux. La philosophie de Evert Willem Beth. Actes du Colloque Everth Willem Beth, Archives Henri-Poincaré et Fondation E. W. Beth, Nancy, 22–24 avril 1998., Philosophia Scientiæ, vol. 3, Paris : Kimé, http://www.numdam.org/issues/PHSC_1998-1999__3_4/.
van Benthem, Johan van [2008a], Beth’s influence today, in: Logic and Scientific Philosophy. An E. W. Beth Centenary Celebration, Amsterdam: Evert Willem Beth Foundation, 44–46.
van Benthem, Johan van [2008b], Constanten, of Variabelen, van het Logisch Denken, Technical notes (x) series, https://eprints.illc.uva.nl/id/eprint/673/.
van Benthem, Johan van & van Ulsen, Paul (eds.) [2008], Logic and Scientific Philosophy. An E. W. Beth Centenary Celebration, Amsterdam: Evert Willem Beth Foundation.
Bernays, Paul [1976], Mathematische Existenz und Widerspruchsfreiheit (1950), in: Paul Bernay: Abhandlungen zur Philosophie der Mathematik, Darmstadt: Wissenschaftliche Buchgesellschaft, 92–106.
Burdman Feferman, Anita & Feferman, Solomon [2010], Logic and methodology, center stage, Philosophiae Scientiæ, 14(1), 159–168, doi: 10.4000/philosophiascientiae.162.
Carnap, Rudolf [1958], Empiricism, semantics, and ontology (1950), in: R. Carnap: Meaning and Necessity, Chicago: University of Chicago Press, 205–221.
Craig, William [1957], Three uses of the Herbrand-Gentzen Theorem in relating model theory and proof theory, Journal of Symbolic Logic, 22(3), 269–285, doi: 10.2307/2963594.
Destouches, Jean-Louis (ed.) [1967], E. W. Beth Memorial Colloquium. Logic and Foundations of Science Paris, Institut Henri Poincaré, 19–21 May 1964, Paris: Reidel, doi: 10.1007/978-94-010-3520-0, this volume contains a complete bibliography.
Dyson, Verena Huber & Kreisel, Georg [1961], Analysis of Beth’s semantic construction of intuitionistic logic, Applied mathematics and statistics laboratories, technical report 3, Stanford University.
Guillaume, Marcel [1998-1999], Essai sur la genèse de la méthode des tableaux de Beth, Philosophia Scientiæ, 3(4), 235–277, http://www.numdam.org/item/PHSC_1998-1999__3_4_235_0/.
Heinzmann, Gerhard [1982], Schematisierte Strukturen: Eine Untersuchung über den “Idoneismus” Ferdinand Gonseths auf dem Hintergrund eines konstruktivistischen Ansatz, Bern; Stuttgart: Haupt.
Heinzmann, Gerhard, Trognon, Alain, et al. [2014], Correspondence Between Evert Willem Beth and Jean Piaget (1951–1955), in: Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics: Dialogue, Rationality, and Formalism, edited by M. Rebuschi, M. Batt, G. Heinzmann, F. Lihoreau, M. Musiol, & A. Trognon, Cham: Springer International Publishing, 45–93, doi: 10.1007/978-3-319-03044-9_4.
Hintikka, Jaakko K. [1955], Form and content in quantification theory, Acta Philosophica Fennica, 8, 7–55.
de Jongh, Dick & van Ulsen, Paul [1998-1999], Beth’s nonclassical valuations, Philosophia Scientiæ, 3(4), 279–302, www.numdam.org/item/PHSC_1998-1999__3_4_279_0/.
Kreisel, Georg [1958], Review of “E. W. Beth. La Crise de la raison et la logique, Paris : Gauthier-Villars, The Journal of Symbolic Logic, 23(1), 35–-37, doi : 10.2307/2964464.
Lorenzen, Paul [1959], Ein dialogisches Konstrutivitätskriterium, in: Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics Warsaw 1959, Oxford; London; Warsaw: Pergamon Press, 193–200.
Peijnenburg, Jeanne [1994], Formal proof or linguistic process? Beth and Hintikka on Kant’s use of “Analytic”, Kantstudien, 85, 160–178, doi: 10.1515/kant.1994.85.2.160.
Staal, J. F. [1965], E. W. Beth, 1908-1964, Dialectica, 19(1–2), 158–184, doi: 10.1111/j.1746-8361.1965.tb01455.x.
van Ulsen, Paul [2000], E. W. Beth als logicus, Ph.D. thesis, University of Amsterdam, Amsterdam.
Visser, Henk [1998-1999], E. W. Beth and the logical empiricists, Philosophia Scientiae, 3(4), 49–76, http://www.numdam.org/item/PHSC_1998-1999__3_4_49_0/.