аті силу ідеї дінамічної логікі ї belief revision. Нарешті, в 1996 р. у Книзі Н.Хінгіккі "Переглянуті принципи математики" впершись у систематичному вігляді булу виклади ідея так званої If-Логікі (Independence Friendly Logic), на якій ми прагли б Зупинити докладніше. Властіво,! Застосування апарата If-Логікі ї теоретико-ігрової семантики (CMS) до традіційніх проблем логікі Пізнання Хінтікка ї назіває "епістемічною логікою іншого покоління" (Термін впершись з'явився в 2003 р., більш Розгорнутим Концепція HL-2 вікладається в его Книзі "сократичних епістемологія", 2007) [8]. Схематично еволюцію Ідей, что проівелі до EL-2, можна представіті так:
В
самперед, EL-2 є логіка вопросам и Відповідей, а такоже поиска найкращих харчування, Які повінні буті задані. Хінтікка різко Виступає проти розповсюдженої точки зору, что Затверджує тавтологічність логічніх Законів, за прикладом класиків детективного жанру, намагається показати нетрівіальність, інформатівність логічніх умовіводів. "Так звані дедукції Холмса, стверджує ВІН, що не зводяться до виводу експліцітніх вісновків з експліцітніх посилок. Часто ВІН вітягає з хаосу фонової ІНФОРМАЦІЇ Потрібні додаткові посилки (прежде ті, Які, Можливо, були оголошені такими), и Вже Із ціх посилок за правилами звічайної дедуктівної логікі можна вивести Висновки, что відадуться на перший погляд несподіванімі "[3, с.268].
Як же ВІН це Робить? За помощью вопросам Аджея самє харчування співробітників для втілення ІНФОРМАЦІЇ у вісловлення, управляються процесом актівації невербалізованого знання на стадії дедукції. Однак не слід думати, у Дусі платонівської Теорії анамнезісу, что вся Фонова інформація Вже заздалегідь перебуває в Нашій Голові, І що експліцуючі питання ми всегда обертаємо самим Собі деякі їхніх посилок дедукції знаходяться позбав в ході СПОСТЕРЕЖЕННЯ. Альо більшість зрозуміти, Які застосовні до вопросам и відповідям на них, застосовні й до СПОСТЕРЕЖЕННЯ, так что кантовській оборот "Питання, что задаються природі" є не просто метафора. "Спостереження, пише Хінтікка, це всегда відповідь на запитання" [3, с.273]. Та й більшість дедуктивного ходів включаючі ряд найцікавішіх могут буті заміщені відповіднім харчування, ЯКЩО вважаті, что на нього піде відповідь.
Таким чином, увесь масив наукових ДОСЛІДЖЕНЬ - від емпірічніх СПОСТЕРЕЖЕННЯ до теоретичності дедукцій - Має інтеррогатівну структуру (немає контекстів Відкриття ї контекстів обгрунтування, а є позбав Різні сторони одного й того ж процеса).
пітальні-відповідна послідовність як "гра Із природою" становится одним з Головня джерел теоретико-ігрової семантики. Наявність віграшної стратегії або дослідника (веріфікатораверсіфікатора) назівається істіною, наявність віграшної стратегії для Природи (фальсіфікатора) неправдою. Характерно, что в такій семантіці допускається відсутність віграшніх стратегій взагалі, тоб НЕ ухвалюється tertium non datur (а ЯКЩО розглядаються ігри з ненульовою сумою, то чи не ух...
