Académique Documents
Professionnel Documents
Culture Documents
. The four
quantifier indicators are:
,
,
, see [page] above.
36
Leniewski (1929, 33), Eng. transl. (1991, 441). A1 is one of the three axioms forming the axiom system of system
S1 [font=fraktur] of Protothetic.
37
Cf. Leniewski (1929, 59), Eng. transl. (1991, 467-8).
References
Canty, J. (1967). Leniewskis ontology and Gdels Incompleteness Theorem. PhD Thesis, University of Notre
Dame, Indiana
Dascal, M. (1987). Leibniz. Language, signs and thought. (Amsterdam/Philadelphia: John Benjamins Publ. Co.)
Ditchen, R., Glibowski, E. & Kocik, S. (1963). O pewnym ukadzie poj pierwotnych geometrii elementarnej. Acta
Universitatis Wratislaviensis, 17, Matematyka Fizyka Astronomia IV, 5-11
Frege, G. (1884). Die Grundlagen der Arithmetik. Eine logisch-mathematische Untersuchung ber den Begriff der
Zahl. (Breslau: W. Koebner)
Husserl, E. (1900/01). Logische Untersuchungen. (Halle a.d.S.: Max Niemeyer = Husserliana XVIII, XIX/1, XIX/2.
The Hague/Boston/London: M. Nijhoff). J. N. Findlay (Transl.) (1970). (London/Henley: Routledge & Kegan
Paul)
Jong, W. R. de (1996). Gottlob Frege and the analytic-synthetic distinction within the framework of the Classical
Model of Science. Kant-Studien, 87, 290-324
- & Betti, A. (this issue). The Classical Model of Science: A millennia-old model of scientific rationality. Synthese,
[this issue, pages]
20
LeBlanc, A. O. V. (1983). A study of the axiomatic foundation of mereology. MA Thesis, University of Manchester
- (1991). Leniewskis computative Protothetic. PhD Thesis, University of Manchester
Leibniz, G. W. (>1684). Untitled. (In C. I. Gerhardt (Ed.) (1875-1890), Die philosophischen Schriften von G. W.
Leibniz, VII, repr. Hildesheim (1965), pp. 204-207). Transl. Thought, signs and the foundation of logic. (In
Dascal 1987, pp. 181-8.)
- (1677). Leibniz an Jean Gallois. (In Smtliche Schriften und Briefe. Herausgegeben von der Berlin-
Brandenburgischen Akademie der Wissenschaften und der Akademie der Wissenschaften in Gttingen, Zweite
Reihe, Philosophischer Briefwechsel, Erster Band, Akademie Verlag, pp. 566-71). Eng. transl. in Dascal (1987,
p. 164 n. 2)
Leniewski, S. (1916). Podstawy oglnej teorji mnogoci. I (Cz. Ingredyens. Mnogo. Klasa. Element.
Podmnogo. Niektre ciekawe rodzaje klas). Prace Polskiego Koa Naukowego w Moskwie, Sekcja
matematyczno-przyrodnicza. Eng. transl. Leniewski (1991, pp. 129-73)
- (1929). Grundzge eines neuen Systems der Grundlagen der Mathematik. Fundamenta Mathematicae, XIV, 1-81.
Eng. transl. Leniewski (1991, pp. 410-92)
- (1930). ber die Grundlagen der Ontologie. Sprawozdania z posiedze towarzystwa naukowego warszawskiego
Comptes rendus des sances de la socit des sciences et des lettres de Varsovie, Wydzia III nauk
matematyczno-fizycznych XXIII 1-3, 111-32. Eng. transl. Leniewski (1991, pp. 606-28)
- (1931). ber Definitionen in der sogenannten Theorie der Deduktion. Sprawozdania z posiedze Towarzystwa
Naukowego Warszawskiego Comptes rendus des sances de la socit des sciences et des lettres de Varsovie,
Wydzia III nauk matematyczno-fizycznych XXIV, 289-309. Eng. transl. Leniewski (1991, pp. 629-48)
- (1938). Einleitende Bemerkungen zur Fortsetzung meiner Mitteilung u. d. T. Grundzge eines neuen Systems der
Grundlagen der Mathematik. Collectanea Logica, 1, 1939, 1-60. Offprint dated 1938. Eng. transl. Leniewski
(1991, pp. 649-710)
- (1939). Grundzge eines neuen Systems der Grundlagen der Mathematik, 12. Collectanea Logica, 1, 61-144. Eng.
transl. Leniewski (1991, pp. 492-605)
- (1991). Collected Works. S. J. Surma, J. T. Szrednicki, D. I. Barnett & V. F. Rickey (Eds.) (Dordrecht: Kluwer)
Luschei, E. C. (1962). The logical systems of Leniewski. (Amsterdam: North-Holland)
ukasiewicz, J. & Tarski, A. (1930). Untersuchungen ber den Aussagenkalkl. Comptes rendus des sances de la
societ des sciences et des lettres de Varsovie XXIII, Cl. III, Satz 30, 30-50
Scholz, H. (1930/75). The ancient axiomatic theory. (In J. Barnes, M. Schofield & R. Sorabji (Eds.) (1975), Articles
on Aristotle. I. Science (pp. 50-64). London: Duckworth.) Transl. of Die Axiomatik der Alten. Bltter fr
Deutsche Philosophie, IV, 1930, 259-78
Sobociski, B. (1955/56). On well-constructed axiom systems. VI Rocznik Polskiego Towarzystwa Naukowego na
Obczynie, 6, 54-65
Srzednicki, J. T. J. & Stachniak, Z. (Eds.) (1988). S. Leniewskis lecture notes in logic. (Dordrecht: Kluwer)
Sullivan, T. H. (1971). Affine geometry having a solid as primitive. Notre-Dame Journal of Formal Logic, 12, 1-61
- (1972). The name solid as primitive in projective geometry. Notre-Dame Journal of Formal Logic, 13, 95-97
Tarski, A. (1929). Les fondements de la gomtrie des corps (rsum). Ksiga Pamitkowa Pierwszego Polskiego
Zjazdu Matematycznego, Lww, 7-10.IX.1927 Supplement to Annales de la Socit Polonaise de
Mathmatique, Krakow, 1929 (pp. 29-33). Eng. transl. in A. Tarski (1956). Logic, semantics, metamathematics.
Papers from 1923 to 1938 (pp. 24-9). (Oxford: Clarendon Press)