Логіка - одна з найдавніших наук в світі, адже вперше над закономірностями людського мислення почали замислюватися ще в Давній Греції та в Давній Індії.
Всю історію розвитку логіки умовно можна розділити на два основних етапи: перший тривав більше двох тисяч років, протягом яких логіка розвивалася дуже повільно. Логіку цього періоду називають традиційною або арістотелівською.
Предметом традиційної логіки є не мислення вчених, філософів, спеціалістів з логіки, а звичайне мислення звичайної людини, спільне для всіх нормальних людей, незалежно від їх спеціальних знань і професійної підготовки. Отже, традиційна формальна логіка вивчає той пласт мислення, який лежить в самому фундаменті людської діяльності, хоча, зрозуміло, людське мислення цим пластом ніяк не вичерпується.Другий період розвитку логіки розпочався у другій половині XIX CT. і пов’язаний, насамперед, з проникненням в неї математичних методів, що спричинили наукову революцію в логіці, яка докорінно змінила її обличчя. Таким чином, на зміну традиційній логіці прийшла сучасна логіка, або як її ще називають - математична чи символічна. Символічна логіка виникла на межі логіки і математики як результат використання математичних методів у логіці та логічних методів у математиці.
Розрізняють класичний і некласичний різновиди сучасної (символічної) логіки. Класична логіка - історичний етап розвитку символічної логіки, що вміщує логіку висловлювань і логіку предикатів. Класична логіка, як і традиційна, є двозначною, адже кожному висловлюванню приписує лише одне з двох істиннісних значень - істину або хибу. Критика класичної логіки, що розпочалася на початку XX ст., спричинила виникнення новітніх логічних теорій, альтернативних класичній, які в сукупності складають так звану некласичну логіку. Окремими розділами цієї логіки є: тризначна, багатозначна, модальна, ймовірнісна, уявна, інтуїціонистська, категоріальна, комбінаторна, релевантна, алетична, епістемічна, темпоральна логіки, логіка оцінок, норм (деонтична) тощо.
За хронологією розвитку в історії логіки традиційно виділяють чотири основних періоди: 1) логіка Стародавнього світу; 2) логіка Середньовіччя та епохи Відродження; 3) логіка Нового часу; 4) сучасна логіка.
1.1.