Логіка - Жеребкін В. Є. - 1.6. Логіка як наука
Формальна логіка є наука про закони й форми правильної побудови думки.
Формальна логіка вивчає закони і правила, яким підлягає мислення людини в процесі пізнання нею істини. До завдань формальної логіки не входять дослідження того, чому наше мислення набуває форми понять, суджень, умовиводів, як складалися ці логічні форми у процесі становлення людини і її мислення, що являли вони собою на ранньому ступені розвитку мислення, яку пізнавальну роль виконує кожна логічна форма, взаємозв'язок форми мислення і т. д. Ці й інші питання, що відносяться до логічної природи і сутності форми мислення, з'ясовує діалектична логіка. Формальна ж логіка досліджує лише одну сторону мислення - його структуру. Цим вона відрізняється від будь-якої іншої науки, що вивчає мислення людини.
Формальна логіка досліджує форми мислення як форми відтворення відносно постійних, якісно визначених предметів і явищ, стійких зв'язків і відносин. Вона вивчає структуру готових, що склалися, форм мислення, відхиляючись від процесу їх формування і розвитку.
Формальна логіка, вивчаючи мислення з боку його логічної структури, відхиляється від конкретного змісту думки. Але формальна логіка не байдужа до змісту думки взагалі; вона вивчає логічні форми як змістовні, а не чисті форми Формальна логіка відокремлюється від конкретного змісту, щоб виявити структуру логічних форм, розкрити закони будови і зв'язків думки. У самому ж процесі мислення закони і правила формальної логіки настільки тісно пов'язані з конкретним змістом, що ми не можемо перевірити їхню дію, не звернувшись до конкретного змісту думки. Так, щоб перевірити, чи дотримано у процесі того чи іншого міркування вимоги закону тотожності, ми маємо зіставити думки (поняття) за їхнім змістом.
Логіка ніколи не була нейтральною до філософської боротьби. У логіці завжди було (і є) багато різноманітних шкіл і течій.
За своїми завданнями, за своїм відношенням до інших наук формальна логіка є наукою філософською.
Як самостійна наука логіка склалася в IV ст. до н. е. її засновником був давньогрецький філософ Аристотель (384- 322 рр. до н. е.), котрий першим змістовно дослідив і описав основні форми умовиводів (особливо дедукцію) і доказів, розкрив сутність законів тотожності, суперечності і виключеного третього, дав класифікацію суджень. В історії античної філософії Аристотель першим робить думку людини предметом спеціального дослідження. Його логіка - наука про доказовість до засобів обгрунтування істини.
В античну епоху аристотелева силогістика далі була розвинута стоїками. У логіці стоїків багато уваги приділялося теорії умовних і розподільних умовиводів.
У середні віки сформувалась схоластична логіка. Середньовічні мислителі продовжували тенденції у формалізації силогістики Аристотеля. У схоластичній логіці набули подальшого розвитку ідеї логіки висловлювань, висунутих стоїчною логікою. Але схоластична логіка в певному відношенні була й кроком назад стосовно античної логіки. В Аристотеля логіка була зброєю пізнання навколишнього світу. Середньовічні ж схоласти логіку підпорядкували завданням богослов'я і релігії. Основне призначення логіки вбачалося не в пізнанні світу, а в захисті офіційної церковної ідеології завдяки штучним, формально-логічним хитрощам.
Подальший розвиток логіки пов'язаний з виникненням у надрах феодалізму капіталістичних суспільних відносин, розвитком дослідних наук, техніки наукового експерименту і наукового знання взагалі. Особлива роль у розробці логіки цього періоду належить таким видатним мислителям, як англійський філософ Ф. Бекон (1561-1626), французький учений Р. Декарт (1596-1650), німецький математик Г. Лейбніц (1646-1716) та ін.
Родоначальник англійського матеріалізму Ф. Бекон непримиренно виступав проти середньовічної схоластики як головної перешкоди на шляху пізнання природи. Він твердив, що схоластика плідна в словах, але безплідна у справах і не дала світу нічого" окрім чортополоху суперечок. У своїй головній праці "Новий Органон" Ф. Бекон заклав основи індуктивної логіки. Вважаючи, що безпосереднім завданням пізнання е розкриття причинних зв'язків предметів і явищ навколишньої дійсності, він розробив методи визначення причинних зв'язків між явищами. Розробка цих методів наукової індукції була запропонована пізніше Гершелем, Уевеллем і Дж. Ст. Міллем.
Рене Декарт, визнаючи середньовічну схоластику і схоластичну логіку, слідом за Ф. Беконом оголосив створення такої філософії і логіки, яка слугувала б практиці, посилюючи панування людини над природою. Як і Ф. Бекон, Р. Декарт вбачав головне завдання у створенні наукового методу. Але якщо Бекон як метод експериментального пізнання висував на перший план індукцію, то Декарт, виходячи з даних математики, віддавав перевагу дедукції. Послідовниками Декарта А. Арно і П. Ніколь у 1662 р. було написано підручник з логіки - "Логіка, або Мистецтво мислити", відомий під назвою "Логіка Пор-Рояля", в якому ставилося завдання звільнити логіку Аристотеля від схоластичних перекручень. "Логіка Пор-Рояля" тривалий час вважалася основним керівництвом із формальної логіки.
Важливий крок у розвитку ідей математичної (символічної) логіки зробив Г. Лейбніц. Застосувавши до логіки математичний метод, він намагався побудувати логіку як математичне обчислення ("універсальна характеристика"). Лейбніц першим використав символи для позначення логічних постійних (символи для позначення змінних були введені Аристотелем), започаткувавши розробку принципів побудови дедуктивних теорій, першим дав чітке формулювання закону достатньої підстави.
Подальший етап розвитку логіки пов'язаний з іменем видатного німецького філософа І. Канта (1724-1804). Кант надав логіці чітко вираженого формалістичого характеру. Вона розглядається ним як наука про голі форми мислення, не тільки не пов'язані зі змістом мислення, а й не залежні від нього. Лексичні форми і закони мислення Кант оголосив апріорними (додослідними) нормами, які ніколи не виникали і не розвивалися, а просто дані людському розуму в готовому вигляді. На думку Канта, логіка з часу Аристотеля не зробила жодного кроку вперед і має абсолютно замкнений, викінчений характер.
Важлива роль в обгрунтуванні матеріалістичного погляду на логіку належить М. В. Ломоносову, О. М. Радищеву, О. І. Герцену, І. М. Сєченову, К. А. Тимірязєву та ін. Логічні проблеми розроблялися й такими відомими логіками, як М. Коринський, Л. Рутковський.
У середині XIX ст. виникла математична (символічна) логіка. Як уже зазначалося, основи математичної логіки були закладені Лейбніцем, а ряд ідей математичної логіки виник ще в середньовічній схоластиці і навіть у логіці давніх стоїків. Але Лейбніц не залишив по собі школи, і його ідеї невдовзі були забуті2. Тому виникнення математичної логіки як науки пов'язують із працями англійського математика Дж. Буля (1815-1854), німецького математика і логіка Е. Шредера (1841-1902), астронома і логіка П. С. Порецького (1846- 1907) та ін. учених.
В історії математичної логіки виділяють такі періоди. Історично першою формою математичної логіки був період алгебри логіки (Дж. Буль, Е. Шредер, П. С. Порецький). Цей період характеризується пристосуванням методів математики до логіки. Другий період розпочинається із появою праці Г. Фреге (1848-1925) "Обчислення понять" (1870) і характеризується використанням логіки з метою обгрунтування самої математики. Третій період - це сучасний період розвитку математичної логіки. Він пов'язаний з появою тритомника Б. Рассела та А. Уайтхеда "Принципи математики" (1910-1913), німецького математика Д. Гільберта (1862- 1943) "Основні риси теоретичної логіки" (1928), працями К. Геделя, А. Тюрінга, Е. Поста, Р. Петер, А. М. Колмогорова, П. С. Новикова, А. А. Маркова, С. М. Яновської та ін.
Математична логіка виникла як гілка традиційної формальної логіки, що розвивалася відповідно до потреб математики. Порівняно з традиційною (аристотелівською) логікою математична логіка досягла вищого ступеня наукової абстракції і формалізації, унаслідок чого вона відображає досліджувану нею галузь точніше й адекватніше. На основі досягнень математичної логіки відкриваються ширші можливості для механізації окремих сторін розглянутої діяльності людини.
Схожі статті
-
Логіка - Жеребкін В. Є. - 1.8. Значення логіки для судового пізнання
Математична логіка Розрізняють логіку формальну й діалектичну. Засновником традиційної формальної логіки є, як відомо, Аристотель. Термін "діалектична...
-
Логіка - Жеребкін В. Є. - 1.7. Логіка формальна й діалектична
Математична логіка Розрізняють логіку формальну й діалектичну. Засновником традиційної формальної логіки є, як відомо, Аристотель. Термін "діалектична...
-
Логіка - Жеребкін В. Є. - 1.1. Поняття мислення
Термін " Логіка " походить від грецького слова "логос", яке перекладається на українську мову як "слово", "мисль", "поняття", "розум", "закономірність"....
-
Логіка - Жеребкін В. Є. - Розділ 1 ПРЕДМЕТ І ЗНАЧЕННЯ ЛОГІКИ
Термін " Логіка " походить від грецького слова "логос", яке перекладається на українську мову як "слово", "мисль", "поняття", "розум", "закономірність"....
-
Логіка - Жеребкін В. Є. - 1.3. Поняття форми мислення і закони мислення
Мислення нерозривно пов'язане з мовою. Мислення і мова виникають і розвиваються одночасно. Мислення у власному розумінні слова без мови неможливе....
-
Логіка - Жеребкін В. Є. - 1.2. Мислення і мова
Мислення нерозривно пов'язане з мовою. Мислення і мова виникають і розвиваються одночасно. Мислення у власному розумінні слова без мови неможливе....
-
Логіка - Жеребкін В. Є. - 1.5. Мова логіки
Розрізняють істинність і правильність мислення. Ці поняття не тотожні, а тому їх не можна сплутувати. Поняття "істинність" відноситься до змісту думки, а...
-
Логіка - Жеребкін В. Є. - 1.4. Істинність і правильність мислення
Розрізняють істинність і правильність мислення. Ці поняття не тотожні, а тому їх не можна сплутувати. Поняття "істинність" відноситься до змісту думки, а...
-
Логіка - Жеребкін В. Є. - 2.1. Загальна характеристика поняття
2.1. Загальна характеристика поняття Поняттям називається форма мислення, яка відтворює предмети і явища в їхніх істотних ознаках. Із цього визначення...
-
Логіка - Жеребкін В. Є. - Розділ 2 ПОНЯТТЯ
2.1. Загальна характеристика поняття Поняттям називається форма мислення, яка відтворює предмети і явища в їхніх істотних ознаках. Із цього визначення...
-
Логіка - Жеребкін В. Є. - 2.3. Зміст і обсяг поняття
Поняття й слово - не одне й те саме. Поняття є категорія мислення, слово - категорія мови. І як думка перебуває в нерозривному зв'язку з мовою, так і...
-
Логіка - Жеребкін В. Є. - 2.6. Види понять
Поняття діляться на види за змістом і обсягом. За обсягом розрізняють поняття одиничні, загальні й нульові. Одиничним називається поняття, обсяг якого...
-
Логіка - Жеребкін В. Є. - 2.5. Логічна сутність кримінально-правової кваліфікації злочину
У кримінальному праві поряд з терміном "зміст поняття" існує специфічне поняття "склад злочину". Коли йдеться про той чи інший конкретний злочин,...
-
Логіка - Жеребкін В. Є. - 2.4. Зміст поняття і склад злочину
У кримінальному праві поряд з терміном "зміст поняття" існує специфічне поняття "склад злочину". Коли йдеться про той чи інший конкретний злочин,...
-
Логіка - Жеребкін В. Є. - 1. Відношення тотожності
У процесі пізнання і практики досить часто доводиться з'ясовувати відношення між тим чи іншим поняттями. Знання відношення між поняттями дає змогу не...
-
Логіка - Жеребкін В. Є. - 2.7. Відношення між поняттями
У процесі пізнання і практики досить часто доводиться з'ясовувати відношення між тим чи іншим поняттями. Знання відношення між поняттями дає змогу не...
-
Логіка - Жеребкін В. Є. - 2.2. Поняття і слово
Поняття й слово - не одне й те саме. Поняття є категорія мислення, слово - категорія мови. І як думка перебуває в нерозривному зв'язку з мовою, так і...
-
Логіка - Карамишева Н. В. - 1.3. Історичний розвиток науки логіки. Виникнення різних типів логіки
Логіка - наука про суб'єктивний логос. Наука логіка виникла в Давній Греції. її засновник - давньогрецький філософ і вчений Арістотель (384-382 рр. до н....
-
Логіка - Конверський А. Є. - 1. Визначення логіки як науки
Логіка - одна з найдавніших галузей наукового знання, є суттєвим загальнокультурним феноменом від початку її виникнення як науки. Роль логіки у сучасному...
-
Логіка - Карамишева Н. В. - Об'єкт і предмет науки логіки
Дослідження логіки означає дослідження всього закономірного. Поза логікою - все випадкове. Л. Вітгенштайн На першому курсі ми вивчаємо логіку (традиційну...
-
Логіка - Карамишева Н. В. - 1.2. Об'єкт, предмет, метод науки логіки
Дослідження логіки означає дослідження всього закономірного. Поза логікою - все випадкове. Л. Вітгенштайн На першому курсі ми вивчаємо логіку (традиційну...
-
У ранню епоху Ренесансу історія літератури як галузь літературознавства до певного часу була менш розвинутою, ніж теорія творчості. Античний досвід...
-
Економічна теорія, пізнаючи об'єктивну економічну реальність, відкриває і формулює економічні категорії, закони і принципи. Економічні категорії -...
-
Вікова психологія - Сергеєнкова О. П. - 1.1. Вікова психологія як наука
Вікова психологія є сьогодні науковою галуззю, яка привертає увагу як фахівців різного спрямування, так і пересічних людей, що прагнуть підвищити свою...
-
Основи психології - Киричук О. В. - Розділ 4. ГАЛУЗІ ПСИХОЛОГІЧНОЇ НАУКИ
Сучасна психологія являє собою дуже розгалужену систему наукових дисциплін, що перебувають на різних щаблях формування, пов'язаних з різноманітними...
-
У системі юридичної освіти історії вчень про державу і право належить особливе місце. Водночас універсальний характер систематизованих у цьому...
-
Соціальна географія - Шевчук Л. Т. - СУСПІЛЬНІ (ЕКОНОМІКО-ГЕОГРАФІЧНІ) НАУКИ
Економічна і соціальна, або суспільна географія (Г) Економічна географія (г); Загальна економічна географія (теорія розміщення і територіальної...
-
Вікова психологія - Савчин М. В. - 1.1. Вікова психологія як галузь психологічної науки
Навіть далекий від науковості погляд здатний зауважити, що психічне життя людини від народження до старості зазнає багатьох змін, які впливають на...
-
1. Поняття, предмет та методи цивільного права як науки Вивчення цивільного права не вичерпується його пізнанням лише як регулятора суспільних відносин,...
-
Естетика - Мовчан В. С. - Тема 1. Предмет і завдання естетики як науки
Тема 1. Предмет і завдання естетики як науки 1.1. Зміст поняття "естетика" Поняття "естетика" увійшло до системи філософського знання для означення...
Логіка - Жеребкін В. Є. - 1.6. Логіка як наука