Această știință a fost dezvoltată cu mult înainte de epoca noastră. grecii. Ei au iubit o viață interesantă și frumoasă (de ex. Arhitectura și sculptura greacă).
Motivele dezvoltării grecești a logicii formale:
1 - grecii sunt primii din istoria lumii care încep să construiască un stat democratic. Deciziile și legile de stat sunt adoptate în adunările publice (uneori au luat decizii stupide, n. Război nepregătit);
2 - grecii i-au plăcut să se judece reciproc. Grecii nu aveau procurori profesioniști și avocați. Prin urmare, pentru iubitorii de procese a fost știința. Primii avocați au apărut în Roma Antică (Cicero);
3 - dragostea grecilor pentru dezvoltarea științelor teoretice.
Astfel, a luat știința cum să construiască dovezi științifice riguroase, astfel încât să nu existe nici o îndoială cu privire la corectitudinea lor. Și în prima jumătate a secolului al IV-lea î.Hr. Aristotel dezvoltă cursul bazelor logicii și o citește în "universitatea" sa. Și după aceea (în 10-20 de ani), grecii dezvoltă cel mai perfect manual de științe teoretice din istoria lumii (Euclid "Începutul geometriei"). Acest manual a fost imitat de multe manuale ulterioare privind structura și conținutul.
4 - o harpă neobișnuită a tineretului grecesc "de aur". În centrul de interes al tineretului "auriu" atenian în secolele 5-4. BC au fost discuții, discuții cu filozofii intelectuali. Filozofii erau principalii "învățători ai vieții", deoarece grecii nu aveau încredere în autorități.
Dezvoltând această știință, grecii au atras atenția asupra faptului că raționamentul lui m / b este diferit în matematică și identic în formă, adică moduri de conectare a pieselor lor.
În urma acestui fapt, grecii au atras atenția asupra faptului că același raționament se supune legilor și regulilor generale, a căror încălcare duce la erori în concluzii.
Numărul legii 1. Dacă toate hotărârile sunt afirmative, atunci concluzia trasă din ele nu este m / b negativă (nu se poate spune în nici un fel că Ivanov nu studiază informatica).
Numărul legii 2. Dacă unul dintre judecățile pregătite este negativ, atunci concluzia trasă din ele este negativă (toți studenții studiază informatica.) Ivanov nu studiază informatica - Ivanov nu este student).
Astfel, logica formală este știința legilor și a principiilor construirii corecte și eficiente a raționamentului, luând în considerare forma lor, adică moduri de a conecta părți ale raționamentului. În acest caz, raționamentul lui m / b este construit logic, în conformitate cu. cu legile logicii, dar concluzia este ilogică, dacă hotărârile gata de deducție sunt false.
Charles Darwin: "Cea mai înaltă fază a culturii spirituale vine atunci când înțelegem că trebuie să ne controlam gândurile". Acest lucru este deosebit de important în condițiile unei democrații dezvoltate, în care oamenii nu pretind că stăpâneau în mod independent cele mai importante probleme.
Thucydides (unul dintre primii istorici din Grecia): "Majoritatea oamenilor nu găsesc dificil să găsească adevărul și sunt înclinați să învețe opiniile gata făcute".
În secolul al XIX-lea, unul dintre primii cercetători ai psihologiei de masă, G. Lebon, a spus: "Logica minții nu a fost niciodată adevăratul lider al popoarelor. Nerezolvabilul a fost întotdeauna unul dintre cele mai puternice motoare ale omenirii ".