Определение на логиката
Произходът на логиката се връща към златната ера на класическа Гърция и гръцкият философ Аристотел се счита за създател и баща на нея, тъй като той бил първият, който използвал понятието и му дал образуването, което съхранява и до днес., за изследване на аргументите като демонстратори на истината в науката.
Тази логика, която описахме по-горе и за която Аристотел стои като основоположник, също се нарича формална логика, докато има и неформална логика, която ще фокусира вниманието ви върху методическото изследване на тези вероятни аргументи от философията, реторика и ораторство, сред другите науки, които се занимават с тях.
По принцип неформалната логика отделя всичките си усилия за идентифициране на грешки и парадокси и за правилното структуриране на дискурсите.
Но във формалната и неформалната логика въпросът не се изчерпва, тъй като намираме и други видове логика, които предлагат абсолютно различни методологии, като естествената логика, която е тази, която предлага естествената мисъл, докато тече, без да се стига до формалната наука като основа за подкрепа.
Тогава се появява размитата или наричана също размита логика, която приема определени лицензи по отношение на другите и допуска известна неяснота между истината или лъжливостта на нейните предложения, в тясно съгласие и връзката с човешкия разум.
В друг ред можем да намерим математическата логика, която се обработва с изкуствен и символичен език и прави абстракция на съдържанието. И накрая бинарната логика, която работи с променливи, които допускат само две дискретни стойности.