Abstract
Among the members of the Berlin group, the scholar most devoted to the philosophy of logic and mathematics was Walter Dubislav (1891–1937). In a paper written in 1929, titled “Elementarer Nachweis der Widerspruchslosigkeit des Logik-Kalküls” (“Elementary proof of the consistency of the calculus of logic”), Dubislav made use of a procedure of “quasi truth valuation” (suggested by Emil L. Post in 1921) that was meant to prove the consistency of quantificational logic. Dubislav then employed this procedure as a “purely calculatory criterion for definitions” in the third edition (1931) of his monograph Die Definition. In a book written in 1932, entitled Die Philosophie der Mathematik in der Gegenwart (Contemporary Philosophy of Mathematics), Dubislav claimed that his approach provides a decision procedure for quantificational logic, explaining its application via examples from classical monadic quantificational logic. Whereas the decidability of the latter had been known since 1915, the undecidability of the full range of quantificational logic could not have been known to Dubislav in 1932. The fact that Dubislav’s procedure does not qualify as a decision procedure for even the monadic case was, after some cautious criticism raised in the 1930s, clearly stated for the first time in Reichenbach’s Elements of Symbolic Logic in 1947. This paper offers an elementary and detailed elucidation of the history surrounding these developments, and of their theoretical background.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Behmann, Heinrich. 1922. Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem. Mathematische Annalen 86: 163–229.
Dubislav, Walter. 1926. Über die definition. Berlin-Schöneberg: Hermann Weiß.
Dubislav, Walter. 1927. Über die definition. 2nd rev ed. Berlin-Schöneberg: Hermann Weiß.
Dubislav, Walter. 1928. Zur kalkülmäßigen Charakterisierung der Definitionen. Annalen der Philosophie und philosophischen Kritik 7: 136–145.
Dubislav, Walter. 1929. Elementarer Nachweis der Widerspruchslosigkeit des Logik-Kalküls. Journal für die reine und angewandte Mathematik 161: 107–112.
Dubislav, Walter. 1931–32. Les recherches sur la philosophie des mathématiques en Allemagne (Aperçu général). Recherches Philosophiques 1: 299–311.
Dubislav, Walter. 1931. Die definition. Third, completely revised and enlarged edition. Leipzig: Felix Meiner (Beihefte der „Erkenntnis“, 1).
Dubislav, Walter. 1932. Die Philosophie der Mathematik in der Gegenwart. Berlin: Junker und Dünnhaupt (Philosophische Forschungsberichte, Heft 13).
Dubislav, Walter. 1981. Die definition. 4th ed. With an introduction by Wilhelm K. Essler. Hamburg: Felix Meiner.
Fraenkel, Adolf A. 1929. [Notice of Dubislav 1929]. Jahrbuch über die Fortschritte der Mathematik 55 I (Heft 1, publ. 1931), 33.
Gödel, Kurt. 1930. Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatshefte für Mathematik und Physik 37: 349–360.
Gödel, Kurt. 1931. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik 38: 173–198.
Hilbert, David, and Wilhelm Ackermann. 1928. Grundzüge der theoretischen Logik. 2nd rev ed. Berlin: Julius Springer (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Band XXVII).
Hilbert, David, and Paul Bernays. 1934. Grundlagen der Mathematik. Erster Band. Berlin: Springer (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Band XL).
Löwenheim, Leopold. 1915. Über Möglichkeiten im Relativkalkül. Mathematische Annalen 76: 447–470.
Post, Emil Leon. 1921. Introduction to a general theory of elementary propositions. American Journal of Mathematics 43: 163–185.
Quine, Willard Van Orman. 1938. Review of Hilbert/Ackermann 1938. Journal of Symbolic Logic 3: 83–84.
Quine, Willard Van Orman. 1945. On the logic of quantification. Journal of Symbolic Logic 10: 1–12.
Quine, Willard Van Orman. 1948. [Review of Reichenbach 1947]. Journal of Philosophy 45(6): 161–166.
Reichenbach, Hans. 1932. Wahrscheinlichkeitslogik. Sitzungsberichte der Preußischen Akademie der Wissenschaften. Physikalisch-mathematische Klasse 1932:476–488.
Reichenbach, Hans. 1947. Elements of symbolic logic. New York: Macmillan.
Russell, Bertrand. 1919. Introduction to mathematical philosophy. London/New York: Allen and Unwin/Macmillan.
Schmidt, Arnold. 1932. [Review of Dubislav 1931]. Zentralblatt für Mathematik und ihre Grenzgebiete 2(Heft 1): 1–2.
Schmidt, Arnold. 1933. [Review of Dubislav 1932]. Zentralblatt für Mathematik und ihre Grenzgebiete 5(Heft 4): 145.
Scholz, Heinrich. 1933. Logistik. Vorlesung [Münster i.W.] Winter-Semester 1932/33, Sommer-Semester 1933. Mimeographed lecture courses.
Scholz, Heinrich. 1934. [Review of Dubislav 1932]. Jahresbericht der Deutschen Mathematiker-Vereinigung 43:88–90 of the section “Literarisches” [italic pagination].
von Neumann, Johann J. 1927. Zur Hilbertschen Beweistheorie. Mathematische Zeitschrift 26: 1–46.
Wittgenstein, Ludwig. 1921. Logisch-Philosophische Abhandlung. Annalen der Naturphilosophie 14 (Heft 3/4): 185–262. Bilingual monographic edition: Tractatus Logico-Philosophicus. London: Kegan Paul, Trench, Trubner & Co. 1922.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media Dordrecht.
About this chapter
Cite this chapter
Thiel, C. (2013). Dubislav and Classical Monadic Quantificational Logic. In: Milkov, N., Peckhaus, V. (eds) The Berlin Group and the Philosophy of Logical Empiricism. Boston Studies in the Philosophy and History of Science, vol 273. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-5485-0_8
Download citation
DOI: https://doi.org/10.1007/978-94-007-5485-0_8
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-5484-3
Online ISBN: 978-94-007-5485-0
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)