2.Основные законы формальной логики: закон тождества, закон недопущения противоречия закон исключенного третьего, закон достаточного основания.

1. Закон тождества: «в правильном рассуждении всякая мысль тождественна самой себе». Формула: "а, если и только если а"

Закон тождества гарантирует определенность, четкость, ясность мысли, поскольку предметы сохраняют свою качественную определенность, относительную устойчивость, и это отражается в мышлении.

В интеллектуальном коммуникативном процессе (рассуждение, выступление, спор) мысль должна оставаться неизменной, сколько бы она раз не воспроизводилась.

Миша –студент

Студенты учатся в университете

Миша учится в университете

Нельзя отождествлять различные мысли и различать тождественные, иначе это приведет к софизму – ошибочному утверждению, логической уловке, умышленно выдаваемой за истинное.

Например:

А.С. Пушкин закончил лицей.

Лицей ранее назывался ПТУ.

А.С. Пушкин закончил ПТУ. Слово «лицей» имеет разное значение сейчас и во времена Пушкина, но в софизме оно звучит однозначно, нарушая закон тождества.

2. Закон противоречия: «Не могут быть одновременно истинными два противоположных мысли об одном и том же предмете, взятом в одно и то же время, в одном и том же отношении».

Формула: "Неверно, что А и не-А"

Закон противоречия говорит о том, что ложное и истинное - несовместимы. Логика не решает ложно или истинно, это устанавливается в процессе исследования, она лишь запрещает одновременную истинность двух противоположных высказываний.

«Петров хорошо играет в шахматы». «Петров плохо играет в шахматы». Данные суждения будут противоречивы, если речь идет об одно м том же человеке, в одно и то же время, в одном и том же отношении.

3. Закон исключенного третьего: «Два противоречащих друг другу высказывания не могут быть одновременно ложными, если одно из них ложно, то второе истинно, а третье исключено».

Например: «в коробке два вида шаров: белые и черные. Вынуть из нее можно либо белый, либо черный, а третьего не дано».

«Три – есть простое число. Три – не есть простое число. Третьего не дано».

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

Закон исключенного третьего не применяется:

• к категориям хорошо/плохо, горячо/холодно.

• Когда субъект по объему шире, чем предикат: например, «человек вообще – женщина».

• К внутреннепротиворечивой структуре. Это парадоксы, апории, антиномии

Таким образом, закон исключенного третьего поддерживает определенность мышления.

4. Закон достаточного основания: ««Всякая истинная мысль должна быть обоснована другими мыслями, истинность которых доказана».

"Если есть В, то есть как его основание А"

Закон требует, чтобы наши мысли в любом рассуждении были внутренне связаны, вытекали одна из другой, обосновывали одна другую.. Достоверными могут считаться только те высказывания, в пользу истинности которых имеются достаточные основания.

Основание - необходимое, если без него невозможна истинность высказывания.

Основание - достаточное, если его наличие влечет признание истинности другого высказывания.

Например: квадрат - четырехугольник, у которого все стороны (необходимое) и углы (достаточное) равны.

Таким образом, законы логики обусловливают тематическое единство речи, непротиворечивость, последовательность ее композиции, четкость, ясность и обоснованность изложения, они, в конечном счете, и создают тот эффект, который называется побудительной силой слова.