Предметом формальної (традиційної) логікіявляются закони і форми правильного мислення.
Предмет формальної логіки складають:
1. Форми розумового процесу - поняття, судження, умовивід, гіпотеза, доказ і ін .;
2. Формально-логічні закони, яким підпорядковується абстрактне мислення в процесі пізнання об'єктивного світу і самого мислення;
3. Методи отримання нового вивідного знання - подібності, відмінності, супутніх зміні, залишків та ін .;
4 Способи доведення істинності чи хибності отриманих знань - пряме або непряме підтвердження, спростування і т.д.
Таким чином, логіка, в найбільш широкому розумінні її предмета, досліджує структуру абстрактного мислення, розкриває лежать в його основі закономірності.
В процесі практичної діяльності у кожної людини формується свій логічний досвід. В силу об'єктивного нерівності логічні навички у одних людей більш розвинені і ефективні, а у інших - виявляються слабо.
У зв'язку з цим основна мета логіки як навчальної дисципліни -сформуліровать і систематизувати принципи, методи, засоби функціонування і регулювання інтелектуальної діяльності. Основним завданням логіки є отделеніеправільних способів міркування (висновків, умовиводів) від неправильних. Правильні висновки називаються такжеобоснованнимі, послідовними ілілогічнимі.
Дослідження логічних форм безвідносно до їх конкретним змістом і становить найважливіше завдання науки логіки. Звідси і її назва - формальна.
Виділяють три логічні форми або форми мислення: