Мислення, як предмет логіки.

Мислення - це особлива ідеальна діяльність людини, яка виникає, формується, розвивається в суспільстві, коли людина перебуває у певному соціокультурному середовищі і вступає в багатогранні відносини з природним і соціальним світом, що її оточує.

Іншими словами, мислення - розумовий процес людини, в ході якого вже з наявних знань формуються нові знання.

Логіка досліджує мислення з боку тих закономірностей , якими керується людина у процесі пізнання істини. Точніше: логіку цікавить, як функціонує, "живе" істинне знання, як можна із раніше встановлених і перевірених істин , не звертаючись у кожному конкретному випадку до практики, а лише застосовуючи особливі правила та закони мислення, одержувати нові істини.

Одним з головних завдань логіки, як науки про мислення, є те що логіка бере до уваги лише форму, спосіб отримання нового знання. Вона досліджує спосіб отримання нового знання, не пов'язуючи форму знання з його конкретним змістом.

Поняття логічної форми, логічного закону.

Як і все у світі, мислення має свій зміст, форму та закони.

Логічна форма – спосіб зв’язку складових частин змісту думки на відміну від самого цього змісту, результат відволікання від «матерії» думки, тобто від того, які саме індивіди, властивості, відносини, класи, ситуації і т.п. є предметами цієї думки.

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

Логічну форму не слід трактувати як щось раз і назавжди дане, як атрибут, властивий думки самої по собі. Її дослідження багато в чому обумовлено категоріальними особливостями формалізованої мови, його виразними можливостями, прийнятою способом членування складних виразів на складові

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

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

Основні формально-логічні закони.

Логічним законом називають, внутрішній суттєвий, необхідний зв'язок між логічними формами у процесі побудови міркувань.

Існує чотири основні логічні закони:

- закон тотожності,

- закон виключеного третього,

- закон протиріччя,

- закон достатньої підстави.

Закон тотожності - це така вимога до процесу міркування, яка передбачає, що будь-яка думка в межах конкретного міркування повинна залишатися незмінною, тобто тотожною сама собі (звідси і назва закону тотожності).

Закон протиріччя - це така вимога до процесу міркування, яка передбачає, що два протилежні судження не можуть бути одночасно істинними; у крайньому разі одне з них буде обов'язково хибним, а то й обидва можуть бути хибними. Яке саме з цих суджень хибне, а яке - істинне, логіка не встановлює.

Закон виключеного третього - це така вимога до процесу міркування, з якої випливає, що з двох суперечливих суджень одне буде обов'язково істинним, а друге буде обов'язково хибним - третього не може бути.

Закон достатньої підстави - це така вимога до процесу міркування, яка передбачає, що для того, щоб визнати певну думку істинною, слід мати достатню підставу.