'Okres Poznański' w Twórczości Romana Suszki
Tom 14 (2006), Artykuły
Tom 14 (2006)

'Okres Poznański' w Twórczości Romana Suszki

Artykuły
https://doi.org/10.14746/il.2006.14.7
Opublikowane 2007-06-16
Jerzy Pogonowski
Department of Applied Logic, Adam Mickiewicz University
PDF

Jak cytować

Pogonowski, J. (2007). ’Okres Poznański’ w Twórczości Romana Suszki. Investigationes Linguisticae, 14, 78–96. https://doi.org/10.14746/il.2006.14.7
ACM ACS APA ABNT Chicago Harvard IEEE MLA Turabian Vancouver

Pobierz cytowania

Endnote/Zotero/Mendeley (RIS) BibTeX

Liczba wyświetleń: 132

Liczba pobrań: 177

Abstrakt

We discuss the scientific achievements of one of the most prominent Polish logicians of the 20th century - ROMAN SUSZKO in the period when he was active at the University in Poznań (1946 - 1953), i.e. at the very beginning of his academic career. 
https://doi.org/10.14746/il.2006.14.7
PDF

Pobrania

Brak dostępnych danych do wyświetlenia.

Bibliografia

Ajdukiewicz, K. 1936. Die Definition. Paris: Actes du Congres International de Philosophie Scientifiąue V.

Archiwum Poznanskiego Towarzystwa Przyjaciół Nauk (Komisja Filozoficzna). Teczki: 435 oraz 438.

Archiwum Uniwersytetu Poznanskiego. Teczka: Suszko Roman, Wydział Matematyczno-Przyrodniczy, fizyka, 19371939, Sygnatura 103c/2215.

Archiwum Uniwersytetu Poznanskiego. Protokoły posiedzen Rad Wydziałów: Matematyczno-Przyrodniczego U.P. oraz Matematyki, Fizyki i Chemii.

Batóg, T. 19993. Podstawy logiki. Poznam Wydawnictwo Naukowe UAM,.

Bernays, P. 1937-1948. A system of axiomatic set theory. The Journal ofSymbolic Logic, II (1937), VI (1941), VII (1942, 1943), XIII (1948).

Bobrowski, D. 1951. Bezaksjomatyczne systemy rachunku zdaś. Praca magisterska, Uniwersytet Poznanski.

Carnap, R. 1937. The logical syntax oflanguage. London.

Fraenkel, A. 1927. Zehn Vorlesungen uber die Grundlagen der Mengenlehre. Leipzig und Berlin.

Fraenkel, A., Bar Hillel, Y. 1958. Foundations of set theory. Amsterdam: North Holland Publishing Company.

Fraenkel, A. 1961. Abstract set theory. Amsterdam: North Holland Publishing Company.

Fraenkel, A., Bernays, P. 1958. Axiomatic set theory. Amsterdam: North Holland Publishing Company.

Fraenkel, A., Bar Hillel, Y., Levy, A. 1973. Foundations of set theory. Amsterdam - London: North Holland Publishing Company.

Godel, K. The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory. Princeton: Annals of Mathematics Studies 3.

Grot, Z. (Ed.). 1971. 50 lat Uniwersytetu im. Adama Mickiewicza 1919-1969. Poznan.

Grot, Z. (Ed.). 1972. Dzieje Uniwersytetu im. Adama Mickiewicza 1919-1969. Poznan.

van Heijenoort, J. (Ed.) 1967. From Frege to Godel: A source book in mathematical logic, 1879-1931. Cambridge, Mass.

Hetper, W. 1938. Rachunek zdanś bez aksjomatów. Archiwum Towarzystwa Naukowego we Lwowie Dział III, Tom X, Lwów.

Hetper, W. 1936. Podstawy semantyki. Wiadomości Matematyczne XLIII, Warszawa.

Hilbert, D., Bernays, P. 1934 (I), 1939 (II). Grundlagen der Mathematik. Berlin.

Iwanicki, J. 1949. Dedukcja naturalna i logistyczna. Warszawa: Nakładem Polskiego Towarzystwa Teologicznego w Warszawie.

Kleene, S.C. 1952. Introduction to metamathematics. Amsterdam.

Kronika Uniwersytetu Poznanskiego za lata 1945-1955.

Łuszczewska-Romahnowa, S. 1973. Logika. In: G. Labuda (Ed.) Nauka w Wielkopolsce. Poznan: Wydawnictwo Poznanskie.

Mostowski, A. 1949. An undecidable arithmetical statement. Funadamenta Mathematicae 36, 143-164.

Mostowski, A. 1955. Współczesny stan badan nad podstawami matematyki. Prace matematyczne 1, 13-55.

Mostowski, A. 1954. Podstawy matematyki na VIII Zjezdzie Matematyków Polskich. Mysl Filozoficzna 2 (12), 327-329.

Mostowski, A. 1948. Logika matematyczna. Warszawa-Wrocław.

Myhill, J. 1952. The hypothesis that all classes are nameable. Proc. Nat. Acad. Sci. USA 38, 979.

Myhill, J. 1951. On the ontological significance of the Lowenheim-Skolem theorem. In: M. White (Ed.) Academic Freedom, Logic and Religion. The University of Pennsylvania Press.

Ne cedat academia. Kartki z dziejów tajnego nauczania w Uniwersytecie Jagiellomkim 1939-1945. Kraków: Wydawnictwo Literackie, 1975.

von Neumann, J. 1925. An axiomatization of set theory. In: [van Heijenoort 1967], 393-413.

Porebska, M., Suchon, W. 1991. Elementarne wprowadzenie w logike formalną. Warszawa: Panstwowe Wydawnictwo Naukowe.

Quine, W.V.O. 1941. Element and number. The Journal ofSymbolic Logic VI, 135-149.

Quine, W.V.O. 1946. Concatenation as a basis for arithmetic. The Journal ofSymbolic Logic XI, 105-114.

Quine, W.V.O. 1974. Logika matematyczna. Warszawa: PWN.

Skolem, T. 1922. Some remarks on axiomatized set theory. In: [van Heijenoort 1967], 290-301.

Słupecki, J. 1949. O właściwych regułach inferencyjnych. Kwartalnik Filozoficzny 18, 309-312.

Stonert, H. 1959. Definicje w naukach dedukcyjnych. Łódz: Zakład Narodowy im. Ossolinskich we Wrocławiu.

Tarski, A. 1933. Einige Betrachtungen uber die Begriffe der ro-Widerspruchsfreiheit und ©-Vollstandigkeit. Monatshefte fur Mathematik und Physik XL, 97-112.

Tarski, A. 1935. Methodologische Betrachtungen uber die Definierbarkeit der Begriffe. Erkenntnis V, 80-100.

Tarski, A. 1935a. Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica I, 261-405.

Wang, H. 1955. On denumerable bases of formal systems. In: Mathematical interpretation offormal systems. Amsterdam: North Holland Publishing Company, 57-84.

Wang, H. 1963. A survey of mathematical logic. Peking: Science Press; Amsterdam: North Holland Publishing Company.

Wolenski, J. 1993. Metamatematyka a epistemologia. Warszawa: Wydawnictwo Naukowe PWN.