Операція - приєднання - наслідок
Операція приєднання наслідків С S може бути абсолютно довільної. [1]
Нехай W - операція приєднання наслідків (логіка), яка визначається за допомогою схеми (L) з § II. Ми говоримо тоді, що - є лінгвістичним розширенням теорії ST. У розділах VII-X буде доведено, що для досліджуваних в цій книзі логік лінгвістичні розширення завжди є несуттєвими. [2]
У додатках ми пе будемо визначати операцію приєднання наслідків окремо для кожного формалізованого мови. [3]
Ми приймаємо наступне визначення интуиционистской логіки (Званої також интуиционистской операцією приєднання наслідків): це - операція приєднання наслідків, що визначається за допомогою схеми (L) з V, § 11, де безліч 1 складається з усіх тавтологію (ti) - ((ц) з V § 6 (стор. [4]
Затвердження (С) можна, звичайно, розглядати як визначення операції приєднання наслідків С формалізованих мовах першого і нульового порядку. [5]
Ми приймаємо наступне визначення интуиционистской логіки е 1 (званої також интуиционистской операцією приєднання наслідків): це - операція приєднання наслідків, що визначається за допомогою схеми (Ь) з V, § 11, де безліч 1 складається з усіх тавтологію (М - ([і) з V § 6 (стор. [6]
Символи п, будуть, як і раніше, позначати класичну і інтуїционістському операції приєднання наслідків. визначені в V, § 11 і в IX, § 1, відповідно. [7]
символи і 1 будуть, як і раніше, позначати класичну і інтуїционістському операції приєднання наслідків. визначені в V, § 11 і в IX, § 1, відповідно. [8]
Якщо вони відрізняються від класичної логіки, то вони мають назви не-класичними логіками або ж іеклассіческімі операціями приєднання наслідків. [9]
Якщо вони відрізняються від класичної логіки, то вони називаються некласичними логінами або ж некласичними операціями приєднання наслідків. [10]
Найбільш важливий наступний приклад логіки: двозначної (або: класичної) логікою буде називатися операція приєднання наслідків. визначається за схемою (L), де безліч I складено з усіх тавтологію (t) - (t 2) з § 6 (стор. [11]
Найбільш важливий наступний приклад логіки: двозначної (або: класичної) логікою буде називатися операція приєднання наслідків. визначається за схемою (Ь), де безліч I складено з усіх тавтологію (- (1 (2) з § 6 (стор. [12]
Ми приймаємо наступне визначення интуиционистской логіки (Званої також интуиционистской операцією приєднання наслідків): це - операція приєднання наслідків. що визначається за допомогою схеми (L) з V, § 11, де безліч 1 складається з усіх тавтологію (ti) - ((ц) з V § 6 (стор. [13]
Ми приймаємо наступне визначення интуиционистской логіки е 1 (званої також интуиционистской операцією приєднання наслідків): це - операція приєднання наслідків. що визначається за допомогою схеми (Ь) з V, § 11, де безліч 1 складається з усіх тавтологію (М - ([і) з V § 6 (стор. [14]
У V, § І ми ввели загальне поняття логіки як відображення , Яке кожному формалізованого мови У нульового або першого порядку зіставляє деяку операцію приєднання наслідків в У. [15]
Сторінки: 1 2