The axiomatic method and Ernst Schröder's algebraic approach to logic
Peckhaus, Volker
Philosophia Scientiae, Tome 1 (1996), p. 1-15 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1996-01-01
@article{PHSC_1996__1_3_1_0,
     author = {Peckhaus, Volker},
     title = {The axiomatic method and Ernst Schr\"oder's algebraic approach to logic},
     journal = {Philosophia Scientiae},
     volume = {1},
     year = {1996},
     pages = {1-15},
     language = {en},
     url = {http://dml.mathdoc.fr/item/PHSC_1996__1_3_1_0}
}

Peckhaus, Volker. The axiomatic method and Ernst Schröder's algebraic approach to logic. Philosophia Scientiae, Tome 1 (1996) pp. 1-15. http://gdmltest.u-ga.fr/item/PHSC_1996__1_3_1_0/

Adamson, R. 1901 R.A., Axiom, in: James Mark Baldwin (Ed.), Dictionary of Philosophy and Psychology, Vol. 1, London/New York : Macmillan; quotes are from the "New edition" 1925; repr. Gloucester, Mass. : Peter Smith 1960, 97-98.

Bocheński, J. M. 1956 Formale Logik, Freiburg/München : Alber (= Orbis Academicus, III, 2). | Zbl 0070.00712

Curry, H. B. 1977 Foundations of Mathematical Logic, New York : Dover Publications. | Zbl 0163.24209

Dedekind, R. 1888 Was sind und was sollen die Zahlen?, Braunschweig : Vieweg, 10 1965; again in Dedekind, Gesammelte mathematische Werke, ed. by Robert Fricke/Emmy Noether/Oystein Ore, Vol. 3, Braunschweig : Vieweg, 9 1932, 335-391. | JFM 25.0115.05 | Zbl 0826.01037

Dipert, R. R. 1978 Development and Crisis in Late Boolean Logic: The Deductive Logics of Peirce, Jevons, and Schröder, Ph.D. Diss. Indiana University.

Frege, G. 1884 Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl, Breslau : Wilhelm Koebner; critical edition [Frege 1986].

Frege, G. 1986 Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl. Centenarausgabe, with additional texts critically ed. by Christian Thiel, Hamburg : Felix Meiner. | Zbl 0584.03001

Grattan-Guinness, I. (Ed.) 1994 Companion Encyclopedia of the History and Philosophy of the Mathematical Sciences, 2 Vols., London/New York : Routledge. | Zbl 0833.01001

Hilbert, D. 1899 Grundlagen der Geometrie, in: Festschrift zur Feier der Enthüllung des Gauss-Weber-Denkmals in Göttingen, ed. by the Fest-Comitee, Leipzig : B.G. Teubner, 1-92 [separate page numbers]. | JFM 30.0424.01

Hilbert, D. 1905 Logische Principien des mathematischen Denkens, lecture course in the summer term of 1905, lecture notes by Ernst Hellinger (Library of the Mathematical Seminar of the University of Göttingen).

Hilbert D. and Ackermann, W. 1928 Grundzüge der theoretischen Logik, Berlin : Springer (= Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; 27), 2 1938, 5 1967. | JFM 64.0026.05

Houser, N. 1994 Algebraic Logic from Boole to Schröder, 1840-1900, in: [Grattan-Guinness (ed.) 1994, 600-616].

Huntington, E. V. 1904 Sets of Independent Postulates for the Algebra of Logic, Transactions of the American Mathematical Society 5, 288-309. | JFM 35.0087.02

Kennedy, H. C. 1972 The Origins of Modern Axiomatics: Pasch to Peano, The American Mathematical Monthly 79, 133-136. | Zbl 0227.50003

Kerry, B. 1890 Ueber Anschauung und ihre psychische Verarbeitung (Siebenter Artikel), Vierteljahrsschrift für wissenschaftliche Philosophie 14, 317-343.

Müller, K. E. 1900 Über die Algebra der Logik. Die Grundlagen des Gebietekalkuls, Leipzig : B.G. Teubner; i.e., enclosure to the programme of the Gymnasium in Tauberbischofsheim for 1899-1900.

Müller, K. E. 1909 Vorwort, in: [Schröder 1909; repr. Schröder 1966, vol. 3, 653].

Peckhaus, V. 1988 Karl Eugen Müller (1865-1932) und seine Rolle in der Entwicklung der Algebra der Logik, History and Philosophy of Logic 9, 43-56. | Zbl 0645.01019

Peckhaus, V. 1990 Hilbertprogramm und Kritische Philosophie. Das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie, Göttingen : Vandenhoeck & Ruprecht (= Studien zur Wissenschafts-, Sozial- und Bildungsgeschichte der Mathematik; 7). | Zbl 0715.01018

Peirce, C.S. 1870 Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic, Memoirs of the American Academy 9, 317-378; again in [Peirce 1933, 27-98; 1984, 359-429].

Peirce, C.S. 1933 Collected Papers of Charles Sanders Peirce, Vol. 3: Exact Logic (Published Papers), ed. by Charles Hartshorne and Paul Weiss, Cambridge, Mass : Harvard University Press, 2 1960.

Poincaré, H. 1902a La Science et l'Hypothèse, Paris : Flammarion (= Bibliothèque de Philosophie scientifique). | JFM 51.0053.05

Poincaré, H. 1902b Review of Hilbert [1899], Bulletin des Science Mathématiques 2nd ser., 26, 249-272.

Poincaré, H. 1904 Poincaré's Review of Hilbert's "Foundations of Geometry", Bulletin of the American Mathematical Society 10, 1-23. | JFM 34.0068.01 | Zbl 0964.01508

Poincaré, H. 1905 Les Mathématiques et la Logique, Revue de Métaphysique et de Morale 13, 815-835. | JFM 36.0081.05

Reid, C. 1970 Hilbert. With an Appreciation of Hilbert's Mathematical Work by Hermann Weyl, New York/Heidelberg/Berlin : Springer-Verlag. | Zbl 0192.32601

Schröder, E. 1873 Lehrbuch der Arithmetik und Algebra für Lehrer und Studirende, Vol. 1 [no further vol. published]: Die sieben algebraischen Operationen, Leipzig : B.G. Teubner. | JFM 05.0605.01

Schröder, E. 1874 Über die formalen Elemente der absoluten Algebra, Stuttgart: Schweizerbart'sche Buchdruckerei; i.e., enclosure to the programme of the Pro- und Real-Gymnasium in Baden-Baden for 1873-1874. | JFM 06.0055.01

Schröder, E. 1877 Der Operationskreis des Logikkalkuls, Leipzig : B.G. Teubner; repr. as "Sonderausgabe" Darmstadt : Wissenschaftliche Buchgesellschaft 1966.

Schröder, E. 1890 Vorlesungen über die Algebra der Logik (exakte Logik), Vol. 1, Leipzig : B.G. Teubner; repr. [Schröder 1966]. | JFM 22.0073.02

Schröder, E. 1891 Vorlesungen über die Algebra der Logik (exakte Logik), Vol. 2, part 1, Leipzig : B.G. Teubner; repr. [Schröder 1966]. | JFM 22.0073.02

Schröder, E. 1895 Vorlesungen über die Algebra der Logik (exakte Logik), Vol. 3, part 1: Algebra und Logik der Relative, Leipzig : B.G. Teubner; repr. [Schröder 1966]. | JFM 22.0073.02

Schröder, E. 1905 Vorlesungen über die Algebra der Logik (exakte Logik), Vol. 2, part 2, ed. Karl Eugen Muller, Leipzig : B.G. Teubner; repr. [Schrôder 1966]. | JFM 22.0073.02

Schröder, E. 1909 Abriβ der Algebra der Logik, ed. Karl Eugen Müller, in 3 parts (only 2 parts published), part 1: Elementarlehre, Leipzig : B.G. Teubner; repr. [Schröder 1966, Vol. 3, 651-710].

Schröder, E. 1910 Abriβ der Algebra der Logik, ed. Karl Eugen Müller, in 3 parts (only 2 parts published), part 2: Aussagentheorie, Funktionen, Gleichungen und Ungleichungen, Leipzig : B.G. Teubner ; repr. [Schröder 1966, Vol. 3, 711-819].

Schröder, E. 1966 Vorlesungen über die Algebra der Logik (exakte Logik), 2nd ed, 3 Vols., Bronx, N.Y. : Chelsea. | Zbl 0188.30703

Van Der Waerden, B. L. 1967 Klassische und moderne Axiomatik, Revue de mathématiques élémentaires 22, 1-4. | Zbl 0147.24207