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

3. Логічне проходження

Розглянемо фундаментальне поняття логічного слідування, яке зазвичай вважається універсальним для всіх логічних мов. Тим часом це поняття має дуже різні характеристики в логіці першого порядку і логіці другого порядку. У певному сенсі два ці логіки, або два логічних мови відрізняються один від одного як раз поняттям прямування, властивим кожному з мов. Глибинне відмінність полягає в різних цілях логічного ісследованія178.

Насамперед відзначимо, що є два поняття прямування: семантичне, або модальне, і дедуктивний. Семантичне по-нятие прямування визначається таким чином: пропозиція Ф є логічний наслідок безлічі / "пропозицій, якщо неможливо, щоб при істинності кожного члена Г було помилковим Ф. Іншими словами, Ф істинно при кожній інтерпретації, при якій кожен член Г правдивий. Зазвичай таке поняття слідування покладається більш інтуїтивним і використовується в початкових курсах з логіки (див., наприклад, «канонічний» текст С. Кліні Математична J логіка, іде теорія доказів випереджається теорією моделей). Jj Дедуктивное поняття слідування визначається наступним обра-1 зом: Ф є наслідок Г, якщо є висновок Ф з посилок в Г. Тео-3 рема повноти полягає в тому, що пропозиція Ф першого по-1 рядка є теоретико-доказове наслідок множини. Гпредло-1 жений першого порядку, якщо і тільки якщо, Ф є теоретико-мо »Я слушна наслідок Г. Таким чином, для мови першого порядку се-і мантическое слідування збігається за обсягом з дедуктивним. | |

Саме повнота логічного числення, яка вважаєте» ї деяким «ідеалом », є причиною ототожнення двох ПО * - I нятій логічного слідування. Тим часом семантична концепція прямування покликана виразити сенс, в якому теореми деякої математичної теорії представляють теорію про певний роді об'єктів, - скажімо, теореми арифметики - теорію про натуральних числах. Аксіоми теорії повинні при цьому характеризувати ту область математичних об'єктів, яка була цілі формалізації. Іншими словами, інтерпретація формальної Теог рії повинна бути навмисної, і, більше того, всі інтерпретацій J подібного роду повинні бути ізоморфними, оскільки вони гово-1 рят «про одне й те ж ». Тільки так гарантується збереження ис-^ твані, яке є метою логічного слідування. Що касает-'Ц ся дедуктивного поняття слідування, то воно покликане прояснить *), в якому випадку математики вважають той чи інший висновок« законним », і робиться це за рахунок виявлення посилок ув'язнення.

Співвідношення двох видів логічного проходження, згідно Дж. Коркорану179, таке: якщо Ф є наслідок Г'семантичному сенсі, то укладання Ф «вже логічно неявно присутній» в посил *, ках . У певному сенсі висновок буде зайвим, тому що при цьому не виходить нової інформації. Це поняття різко контрастує з дедуктивним, тому що є можливість того? що Ф неявно міститься в Г, навіть якщо дедукція Ф з / "неможлива. Припустимо, що доведено, що Ф є семантичне наслідок Г, але доказ включає в себе деякий занурення структур Г в багатшу структуру. Така ситуація цілком звичайна для математики. У подібних випадках може бути показано, що теорема є семантичне наслідок відповідних аксіом другого порядку, але не дедуктивное слідство. У типовому випадку теорема є дедуктивное наслідок цих аксіом разом з деякими фактами щодо фонової теорії. Нехай? будуть принципами фонової теорії, використовуваної для встановлення Ф. Тоді математик встановлює (Г + Е) КФ, і це показує, що Г \ = Ф і, ймовірно, що Ф не виправдано на підставі тільки лише Г. Ймовірно навіть, що Г І- Ф. Наведений приклад показує, що відмінність двох концепцій логічного проходження тісно пов'язано з відмінностями логіки першого порядку і логіки другого порядку. Але останнє відмінність саме по собі важливо і має й інші корені. Дійсно, при розгляді проблем підстав математики чи не найбільш важливою обставиною є мова формалізації змістовних математичних тверджень. Йдеться про перевагу мови першого порядку у порівнянні з мовами вищих порядків, зокрема, мови другого порядку. Стандартний погляд з цього питання представлений знаменитим афоризмом В. Куайна: «Логіка другого порядку є теорією множин в овечій шкурі» (див., наприклад, його Філософію логікі180). Апеляція до «вовку в овечій шкурі» виправдана насамперед з точки зору онтологічних припущень: неясні онтологічні інтенсіональні сутності мови другого порядку менш кращі, ніж явні екстенсіональності онтологічні припущення теорії множин. Звичайно, такі переваги виправдані лише в тій мірі, в якій справедливий інший афоризм Куайна: «Ні сутності без тотожності» (англійський варіант ще більш афористичний: «No entity without identity»). Слід нагадати, що в Principia Mathematica Рассела і Уайтхеда підстави математики сформульовані в мовах вищих порядків, а чіткий поділ ролей мови першого порядку і мов вищих порядків можна виявити в роботі Основи теоретичної логіки Гільберта і Аккермана 1928

Часто навколо багатьох філософських питань складається «канонічне уявлення», іноді мало відповідає реальному становленню питання. Тому бажано повернення до витоків - або шляхом чисто історичного розгляду, або більш ретельного аналізу посилок цього подання. Саме така ситуація з перевагою мови першого порядку.

Остаточно важливість мови першого порядку як знаряддя побудови підстав математики стала ясна після докази Геделем в 1930 р. теореми повноти для логіки першого порядку. Повнота і справді є у вищій мірі бажаною властивістю формальної системи, в якій формулюються змістовні істини математики. Відсутність цієї властивості у мови другого порядку підірвало претензії цієї мови на те, щоб бути базисним мовою підстав математики. Сьогодні стандартний погляд полягає в тому, що підстави математики представлені логікою першого порядку і теорією множин. Цей погляд, як вже було сказано, пов'язаний з багатьма філософськими уявленнями. Одне з них знову-таки пов'язано зі стратегією поступового збільшення онтологічної тяжкості тверджень у математиці Куайна; Логіка першого порядку не має екзистенціальних тверджень ^ а теорія множин поступово вводить такі твердження в математику. У Теорії множин і її логікою Куайн спочатку навіть вводите віртуальні класи перед тим, як зробити справжні екзистенційні утвержденія181.

Ці твердження про існування все більш обширних множин стають все більш далекими від стандартів виправдання екзистенціальних тверджень, так що сама куайновская стратегія поділу на «екзистенціальну частина" теорії множин і «неекзістенціальную частина» логіки першого порядку виявляється сомни -, тельной. Тому логіка другого порядку з її екзистенційними твердженнями інтенсіональних сутностей може виявитися не менш плідним підставою математики. До того ж з'являються досить цікаві мови, які не так-то легко класифікувати з точки зору дихотомії «перший порядок / другий поря-г док». Так, «дружня незалежна логіка», запропонована Я. Хінтіккі в якості плідної знаряддя побудови підстав математики, володіє виразними можливостями логіки другого порядку, представляючи в той же час по суті своїй логіку першого порядка182.

« Попередня Наступна »
= Перейти до змісту підручника =
Інформація, релевантна " 3. Логічне слідування "
  1. Теорія до 23 завданню: Ставлення логічного слідування.
    Логічних задач необхідно з'ясувати: чи є одна формула логічним наслідком інших. Визначення: З формули Ф1 логічно випливає формула Ф2 тоді і тільки тоді, коли їх імплікація (Ф1 ^ Ф2) - є логічним законом. Наприклад, нехай формула Ф1: АЛВ, а Ф2: АvВ. Визначити, чи випливає з Ф1 формула Ф2. Складемо таблицю істинності для формули (АЛВ) ^ (АvВ): Порядок операцій ^ 1 3 2
  2. Ставлення логічного проходження в логіці предикатів
    логічного проходження прийнято визначати наступним чином. Нехай а і Д як і колись, позначають відповідно безлічі формул, що утворюють посилки і висновок докази в ЛП. Якщо а і р але містять вільних входжень предметних змінних, тоді висновок р логічно випливає з посилок а, якщо і тільки якщо неможлива (суперечлива) інтерпретація, в якій а істинно, а висновок
  3. Види умовиводів
    логічної операції тісно пов'язане з поняттям логічного слідування. Враховуючи цей зв'язок, прийнято розрізняти правильні і неправильні умовиводи. Умовивід, що представляє перехід від посилок АЬ ..., АП (п> 1) до укладення В, є правильним, якщо між посилками і укладанням є ставлення логічного прямування, тобто У є логічним наслідком Аі, ..., Ап (п> 1). В іншому
  4. Синтаксис логіки предикатів
    логічних спілок. 7.1. Знак логічного заперечення: «невірно, що». 7.2. Знак кон'юнкції: «і». & 7.3. Знак слабкою диз'юнкції: «або». V 7.4. Знак імплікації: «якщо ..., то». 7.5, Знак еквівалентності: «якщо і тільки якщо». = 7.6. Знак сильної диз'юнкції: «або ..., або». ? Синтаксис ЛП представляє розширення синтаксису ЛВ і включає перелік визначених знаків алфавіту ЛП (табл. 1) і
  5. 2. Droit de suite, або право слідування
    слідування ". Правом проходження називається невідчужуване право художника отримувати певний відсоток від перепродажів свого твору. Бернською конвенцією право слідування допускається, але не робиться обов'язковим. З цим правом рідко доводиться мати справа в англомовних країнах, але в інших країнах воно досить поширене. Аргументація на користь цього права полягає в тому, що той,
  6. Запитання для повторення
    логічного слідування? Як перевірити, чи має воно місце в умовиводах? Що таке безпосередні умовиводи? Назвіть види безпосередніх умовиводів. Назвіть правила посилок і правила термінів простого категоричного силогізму. Що таке ентимема? Назвіть необхідні операції з відновлення ентімем. Чим відрізняється прогресивний полісіллогізм від
  7. Поняття логічної форми
    логічних змінних і логічних констант. В якості логічної змінної може виступати будь-яка буква латинського алфавіту: А, В, С, р, q. Константи, або логічні постійні, виступають способом зв'язку логічних змінних і виражаються словами: «все», «деякі», «суть», «і», «або», «або, або», «якщо ..., то» і т. д. Для позначення логічних констант вживаються символи, що дозволяє
  8. 2.5. Складні судження та їх види. Поняття про логічне союзі
    логічних спілок: кон'юнкції, диз'юнкції, імплікації, еквівалентності і заперечення. Логічний союз - це спосіб з'єднання простих суджень у складне, при якому логічне значення останнього встановлюється відповідно до логічними значеннями складових його простих суджень. Особливість складних суджень полягає в тому, що їх логічне значення, тобто істинність або хибність,
  9. ЕКЗАМЕНАЦІЙНІ ПИТАННЯ
    логічної форми та логічного закону. Мислення і мова, основні аспекти мови: семантика, синтаксис, прагматика. Основні закони логіки. Поняття. Зміст і обсяг поняття, відношення між ними . Види понять. Поняття роду та виду. Операції обмеження й узагальнення понять. Відносини між поняттями. Операції над класами: об'єднання (додавання), перетин (множення), віднімання (різницю),
  10. Запитання для повторення
    логічна структура атрибутивних суджень і суджень стосунки? Перелічіть і охарактеризуйте властивості бінарних відносин. Перелічіть і охарактеризуйте відносини між судженнями по логічному квадрату. Що таке логічний союз? Назвіть види складних суджень. Яке ставлення судження і висловлювання? За допомогою чого визначається логічне значення
  11. 4.3. Складні судження
    логічних спілок, називаються складними. Основними логічними союзами є: кон'юнкція - логічний союз «і» має чисто сполучне значення, невиключає (слабка) диз'юнкція - логічний союз «або» має сполучно-розділову значення, що виключає (сильна) диз'юнкція - логічний союз «або ..., або ...» має чисто розділову значення, імплікація - логічний союз «якщо ...
  12. 2.6. Вираз одних логічних зв'язок допомогою інших
    логічні союзи взаємозамінні, тобто рівносильні і виразіми через інші логічні союзи. Наприклад: (р Zj q) = (р / q) - імплікація через диз'юнкцію; (р Zj q) = (р Л q) - імплікація через кон'юнкцію; (р Z) ц) = (q Z) р) - імплікація через імплікації, так званий закон простий (зліва -направо) і сильною (справа-наліво) контрапозиции; (р л q) = (р vq) - кон'юнкція через диз'юнкцію; (р / Cj)
© 2014-2022  ibib.ltd.ua