методів вирішення традиційних логічних проблем. Це розробка і застосування штучного, так званого формалізованої мови - Мови символів, тобто буквених і інших знаків (звідси і найбільш загальне найменування сучасної логіки - В«символічнаВ»).
Розрізняють два види логічних числень: числення висловів і числення предикатів. При першому допускається відволікання від внутрішньої, понятійної структури суджень, а при другому ця структура враховується і відповідно символічна мова збагачується, доповнюється новими знаками.
Значення символічних мов в логіці важко переоцінити. Г. Фреге порівнював його зі значенням телескопа і мікроскопа. А німецький філософ Г. Клаус (1912-1974) вважав, що створення формалізованої мови мало для техніки логічного виведення таке ж значення, яке в сфері виробництва мав перехід від ручного праці до машинного. Виникаючи на основі традиційної формальної логіки, символічна логіка, з одного боку, уточ В¬ вується, поглиблює та узагальнює колишні уявлення про логічних законах і формах, особливо в теорії висновків, а з іншого - все більш значно розширює і збагачує логічну проблематику. Сучасна логіка - складна і високорозвинена система знань. Вона включає в себе безліч напрямків, окремих, відносно самостійних В«логікВ», всі
Символічна Вона Так, в
Зростаючі
Залишається Так, він Його власні
3.
Якщо
В мислення. В
Але результатів. У цій викладу. Але в
Проблеми діалектику. зміст.
Теорія
Що У той зовнішнього світу.
Розкриваючи недостатня.
К. сучасного йому суспільства.
Становлення
Ленін
1)
2)
3)
4)
В З одного боку, цеї розвитку самого мислення, його власної діалектики.
В умовах науково-технічної революції, коли науки переходять на нові, більш глибокі рівні пізнання і коли зростає роль діалектичного мислення, потреба в діалектичній логіці все більш посилюється. Вона отримує нові стимули для свого подальшого розвитку.
Висновок
В своєму розвитку логіка пройшла тривалий період розвитку. Найважливіше обставина, що сприяло виділенню логіки в самостійну галузь знання, носило яскраво виражений практичний характер, оскільки логіка у той час розроблялася в тісному зв'язку із запитами ораторського мистецтва, тобто як частина практичної риторики. Мистецтво публічного мовлення, вміння вести полеміку, переконувати людей цінувалося у стародавніх греків виключно високо і стало предметом спеціального аналізу в школах так званих софістів. Спочатку до них відносили мудрих, авторитетних у різних питаннях людей. Потім так стали називати людей, за плату виробляли навчання мистецтву красномовства; вони повинні були навчити вмінню переконливо захищати свою точку зору і спростовувати думку своїх опонентів. Такого роду навички припускають не тільки уміння красиво говорити, але і володіння складними механізмами мислення і, перш за все, різними способами побудови умовиводів, доказів, спростувань, тобто того, що і складає основний зміст логіки. Фундаментальний характер логічних вишукувань Арістотеля виявляється в тому, що його логічне вчення, удосконалене в деяких аспектах, а іноді і спотворене, проіснувало без особливих принципових змін до середини XIX століття і отримало назву традиційної логіки.
Видатним подією в історії логіки у Новий час стала поява праці англійського філософа Ф. Бекона "Новий органон", який, на його думку, повинен був замінити арістотелівський В«ОрганонВ» як знаряддя пізнання. Критично оцінюючи значущість форм висновків, в яких використовується вже потовое знання, Ф. Бекон прагнув розробити прийоми дослідження самої природи. Він поклав початок розробці методів встановлення причинно-наслідкових зв'язків в об'єктивній дійсності. Його вчення про ці методи придбало відносно завершений характер в роботах Дж. Фр. Гершеля і Дж. Ст. Мілля. Результати цих розробок увійшли в історію логіки під назвою В«Індуктивні методи встановлення причинних зв'язків В». Питаннями логіки займалися і внесли певний вклад в її розвиток багато видатні вчені Нового часу: Р. Декарт, Г. Лейбніц, І. Кант та інші. Примітно, що Г. Лейбніц висунув ряд ідей фундаментального характеру, що отримали інтенсивний розвиток в сучасній логіці. Початок нового етапу в розвитку логіки було покладено працями Дж. Буля, О. де Моргана, російського логіка П.С. Порецкого. Принципова відмінність цього етапу полягало у застосуванні методів математики до дослідження логічних зв'язків, що призвело до створення спеціального розділу логіки - алгебри логіки, що отримала завершення в працях Е. Шредера. Надалі зусиллями Г. Фреге, Б. Рассела - А. Вайтхед склався особливий метод дослідження логічних відносин і форм висновків - метод формалізації. Суть цього методу полягає у вживанні для опису структур висловлювань, законів логіки і правил виводу спеціально створеного в рамках логіки формалізованої мови. Застосування цього методу відкрило нові можливості цієї науки і поклало початок її інтенсивному розвитку під назвою В«Символічна логікаВ».
В Нині логіка являє собою досить розгалужену і багатопланову науку, результати і методи якої активно використовуються в багатьох областях теоретичного пізнання, у тому числі і безпосередньо пов'язаних з низкою сучасних напрямів практичної діяльності. Вона знаходить застосування в філософії, математики, психології, кібернетиці, лінгвістиці та ін З самої загальної точки зору в сучасній логіці, як ми вже говорили, виділяють три великі розділу: символічну (В«формальнуВ») логіку, логічну семіотику і методологію.
Список літератури
1. Асмус В. Логіка. - 1999. - 362 с.
2. Анісомов А. Сучасна логіка. - М., 2003. - 416 с.
3. Брюшінкіе В. Логіка. - М., Проспект, 2002. - 416 с.
4. Войшвилло Є.К., Дегтяренко М.Г. Логіка. - М.: Владос - Прес, 2001. - 564 с.
5. Іванов Є.І. Логіка. - М.: БЕК, 2001. - 368 с.
6. Івін А.А. Логіка. - М.: Гардаріки, 2003. - 352 с.
7. Івлєв Ю. Логіка для юристів. - М.: БЕК, 2001. - 416 с.
8. Кирилов В.І. Логіка для юристів. - М., 2001. - 374 с.
9. Кирилов В.І., Орлов Г.А., Фокін Н.І. - Логіка. - М.: Проспект, 2004.
10. Челпанов Г.І. Підручник логіки. - М., 1996. - 296 с.
Для підготовки даної роботи були використані матеріали з сайту referat.ru/
