|
Теорія Г3 являє собою субтеорію теорії Т \ (еквівалентно: Т \ є деяким продовженням (extension) 7 * 2), якщо (а) 7а є теорія, тобто безліч формул, дедуктивно замкнене, яким буде не всяке підмножина теорії Г) і (Ь) всі формули теорії Г2 є також і в теорії 7Ь але не навпаки. 2Іо можна виразити й інакше. Нехай 71 Н-Т2 буде об'єднанням теорій Г | і Г2 в сенсі Тарського Тобто Ті - {- Т2 є безліч логічних наслідків об'єднання теорій Тг і 7 * 2 * У такому випадку, ми можемо сказати, що [ 7J Т2 є субтеорія теорії 7 * 1 = «* / Г | + 7а« 7 * ь тобто Г2 нічого не додає до 7 \. Іншими словами, теорія Т2 є деяке безліч, включене в 1 A. Tarski, Logic, Semantics, Metamathematics, Clarendon Press, Oxford, 1956.
теорію 7 *!. Таким чином, теорія Л тягне за собою теорію Г2 без будь-яких додаткових гіпотез. Як бачимо, гомогенна редукція в сенсі Нагеля (див. § 1.2) збігається з включенням. Жодне з наведених вище визначень включення теорій не дає, однак, ефективного критерію для розпізнання включення теорій в загальному випадку, бо всі ці визначення мають справу з нескінченними множинами формул. Тому ми змушені звернутися до первинних базисам теорій, які представляють кінцеві множини. Насправді вони є впорядкованими л-кратними творами множин (див. $ 3.1). Дещо спрощуючи, можна сказати, що 7а буде субтеоріей 7 * 1, якщо, і тільки якщо (і), первинний оазис теорії 7 * 2 міститься в первинному базисі теорії Tt і (ІІ) кожна аксіома теорії Г2 є справедливою як формула теорії 7V Більш точно, Т2 називається субтеоріей Ті тільки в випадку (І), коли В (^) еВ (Т |) (див.
формулу [6]) і (і) коли для кожного основного предиката РТ У теорії 7г! якщо ЯГ (on , km) справедливо в Г2, то воно справедливо і у ТіУ загальному випадку дві системи відносин,? (Г]) і? (72), що не будуть подібними в сенсі Тарского1. Отже, ми не отримали необхідної умови того, що одна з них є підсистемою іншої, навіть якщо виконано ставлення субтеоріі та теорії в нашому розумінні. Тобто для того, щоб теорія 7 * 2 була субтеоріей 7 * 1, достатньо, але не необхідно, щоб В (Т2) було підсистемою В (Ті).
|
- Формально - неформально
формально, в документації воно не представлено. Вимога розробки плану дій для оцінюваного, як правило, є формальною вимогою. Проте ступінь формальності змінюється і залежить більшою мірою від взаємин між оцінюючим і оцінюваним, ніж від конкретної
- U. Вклад філософа?
включена в первинну теорію Тj. Справа тут йде зовсім інакше: принаймні одне поняття, що зустрічається в зводиться теорії 7 * 2, відсутня в безлічі основних понять зводить теорії Т \. Наприклад, термодинамічні поняття температури і ентропії не присутні серед основних понять кінетичної теорії газів. Тому з останньої теорії неможливо дедуктивно вивести термодинамічні
- 4. Висновок: "Позачасовість" і "чар" метафора.
або Фрейда). Гегель дає логічну метафору; Ніцше бачить християнство як перевернутий resentiment; Маркс - людини як homo economicus; Фрейд - культуру як сублімовану сексуальність. Та специфічна точка зору, з якої даними мислителям раптом відкриваються речі в несподіваному ракурсі - це точка зору особливої вдало прийшлася (вдало спрацювала - спрацювала сенс) метафори
- Остання ступінь узагальнення
ілізацій - їх співвідношення, їх протистояння, їх розвитку, їх взаємозв'язків - настільки складна проблема, що залежно від методики, від рівня дослідження результати можуть вийти не просто різними, але прямо протилежними. Тому навіть для отримання найбільш наближених висновків необхідно застосовувати редукцію, зводити безліч критеріїв до однієї спрощеної моделі. Марксизм однозначно
- 33.Законодавство про Адміністративні Правопорушення
включення їх у встановленому порядку до цього Кодексу застосовуються безпосередно. Положення цього Кодексу пошірюються и на Адміністративні Правопорушення, відповідальність за Вчинення якіх передбача законами, ще не включені до Кодексу. Питання Щодо адміністратівної відповідальності за Порушення Мітні правил регулюються Митний кодекс
- Логіцизм. Математика як створення логічно очевидних конструкцій
включений в обсяг предиката, Фреге перетворює на аналітичне висловлювання. Висловлення - аналітичне, якщо воно виводиться із загальних законів логіки і пов'язаних з ними визначень. Відповідно редукція Лейбніца до тотожної істині замінюється Фреге доказом аналітичного характеру розглянутого висловлювання. Довести, що математика є частина логіки, з логіцістской точки зору
- 88.Розмежування адміністратівніх проступків и злочінів.
Включення в тій чи Інший кодекс є ступінь суспільної небезпеки. Виключно КК встановлює Які Суспільно Небезпечні Діяння є злочином. Діяння может розглядатіся як АП, ЯКЩО воно не включені до КК. Склад будь Якого злочинна может буті встановлений Тільки законом. Склади АП - як законами, так и підзаконнімі актами. Джерело крімінальної відповідальності єдине. Це КК. Джерел адміністратівної
- Мистецтво сакральне, релігійне і світське.
Включене в систему релігійного культу, підпорядковане догматики, і мистецтво, що звертається до релігійних тем і проблем, але що розглядає їх у рамках більш широких антропологічних, історичних, соціальних конотацій. Такі, наприклад, фрески та скульптури Мікеланджело, кар-142 Л.М. Гавриліна твані А. Іванова, М. Ге, І. Крамського - їх неможливо зрозуміти, не будучи знайомим з
- 1. Заборони на формальності в Бернської конвенції
включено до Угоди ТРІПС в якості умови вступу країни до Світової організації торгівлі. Таким чином, на відміну від інституту патентної охорони, де світовий рівень охорони вимагає здійснення дорогих адміністративних процедур у різних країнах, світова охорона авторських прав виникає автоматично, коли створюється твір, що заслуговує такого режиму правової охорони
- 1. Абстрактність системного підходу
чи іншої редукції: або це редукція змісту математики до змісту арифметики, або це редукція математики до логіки, або, нарешті, редукція проблеми несуперечності теорії до несуперечності змістовної метатеоріі. При системному міркуванні ми не припускаємо ніякої редукції; ми розглядаємо тут математичну теорію як вдосконалює систему і судимо про її
|