ЛОГІКА ІНДУКТИВНА це що таке ЛОГІКА ІНДУКТИВНА
Знайдено 7 термінівІНДУКТИВНА ЛОГІКА
ІНДУКТИВНА ЛОГІКА
див. Логіка індуктивна.
ІНДУКТИВНА ЛОГІКА
розділ логіки, що вивчає індуктивні міркування, що використовуються гол. обр. з метою отримання індуктивних узагальнень, пояснень, передбачень, описів та розпоряджень (див. Індукція). основ. об'єкт вивчення в суч. І. л. - індуктивний висновок. Для совр. І. л. характерно означає. розширення поняття індуктивного висновку. Якщо в класич. І. л. (Ф. Бекон, Дж. С. Мілль) як єдність. відносини розглядалося індуктивне слідування, то суч. І. л. досліджується ставлення підтвердження і - як його модифікація - ставлення прийняття (які можуть розглядатися як узагальнення відносини докази - осн. Об'єкта дедуктивної логіки), що полягає в тому, що на підставі визнач. свідоцтво з деяким ступенем впевненості приймається гіпотеза h. Іноді ступінь упевненості ототожнюється з індуктивною ймовірністю, і тоді для формалізації І. л. використовується апарат теорії ймовірностей. На цій підставі деякі логіки (напр., Р. Карнап) вважають імовірнісну логіку совр. формою І. л.
ІНДУКТИВНА ЛОГІКА
- Розділ логіки, що вивчає індуктивні умовиводи, які відрізняються від дедуктивних висновків тим, що висновок в них випливає з посилок не з необхідністю, а лише з деякою ймовірністю. Типовим прикладом індуктивного висновку є перехід від поодиноких фактів до загального твердження. Сучасна І.Л. в основному займається аналізом ступеня підтвердження гіпотези h на підставі свідоцтва е. У формальній теорії ступінь зв'язку між гіпотезою h і свідченням е виражається функцією c(h,e), що задовольняє умові 0?c(h,e) ?1. Значення функції з (h, е) дорівнює 1,якщо Л логічно виводиться із е; воно дорівнює О, якщо е суперечить Л; у всіх інших випадках воно розташовується в інтервалі (О, 1) і характеризує більший або менший ступінь ймовірності (підтвердження) гіпотези Л щодо свідчення е. У деяких теоріях І. л. ступінь підтвердження гіпотези h оцінюється не суворо кількісно, а лише порівняно – у термінах “більше – менше” (див.: індукція).
ІНДУКТИВНА ЛОГІКА
індуктивна логіка
ІНДУКТИВНА ЛОГІКА - розділ логіки, що вивчає умовиводи, що використовуються для отримання індуктивних узагальнень та пояснень. У І. л. перехід від посилок до висновку носить не достовірний (як за дедукції), лише правдоподібний характер. Індуктивні логіки мають довгу історію, щонайменше довгу, ніж дедуктивні логіки. Так, перший у Стародавній Греції логічний трактат "Канон, або Про логіку", що належав перу Демокріта, і, на жаль, не дійшов до нас, містив у собі елементи саме І. л. Наступна спроба розробки теорії індуктивних міркувань була здійснена лише в 17 ст. Френсісом Беконом. Протягом 18-19 ст. Діапазон індуктивних міркувань значно розширився, особливо завдяки дослідженням Дж.С. Миллем різних видів індукції та обліку точного математичного поняття ймовірності. На думку деяких логіків (напр., Р. Карнапа) ймовірна логіка взагалі є сучасною формою І. л. Більшість філософів вважає індуктивні висновки імовірнісними. Якщо при цьому можливість інтерпретувати емпірично, то в загальній схемі індуктивного висновку емпіричні твердження практично просто зводяться до імовірнісних. Прикладом такого ставлення до індукції може бути думка Б. Рассела. Згідно з його концепцією, істинність індуктивних висновків — це їхня здійсненність у більшості.випадків, тобто. ймовірність розглядається як відносна частота кінцевої послідовності випробувань. Щоб приписувати науковим висновкам ймовірність такого роду, Рассел сформулював ряд постулатів у термінах відносної частоти. При цьому він розглядає свої постулати як деякі припущення, в які ми повинні вірити, якщо наша віра у наукові висновки має бути виправданою. Спроби знайти придатні емпіричні постулати були здійснені свого часу рядом дослідників, зокрема, Дж. Уїдомом, Дж. Кемені, А. Берксом, Р. Брейсуейтом, М. Блеком та ін. Проте всі вони зазнали невдачі. Розглядаючи (у схемі індуктивного висновку) емпіричні твердження як імовірнісні, можна інтерпретувати ймовірність як логічне відношення, що існує між посилкою конкретного виведення індуктивного і його висновком. На думку Р. Карнапа, саме таке поняття має бути використане для побудови І. л. Проте, приймаючи поняття ступеня підтвердження як основу системи І. л., ми стикаємося з так званими «парадоксами підтвердження». Перший був помічений Я. Хоссиасон-Линденбаум в 1940. Суть його у наступному. Звісно ж, що й пропозиція А підтверджує пропозицію, і У логічно еквівалентно З, то А підтверджує З, причому у тому ступеня. Пропозиція «всі чорні ворони» логічно еквівалентна пропозиції «всі нечорні об'єкти є не воронами». Спостереження білого черевика підтверджує друге речення, отже, воно підтверджує перше, тобто. спостереження білого черевика підтверджує пропозицію "всі ворони чорні". Подібний феномен не єдиний. Але він викликає запитання: чи приймаються чи ні індуктивні висновки? Карнап відповідає на нього негативно, вважаючи, що в результаті індуктивних міркувань ми простоприписуємо новому висловлюванню певний рівень підтвердження. Ряд дослідників (Поппер, Блек, Дей та інших.) вважають, що гіпотези хоч і приймаються (вченими), але лише тимчасово. Можна спробувати подолати ці труднощі, враховуючи, що на правдоподібні гіпотези впливають як вихідні знання, а й спеціальні свідчення, які з пропозицій, описують спостереження. Цей підхід отримав назву «локального виправдання» індукції. Неважко уявити ситуацію, коли безліч гіпотез стає нескінченним. Щоб звузити аналізоване безліч гіпотез з допомогою ймовірнісного розгляду, було висунуто два критерії — простота і змістовна ємність; тобто, попросту кажучи, слід вибирати найпростішу гіпотезу (вважається, що вона найменш ймовірна, бо легше за інших перевіряється і легше за інших спростовується, якщо вона помилкова). Першої точки зору дотримуються Джефріс, Баркер, Харрі; прихильниками другої точки зору є Поппер, Кемені, Оппенгейм. В.Л. Васюков Літ.: Кайберг Г. Імовірність та індуктивна логіка. М., 1978; GlaisterJ. Inductive Logic// A Companion до Philosophical Logic / D. Jacquette (ed.) (L., 2001).
ІНДУКТИВНА ЛОГІКА
розділ логіки, у якому вивчається індукція. Індукція як пізнавальна процедура, що призводить до узагальнення в результаті виявлення подібності предметів, що спостерігаються, в сучасній логіці може бути формалізована різними засобами, утворюючи відповідні варіанти індуктивної логіки. Варіант формалізації індукції, запропонований Р. Карнапом, ґрунтується на інтерпретації ймовірності як логічного відношення між двома висловлюваннями. Це відношення виражає ступінь підтвердження гіпотези h емпіричними даними, які зазвичай розуміються як констатація результатів спостережень. Р. Карнап відрізняє поняттялогічної ймовірності від емпіричної ймовірності, що вивчається в теорії ймовірностей та математичної статистики. Він використовує мову логіка предикатів першого порядку та «опису станів» (моделі), за допомогою яких він вводить числову функцію міри від, областю значень якої є закритий числовий проміжок між 0 і 1. Сума значень від-функції на «описах стану» дорівнює 1 ; від-функція логічно хибних висловлювань дорівнює 0, а від-функція логічно істинних висловлювань дорівнює 1. Висловлювання, що не є ні логічно істинними, ні логічно хибними, мають значення від-функції, укладене між 0 і 1. Ступінь підтвердження гіпотези h даними визначається як відношення значення від функції для кон'юнкції h не до значення від функції для е.
В індуктивній логіці Р. Карнапа було отримано песимістичний результат: індуктивна ймовірність висловлювань із квантором спільності (тобто індуктивних узагальнень) дорівнює нулю. Я. Хінтікка, використовуючи створений ним формальний апарат, показав, що в його версії індуктивної логіки карнапівський результат про індуктивні узагальнення немає місця.
Р. Рейхенбах розвинув концепцію індуктивної логіки як нескінченно ймовірнісної логіки. Він як вихідну зв'язку використовував імплікацію виду «якщо «про» істинно, то «bs > мабуть зі ступенем р». У імовірнісній логіці Г. Рейхенбаха істинні значення розуміються як ступеня істинності, що інтерпретуються як ймовірності.
Новим напрямом індуктивної логіці є автоматичне породження гіпотез. Метою досліджень у цьому напрямі є формалізація засобів отримання закономірностей з емпіричного матеріалу, представленого в базах даних комп'ютерних систем.
Схема індуктивного виведення у теоріях автоматичного породженнягіпотез полягає в наступному: посилками висновку є теоретичні припущення та емпіричні твердження, а наслідком - теоретичні твердження, що є ідуггівними узагальненнями. Оригінальна теорія автоматичного породження гіпотез (GUHA-метод) була запропонована чеськими математиками П. Гаєком та Т. Гавранеком.
Відомі методи виявлення причинно-наслідкових залежностей, запропоновані Д. С. Міллем, виявилися ідейним імпульсом для розвитку теорії правдоподібних міркувань типу ДСМ. Ця теорія була реалізована в інтелектуальних системах типу ДСМ, в яких формалізовано синтез пізнавальних процедур, що представляє взаємодію індукції, аналогії та абдукції. Правдоподібні міркування цього типу формалізуються за допомогою нескінченної логіки з кванторами по кортежах змінної довжини. Істинні значення цієї логіки конструктивно породжуються за допомогою правил виведення першого і другого роду і приписуються автоматично виявленим гіпотезам. Спочатку за допомогою правил першого роду породжуються гіпотези про причини, що становлять виявлену подібність до емпіричних даних. Гіпотези про причини потім використовуються у правилах другого роду для виведення за аналогією, за допомогою якого формується індуктивне узагальнення. Критерієм прийняття породжених гіпотез є абдуктивний висновок, з якого пояснюється вихідний стан бази даних.
p align="justify"> Важливою проблемою індуктивної логіки є формування критерію прийняття гіпотез. Існують різні формалізації критерію прийняття гіпотез, що використовують, зокрема, ступінь підтвердження гіпотез або абдукцію, що пояснює велику кількість фактів. Поняття та процедури індуктивної логіки є дуже корисними для застосування в прикладних системах машинного навчання.
Літ.: Сатар R. TheLogical Foundations of Probability. Chic., 1952; Idem. The Continuum of Inductive Methods. Chic., 1952; HintikkaJ. ATwoDemensional Continuum of Inductive Methods.— Aspects of Inductive Logic. Amst., 1966; Reichenbach H., The Theory of Probability. Berkeley and Los Angeles, 1949; Кайберг Г. Імовірність та індуктивна логіка. М., 1978; Гаєк П., Гавранек Т. Автоматичне утворення гіпотез. М., 1984; Кузнєцов С. О. ДСМ-метод як система автоматичного навчання. - У кн.: Підсумки науки і техніки, серія «Інформатика», т. 15, М.: 1991; Фінн В. К. Синтез пізнавальних процедур та проблема індукції. - Науково-технічна інформація, сер. 2, п. 1-2, 1998, с.6-51.
ЛОГІКА ІНДУКТИВНА
Знайдено схеми по теміІНДУКТИВНА ЛОГІКА — 0
Знайдено наукові статті на темуІНДУКТИВНА ЛОГІКА — 0
Знайдено книг на темуІНДУКТИВНА ЛОГІКА — 0
Знайдено презентацій на темуІНДУКТИВНА ЛОГІКА — 0
Знайдено рефератів на темуІНДУКТИВНА ЛОГІКА — 0
Дізнайся вартість написання
Шукаєте реферат, курсову роботу, дипломну роботу, контрольну роботу, звіт з практики чи креслення? Дізнайся вартість!