Наука логіка - одна з найдавніших наук. Її сліди проглядаються в давньоіндійської та давньокитайської філософії, а також в філософії античної Греції. Найбільш значною фігурою тут був Аристотель, якого по праву вважають засновником формальної логіки. У його творах ми знаходимо основи теоретичного знання про форми і прийомах мислення. Надалі логіка розвивалася іншими філософами, які бачили в ній необхідну науку про мислення, без якої неможливе успішне розвиток пізнавального процесу. Виникнувши в рамках філософії, логіка вийшла за її межі і стала необхідним інструментом мислення в науці, в політиці, в економіці, в сфері суспільного і культурного життя, в повсякденних справах найширших верств населення. Сьогодні логіка служить політику і юристу, вченому і студенту, бізнесменові і громадському діячеві, керівнику і виконавцю, домогосподарці і педагогу і т.п. Формально-логічне мислення володіє загальної обов'язковістю, і в цьому полягає його сила. Чому? Що таке логіка як наука?
Назва науки логіки походить від грецького слова logos, що означає мова, думка, розум. Сферою логіки є інтелектуальна пізнавальна діяльність або процес мислення. З огляду на це можна дати наступне визначення науки логіки: логіка є наука про закони, формах і прийомах мислення, здійснюваного за допомогою мови.
Мислення не може існувати без мови. Мова надає нашим думкам визначеність, з його допомогою думка знаходить форму слова, пропозиції, і таким чином вона стає доступною іншим людям. Мова виступає як безпосередня дійсність думки; завдяки мові думка постає як інформація, яка накопичується з покоління в покоління і передається ними в цілях подальшого використання. Мова, таким чином, виступає найважливішим сполучною ланкою історичних поколінь. Що ж стосується мислення (міркування), то кожен з нас знає з власного досвіду, як важко буває часом висловити свої думки, якщо ми не володіємо мовою. Мова може бути перешкодою мислення, і може бути його стимулом. Особливо це видно, коли ми опановуємо іноземною мовою. Критерієм оволодіння іноземною мовою є наша здатність мислити (думати) на іноземній мові.
Обдумуючи те чи інше питання, вирішуючи завдання і т.п. ми можемо не вимовляти вголос хід міркувань, але це не означає, що ми не використовуємо мову; просто наша мова в цьому випадку стає внутрішньою. Таким чином, у всіх актах мислення воно безпосередньо пов'язане з мовою.
Крім того, мова має тим властивістю, що він дозволяє нам висловити думки про предмети в узагальненій, абстрактній формі. Ми подумки відволікаємося від конкретних форм і властивостей реальних предметів і таким чином надаємо нашим словам узагальнену форму; При цьому, однак, зв'язок з реальними предметами зберігається; в цьому можна переконатися хоча б тому, що в різних іноземних мовах різні слова позначають одні й ті ж предмети або явища. Здатність людини до абстрактного мислення закладена в ньому від народження, але в міру його дорослішання, а також навчання, виховання, спілкування з іншими людьми, оволодіння культурними цінностями, вона розвивається і потім реалізується в його життєдіяльності.
Незважаючи на настільки тісний зв'язок мови і мислення, вони представляють собою різні явища і досліджуються різними науками: мова є предметом мовознавства, мислення вивчається формальною логікою. Кожна наука використовує природну мову, але в той же час не може обійтися без штучного мови. Особливо це стосується математики, фізики та ін. Наук, а й логіки теж. Так званий формалізований мову тут застосовується дуже широко. Але ця мова виступає лише засобом вивчення мислення. У мисленні формальна логіка вивчає логічні форми і формально-логічні закони, які ми розглянемо в цій та наступних лекціях.
Вказані відмінності між логікою і психологією не перешкоджають їм у сприянні в процесі вирішення пізнавальних завдань. І та, і інша, але кожна по-своєму, сприяють вивченню пізнавальної діяльності; психологія формулює положення про те, які риси психіки необхідні для оволодіння різними методами мислення; логіка ж розкриває арсенал тих коштів, знання яких посилює пізнавальну функцію мислення. Крім того, психологія як наука не може обійтися без логіки, бо вона неминуче оперує поняттями, вдається до суджень і умовиводів; логіка ж, зі свого боку, використовує дані психології для з'ясування деяких закономірностей формування мислення, що дозволяє їй глибше зрозуміти сутність логічних форм.