ЛОГИЧЕСКА ИНДУКТИВНА какво е ЛОГИЧЕСКА ИНДУКТИВНА дефиниция
Намерени са 7 дефиниции на терминаИНДУКТИВНА ЛОГИКА
ИНДУКТИВНА ЛОГИКА
виж Индуктивна логика.
ИНДУКТИВНА ЛОГИКА
клон на логиката, който изучава индуктивните разсъждения, използван в гл. обр. за да се получат индуктивни обобщения, обяснения, прогнози, описания и предписания (вижте Индукция). Основен обект на изследване в съвр. I. л. - индуктивно заключение. За модерните I л. характерни средства. разширяване на самата концепция за индуктивно заключение. Ако в класическия I л. (Ф. Бейкън, Дж. С. Мил) като единства. връзка се смяташе за индуктивно следствие, тогава в съвр. I л. отношението на потвърждение и - като негова модификация - отношението на приемане (което може да се разглежда като обобщение на отношението доказателство - основен обект на дедуктивната логика), състоящо се в това, че въз основа на определен. доказателство e с известна степен на увереност се приема хипотезата h. Понякога степента на увереност се идентифицира с индуктивна вероятност, а след това за формализиране на I. l. използвайки апарата на теорията на вероятностите. На тази основа някои логици (например Р. Карнап) разглеждат вероятностната логика на модерното. форма I. l.
ИНДУКТИВНА ЛОГИКА
- раздел от логиката, който изучава индуктивните разсъждения, които се различават от дедуктивните по това, че заключението в тях следва от предпоставките не с необходимост, а само с известна вероятност. Типичен пример за индуктивно разсъждение е преходът от единични факти към общо твърдение. Модерен I.l. основно се занимава с анализ на степента на потвърждение на хипотезата h въз основа на наличните доказателства e. Във формалната теория степента на връзка между хипотезата h и доказателствата e се изразява чрез функцията c(h,e), която удовлетворява условието 0?c(h,e) ?1. Стойността на функцията c(h, e) е 1,ако А се извежда логически от e; то е равно на O, ако e противоречи на L; във всички останали случаи той се намира в интервала (0, 1) и характеризира по-голяма или по-малка степен на вероятност (потвърждение) на хипотеза А по отношение на доказателства д. В някои теории на I. l. степента на потвърждение на хипотезата h не се оценява строго количествено, а само сравнително - по отношение на "повече - по-малко" (виж: Индукция).
ИНДУКТИВНА ЛОГИКА
индуктивна логика
ИНДУКТИВНАТА ЛОГИКА е клон на логиката, който изучава изводи, използвани за получаване на индуктивни обобщения и обяснения. В I. l. преходът от предпоставки към заключение не е надежден (както при дедукцията), а само правдоподобен. Индуктивните логики имат дълга история, не по-малко от дедуктивните логики. Така първият логически трактат в древна Гърция, Канонът или За логиката, който е написан от Демокрит и, за съжаление, не е достигнал до нас, съдържаше елементи именно от I. l. Следващият опит за развитие на теорията за индуктивните разсъждения е направен едва през 17 век. Франсис Бейкън. През 18-ти и 19-ти век обхватът на индуктивните разсъждения се разшири значително, особено благодарение на изследванията на J.S. Мелница от различни видове индукция и отчитане на точното математическо понятие за вероятност. Според някои логици (например Р. Карнап) вероятностната логика като цяло е съвременна форма на I. l. Повечето философи смятат индуктивните изводи за вероятностни. Ако в този случай вероятността се интерпретира емпирично, тогава в общата схема на индуктивния извод емпиричните твърдения практически просто се свеждат до вероятностни. Като пример за такова отношение към индукцията може да послужи гледната точка на Б. Ръсел. Според неговата концепция истинността на индуктивните заключения е тяхната осъществимост в повечето случаи.случаи, т.е. вероятността се разглежда като относителна честота в крайна последователност от опити. За да припише този вид вероятност на научни открития, Ръсел формулира редица постулати по отношение на относителната честота. Правейки това, той разглежда своите постулати като някои предположения, в които трябва да вярваме, ако нашата вяра в научни заключения трябва да бъде оправдана. Опитите за намиране на подходящи емпирични постулати бяха направени по едно време от редица изследователи, по-специално от J. Wisdom, J. Kemeny, A. Burks, R. Braithwaite, M. Black и др., но всички те се провалиха. Разглеждайки (в схемата на индуктивния извод) емпиричните твърдения като вероятностни, човек може да тълкува вероятността като логическа връзка, която съществува между предпоставката на конкретно индуктивно заключение и неговото заключение. Според Р. Карнап именно тази концепция трябва да се използва за изграждане на I. l. Въпреки това, приемайки концепцията за степента на потвърждение като основа на системата на I. l., ние се сблъскваме с така наречените "парадокси на потвърждението". Първият от тях е забелязан от J. Hossiason-Lindenbaum през 1940 г. Същността му е следната. Изглежда естествено, че ако изречение A потвърждава изречение B и B е логически еквивалентно на C, тогава A потвърждава C, и то в същата степен. Изречението „всички гарвани са черни“ е логически еквивалентно на изречението „всички нечерни предмети не са гарвани“. Наблюдението на бялата обувка потвърждава второто изречение, следователно потвърждава и първото, т.е. наблюдението на бял ботуш потвърждава тезата "всички гарвани са черни". Този парадокс не е уникален. Но повдига въпроса: приемат ли се индуктивните заключения или не? Карнап отговаря отрицателно, вярвайки, че в резултат на индуктивно разсъждение ние простоприписваме известна степен на потвърждение на новото твърдение. Редица изследователи (Попър, Блек, Дей и други) смятат, че въпреки че хипотезите се приемат (от учените), но само за известно време. Човек може да се опита да преодолее тези трудности, като се има предвид, че правдоподобните хипотези се влияят не само от основни познания, но и от специални доказателства, състоящи се от изречения, описващи наблюдения. Този подход е наречен "локално оправдание" на индукцията. Лесно е да си представим ситуация, в която наборът от хипотези става безкраен. За да се стесни наборът от разглежданите хипотези с помощта на вероятностно разглеждане, бяха изведени два критерия - простота и съдържателен капацитет; т.е., най-просто казано, трябва да се избере най-простата хипотеза (смята се, че тя е най-малко вероятната, защото е по-лесно за други да проверят и по-лесно за други да бъдат опровергани, ако е грешна). Първата гледна точка се споделя от Jeffreys, Barker, Harre; привърженици на втората гледна точка са Попър, Кемени, Опенхайм. В.Л. Васюков Лит.: Кайберг Г. Вероятност и индуктивна логика. М., 1 9 7 8; Глейстър Дж. Индуктивна логика// Спътник на философската логика / Д. Жакет (ред.) (Л., 2001.
ИНДУКТИВНА ЛОГИКА
клон на логиката, който се занимава с индукция. Индукцията като когнитивна процедура, която води до обобщение в резултат на откриване на сходството на наблюдаваните обекти, в съвременната логика може да бъде формализирана с различни средства, образувайки съответните варианти на индуктивната логика. Вариантът на формализиране на индукцията, предложен от Р. Карнап, се основава на тълкуването на вероятността като логическа връзка между две твърдения. Това съотношение изразява степента на потвърждение на хипотезата h от емпирични данни e, обикновено разбирани като изявление на резултатите от наблюденията. Р. Карнап разграничава понятиетологическа вероятност от емпирична вероятност, изучавана в теорията на вероятностите и математическата статистика. Той използва езика на логиката на предикатите от първи ред и „описания на състояния“ (модели), с които въвежда цифрова функция за измерване на от чийто обхват е затворен числов интервал между 0 и 1. Сумата от стойностите на функцията от на „описания на състояния“ е 1; r-функцията на логически неверни твърдения е 0, а r-функцията на логически верни твърдения е 1. Твърдения, които не са нито логически верни, нито логически неверни, имат стойност на r-функция между 0 и 1. Степента на потвърждение на хипотезата h от данни от наблюдение e се определя като съотношението на стойността на r-функцията за конюнкция h не към стойността на r-функцията за e.
В индуктивната логика на Р. Карнап се получава песимистичен резултат: индуктивната вероятност на твърдения с общ квантор (т.е. индуктивни обобщения) е равна на нула. Дж. Хинтика, използвайки създадения от него формален апарат, показа, че в неговата версия на индуктивната логика резултатът на Карнап за индуктивните обобщения не е валиден.
G. Reichenbach разработи концепцията за индуктивната логика като вероятностна логика с безкрайни стойности. Той използва импликация на формата „ако o“ е вярно, тогава „bs > вероятно със степен p. В вероятностната логика на G. Reichenbach стойностите на истината се разбират като степени на истина, интерпретирани като вероятности.
Нова тенденция в индуктивната логика е автоматичното генериране на хипотези. Целта на изследванията в тази насока е да се формализират средствата за извличане на модели от емпиричния материал, представен в базите данни на компютърните системи.
Схема на индуктивен извод в теориите за автоматично генериранехипотези е както следва: предпоставките на заключението са теоретични предположения и емпирични твърдения, а следствието са теоретични твърдения, които са индуктивни обобщения. Оригиналната теория за автоматично генериране на хипотези (GUHA-метод) е предложена от чешките математици П. Гаек и Т. Гавранек.
Добре познатите методи за откриване на причинно-следствени връзки, предложени от Д. С. Мил, се оказаха идеологически импулс за развитието на теорията за правдоподобните разсъждения от типа JSM. Тази теория е внедрена в интелигентни системи като DSM, в които синтезът на когнитивните процедури е формализиран, представлявайки взаимодействието на индукция, аналогия и абдукция. Правдоподобни разсъждения от този тип се формализират с помощта на безкрайнозначна логика с квантори върху кортежи с променлива дължина. Истинните стойности на тази логика са конструктивно генерирани от правилата за извод от първи и втори вид и се приписват на автоматично откритите хипотези. Първо чрез правилата от първи вид се генерират хипотези за причините, представящи установеното сходство в емпиричните данни. След това хипотезите за причините се използват в правила от втори вид за извод по аналогия, чрез които се формира индуктивно обобщение. Критерият за приемане на генерираните хипотези е абдуктивен извод, който обяснява първоначалното състояние на базата данни.
Важен проблем на индуктивната логика е формирането на критерий за приемане на хипотези. Съществуват различни формализации на критерия за приемане на хипотези, като се използва по-специално степента на потвърждение на хипотезите или отвличането, което обяснява първоначалния набор от факти. Концепциите и процедурите на индуктивната логика са много полезни за приложения в приложни системи за машинно обучение.
Лит.: Satar R. TheЛогически основи на вероятността. Chic., 1952; Същото. Континуумът на индуктивните методи. Chic., 1952; HintikkaJ. ATwoDemensional Continuum на индуктивните методи.—Аспекти на индуктивната логика. Amst., 1966; Райхенбах Х., Теорията на вероятността. Бъркли и Лос Анджелис, 1949 г.; Kayberg G. Вероятност и индуктивна логика. М., 1978; Gaek P., Gavranek T. Автоматично генериране на хипотези. М., 1984; Кузнецов С. О. DSM-метод като система за автоматично обучение , - В книгата: Итоги науки и техники, серия Информатика, том 15, М.: 1991; Finn VK Синтез на когнитивните процедури и проблемът на индукцията.— Научна и техническа информация, сер. 2, стр. 1-2, 1998, стр. 6-51.
ЛОГИЧЕСКА ИНДУКЦИЯ
Намерени схеми по тематаИНДУКТИВНА ЛОГИКА — 0
Намерени научни статии по тематаИНДУКТИВНА ЛОГИКА — 0
Намерени книги по тематаИНДУКТИВНА ЛОГИКА — 0
ИНДУКТИВНА ЛОГИКА намерени презентации - 0
Намерени резюмета по тематаИНДУКТИВНА ЛОГИКА — 0
Разберете цената на писането
Търсите резюме, курсова работа, теза, тест, доклад от практиката или рисунка? Получете оферта!