Advertisement

Studia Logica

, Volume 3, Issue 1, pp 109–121 | Cite as

ЛОГИЧЕСКАЯ СИСТЕМА БЕЗ ОПЕРАТОРОВ

  • Г. СлупецкиИ
Article
  • 19 Downloads

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. 1.
    В логической литературе эта система носит название полной системы простой тоерии типов. Ее построил А. Таrsкi В работеPojęcie prawdy w językach nauk dedukcyjnych. Prace Towarzystwa Naukowego Warszawskiego. Wydział III. Nr 34 (1933). (Понятuе uстuны в языках ∂е∂уктuвных наук. Работы Варщавского научного общества, Отделение III). В § 2 моей статьи приводятся аксиомы и правила этой системы, отличающиеся лишь в нескольких, впрочем несущественных, пунктах от аксиом и правил, данных Тарским.Google Scholar
  2. 2.
    Эта работа появилась в томе I научного журнала „Studia Philosophica“. Львов 1935.Google Scholar
  3. 3.
    Описание системы Черча содержится в статье:Alonzo Church:A formulation of the simple theory of types. „The Journal of Symbolic Logic“.Tom 5. 1940. Система Куайна описана в статье: W. V. Quine:Logic based on inclusion and abstraction. „The Journal of Symbolic Logic“.Tom 2. 1937.Google Scholar
  4. 4.
    Описание языка системыS 1 дано в начале § 2.Google Scholar
  5. 6.
    A. Mostowski:Logika matematyczna, „Monografie Matematyczne“. Tom XVIII. Warszawa-Wrocław 1948. (Мaтемaтuческaя лог. Математические монографии). Эта книга содержит все сведения о системеS 1, которыМи я пользуюсь в этой статье.Google Scholar
  6. 7.
    Следрет заметить, что A.1 может быть сведено к слрчаю, когда переменная ф репрезентирует индивиды. Остальные слрчаи A.1 вытекают из тезиса исчисления предложений ϱ = ϱ ва основании правилаR 1, о котором говорится в § 2.Google Scholar
  7. 8.
    Выражение D.2 является схемой определения. Огределенный термин меняет смысл в зависимости от выражения α(φ) фигурирующего в D.2 направо от знака эквивалентности.Google Scholar

Copyright information

© Pánstwowe Wydawnictwo Naukowe 1955

Authors and Affiliations

  • Г. СлупецкиИ

There are no affiliations available

Personalised recommendations