Традиційна логіка
Традиційна логіка - це наука про закони вивідного знання. Основоположником її є найбільший мислитель давнини Аристотель (384-322 до н. е..), якого К. Маркс і Ф. Енгельс називали «велетом думки» [27].
Розробляючи основи науки логіки, Аристотель спирався роботи багатьох попередників. Відомо, що окремі проблеми логіки (індукція, судження, поняття, визначення поняття, правила доказу та ін.) розглядалися у працях грецьких мислителів V та VI ст. до зв. е. Вже було багато робіт з філософії (Геракліта, Демокрита, Платона та інших.), з історії (Геродота, Фукидида, Ксенофонта та інших.), з медицини і природознавству. Все це давало найбагатший матеріал для розробки основних засад науки про логічне мислення.
Традиційна логіка - це перший ступінь логіки вивідного значення, як арифметика логіки. Вона вивчає загальнолюдські форми думки (судження та поняття) та форми зв'язку думок у міркуванні (розумові), зафіксовані у формально-логічних законах (тотожності, протиріччя, виключеної третьої та достатньої підстави), в яких відобразилися об'єктивно існуючі загальні закони, зв'язки та відносини предметів та явищ матеріальної дійсності. Логічні форми та закони є відображенням об'єктивного світу [22].
Вивчення логічної форми має важливе наукове значення. Як і будь-яка форма, логічна форма є внутрішня організація змісту, у разі організація у свідомості людини розумових образів предмета і явищ матеріального світу.
Практика людини, «мільярди разів повторюючись, закріплюється у свідомості людини фігурами логіки. Ці фігури мають міцність забобону, аксіоматичний характер саме (і тільки) в силу цього мільярдного повторення» [19].
Відносна самостійність логічної форми виявляється у тому, що логічна форма носить примусовий характер, змушуючи зробити необхідний висновок з прийнятих посилок.
Примусовий характер має будь-яка логічна форма. Таким чином, всі логічні форми мають відносну самостійність та примусовий характер.
Значення логіки і полягає в тому, що вона вчить, як правильно за формою (структурою) побудувати міркування, щоб, за умови вірного застосування формально-логічних законів, дійти істинного висновку з справжніх посилок, що розширює наші знання. Дотримання вимог логіки - неодмінна умова послідовного, несуперечливого, обгрунтованого мислення. Не дивно, що зі словом «логіка» люди споконвіку звикли пов'язувати знання важливих властивостей об'єктивної дійсності: відображення думки послідовності подій, обґрунтованості одних явищ іншими, причинного зв'язку, системності, порядку тощо. А. Ейнштейн якось добре висловив це, сказавши , що наука «прагне систематизувати наші переживання і вкласти їх у логічну систему» [51].
Логічне — це уявленні людей — щось упорядковане, що само собі не суперечить, що існує і розвивається обґрунтовано, послідовно і т. д., те, в чому можна бути впевненим, на що можна покластися.
Логіка, коли вона застосовується правильно, набуває відомого характеру критерію пізнання. Так, не можна практично перевірити, як всесвіт стискається та розширюється, але логічно це доведено. І взагалі, в історії науки існувало багато істин, які практично не перевірені, але логічно доведені і саме завдяки цьому ми вважаємо, що вони перевірені. Якби люди для кожної істини шукали практичну перевірку, наука та науковетворчість уповільнили свій розвиток» [33]. Щоправда, критерій логіки - це критерій другого порядку, бо критерієм першого порядку є практика. Але це не применшує значення логіки як критерію істини там, де перевірка практикою неможлива, і там, де можна обійтися у тому чи іншому конкретному випадку без перевірки практикою. Справа в тому, що в законах і формах логіки, як ми вже сказали, зафіксовано практику, яка мільярди разів спостерігалася людиною.