Аксіологія / Аналітична філософія / Антична філософія / Антологія / Антропологія / Історія філософії / Історія філософії / Логіка / Метафізика / Світова філософія / Першоджерела з філософії / Проблеми філософії / Сучасна філософія / Соціальна філософія / Середньовічна філософія / Телеологія / Теорія еволюції / Філософія (підручник) / Філософія мистецтва / Філософія історії / Філософія кіно / Філософія науки / Філософія політики / Філософія різних країн і часів / Філософія самоорганізації / Філософи / Фундаментальна філософія / Хрестоматії з філософії / Езотерика
ГоловнаФілософіяФілософія науки → 
« Попередня Наступна »
Бунте Марно. Філософія фізики: Пер, з англ. Вид. 2-е, стереотипне, 2003 - перейти до змісту підручника

3.1. Можливі формальні відносини

Якщо дивитися з чисто формальної (логіко-математичної) точки зору, то дві зіставні теорії можуть перебувати в наступних відносинах: (і) ізоморфізм, або з більш загальної точки зору гомоморфизм; (І ) логічна (але не обов'язково семантична) еквівалентність, (ІІІ) включення і (iv) часткове перекривання. (Якщо перекривання є порожнім, то теорії непорівнянні.) Для того щоб виявити, яка з цих ситуацій має місце, розглянуті теорії юлжни бути аксіоматизована, бо в іншому разі не відомо точно, що порівнюється.

Тепер перше, що треба зробити, - це виявити первинний базис або безліч основних (невизначуваних) понять теорії. Якщо брати до уваги елементарні теорії, чи теорія першого порядку, яких и фактуальной науці недостатньо, то вихідний базис шбой фактуальной теорії Т, виражався на мові еоріі множин, складається з впорядкованої л-ки таких понять: безлічі 2 і п - 1 основних специфічних і взаємонезалежних (взаємно неопреде-шемих) предикатів Pi.

Безліч 2, яке іноді іредставляет собою топологічний твір двох їлі більш множин, являє собою клас референ-ів теорії 7 \ тобто сукупність систем, щодо соторих передбачається, що вони описуються тео-

ией Т, І m-місний предикат РТ, який позначає-е властивості членів 2. Точніше кажучи, еслй ait о2 »- - -» від

містяться в 2, то Р? (Оь <Комерсант, - - -> or »») або справед-шви, або несправедливі для Г, а якщо так і якщо теорія Т фактуально істинна, то і формула зберігає справедливість для самих речей. (Ця характеристика підстав фактуальной теорії наївна, тому що включає по-іятіе повної істини. Але її поширення на випадок [астічной істини, який є більш реалістичним, ми тут розглядати не будемо.

)

Таким чином, якщо дано дві теорії, Тх і 7г »їх систематичне порівняння починається з зіставлення їх первинних базисів

[6) У {ТХ) = {'ЬРХ) і В (Т2) = (&% Р2),

де Р позначає тепер цілі зв'язки (фактично - послідовності) предикатів.

« Попередня Наступна »
= Перейти до змісту підручника =
Інформація, релевантна " 3.1. Можливі формальні відносини "
  1. Формально - неформально
    формально, в документації воно не представлено. Вимога розробки плану дій для оцінюваного, як правило, є формальною вимогою. Проте ступінь формальності змінюється і залежить більшою мірою від взаємин між оцінюючим і оцінюваним, ніж від конкретної
  2. 1. Заборони на формальності в Бернської конвенції
    формальностей ". Майже всі країни світу приєдналися до Бернської конвенції. Дотримання положення Конвенції про відсутність яких би то не було формальностей включено до Угоди ТРІПС в якості умови вступу країни до Світової організацію. Таким чином, на відміну від інституту патентної охорони, де світовий рівень охорони вимагає здійснення дорогих адміністративних
  3. Формально-матеріальний склад злочинна
    формальним. Напр.: згвалтування, вчинения Особливо небезпечний рецідівістом, або таке, что спричинило особливо тяжкі Наслідки, а такоже згвалтування малолітньої (ч.4 ст.117): Якщо в спеціфічну конструкцію особливо кваліфікованого складу згвалтування входять особливо тяжкі Наслідки, ВІН розглядається як матеріальний; ЯКЩО ж ця конструкція особливо тяжких НАСЛІДКІВ НЕ містіть - згвалтування, вчинения
  4. 1. Розумова (абстрактні) форма логічного.
    формальна, яка прагне уникнути протиріччя за законом "виключення третього", що говорить: з двуж контрадікторних думок про предмет одне неминуче істинно, інше - помилково, третій - не дано. Необхідність формальної логіки полягає в тому, що завдяки її правилами ми мислимо точно і виразно. При всій своїй точності, абстрактні поняття несуть у собі обмеженість
  5. Е. Формальні вимоги до заявки на патентування
    Е. Формальні вимоги до заявки на
  6. Позитивно-розумна форма логічного.
    формальна логіка), але на відміну від формальної діалектична логіка є спосіб "сходження" думки (знання) "від абстрактного до конкретного", тобто спосіб побудови конкретно-цілісного "діалектичного поняття", що вбирає односторонньо-абстрактні "загальні поняття "формальної
  7. ПРЕДМЕТ ЛОГІКИ
    формальної правильності. Формальна правильність означає відповідність мислення (міркування, докази) відомим фіксованим правилам, дотримання яких забезпечує правильність переходу від одних висловлювань до інших. Предметом логіки є вивідний знання, тобто знання, отримане з раніше перевірених істин у відповідності з певними законами. Логіку не цікавить в кожному
  8. 8. Догматичний (формально-логічний) метод в юр. теорії і практиці.
    формально-логічний, системно-функціональний, метод конкретних соц.ісследованій, статистичний метод і т.д. Фор.-логічний. явл-ся одним з традиційних і найбільш використовуваних. Він складається в тому, що він дозволяє істинні висновки, до яких приходить суб'єкт юридичної пізнання, наділити в логічно правильну, доказову форму. В юр.науке і практиці традиційно застосовуються формально-логічні
  9. Аналогія і додатковість
    формальної аналогії між квантово-механічним рівнянням стану і класичними хвильовими рівняннями. Це висновок за аналогією, а саме за аналогією формального виду 1. На початку розвитку квантової теорії ця інтерпретація розуміється не метафорично, а буквально, тобто формальна аналогія сприймалася як покажчик аналогії 1 Роз'яснення па приводу понять формальної н субстанциальной
  10. 2. ВІДПОВІДЬ ВІД РОБОТА (Йейл)
    можливість "бачити", він мав би руки і ноги, які давали б йому можливість "діяти", і все це управлялося б його комп'ютерним "мозком". Такий робот, на відміну від комп'ютера Шенка, володів би справжнім розумінням і іншими ментальними станами ». Перше, на що слід звернути увагу у відповіді від робота , ось що: ця відповідь мовчазно погоджується з тим, що розуміння - питання не
  11. Предметний покажчик
    формальне 18 Достовірність 40 Індукція - повна 177 - трансфинитное 207 Інтуіціонізм 186 Істина - гносеологічна 98 - онтологічна 179 - семантична 150 - формальна (логічна) 150 - фактуальная 150 - емпірична 150 Конвенціоналізм 216 Конструктивізм 157 Логіка - математична 78 - предметна 113 - реальна 78, 115, 117-121, 124, 145 Метатеорія 199, 200, 203,
  12. 10. Нормативний, соціологічний і філософський підходи до права. Визначення права.
    формально-визначеним, загальнообов'язковим і абстрактним. Соціологічний - право - це встановлені правила поведінки , кіт регулюють суспільні відносини. При нормативному підході його праворозуміння право відносять до нормативних систем суспільства. При цьому виявляються ознаки, властиві соціальним нормам взагалі (звичаєм, моралі, релігії), і специфічні особливості права, які відрізняють
енциклопедія  бабка  баранина  биточки  по-угорськи