ЗМІСТ
В
Введення
1. Класична та некласична в логіці
1.1 З історії некласичної логіки
2. Інтуїционістськая і багатозначна логіка
2.1 Основні ідеї інтуїціонізму
2.2 Багатозначна логіка
3. Модальна логіка
3.1 Модальні поняття
3.2 Абсолютні і порівняльні модальності
3.3 Єдність модальної логіки
4. Логіка оцінок і логіка норм
4.1 Можливість наукової етики
4.2 Закони логіки оцінок
4.3 Закони логіки норм
5. Інші розділи некласичної логіки
5.1 Логіка квантової механіки
5.2 Паранепротіворечівая логіка
5.3 Логіка причинності
5.4 Логіка зміни
6. Єдність логіки
Висновок
Список використаних джерел
В
ВСТУП
В
Завжди було прийнято вважати, що знання логіки обов'язково для освіченої людини. Зараз, в умовах докорінної зміни характеру людської праці, цінність такого знання зростає. Свідоцтво тому - зростаюче значення комп'ютерної грамотності, однією з теоретичних основ якої є логіка.
Логічні операції - такі, як визначення, класифікація, доказ, спростування і т.п. - Застосовуються кожним людиною в його розумової діяльності. Але застосовуються неусвідомлено і нерідко з похибками, без виразного представлення про всю глибину і складності тих розумових дій, з якими пов'язаний кожен, навіть самий елементарний акт мислення.
Проблематика сучасної логіки складна і різноманітна. І тому багато що залишилося за межами курсової роботи. Її завдання в тому, щоб дати загальне і доступне уявлення про закони нашого мислення і про науці, що вивчає їх, показати логічний аналіз в дії, в застосуванні до змістовно цікавим проблемам, що зустрічається в повсякденному житті.
Логічна теорія своєрідна. Вона висловлює про звичайний - про людському мисленні - те, що може здатися на перший погляд без необхідності ускладненим. До того ж основний її зміст формулюється на особливому, створеному спеціально для своїх цілей штучному мовою. Звідси складність першого знайомства з логікою: на звичне і усталене треба поглянути новими очима і побачити глибину за тим, що уявлялося само собою зрозумілим.
В
1. Класична та некласична У ЛОГІКА
Безпосереднім результатом революції, що сталася в логіці в кінці XIX - початку XX ст.ст., було виникнення логічної теорії, що отримала згодом ім'я класичної логіки. Біля її витоків стоять поряд з багатьма іншими дослідниками Ірландська логік Д. Буль, американський філософ і логік Ч. Пірс, німецький логік Г. Фреге. У їх роботах була поступово реалізована ідея перенесення у логіку тих методів, які звичайно застосовуються в математиці.
Класична логіка орієнтувалася головним чином на аналіз математичних міркувань. З цими пов'язані багато її особливості, нерідко розцінювалися тепер як її недоліки. У процесі розвитку вона виявилася однією з багатьох логічних теорій. Але це не означає, що вона представляє тепер тільки історичний інтерес. Класична логіка і раніше залишається ядром сучасної логіки, зберігає як теоретичну, так і практичну значимість.
Різноманітні некласичні напрями, що виникли пізніше, складають в сукупності то досить невизначене і різнорідне ціле, яке прийнято об'єднувати під ім'ям некласичної логіки. Деякі з цих напрямків формувалися в опозиції до класичній логіці, інші - в полеміці з нею. Але для всіх вона була зразком підходу до логічного аналізу мислення, першої теорією, послідовно і повно реалізувала програму математизації логіки.
В
1.1 З історії некласичної логіки
Критика класичної логіки почалася вже на початку цього століття і велася з різних напрямів. Результатом її стало виникнення цілого ряду нових розділів сучасної логіки. У ряді випадків виявилося, що реалізовані при цьому ідеї активно обговорювалися ще в античної та середньовічної логіки, але були грунтовно забуті в новий час.
У 1908 р. Л. Брауер, голландський математик і логік, піддав сумніву необмежену прикладеність в математичних міркуваннях класичних законів виключеного третього, (Зняття) подвійного заперечення, непрямого докази. Одним з результатів аналізу таких міркувань стало виникнення інтуїционістськой логіки, сформульованої в 1930 р. А. гейтинг і не містить зазначених законів. Одночасно з Брауером ідею неуніверсальності закону виключеного третього відстоював НА. Васильєв. p> Ще в 1912 р. американський логік і філософ К.І. Льюїс звернув увагу на так звані В«парадокси імплікаціїВ», характерні для формального аналога умовного висловлювання у класичній логіці - матеріальної імплікації. Льюїс розробив першу некласичну теорію логічного прямування, в основі якої лежало поняття суворої імплікації, определявшееся в термінах логічної неможливості. До теперішнього часу запропоновано цілий ряд теорій, що претендують на біль...
