Название: Принципи побудови формальних теорій
Вид работы: реферат
Рубрика: Астрономия
Размер файла: 16.4 Kb
Скачать файл: referat.me-4848.docx
Краткое описание работы: Реферат на тему: Принципи побудови формальних теорій Математична логіка як самостійний розділ сучасної математики сформувався відносно нещодавно - на рубежі дев’ятнадцятого і двадцятого століть. Виникнення і швидкий розвиток математичної логіки були пов’язані з так званою кризою основ (засад) математики, одним з проявів якої є відомі парадокси або антиномії канторівської теорії множин.
Принципи побудови формальних теорій
Реферат на тему:
Принципи побудови формальних теорій
Математична логіка як самостійний розділ сучасної математики сформувався відносно нещодавно - на рубежі дев’ятнадцятого і двадцятого століть. Виникнення і швидкий розвиток математичної логіки були пов’язані з так званою кризою основ (засад) математики, одним з проявів якої є відомі парадокси або антиномії канторівської теорії множин.
Головним предметом у дослідженнях, присвячених «ліквідуванню» кризи і «рятуванню» математики, стали принципи або правила побудови математичних тверджень і математичних теорій, зокрема, пошук відповіді на питання типу: «як повинна бути побудована теорія, щоб у ній не виникало суперечностей або антиномій?», «які властивості повинні мати методи доведення, щоб їх можна було вважати строгими?» тощо.
У математиці з античних часів існував зразок систематичної і строгої побудови теорії - геометрія Евкліда , в якій усі вихідні положення формулюються явно, у вигляді аксіом, а всі твердження, істинні в цій теорії, - теореми - виводяться з цих аксіом за допомогою послідовностей логічних міркувань, що називаються доведеннями.
Однак при побудові більшості наступних математичних теорій математики, як правило, не вважали за потрібне явно виділяти всі вихідні принципи і чітко формулювати методи конструювання доведень; критерії строгості доведень та очевидності тверджень у математиці в різні часи були різними. Відтак, це призводило час від часу до виникнення криз і необхідності перегляду основ тієї чи іншої теорії.
У кінці ХIХ століття в зв’язку з виникненням кризи в канторівській теорії множин виникла потреба перегляду загальних принципів організації математичних теорій. Це привело до створення нової галузі математики - засад математики .
Однією з фундаментальних ідей, на які спираються дослідження із засад математики, є ідея формалізації теорій , тобто послідовного проведення аксіоматичного методу побудови теорії. При цьому не припускається використовувати будь-які припущення про об’єкти теорії, окрім тих, що виражені явно у вигляді аксіом. Аксіоми розглядають як формальні послідовності символів (вирази, формули або слова), а методи доведення - як методи одержання одних виразів з інших за допомогою операцій над символами.
Такий формальний алгебраїчний підхід гарантує чіткість і однозначність вихідних (початкових) тверджень та коректність і однозначність виводу. Однак може скластися враження, що осмисленність (зміст, інтерпретація або семантика) понять і тверджень у формалізованій теорії не відіграють жодної ролі. Зовні це так і є; однак, насправді, і аксіоми, і правила виводу прагнуть означати так, щоб побудована за їхнью допомогою формальна теорія мала б змістовний сенс.
У найзагальнішому вигляді формальну теорію T (інший термін - числення ) будують таким чином.
1. Означають набір основних символів - алфавіт теорії.
2. Конструктивно (як правило, індуктивно) означають множину формул , або правильно побудованих виразів, яка утворює мову теорії.
3. Виокремлюють підмножину формул, які називають аксіомами теорії.
4. Задають правила виводу (виведення ) теорії.
Правило виводу R (F 1 ,F 2 ,...,Fm ,G ) - це відношення (або операція) на множині формул.
Якщо формули F 1 ,F 2 ,...,Fm ,G знаходяться у відношенні R , то формула G називається безпосередньо вивідною з формул F 1 ,F 2 ,...,Fm за правилом R .
Часто правило виводу R (F 1 ,F 2 ,...,Fm ,G ) записують у вигляді
F 1 ,F 2 ,...,Fm .
G
Формули F 1 ,F 2 ,...,Fm називають припущеннями , посилками або гіпотезами правила R , а формулу G - висновком , наслідком або вислідом .
Виведенням (виводом , вивідністю ) формули B з формул A 1 ,A 2 ,...,An називають послідовність формул F 1 ,F 2 ,...,Fm таку, що Fm =B , а будь-яка формула Fi , i =1,2,...,m є:
1) або аксіомою;
2) або однією з початкових формул A 1 ,A 2 ,...,An ;
3) або безпосередньо вивідною з формул F 1 ,F 2 ,...,Fi -1 (або будь-якої їх підмножини) за одним з правил виведення.
Якщо існує виведення формули B з формул A 1 ,A 2 ,...,An , то кажуть, що B є вивідною з A 1 ,A 2 ,...,An і позначають цей факт так: A 1 ,A 2 ,...,An |-B . Формули A 1 ,A 2 ,...,An називають посилками або гіпотезами виведення. Перехід у виведенні від формули Fi -1 до Fi називають i -м кроком виведення.
Доведенням формули B у теорії T називають виведення B з порожньої множини формул, тобто виведення, в якому як початкові формули використовують тільки аксіоми теорії.
Формула B , для якої існує доведення, називається формулою довідною (вивідною ) у теорії T , або теоремою теорії T ; факт довідності формули B позначають |-B .
При вивченні формальних теорій існує два типи тверджень:
1) твердження самої теорії або її теореми;
2) твердження про теорію (про властивості її теорем, властивості доведень тощо).
Перші є елементами (словами, виразами, формулами) внутрішньої мови теорії, а другі - зовнішніми і формулюються у термінах мови, зовнішньої по відношенню до теорії і званої метамовою теорії; самі ці твердження називають метатеоремами .
Наприклад, якщо побудовано виведення формули B з A 1 ,A 2 ,...,An , то твердження «A 1 ,A 2 ,...,An |-B » є метатеоремою; це твердження можна розглядати, як додаткове правило виводу, яке можна додати до початкових правил і використовувати у подальших конструюваннях доведень.
Похожие работы
-
Поділ суджень за модальністю
КОЛОМИЙСЬКИЙ КОЛЕДЖ ПРАВА І БІЗНЕСУ Реферат на тему: “Поділ суджень за модальністю” Виконала студентка групи Ю-22 Кінащук Оксана Викладач: Ганущак М. В.
-
Суть аксіоматичного методу
Реферат на тему: Суть аксіоматичного методу 1.1 Що таке математика? Математика - це наука про числа й фігури, скажете Ви. Адже арифметика вивчає дії над числами. Геометрія – властивості геометричних фігур. В алгебраїчних виразах змінні теж позначають числа.
-
Роль цікавих задач при вивченні курсу алгебри та початків аналізу
Реферат на тему: Роль цікавих задач при вивченні курсу алгебри та початків аналізу. Шкільний курс математики відіграє важливу роль в системі загальноосвітньої підготовки учнів, формування в них діалектико-матеріалістичного світогляду, готовності до активної участі в сфері матеріального виробництва.
-
Історичні етапи розвитку логічного знання логіка Давньої Індії логіка Давньої Греції
Реферат на тему: Історичні етапи розвитку логічного знання: огіка Давньої Індії, логіка Давньої Греції Розвиток логіки впродовж багатьох століть відбувався у двох світових центрах зародження цієї науки — в
-
Числення висловлень і алгебра висловлень Основні проблеми числення висловлень
Реферат на тему: Числення висловлень і алгебра висловлень. Основні проблеми числення висловлень. Довільну формулу F числення висловлень можна змістовно інтерпретувати як складене висловлення, істинність або хибність якого залежить від істинності елементарних висловлень, що до нього входять.
-
Елементи комбінаторики 2
ЕЛЕМЕНТИ КОМБІНАТОРИКИ § 1. Поняття множини. Операції над множинами Поняття множини належить до первісних понять математики, якому не дається означення Множину можна уявити собі як сукупність деяких предметів, об'єднаних за довільною характеристичною ознакою Наприклад, множина учнів класу, множина цифр десяткової нумерації (0, 1, 2, 3, 4, 5, 6, 7, 8, 9), множина натуральних чисел, множина зернин у даному колосі, множина букв українського алфавіту, множина точок на прямій
-
Боголюбов Микола Миколайович - український математик механік фізик
Реферат На тему: Боголюбов Микола Миколайович - український математик, механік, фізик Народився у 1909 р. в Нижньому Новгороді. Після завершення семирічки самостійно займався математикою і фізикою. У віці 17 років закінчив аспірантуру при Академії наук України. В 1934—1958 рр. працював у Київському університеті (з 1936 р. — професор).
-
Предмет і завдання методики початкового навчання математики
Методика викладання математики—педагогічна наука про мету, зміст, методи, форми і засоби передачі учням математичних знань, про виховання в процесі навчання.
-
Методологічна функція формальної логіки
Реферат на тему: МЕТОДОЛОГІЧНА ФУНКЦІЯ ФОРМАЛЬНОЇ ЛОГІКИ План Метод і методологія. Логічні методи дослідження (пізнання). 3. Метод формалізації Метод і методологія
-
Множини і відношення
Пошукова робота З вищої математики на тему: МНОЖИНИ І ВІДНОШЕННЯ 1. Коротка історична довідка Основи теорії множин були закладені відомим німецьким математиком Георгом Кантором у другій половині минулого століття. Поява теорії множин була зустрінута з ентузіазмом багатьма авторитетними математиками.