Постулат

(від лат. postulatum - вимога) пропозицію (умова, допущення, Правило) , в силу будь-яких міркувань "прийняте" без докази, але , як правило, з обґрунтуванням, причому саме це обгрунтування і служить зазвичай аргументом на користь "прийняття" П. Характер "прийняття" може бути різного при м: пропозиція приймається в якості істинного (як в змістовних аксіоматичних теоріях, см. Аксіоматичний метод) або в якості доказуемого (як у формальних аксіоматичних системах, див. там же); або деякі приписи приймаються "до виконання" в якості правил освіти формул деякого обчислення (Див. Обчислення) або в якості правил виведення (Див. Правило виводу) обчислення, що дозволяють отримувати теореми з аксіом; або деякі абстраговані від даних багаторазового досвіду "принципи" (типу, наприклад, "законів збереження") кладуться в основу фізичних і ін. природничо-наукових теорій; або деякі (наприклад, правові) встановлення, приписи, норми отримують (в результаті інших установлений) статус законів; або, нарешті, будь-які релігійні, філософські, ідеологічні догмати кладуться в основу певних систем поглядів. При всій різнорідності цих прикладів загальним для них є та обставина, що, не шкодуючи доводів, покликаних переконати в розумності ( "правомірності") пропонованих нами П., Ми в кінцевому рахунку просто вимагаємо (звідси і етимологія слова "П.") цього прийняття; в таких випадках кажуть, що висуваються на цю роль пропозиції постулюється. Природно, що у настільки широкого і багатого відтінками сенсу поняття відомо багато конкретних, більш спеціальних і тому вельми різних реалізацій. Ось перелік деяких з найбільш уживаних. 1) Евклід , якому належить перше з відомих систематичних аксіоматичних описів геометрії, розрізняв П. (грец. Слово αιτηματα), які стверджують здійсненність деяких геометричних побудов, і власне аксіоми, які стверджують (що відзначають!) Наявність деяких певних властивостей у результатів цих побудов; крім того, аксіомами він називав приймалися їм без докази пропозиції чисто логічного (а не геометричного) характеру (наприклад, "частина менше цілого" і т. п.). Ця двояка (і не цілком чітка) лінія розмежування близьких понять продовжувалася і далі. 2) Терміни "аксіома" і "постулат" нерідко вживалися і вживаються як Синоніми ; зокрема, знаменитий V постулат Евкліда (про паралельних) в гильбертовськой аксіоматиці іменується "аксіомою паралельності". 3) В той же час багато авторів (див., Наприклад, А. Черч, Введення в математичну логіку, пер. З англ., Т. 1, М., 1960, §§ 07 і 55) називають аксіомами "чисто логічні" пропозиції , прийняті в даній теорії без доказу, на відміну від П., що відносяться до специфічних понять даної (зазвичай математичної) теорії. 4) Згідно з давньою традицією, також прийнятої в математичній логіці (див., Наприклад, С. К. Кліні, Введення в метаматематику, пров.з англ. , М., 1957, §§19 і 77), до П. формальної системи (обчислення) відносять аксіоми, записані на її власному ( "предметному") мовою, і правила виводу, що формулюються на Мотузки даної теорії (і що входять тому в її метатеорію (Див. Метатеорія)) . 5) П. називають такі твердження дедуктивних і особливо полудедуктівних наук, довести які взагалі не можна хоча б тому, що підтверджують їх доводи і факти носять виключно досвідчений, індуктивний характер (див. Індукція, Неповна індукція) ; до того ж в ряді таких випадків мова йде про затвердження еквівалентності деякого інтуїтивно ясного, але чітко не формульованого затвердження або поняття з твердженням або поняттям, що є експлікацією (уточненням) першого і тому що формулюються на принципово вищому щаблі абстракції (приклади першого типу : основні принципи термодинаміки, принцип сталості швидкості світла і граничного її характеру; приклад другого типу - т. зв. теза Черча в теорії алгоритмів). Літ. см. при статтях Аксіоматичний метод, Правило виводу.

Велика радянська енциклопедія. - М.: Радянська енциклопедія. 1969-1978.

Популярні Пости

Рекомендуємо, 2018

Мінна війна
Велика радянська енциклопедія

Мінна війна

1) Вид бойових дій військ в 18 - початку 20 ст. , Які велися підземно-мінним способом при облозі і обороні міст, фортець та інших укріплених пунктів (див. Підземно-мінна боротьба, Галерея мінна). 2) Умовний термін, під яким розуміють бойові дії на морі з широким використанням мінної зброї. У міжнародному праві правила застосування мінного зброї (автоматичних морських підводних хв) визначено 8-й Гаазької конвенції 1907 "Про постановку підводних, автоматично вибухають від зіткнення мін", підписані
Читати Далі
Полірування
Велика радянська енциклопедія

Полірування

(Нім. Polieren, від лат. polio - роблю гладким, полірую) 1) в машинобудуванні і приладобудуванні - Обробна обробка виробів для підвищення класу чистоти їх поверхні (до 12-14- го класів), доведення виробів до необхідних розмірів, отримання певних властивостей поверхневого шару, а також для прид ания їх поверхні декоративного блиску.
Читати Далі
Пітеліно
Велика радянська енциклопедія

Пітеліно

Селище гір. типу, центр Пітелінского району Рязанської обл. РРФСР. Розташований в 30 км до С. від ж. -д. станції Сасово (на лінії Рязань - Розівка). Сироробний завод. Велика радянська енциклопедія. - М.: Радянська енциклопедія. 1969-1978.
Читати Далі
Затвердження вартості АКТИВІВ ЗА СПАДКУВАННЯ
Фінансовий словник

Затвердження вартості АКТИВІВ ЗА СПАДКУВАННЯ

Затвердження вартості АКТИВІВ ЗА СПАДКУВАННЯ (probate value) Вартість активів до моменту смерті власника. Вартість кожного з активів повинна бути узгоджена з Відділом податків на капітал Управління податкових зборів з метою обчислення податку на спадщину (inheritance tax). Фінанси. Тлумачний словник.
Читати Далі
Статевий відбір
Велика радянська енциклопедія

Статевий відбір

Особлива форма природного відбору (Див. Природний відбір) , визначає виникнення в процесі еволюції вторинних статевих ознак (Див. Вторинні статеві ознаки) . До таких ознак належать: яскрава шлюбна забарвлення оперення качок, тетеруків і багатьох ін. Птахів, "танці" комах, токування птахів, "турнірні бої" самців птахів і ссавців, різноманітна звукова сигналізація самців, що служить для залучення самок, пахучі залози для залучення особин протилежної статі у комах, ссавців і т.
Читати Далі
22. 0. 08
Довідник ГОСТів

22. 0. 08

ГОСТ Р 22. 0. 08 {- 96} Безпека в надзвичайних ситуаціях. Техногенні надзвичайні ситуації. Вибухи. Терміни та визначення. ОКС: 01. 040. 13, 13. 200 КГС: Т00 Загальнотехнічні терміни, позначення і величини Дія: З 01. 07. 97 Текст документа: ГОСТ Р 22. 0. 08 " Безпека в надзвичайних ситуаціях. Техногенні надзвичайні ситуації.
Читати Далі
2795
Довідник ГОСТів

2795

ГОСТ ІСО 2795 { -2001} Підшипники ковзання. Металокерамічні втулки. Розміри і допуски. ОКС: 21. 100. 10 КГС: Г16 Підшипники Натомість: ГОСТ 24833-81 Дія: З 01. 07. 2002 Примітка: відповідає ІСО 2795 -91 Текст документа: ДСТУ ISO 2795 "Підшипники ковзання. Металокерамічні втулки. Розміри і допуски." Довідник ГОСТів.
Читати Далі
Мова bASIC
Фінансовий словник

Мова bASIC

Мова BASIC Мова BASIC - розроблений в 1964 р. мова програмування, орієнтований на непрофесійних програмістів. Мова BASIC відрізняється простотою конструкцій, а також можливістю здійснення діалогового режиму роботи з комп'ютером. По-англійськи: BASIC language Синоніми: Бейсік Синоніми англійські: BASIC Див.
Читати Далі