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