Предмет и значение логики

Форма мышления - это понятие, суждение, умозаключение.

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

Логические законы – это объективно существующие и необходимо применяемые правила построения логического мышления, так и любые законы окружающего мира, открытые в рамках науки (например, естественной), законы логики объективны. От законов юриспруденции логические законы отличаются тем, что их нельзя отменить или изменить. Таким образом, они характеризуются постоянством. Можно сравнить законы логики, например, с законом всемирного тяготения. Он существует независимо от чьей-либо воли. Поэтому логические законы едины для всех. Однако, несмотря на наличие общих черт с законами природы, логические законы имеют свою специфику. Законы логики есть законы правильного мышления, но не окружающего мира.
Паралогизмы — это неумышленные логические ошибки, обусловленные нарушением законов и правил логики. Паралогизм не является, в сущности, обманом, так как не связан с умыслом подменить истину ложью.
В отличие от паралогизмов софизмы - результат преднамеренного обма­на, умышленные логические ошибки. Название «софизм» происходит от древнегреческого слова sophisma - «хитрая уловка, выдумка». Софизм пред­ставляет собой рассуждение, кажущееся правильным, но содержащее скры­тую логическую ошибку и служащее для придания видимости истинности ложному заключению. Софизм является особым приемом интеллектуально­го мошенничества, попыткой выдать ложь за истину и тем самым ввести в заблуждение.

Примеры софизмов:

«Что ты не терял, то имеешь; рога ты не терял; значит у тебя есть рога»,
«Сидящий встал; кто встал, тот стоит; следовательно, сидящий стоит»,
«Этот пес твой; он отец; значит, он твой отец

Х отя многие культуры выработали сложные системы рассуждения, логика как эксплицитный анализ методов рассуждения получила основательное развитие изначально только в трёх традициях: в китайской, индийской и греческой. Хотя точные даты не слишком достоверны (особенно в случае Индии), скорее всего, логика возникла во всех трёх культурах в IV веке до н. э.. Современная логика, разработанная формально изощрённо, происходит в конечном счёте из греческой традиции (аристотелевской логики), которая, однако, была воспринята не напрямую, а при посредничестве и комментаторской деятельности арабо-мусульманских философов и средневековых европейских логиков.

Традиционная логика - анализирует мышления, в частности такие его в формы, как понятие, суждение, умозаключение.
Символическая логика - исследует язык, точнее ее смысловое содержание.

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

Интуитивная логика - интуитивное представление о правильности рассуждения, сложившееся стихийно в процессе повседневной практики мышления.

И нтуитивная логика, как правило, успешно справляется со своими задачами в повседневной жизни, но совершенно недостаточна для критики неправильных рассуждений. Пример неправильного рассуждения: «Если бы барий был металлом, он проводил бы электрический ток; барий проводит электрический ток; следовательно, он металл?». Ведь хотя все три утверждения, входящие в рассуждение, верны, между ними нет логической связи. Рассуждение построено по неправильной схеме: «Если есть первое, то есть второе; второе есть; значит, есть и первое». Такая схема от истинных исходных положений может вести не только к истинному, но и к ложному заключению, она не гарантирует получения новых истин из имеющихся.
В рассуждении: «Если у человека повышенная температура, он болен; человек болен; следовательно, у него повышенная температура» обе посылки могут быть истинными, а заключение ложным: многие болезни протекают без повышения температуры.
Д ругой пример: «Если бы шёл дождь, земля была бы мокрой; но дождя нет; значит, земля не мокрая». Это рассуждение интуитивно обычно оценивается как правильное, но достаточно небольшого рассуждения, чтобы убедиться, что это не так. Верно, что в дождь земля всегда мокрая; но если дождя нет, из этого вовсе не следует, что она сухая: земля может быть просто полита или быть мокрой после таяния снега. Рассуждение опять-таки идёт по неправильной схеме: «Если первое, то второе; но первого нет; значит, нет и второго». Эта схема может привести от истинных посылок к ошибочному заключению: «Если человек художник, он рисует; человек рисует; значит, человек художник». Эти простые примеры показывают, что логика, усвоенная стихийно, даже в обычных ситуациях может оказаться ненадёжной.