Так відкрився
новий, сучасний етап у розвиткулогічних
досліджень. Мабуть, найбільш важлива
відмінна рисацього етапу полягає в розробці
та використанні нових методів вирішеннятрадиційних
логічних проблем. Це розробка і застосування
штучного,так званого формалізованої
мови - мови символів, тобто буквених іінших
знаків (звідси і найбільш загальне найменування
сучасної логіки -В«СимволічнаВ»).
Становлення
індуктивної логіки
Дослідно-індуктивний
метод Бекона полягав у поступовомуутворенні
нових понять шляхом тлумачення
фактів і явищ природи. Тількиза допомогою
такого методу, на думку Бекона, можливо
відкрити нові істини, ане топтатися на
місці. Не відкидаючи дедукцію, Бекон так
визначав відмінність іособливості цих
двох методів пізнання: "Два шляхи існують
і можутьіснувати для відкриття істини.
Один здіймаються від відчуттів і деталей
донайбільш загальних аксіомам, і, ідучи
від цих підстав і їх непохитною істинності,обговорює
і відкриває середні аксіоми. Цим шляхом
і користуються нині. Інший жешлях виводить
аксіоми з відчуттів і деталей, піднімаючись
безперервно іпоступово, поки нарешті
не приходить до найбільш загальних аксіомам.
Це шляхістинний, але не випробуваний
".
Хоча проблема
індукції і раніше ставиласяпопередніми
філософами, тільки у Бекона вона
набуває чільнезначення і виступає першорядним засобом
пізнання природи. На противагуіндукції
через просте перерахування, поширеною
в той час, він висуваєна передній план
справжню, за його словами, індукцію, що
дає нові висновки,одержувані на підставі
не стільки в результаті спостереження
підтверджуютьфактів, скільки в результаті
вивчення явищ, суперечать що доводитьсяположенню.
Один-єдиний випадок здатен спростувати
необдуманеузагальнення. Зневага до так
званим негативним інстанціях, за Бекону,-
Головна причина помилок, забобонів, забобонів.
У індуктивний
метод Бекона необхідними етапами
входитьзбирання фактів, їх систематизація.
Бекон висунув ідею складання
трьохтаблиць дослідження - таблиці
присутності, відсутності і проміжних
ступенів.Якщо, використовуючи улюблений
Беконом приклад, хтось хоче знайти форму
тепла, то вінзбирає в першій таблиці різні
випадки тепла, прагнучи відсіяти все
те, щоне має спільного, тобто те, що є,
коли тепло присутня. У другій таблицівін
збирає разом випадки, які подібні випадків
в першій, але які немають теплом. Наприклад,
у першій таблиці можуть бути перераховані
промені сонця,які створюють тепло, у другу-включатися
такі речі, як промені, які виходять відмісяця
або зірок, які не створюють тепла. На цій
підставі можна відсіяти всеті речі, які
є в наявності, коли тепло присутня. Нарешті,
в третій таблицізбирають випадки, в яких
тепло присутня в різному ступені. Використовуючиці
три таблиці разом, ми можемо, згідно Бекону,
з'ясувати причину, якалежить в основі
тепла, а саме - по думки Бекона - рух. У
цьому виявляєтьсяпринцип дослідження
загальних властивостей явищ, їх аналіз.
У індуктивний методБекона входить і проведення
експерименту.
Для проведення
експерименту важливо варіювати
його,повторювати, переміщати з
однієї області в іншу, змінювати
обставини назворотні, припиняти його, зв'язувати
у іншими і вивчати в трохи зміненихобставинах.
Після цього можна перейти до вирішального
експерименту. Беконвисунув дослідне
узагальнення фактів як стрижня свого
методу, однак небув захисником одностороннього
його розуміння. Емпіричний метод Бекона
відрізняєте, що він в максимальній мірі
спирався на розум при аналізі фактів.
Беконпорівнював свій метод з мистецтвом
бджоли, яка, здобуваючи нектар з квітів,переробляє
його в мед власним умінням. Він засуджував
грубих емпіриків, якіподібно мурашки
збирають все, що їм трапляється на шляху
(маючи на увазіалхіміків), а також тих
умоглядних догматиків, які як павук тчуть
павутиннязнання з себе (маючи на увазі
схоластів). Передумовою реформи науки
маєстати, за задумом Бекона, і очищення
розуму від помилок, яких вінналічує чотири
види. Ці перешкоди на шляху пізнання він
називає ідоламиідоли роду, печери, площі,
театру. Ідоли роду - це помилки, обумовленіспадковою
природою людини. Мислення людини має
свої недоліки, такяк "уподібнюється
нерівному дзеркалу, яке, домішуючи до
природи речейсвою природу, відображає
речі у викривленому та спотвореному вигляді
".
Людина постійно
тлумачить природу за аналогією
злюдиною, що знаходить своє вираження
в телеологічного приписуванні
природікінцевих цілей, які їй не властиві.
У цьому і проявляється ідол роду.Звичку
очікування більшого порядку в явищах
природи, ніж насправді,можна знайти в
них, - це ідоли роду. До ідолам роду Бекон
відносить і прагненнялюдського розуму
до необгрунтованих узагальнень. Він вказував,
що часто орбітиобертових планет вважаються
за кругові, що необгрунтовано. Ідоли печери
- цепомилки, які властиві окремій людині
або деякими групами людей всилу суб'єктивних
симпатій, уподобань. Наприклад, одні дослідники
вірять внепогрішний авторитет старовини,
інші схильні віддавати перевагу новому."Людський
розум не сухий світло, його зміцнюють
воля і пристрасті, а цепороджує в науці
бажане кожному. Людина швидше вірить
в істинність того,що воліє ... Нескінченним
числом способів, іноді непомітних, пристрастіплямують
і псують розум ".
Становлення
діалектичної логіки
Якщо і
традиційна (аристотелівська) і символічна(Математична)
логіка - це якісно різні ступені
в розвитку однієї ітієї ж
формальної логіки, то діалектична
логіка - інша найважливіша складовачастина сучасної
логіки як науки про мислення. Звертаючись
знову до історіїлогіки, ми знаходимо,
що вже Арістотель поставив і спробував
вирішити рядфундаментальних проблем
діалектичної логіки - проблему відображення
реальнихпротиріч в поняттях, проблему
співвідношення окремого та загального,
речі тапоняття про неї і т. д. Елементи
діалектичної логіки поступово накопичувалися
впрацях наступних мислителів і особливо
виразно виявилися в роботах Бекона,Імислення.інший.
У цьому зв'язку
вінпротиріч.суперечності.
3.народження.Безсумнівно,науки
і техніки.Вона знаходитьXIX в.математичні
методи.виведення.
ВизначенняСучаснаКонкретнімислення.
науки.безперервно
розширюється.
У 20-і роки
XX в.гуманітарні науки.
знання.Цей розділати,
отримані тут (наприклад,Геделя теорема про неповноту
достатньо багатих формалізованих мов
та ін)мають принципове філософське і
методологічне значення.
До цієї
сфери відносяться вивчення логічної
структуринаукових теорій, способів
їх емпіричного обгрунтування,
дослідження різногороду індуктивних процедур
(індуктивний висновок, аналогія, моделювання,
методивстановлення причинних зв'язків
на основі спостереження й експерименту
і т. п.),труднощів застосування теорій
на практиці і т. д. Особливе місце займаютьпроблеми,
пов'язані з вивченням смислів і значень
теоретичних і емпіричнихтермінів, з аналізом
семантики таких ключових термінів, як
закон, факт,теорія, система, вимір, імовірність,
необхідність і т. д.
Останнім
часом значна увага приділяєтьсялогічному
дослідженню процесів формування, росту і розвитку
знання. Вонимають загальнонауковий характер,
але поки вивчаються переважно на матеріаліприродничонаукових
теорій. Були зроблені, зокрема, спроби
побудовиособливої вЂ‹вЂ‹діахронічний
логіки для опису розвитку знання.
Сюди належать питання семантики оцінних
і нормативнихпонять, вивчення структури
і логічних зв'язків висловлювань про
цінності,способів їх обгрунтування, аналіз
моральних, правових та ін кодексів і т.
д. Доних відносяться пояснення, розуміння,
передбачення, визначення, узагальнення,класифікація,
типологізація, абстрагування, ідеалізація,
порівняння,екстраполяція, редукція і
т. д.
Цей перелік
областей і проблем логічного
дослідженнянаукового знання, що
спирається на сучасну логіку
не є вичерпним.Він показує
як широту інтересів сучасної логіки
так і складність стоятьперед нею завдань.
Логіка науки,
не є ні В«гілкоюВ», ні В«розділомВ»символічної
логіки, на відміну від таких
розділів останньої, як, напр.,багатозначна
логіка або логіка часу. Логіка
науки не є і особливоїВ«ДисципліноюВ», існуючої
поряд з сучасною логікою, а є лише особливийаспект
логіки, пов'язаний з додатком логічних
систем до практики науковоготеоретизування
і виділяється тільки за контрастом з
чистим дослідженнямформальних побудов
(числень).
У сучасній логіці немає розділів,
якось по-особливомупов'язаних з наукою;
разом з тим всі розділи символічної логіки
включаючи іцентральний - теорію логічного
слідування, так чи інакше, пов'язані злогічним
аналізом наукового пізнання. Сучасна
логіка взаємодіє знаукою насамперед
через методологію наукового пізнання,
тому зазвичай говорятьне просто про В«логікою
наукиВ» (В«логікою наукового пізнанняВ»),
а про В«логікою іметодології науки В»або
проВ« логіко-методологічному аналізі
науки В».
У рамках
такого аналізу символічна логіка сама по
собіне вирішує якихось конкретних проблем
методології науки, але логічнедослідження
являє собою, як правило, необхідну передумову,розгляду
таких проблем. Сучасна логіка не тільки
використовується вметодологічному аналізі,
але і сама отримує важливі імпульси в
результатізворотного впливу своїх додатків.
Має місце
взаємодія логіки й методології
в аналізінаукових теорій, а не
просте застосування готового
апарату до деякого зовнішньогодля
нього матеріалу. Особливо помітним
це стало в останні роки, колизсув центру
інтересів методології науки, від аналізу
готового знання додослідженню росту
і розвитку знання, поступово веде до відповідногозміни
проблематики як логіки науки, так і сучасної
логіки.
Математична
логіка не охоплює всіх проблемприродної логіки мислення.
За формальною логікою залишається її
пізнавальнафункція і методична роль
як науки про закони і форми правильної
думки,провідною до утвердження істини.
Символічна логіка
знаходить все більш широке
застосуванняв інших науках - не
тільки в математиці, а й у фізиці, біології,
кібернетиці,економіці, лінгвістиці. Вона
призводить до виникнення нових галузей
знань(Метаматематика). Особливо вражаюча
і наочна роль сучасної логіки всфері
виробництва. Відкриваючи можливість
як би автоматизувати процесміркувань,
вона дозволяє передати деякі функції
мислення технічнимпристроям. Її результати
знаходять все більш широке застосування
в техніці: пристворенні релейно-контактних
схем, обчислювальних машин,інформаційно-логічних
систем і т. д. За образним висловом одного
звчених, сучасна логіка - це не тільки
В«інструментВ» точної думки, але іВ«ДумкаВ»
точного інструменту, електронного автомата.
Спеціально відзначимо, щодосягнення
сучасної логіки використовуються і в
правовій сфері. Так, вкриміналістиці
на різних етапах дослідження проводиться
логіко-математичнаобробка зібраної інформації.
Зростаючі потреби
науково-технічного прогресуобумовлюють
подальший інтенсивний розвиток
сучасної логіки.