Ця наука була розроблена ще задовго до н.е. греками. Вони любили цікаву, красиве життя (н. Грецька архітектура і скульптура).
Причини розробки греками формальної логіки:
1 - греки першими в світовій історії починають будувати демократичне гос-во. Державні рішення і закони приймаються на народних зборах (іноді брали дурні рішення, н. Непідготовлена війна);
2 - грекам подобалося судитися один з одним. У греків при цьому не було професійних обвинувачів і адвокатів. Тому для любителів судових процесів була наука. Перші адвокати з'явилися в Стародавньому Римі (Цицерон);
3 - любов греків до розробки теоретичних наук.
Таким чином, потрібна була наука про те, як будувати строгі наукові докази, щоб не було ніяких сумнівів в їх правильності. І в 1 половині 4 століття до н.е. Аристотель розробляє курс основ логіки і в своєму «ВНЗ» читає її. І після цього (через 10-20 років) греки розробляють найдосконаліший підручник з теоретичної науки в світовій історії (Евклід «Початок геометрії»). Цим підручником наслідували багато наступних підручники за структурою і змістом.
4 - незвичайний хар-р грецької «золотої» молоді. У центрі інтересів афінської «золотої» молоді в 5-4 ст. до н.е. були дискусії, суперечки з інтелектуалами-філософами. Філософи були головними «вчителями життя», оскільки влада греки не довіряли.
Розробляючи дану науку, греки звернули увагу на те, що міркування м / б різними з математики і однаковими за формою, тобто за способами з'єднання своїх частин.
Виходячи з цього греки звернули увагу на те, що однакові за формою міркування підкоряються загальним певним законам і правилам, порушення яких веде до помилок у висновках.
Закон №1. Якщо все готові судження є ствердною, то висновок, зроблений з них, що не м / б негативним (ніяк не можна сказати, що Іванов не вивчає інформатику).
Закон №2. Якщо одне з готових суджень негативно, то висновок, зроблений з них, д / б негативним (Всі студенти вивчають інформатику. Іванов не вивчає інформатику - Іванов не студент).
Таким чином, формальна логіка - це наука про закони і принципи правильного, ефективного побудови міркувань, враховуючи їх форму, тобто способи з'єднання частин міркування. При цьому міркування м / б побудовані логічно, в соотв. з законами логіки, але висновок виявитися нелогічним, якщо готові судження, з яких виробляється висновок, є помилковими.
Чарльз Дарвін: «Вища стадія духовної культури настає тоді, коли ми розуміємо, що повинні контролювати свої думки». Особливо це важливо в умовах розвиненої демократії, де гр-не претендують на самостійне освоєння найважливіших проблем.
Фукідід (один з перших істориків Греції): «Більшість людей не ускладнює себе розвідкою істини і схильні засвоювати готові погляди».
У 19 столітті один з перших дослідників масової психології Г. Лебон сказав: «Логіка розум ніколи не були справжніми керівниками народів. Нерозумне завжди становило один з наймогутніших двигунів людства ».