Literatur
W literaturze logicznej system ten nosi nazwę pełnego systemu prostej teorii typów. Zbudował goA. Tarski w pracyPojęcie prawdy w językach nauk dedukcyjnych. Prace Towarzystwa Naukowego Warszawskiego, Wydział III. Nr 34 (1933). W § 2 mojej pracy podane są aksjomaty i reguły tego systemu, różniące się w paru zupełnie zresztą nieistotnych punktach, od aksjomatów i reguł podanych przez Tarskiego.
Praca ta ukazała się w tomie I „Studia Philosophica“, Lwów 1935.
Opis systemu Church'a zawiera artykuł:Alonzo Church,A formulation of the simple theory of types, „The Journal of Symbolic Logic“, tom 5, 1940. System Quine'a opisany [jest w artykule:W. V. Quine,Logic based on inclusion and abstraction. The Journal of Symbolic Logic, tom 2, 1937.
Opis języka systemuS 1 podany jest na początku § 2.
Wyrażeniami zdaniowymi nazywam funkcje zdaniowe i zdania.
A. Mostowski:Logika matematyczna. „Monografie Matematyczne“, tom XVIII, Warszawa—Wrocław 1948. Książka ta zawiera wszystkie informacje o systemieS, z których korzystam w tej pracy.
Dokładne sformułowanie reguły, określającej kształt wyrażeń, będących definicjami systemów logicznych Leśniewskięgo, zawiera praca:S. Leśniewski,Grundzüge eines neuen Systems der Grundlagen der Mathematik. „Fundamenta Mathematicae“, tom 14, 1929.
Rights and permissions
About this article
Cite this article
Słupecki, J. System logiczny bez operatorów. Stud Logica 3, 98–108 (1955). https://doi.org/10.1007/BF02067251
Issue Date:
DOI: https://doi.org/10.1007/BF02067251