Розділ І. Предмет логіки

Як правило, таке вивчення передбачає виведення наслідків із положення, яке треба обґрунтувати, та подальшу їх емпіричну перевірку. Залежно від наявності емпіричного підтвердження або спростування дане твердження приймається як обґрунтоване або ж відхиляється. Загальновизнаним є факт, що будь-яке наукове положення хоча б потенційно передбачає своє спростування і способи підтвердження.

3. Включення обґрунтованого положення до сукупності фундаментальних положень (принципів) теорії.

Це включення передбачає внутрішню реконструкцію теорії, елементом якої є це положення, за допомогою введення у теорію нових означень і угод, уточнення основних понять і принципів теорії, визначення меж і можливостей їх поширення. У цьому випадку обґрунтування висловленого положення ґрунтується не тільки на емпіричній перевірці наслідків із нього самого, а й на зв'язках даної теорії з іншими теоріями.

Наведені факти співвідношення достатньої підстави і обґрунтовуваного в реальному процесі міркування реалізуються через такі види обґрунтування як пояснення, передбачення, інтерпретація.

Різноманітність видів обґрунтування свідчить, що закон достатньої підстави вказує на наявність для кожної істини достатньої підстави лише у найзагальнішому вигляді. Тому, зрозуміло, що цей закон не може вказати якою саме повинна бути ця підстава у кожному конкретному випадку, та у чому її витоки : у сприйнятті факту чи посиланні на теоретичне положення.

Закон достатньої підстави нічого не говорить і про те, яким повинно бути це сприйняття і посилання. Він висловлює тільки те, що для

будь-якого істинного твердження існує і повинна бути зазначена достатня підстава, завдяки якій воно визнається істинним.

Підсумовуючи характеристику законів логіки зазначимо, що у підручниках з логіки та деякій довідковій літературі часто підкреслюється, що закони логіки можна записати у вигляді формул класичної логіки:

ключеного третього - це методологічний принцип, який має цілу низку вимог до процесу міркування, і зводити його до зв'язку беззмістовних логічних термінів (диз'юнкції "м<, і заперечення "-" ), які фігурують у формулі закону буде значним перебільшенням.

законом. Можна сказати, що неможливість подати закон достатньої підстави у вигляді формули була своєрідним свідченням того, що основні формально-логічні закони (або закони логіки) мають зовсім іншу природу, ніж завжди істинні формули, і виконують своєрідну функцію у процесі побудови та аналізі наших міркувань.

Запис законів логіки у вигляді формул і переконання, що це велике досягнення сучасної логіки, з одного боку, збіднює суть і призначення цих законів, а з іншого - залишає поза увагою справжнє призначення та можливості сучасної логіки як ефективного інструменту дослідження та обґрунтування наукового пізнання.

Як уже зазначалося, головним завданням логіки є вивчення законів, правил, якими керується людина при отриманні вивідного знання. Вивідним називається знання, яке отримане опосередкованим шляхом. Ця опосередкованість полягає у співставленні раніше набутого знання з новим знанням. Саме співставлення не є хаотичним нагромадженням різних тверджень, це є певна струнка будова, яка передбачає суворе дотримання правил і законів логіки.

Більшість знань, якими володіє людина, мають опосередкований характер. І, навіть та частина знань, яка має вигляд безпосередніх констатацій фактів типу "Сніг - білий", "Трикутник - геометрична фігура" - в кінцевому рахунку носить опосередкований характер. Оскільки визначення їх очевидно істинними чи хибними передбачає відомим тільки смисл термінів "є", "сніг", "білий", "трикутник", "геометрична фігура".