1-ОНТОЛОГІЯ, ГНОСЕОЛОГІЯ - Переверніть сторінки сторінок 1-46 PubHTML5

Опис: 1-ОНТОЛОГІЯ, ГНОСЕОЛОГІЯ

Прочитайте текстову версію

I. ОНТОЛОГІЯ, ГНОСЕОЛОГІЯ ★ "рівняння Бога" або "онтологічний аргумент" існування Бога. Дослідники Крістоф Бензмюллер з Вільного університету в Берліні та Бруно Вольценлогель Палео з Віденського технічного університету створили складну комп'ютерну програму з який продемонстрував у січні 2013 року теорему, до якої блискучий математик і логік Крістен КуртГедель (1906-1978) працював протягом чотирьох десятиліть. Їх науковий підхід, який отримав назву "Формалізація, механізація та автоматизація доказу Геделя про існування Бога", мав вражаючий успіх, оскільки отримана заявка підтвердила його онтологічну демонстрацію, рішучого прихильника діалогу між наукою та теологією з Ейнштейном. і Гейзенберга, і відкрив нові горизонти застосування для вчених. «Технічна» формула така: Аксіома 1: (∀X1)… (∀Xn) [(P (X1) &. & P (Xn)) → P (X1. Xn)] Аксіома 2: (∀X) [P (X) wp (

сторінки

X)] Теорема 1: (∀x) [G (x) → E (G, x)] Визначення 1: G (x) = df (∀X) [P (X) → X (x)] Аксіома 3: (∀X) [P (X) → □ P (X)] & (∀X) [

P (X)] Теорема 2: (∃x) G (x) → □ (∃y) G (y) E (G, a) → □ (∃x) G (x) (a) ◊ (∃x) G (x) → ◊ □ (∃y) G (y) □ [(∃x) G (x) → □ (∃y) G (y)] □ (p → q) → (◊p → ◊q) (b) ◊ (∃x) G (x) → □ (∃y) G (y) Визначення 2: E (X, x) = df (∀Y) [Y (x) → □ (∀y) (X (y) → Y (y))] & X (x) Аксіома 4: P (E) Теорема 3: ◊ (∃x) G (x) (∀X) [P (X) →

X (x))] □ (∃x) G (x) Визначення 3: Ex = df (∀X) [E (X, x) → □ (∃x) X (x)] Аксіома 5: (∀X) (∀Y) [(P (X) & (∀x) □ (X (x) → Y (x))) → P (Y)] Теорема 4: ◊ ExG (x). Гедель засновував свої аргументи на аргументації св. Ансельма, який визначив Бога як найімпозантнішу річ (у сенсі сутності, Особи) у Всесвіті. Жодна сильніша істота не може бути уявлена ​​людським розумом. Отже, якщо Бога не існує, то ми повинні думати про істоту, навіть сильнішу за Нього, і яка очевидно існує. Як не треба

cgsmall/ontology.html); Тед Дрейндж, Аргументи несумісних властивостей: опитування, Філо, 1998 (2), с. 49-60, http: // www. infidels.org/library/modern/ theodore_drange/incompatible.html - Римлянам 1: 19-20: «Бо те, що відомо про Бога, відкривається в них, бо це їм відкрив Бог. Дійсно, Його невидимі риси, Його вічна сила та Його божество стають зрозумілими від створення світу, коли ти уважно дивишся на речі, які Він зробив "(Єремія 32:27:" Ось Я Господь Бог. будь-якій істоті. Чи є щось дивовижне з мого боку? "

раціонально-науковий доказ творення, універсальне поняття програмування більше не допускає жодних сумнівів щодо існування Творця1. - Псалом 139: 16: «Коли я був лише квітучим плодом, побачили мене ваші очі; і в твоїй книзі були написані всі дні, призначені мені, ще до того, як це сталося. Ефесян 2:10: "Бо ми - його майстерність, створена в Христі Ісусі на добрі діла, які Бог призначив раніше, щоб ми ходили в них". Псалом 40: 5: «Господи Боже, багато моїх чудес і задумів для мене; Я хотів би оголосити та розтрубити їх, але їх кількість занадто велика, щоб розповісти про них ". ★ Принцип появи в науці Кібернетика (запроваджений Германом Хакеном) передбачає, що взаємозалежна, але супутня робота системних елементів забезпечує більший ефект, ніж сума ефектів компонентів при незалежній роботі. - Іван 15: 5: “Я виноградна лоза, а ви гілки. Хто пробуває в Мені, і Я в ньому, той приносить багато плодів; бо крім Мене ви нічого не можете зробити ". 1 Джерело:„ Діалоги з педагогами ", у газеті Făclia (Клуж Напока), 30 березня 2013 р.