Логіка-це наука, яка вивчає мислення людини. Сутність мислення осягається в межах ряду наук – філософії, психології, фізіології вищої нервової діяльності, кібернетики тощо. У такій частині філософії, як гносеологія (теорія пізнання), формуються наступні важливі положення про мислення:

1)Мислення і свідомість взагалі є функцією мозку і відображають процеси та явища об’єктивного світу. У структуру свідомості людини входить сукупність її знань про різні предмети, їх властивості і відношення; знання являють собою ідеальне відображення в мозку людини будь-яких об’єктів; це відображення здійснюється за допомогою відчуттів, сприйнять, уявлень, пам’яті, мислення.

2)На відміну від безпосередніх форм відображення дійсності (їх називають чуттєвим пізнанням) мислення є опосередкованим і узагальненим відображенням дійсності і здійснюється в логічних формах понять, суджень, умовиводів.

3)За допомогою мислення осягають такі сторони реального світу, які не можуть бути розкриті за допомогою тільки чуттєвих форм відображення дійсності, – відчуттів, сприйнять, уявлень.

4)Критерієм істинності наших знань про дійсність є практика. Поряд з цими узагальненими критеріями виступають інші: естетичний – краса, прагматичний – корисність, етичний критерій морального імперативу, логічний – логічної суперечності.

5)Мислення не може існувати без мови, поза мовою. Без вираження думки у звукових, письмових, або інших знаках, символах її неможливо передати, а отже, довідатись про її існування. Всі науки, користуючись засобами природної мови, застосовуючи водночас засоби штучної мови.

У сучасній формальній логіці широко використовується формалізована мова. Однак з цього не випливає, що формальна логіка(ФЛ) – це наука про формальні мови, а не про мислення. У мисленні ФЛ вивчає логічні форми й формально-логічні закони побудови думки.