ТЕОРЕМИ І МОДЕЛІ

Математична логіка відома широкій публіці в значній мірі завдяки знаменитим теоремам, які мають численні філософські інтерпретації та слідства. До таких результатів належить, наприклад, теорема Геделя про неповноту арифметики, або теорема Тарського про неможливість визначити поняття істини для системи всередині самої системи. Однак з широкою популярністю подібного роду метаматематичних результатів зростає число їх неправильних інтерпретацій і попросту безглуздих оцінок. Ось характерна ситуація, описана С. Блекберном у рецензії на книгу К. Еко Кант і утконос123: «Видатні інтелектуали в галузі літератури часто оперують технічною термінологією математичної логіки чи філософії мови. Один мій друг чув якось розмову в Кембриджі з приводу справи Дерріда, пропозицію про присудження якому почесного ступеня викликало серйозний опір джентльменів. Журналіст, висвітлює виник скандал, запитав Видного Інтелектуала в Літературі, в чому полягає важливість Дерріда. "Ну, - сказав той з поблажливою нахабством, - Гедель показав, що будь-яка теорія суперечлива, якщо у неї немає підтримки ззовні, а Дерріда показав, що немає цього ззовні".

Тут є принаймні три примітні речі. По-перше, того, що нібито зробив Гедель, взагалі не може бути, оскільки існує досить багато несуперечливих теорій. По-друге, Гедель насправді не довів цього і не намагався довести. По-третє, не має сенсу говорити, що суперечлива теорія могла б стати несуперечливої, будучи "підтриманої ззовні", що б це не означало. (Суперечливість є річ вперта; ви можете позбутися від неї не додаванням, а лише відніманням.

Такі помилки призводять до провалу на іспиті з філософії чи логіці на першому курсі. Однак ця обставина не особливо вражає в світі Видних Інтелектуалів в Літературі. В їхньому світі просте згадування Геделя, подібно типовому заклинанню типу "ієрархій" і "метамовою", створює враження чогось страшно глибокого і страшно наукового. Це надає видному Інтелектуалові в Літературі утішний образ людини, якому по плечу найважчі і глибокі проблеми, образ імпресаріо страшно важких речей. Я вважаю, що журналіст знепритомнів ».

Хоча ситуація з аналітичними філософами з інтерпретацією математичних результатів не виглядає настільки драматичною, тим не менше, і тут часто мають місце не зовсім обгрунтовані висновки від суто математичних результатів до філософських наслідків. Мораль притчі Бенацеррафа, наведеної на початку цієї глави, полягає в тому, що філософська інтерпретація математичного результату завжди містить дві частини: «(а) сам по собі метаматематичних результат -" це вже півсправи! ", (Ь) вижимка філософського" соку "- те, що я називаю "посилкою принцеси Маргарет" 124, яку ще залишається переконати в достоїнствах нареченого. Далі Бенацерраф продовжує: «обидві частини важливі, і якість аргументації залежатиме досить істотним чином від якості того, що може бути незалежним аргументом на користь посилки принцеси Маргарет».

Формалізація деякого контексту завжди супроводжується значними обмеженнями, які стають помітними саме при формалізації, наприклад, чітке визначення ресурсів формальної мови, виразність на ньому понять неформалізованій практики і т.

Інформація, релевантна " ТЕОРЕМИ І МОДЕЛІ "

1. 2J. Доповнення теоретичної моделі референта
   Додаткові фрагменти інших теорій необхідні, але недостатні для отримання результатів, порівнянних з фактами, оскільки в досвіді ми маємо справу з індивідуальними речами - з даними рідким тілом, а не класом тіл, з даними людиною, а не з людством взагалі і т. д. Тому ми повинні ввести додаткові припущення, що стосуються деталей розглянутих систем. Наприклад, до теореми
   
2. ассерторіческіе і аподиктичні очевидність
   Ключовим питанням всієї проблеми обгрунтування математики є питання про надійність математичного докази. Якщо допустити, що всі докази в якійсь мірі ненадійні, то проблема обгрунтування математики, принаймні як проблема внутріматематіческіе, втрачає сенс, бо обгрунтування математичної теорії має бути результатом безумовно надійного докази. Ми віримо
   
3. 2J5. Загальна схема
   Назвемо Ті теорію, яку нам необхідно перевірити, a Sj - безліч допоміжних припущень, що додаються для виведення деяких тверджень Л, досить конкретних, щоб бути вже близькими до досвіду, S] включатиме теоретичну модель досліджуваної системи і, можливо, спрощують припущення, такі, як, наприклад, лінеаризація. Дана теорія 7 \ - деяке нескінченна безліч
   
4. Несуперечність завершеною аксіоматики
   З факту завершеності аксіоматики безсумнівно слід факт її несуперечності. Рух математичної теорії до стадії завершеності представляє одночасно і повне очищення її від внутрішніх протиріч. Історичне вдосконалення математичної теорії може бути розглянуто у двох різних планах: у плані еволюції її тверджень (аксіом і теорем) і в плані становлення системи
   
5. Ключові терміни
   агресія 352 альтруїстична особистість 359 ворожа агресія 383 гіпотеза «фрустрація-агресія» 375 гіпотеза співпереживання-альтруїзму 364 гіпотеза емпатичних задоволення 367 інструментальна агресія 383 когнітивні теорії агресії 372 модель генетичного детермінізму 368 модель полегшення негативного стану 366 модель поведінки типу А 382 модель поведінки типу Б 382 покарання 387
   
6. Принцип імовірнісного прогнозування
   при побудові дій (Н.А. Бернштейн). Світ відображається у формі двох моделей - модель потрібного майбутнього (розподіл усіх прогнозування на основі попереднього накопиченого досвіду) і мо-дель доконаного (однозначно відображає спостережувану дійсність) [17, 18, 55]. Такому підходу цілком відповідає наступне визначення навчання: "Навчання системи полягає в тому, що вона в
   
7. 6. Патентоспроможність корисної моделі
   Патентний закон вперше передбачає охорону в нашій країні корисних моделей, іменованих нерідко малими винаходами. Корисною моделлю визнається конструктивне виконання засобів виробництва і предметів споживання, а також їх складових частин. Корисною моделі надається правова охорона, якщо вона є новою і промислово придатною. Корисна модель визнається новою, якщо сукупність
   
8. 3J6. Загальна схема
   Будь емпірична операція передбачає деяку сукупність попереднього знання А. Ця сукупність включає, зокрема, безліч даних Е3 і масу фрагментів різних теорій Т2. Хоча в інших ситуаціях Ез і Т% уразливі для критики, в даному емпіричному дослідженні вони приймаються без будь-яких сумнівів. Вони розглядаються як безперечні авторитети, наскільки б далеко від авторитаризму
   
9. Фізична теорія - загальний огляд
   ** Оскільки головним завданням як підстав, так і філософії фізики є аналіз і перебудова фізичних теорій, слід було б почати з характеристики фізичної теорії в найзагальніших термінах. На перший погляд це завдання не представляє особливої праці. Справді, у фізичній теорії немає нічого, крім математичного формалізму, забезпеченого фізичної інтерпретацією і здатного до
   
10. 5. Обгрунтування несуперечності на основі факту
    Особливістю зрілої математичної теорії, як уже сказано, є прямий зв'язок фактів і принципів, при якій факти однозначно визначають систему необхідних принципів. Оскільки істинність фактів в деяких випадках може бути визнана безпосередньо, без звернення до аксіом, то в цих випадках з'являється можливість безпосереднього висновку про несуперечності аксіом на основі їх
    
11. Основні етапи вирішення проблеми підбору персоналу виходячи з моделей робочих місць
    Розробка концепції моделі робочого місця персоналу, її елементів, характеристик і вагових коефіцієнтів. Розробка типових моделей робочих місць за посадами персоналу. Методика комплексної оцінки персоналу на основі моделі робочого місця в оціночних центрах із залученням фахівців. Технологія роботи з непрацюючим або вивільняються персоналом в центрах зайнятості населення на основі
    
12. 4.2. Моделі робочих місць
    Науково обгрунтований підбір персоналу може бути проведений на основі моделей робочих місць. У практичній діяльності кадрових служб підприємств часто використовуються спрощені моделі підбору персоналу: «потрібен слюсар 5-го розряду, чоловік до 50 років», «потрібен начальник дільниці, чоловік з вищою технічною освітою віком до 40 років ». При підборі використовуються і інші характеристики
    
13. Целищев В.В.. Філософія математики. 4.1. - Новосибірськ: Наука,. -212 с., 2002
    
    
14. II. Перехідні моделі філософії історії
    В основних моделях філософії історії були розглянуті концепції, де чітко виділяється характер руху історичного процесу, що має або лінійну, або циклічну, або спиралевидную, або хаотичну характеристику. Проте всі вони разом і становитимуть єдину універсальну схему уявлень про розвиток світової історії в різних культурах і епохах. Не зайвим було б відзначити той факт, що
    
15. Можливості і межі формалізації (філософський сенс теорем Геделя, Тарського)
    У розумінні основних проблем формалізації - її сутності, пізнавальної цінності, умов і меж застосування - серед філософів, логіків та істориків науки відсутня єдина думка. Нерідко висловлюються прямо протилежні погляди - перебільшення ролі формалізації та формалізованої мови і недооцінка значення формалізованих методів дослідження. Давид Гільберт (1862-1943), засновник
    
16. § 2. Криза радянської моделі соціалізму в країнах Центральної та Південно-Східної Європи
    Смерть Сталіна в 1953 не привела до яких-небудь істотних змін в країнах регіону. Водночас копіювання сталінської моделі соціалізму призвело до її кризи, яка найбільш виразно проявився в Польщі і
    
17. Моделі поведінки керівників.
    Модель стимулюючого поведінки або соціо - емоційний фахівець (Y). Така поведінка націлене на стимулювання членів організації на прийняття поставлених цілей, на виконання лежать перед ними завдань і на підтримку в колективі стану гармонії і задоволеності. Керівник, який отримав високу оцінку за стимулюючої моделі, орієнтований на членів організації. Він проявляє турботу і
    
18. Введення
    Ітеративна научение, як навчання в строго повторюваних умовах - одна з найпростіших різновидів навчання, має місце в широкому класі явищ: формування різноманітних навичок, засвоєння інформації людиною, научение тварин (вироблення умовних рефлексів) і навчання технічних і кібернетичних систем. Різні аспекти ітеративного навчання досліджуються в педагогіці, психології та
    
19. Ключові терміни
    баланс 276 нерозділене кохання 288 близькість 263 гіпотеза відповідності 278 дисбаланс 276 дружня любов 293 інтимність 293 любов 286 міжособистісна атракція 262 самотність 282 орієнтована на емоції модель атракції 266 відсутність балансу 276 овторяющееся вплив 263 ешімость / переконаність 293 узгоджене підтвердження 277 співвідношення східних установок 275 соціальне