Интуиционистичната логика е това, което е дефиницията на интуиционистката логика

Намерени са 4 дефиниции на терминаИНТУИЦИОНИСТИЧНА ЛОГИКА

ИНТУИЦИОНИСТА ЛОГИКА

форма на предикатна логика (или пропозиционална логика), която включва само такива логически закони, които са приемливи от v. sp. понятието интуитивизъм. Системи I. l., построени от Goll. учен А. Хейтинг (1930) и по-ранни (не базирани на интуиционистични предпоставки) сови. математик В. И. Гливенко (1928), се различават от съответните. класически системи. логика гл. обр. липсата на изключен трети принцип. Вижте също Design Direction.

ИНТУИЦИОНИСТА ЛОГИКА

- един от най-важните клонове на некласическата логика, чиято философска основа е програмата на интуиционизма. Подчертавайки математическата интуиция, интуиционистите не придават голямо значение на систематизирането на логическите правила. Едва през 1930 г. холандският математик и логик А. Хейтинг, ученик на основателя на интуиционизма Л. Брауер, дава аксиоматична формулировка на интуиционизма, като подчертава, че "интуиционизмът се развива независимо от формализацията, която може да следва само следите на математическа конструкция". В I. l. законът за изключената среда не работи, както и редица други закони на класическата логика, които позволяват да се докаже съществуването на обекти, които не могат да бъдат осъзнати или изчислени. Сред тези закони са законът за (премахването) на двойното отрицание и законът за свеждането до абсурда.

Отхвърлянето на закона за изключената среда не означава приемане на отрицанието на този закон; напротив, I. l. твърди, че отрицанието на отрицанието на този закон (неговото двойно отрицание) е вярно. Отпадането също не трябва да се разбира като въвеждане на някаква трета стойност на истината, междинна между истина и невярно.

INВ класическата логика понятието истина играе централна роля. На негова основа се определят логически връзки, които ви позволяват да изграждате сложни твърдения. В I. l. значението на съединителите се дава чрез посочване на онези необходими и достатъчни условия, при които може да се твърди сложно изявление.

Ако p и q са изявления, тогава тяхната конюнкция (p и q) може да бъде утвърдена само ако и p, и q могат да бъдат утвърдени. Дизюнкция (p или q) може да се твърди тогава и само ако може да се твърди поне едно от твърденията p и q. Математическо твърдение p може да се твърди само след като е извършена някаква математическа конструкция с определени свойства; съответно, отрицанието на p може да се твърди, ако и само ако има конструкция, която води до противоречие, предположението, че конструкцията на p е изпълнена. Концепцията за противоречие тук се приема като недефинирана; на практика едно противоречие винаги може да се сведе до формата 1 = 2. Импликация (ако p, тогава q) може да се твърди само ако има такава конструкция, която, когато се комбинира с конструкцията p, автоматично дава конструкцията q.

Интуиционистичното разбиране на логическите връзки е такова, че от доказателството за истинността на едно твърдение винаги може да се извлече начин за конструиране на обектите, чието съществуване се твърди.

I л. е единствената некласическа логика, в рамките на която е извършено доста последователно и дълбоко развитие на много клонове на математиката. Тази логика позволява фино и точно да се изследва трудният и важен въпрос за естеството на съществуването на обектите, изучавани в математиката.

Идеи относно ограничената приложимост на законите на изключената среда, елиминирането на двойното отрицание, свеждането до абсурда и свързаните с тях методи на математикатадоказателства, разработени от рус. математиците А. Н. Колмогоров (1903-1985), В. И. Гливенко (1897-1910), А. А. Марков (1903-1979), Н. А. Шанин (р. 1919) и др. възникна конструктивна логика, която също смята за погрешно прехвърлянето на редица логически принципи, приложими в разсъжденията за крайни множества, в областта на безкрайните множества.

интуиционистка логика

Намерени схеми по тематаИНТУИЦИОНИСТА ЛОГИКА — 0

Намерени научни статии по тематаИНТУИЦИОНИСТА ЛОГИКА — 0

Намерени книги по тематаИНТУИЦИОНИСТИЧНА ЛОГИКА — 0

Намерени презентации наINTUITIONIST LOGIC - 0

Намерени резюмета по тематаИНТУИЦИОНИСТА ЛОГИКА — 0

Разберете цената на писането

Търсите резюме, курсова работа, теза, тест, доклад от практиката или рисунка? Получете оферта!