Form, Content, Extensions
Some Perspectives on the Early Development of Modern Logic
DOI:
https://doi.org/10.12775/LLP.2026.003Keywords
logical form, content of a concept, extension, Robert von Zimmermann, Albino Nagy, completeness, Jevons-Clifford problem, sequents type, cut admissibilityAbstract
In contrast to Kant’s metatheoretical (“transcendental”) approach grounded in the operations of an abstract logical subject, Herbart and Bolzano aimed to avoid subject-dependent foundations of logic. They instead proposed formal logics founded, respectively, on the form of conceptual content (Herbart) and on the extensions of logical forms (Bolzano). Among the traditions originating from Herbart and Bolzano, we consider the role of Bolzano’s informal disciple Robert Zimmermann, who subsequently adopted Herbartianism, and Zimmermann’s own disciple, the mathematical logician and philosopher Albino Nagy. Special attention is given to Nagy’s analysis of expressive completeness and his treatment of the Jevons-Clifford problem: how many and which types and representatives of types there are of Boolean propositional functions. We transform this latter problem into the question of types of sequent refutations and examine the corresponding admissibility of the cut rule.
References
[1] Bernays, P., “Reviewed work: Vorlesungen über die Algebra der Logik (Exacte Logik) by Ernst Schröder”, Journal of Symbolic Logic 40 (1975): 609–614. DOI: CrossRef
[2] Bolzano, B., Wissenschaftslehre, I–IV, Seidel, Sulzbach, 1837.
[3] Burali-Forti, C., Logica matematica, Hoepli, Torino, 1894.
[4] Clifford, W. K., Mathematical Papers, R. Tucker (ed.), Macmillan, London, 1882.
[5] Dastich, J., Formálná logika, Skrejšovského, Prag, 1867. (Filosofická propaedevtika, I.).
[6] Dožudić, D., “Names and connotation in Marković’s logic”, in K. Świętorzecka, F. Grgić, A. Brożek (eds.), Logic, Knowledge, and Tradition: Essays in Honor of Srećko Kovač, vol. 127 of series “Poznań Studies in the Philosophy of the Sciences and the Humanities”, Brill, 2026. DOI: CrossRef
[7] Drbal, M. A., Propädeutische Logik, Braumüller, Wien, 1868. [8] Drobisch, M. W., Neue Darstellung der Logik, 2nd ed., Voss, Leipzig, 1851.
[9] Exner, F. S., Leibnitz’ens Universal-Wissenschaft, Borosch & André, Prag, 1843.
[10] Festini, H., “Logistika trogiranina Albina Nađa” (The logistic of Albino Nagy from Trogir), Prilozi za istraživanje hrvatske filozofske baštine 1 (1975): 75–138.
[11] Fisette, D., “Robert Zimmermann and Herbartianism in Vienna: The Critical Reception of Brentano and his Followers”, pages 33–62 in C. Maigné (ed.), Herbartism in Austrian Philosophy, de Gruyter, Berlin and Boston, 2021. DOI: CrossRef
[12] Gödel, K., “Über die Vollständigkeit des Logikkalküls” (On the completeness of the calculus of logic), pages 60–101 in Collected Works, vol. 1, S. Feferman et al. (eds.), Oxford University Press, New York, 1986. DOI: CrossRef
[13] Gödel, K., “Die Vollständigkeit der Axiome des logischen Funktionenkalküls” (The completeness of the axioms of the functional calculus of logic), pages 102–123 in Collected Works, vol. 1, S. Feferman et al. (eds.), K. Gödel, Oxford University Press, New York, 1986. DOI: CrossRef
[14] Herbart, J. H., Lehrbuch zur Einleitung in die Philosophie, text-critical revised ed., Meiner, Hamburg, 1993.
[15] Herbart, J. H., Lehrbuch zur Psychologie, 3rd ed., Voss, Leipzig, 1850.
[16] Indrzejczak, A., Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi, 3rd ed., Birkhäuser, Cham, 2021. DOI: CrossRef
[17] Jevons, W. S., The Principles of Science: A Treatise on Logic and Scientific Method, R. Tucker (ed.), Macmillan, London, 1905. Repr. of the 2nd ed. 1877.
[18] Kant, I., Gesammelte Schriften, Königlich Preussische Akademie der Wissenschaften (eds.), Reimer etc., Berlin, 1910–.
[19] Kant, I., Kritik der reinen Vernunft, [18, vol. III], cited as “B”.
[20] Kant, I., Logik: ein Handbuch zu Vorlesungen, in [18, vol. IX].
[21] Kovač, S., “Forms of judgment as a link between mind and the concepts of substance and cause”, pages 51–66 in M. Szatkowski and M. Rosiak (eds.), Substantiality and Causality, de Gruyter, Berlin etc., 2014. DOI: CrossRef
[22] Kovač, S., “The totality of predicates and the most real being”, Journal of Applied Logics: The IfCoLog Journal of Logics and Their Applications 5 (2018): 1523–1552.
[23] Kovač, S., “Povijesni ustroj filozofije – Franjo pl. Marković: U povodu 110. godišnjice smrti” (Historical structure of philosophy – Franjo pl. Marković: On the occasion of the 110th death anniversary), Prilozi za istraživanje hrvatske filozofske baštine 25 (2024): 499–534.
[24] Krug, W. T., Logik oder Denklehre, Unzer, Königsberg, 1833.
[25] Ladd, C., “On the algebra of logic”, pages 17–71 in Studies in Logic, Little etc., Boston, 1883.
[26] Leibniz, G. W., Die Philosophischen Schriften, Olms, Hildesheim and New York, 1978. Vols. 1–7.
[27] Leibniz, G. W., “Système nouveau de la nature et de la communication des substances”, pages 477–487 in [26, vol. 4].
[28] Leibniz, G. W., Nouveaux essais sur l’entendement humain, in [26, vol. 5].
[29] Leibniz, G. W., [“Monadologie”], pages 607–623 in [26, vol. 6].
[30] Lindner, G. A., Lehrbuch der formalen Logik: nach genetischer Methode, Leykam, Graz, 1861.
[31] Lott, F. K., Zur Logik, Vandenhoeck und Ruprecht, Göttingen, 1845.
[32] Macut, I., Albino Nagy, Institut za filozofiju, Zagreb, 2025.
[33] Marković, F., Logika, lithographed lecture notes, 1875–?, XV 37/2a in the Archive of the Croatian Academy of Sciences and Arts, Zagreb.
[34] Marotti, B., Tročlani sklop: Ogledi o filozofiji jezika (Three-Part Complex: Essays on Philosophy of Language), ArTrezor, Zagreb, 2021.
[35] Nagy, A., “Fondamenti del calcolo logico”, Giornale di matematiche (G. Battaglini) 28 (1890): 1–35.
[36] Nagy, A., La cognizione matematica della filosofia di Platone, S. Artale, Zara, 1890.
[37] Nagy, A., “Dr. Ernst Schröder, Vorlesungen über die Algebra Logik (exacte Logik), I”, Rivista Italiana di Filosofia 6 (1891) 1: 413-414.
[38] Nagy, A., “D.r Andreas Voigt – Die Auflösung von Urtheilsystemen, das Eliminationsproblem und die Kriterien des Widerspruchs in der Algebra der Logik”, Rivista Italiana di Filosofia 6 (1891) 2: 127–128.
[39] Nagy, A., Lo stato attuale ed i progressi della logica, Balbi, Roma, 1891.
[40] Nagy, A., Principi di logica: esposti secondo le dottrine moderne, Loescher, Torino, 1891.
[41] Nagy, A., “Über Beziehungen zwishen logischen Grössen”, Monatshefte für Mathematik und Physik 4 (1893): 147–153.
[42] Nagy, A., “Über das Jevons-Clifford’sche Problem”, Monatshefte für Mathematik und Physik 5 (1894): 331–345.
[43] Negri, S., and J. von Plato, Structural Proof Theory, Cambridge University Press, Cambridge [UK], 2001. DOI: CrossRef
[44] Padoa, A., “Albino Nagy”, Rivista Filosofica 3 (1901) 3: 427–432.
[45] Peano, G., Calcolo geometrico: secondo l’Ausdehnungslehre di H. Grassmann preceduto dalle operazioni della logica deduttiva, Bocca, Torino, 1888.
[46] Piazza, M., and M. Tesi, “Analyticity with extra-logical information”, Journal of Logic and Computation 35 (2025) 3: exae013. Published April 4, 2024. DOI: CrossRef
[47] Pólya, G., “Sur les types des propositions composées”, Journal of Symbolic Logic 5, 3 (1940): 98–103. DOI: CrossRef
[48] Potlimbrzović, H., “Djela iz logike u Hrvata tijekom 19. stoljeća” (Works on logic in croats during the 19th century”, Diss., University of Zagreb, Faculty of Humanities and Social Sciences. https://urn.nsk.hr/urn:nbn:hr:131:703152
[49] Reich, K., Die Vollständigkeit der kantischen Urteilsftafel, Schoetz, Berlin, 1948. Transl. by J. Kneller and M. Losonsky, The Completeness of Kant’s Table of Judgments, Standford University Press, Stanford, 1992.
[50] Russell, B., “On denoting”, pages 81-95 in Logic and Knowledge, R. C. Marsh (ed.), Routledge, London and New York, 2004. DOI: CrossRef
[51] Schröder, E., Vorlesungen über die Algebra der Logik, vols. I and II/1,2, Teubner, Leipzig, 1890, 1891/1905.
[52] Scholz, H., Abriss der Geschichte der Logik, 2nd ed., Alber, Freiburg/München, 1959.
[53] Simons, P., “Confluence: the Galician origins of Polish analytic philosophy”, pages 81-95 in J. Kaczmarek and R. Kleszcz (eds.), Philosophy as the Foundation of Knowledge, Action and Ethos, Wydawnictwo Uniwersytetu Łódzkiego, Łódź, 2016.
[54] Świętorzecka, K., Classical Conceptions of Changeability of Situations and Things Represented in Formalized Languages, Wydawnictwo Uniwersytetu Kardinała Stefana Wyszyńskiego, Warszawa, 2008.
[55] Twardowski, K., Logik, A. Betti and V. Raspa (eds.), de Gruyter, Berlin and Boston, 2016. DOI: CrossRef
[56] Urquhart, A., “Enumerating types of Boolean functions”, Bulletin of Symbolic Logic 15, 3 (2009): 273–299. DOI: CrossRef
[57] von Plato, J., Chapter from Gödel’s Unfinished Book on Foundational Research in Mathematics, Springer, Cham, 2022. DOI: CrossRef
[58] Wolff, M., Die Vollständigkeit der kantischen Urteilstafel, Klostermann, Frankfurt a.M., 1995.
[59] Zimmermann, R. von, Formale Logik: für Obergymnasien, Braumüller, Wien, 1853. (Philosophische Propaedeutik: für Obergymnasien, Zweite Abtheilung).
[60] Zimmermann, R. von, Philosophische Propaedeutik, 3rd ed., Braumüller, Wien, 1867. 2nd. ed 1860.
[61] Zimmermann, R. von, “Jakob Bernoulli als Logiker”, Sitzungsberichte der philosophisch-historischen Klasse der kaiserlichen Akademie der Wissenschaften 108 (1885): 503–560.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2026 Srećko Kovač
This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.
Stats
Number of views and downloads: 42
Number of citations: 0
