Логика, суждение, умозаключение

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ УКРАИНЫ ХЕРСОНСКИЙ НАЦИОНАЛЬНЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ

Контрольная работа

по курсу философия

«Логика»

Выполнил:

студент группы 1зЕК

Юрко Александр

Проверил:

ст. п. Круглая Н.А.

Херсон 2009 г.

План

1. Понятие

2. Суждение

3. Умозаключение

1. Понятие

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

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

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

Логика служит одним из инструментов почти любой науки.

Сущность логики

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

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

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

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

Значение слова

Слово «логика» используется также в значениях «внутренняя закономерность, присущая тем или иным явлениям» или «правильный, разумный ход рассуждений». В частности, этим словом могут называться следующие вещи:

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

· В электронике -- электронные логические схемы.

· В аспектонике и соционике -- тип воспринимаемой человеком информации, обобщённое название для аспектов «белая логика» (информация об измеримых отношениях объектов) и «чёрная логика» (информация об измеримом движении объектов).

Используются выражения:

· логика событий -- имеется в виду некоторая виртуальная модель реальных событий, созданная в языке описания, достаточном для прогнозирования будущего с достаточной точностью.

· логика характера -- имеется в виду некоторая виртуальная модель характера личности, позволяющая более или менее точно прогнозировать события-поступки в будущем.

Пример: «Быть может, он безумец, -- говорит один из героев рассказа английского писателя Г.К. Честертона, -- но в его безумии есть логика. Почти всегда в безумии есть логика. Именно это и сводит человека с ума». Здесь «логика» означает, что наблюдатель имеет в своей памяти достаточно точное описание характера -- «безумия», позволяющее ему зафиксировать в используемом языке причинно-следственные связи черт характера и поведения субъекта -- «безумца», а также и вообще любых других людей, страдающих «безумием».

2. Суждение

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

Простые и сложные суждения

Простыми суждениями называются суждения, составными частями которых являются понятия. Простое суждение можно разложить только на понятия.

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

Состав простого суждения

В простом суждении могут быть выделены субъект, предикат, связка, квантор:

1. Субъект суждения - это мысль о каком-то предмете, понятие о предмете суждения.

2. Предикат суждения - мысль об известной части содержания предмета, которое рассматривается в суждении.

3. Логическая связка - мысль об отношении между предметом и выделенной частью его содержания.

4. Квантор - указывает, относится ли суждение ко всему объему понятия, выражающего субъект, или к его части.

Состав сложного суждения

Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит и, любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дезинъюнктивные, импликационные, эквивалентные и отрицательные.

Дезинъюнктивные суждения образуются с помощью разделительных (дезинъюнктивных) логических связок аналогичных союзу «или». Подобно простым разделительным суждениям бывают нестрогими (нестрогая дезинъюнкция), члены которой допускают совместное сосуществование (толи…, толи…), записывающимися a V b; и строгими (Строгая дезинъюнкция) члены которой исключают друг друга (либо одно, либо другое), записывающимися a b (с точкой над V).

Импликационные суждения образуются с помощью импликации, эквивалентной союзу «если …, то» и записываются a > b или ab, хотя в естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.

Конъюнктивные суждения образуются с помощью логических связок сочетания (конъюнкции) эквивалентной запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим, обозначаемых знаком «V». Что в математической логике записывается как (a b).

Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно чтобы, сумма цифр, его составляющих, делилась на 3»), и записывается a ? b; a - b; ab (у разных математиков по-разному, хотя математический знак тождества все-таки ?).

Отрицательные суждения строятся с помощью связок «не» и записываются либо a ~ b, либо a b при внутреннем отрицании типа «машина не роскошь», и с помощью черты над всем суждением при внешнем отрицании (опровержении) «неверно что …» (a b).

Атрибутивные суждения

Суждения о принадлежности предметам свойств (атрибутов), а также суждения об отсутствии у предметов каких-либо свойств. В атрибутивном суждении выделяются термины суждения -- субъект S (логическое подлежащее) и предикат P (логическое сказуемое), а также связка (иногда только подразумевается), кванторное слово («некоторые», «все» и т.п.).

3. Умозаключение

Умозаключение, как и понятия и суждение, являются формой абстрактного мышления. С помощью многообразных видов умозаключений опосредованно (т.е. не обращаясь к органам чувств) мы можем получать новые знания. Умозаключать можно при наличии одного или нескольких суждений (называемых посылками), поставленных во взаимную связь (Все углероды горючи. Алмаз - углерод./Алмаз горюч.). Структура всякого умозаключения включает посылки, заключение и логическую связь между посылками и заключением. Логический переход от посылок к заключению называется выводом.

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

Умозаключение делится на такие виды: дедуктивные, индуктивные, по аналогии. Умозаключения могут быть логически необходимыми, т.е. давать истинное заключение, и вероятностными (правдоподобными), т.е. давать не истинное заключение, а лишь с определенной степенью вероятности следующее из данных посылок (при этом в качестве посылок могут быть и ложные суждения).

Дедуктивные умозаключения

В определении дедукции в логике выявляются два подхода:

1. В традиционной (не математической) логике дедукцией называют умозаключение от знания большей степени общности к новому знанию меньшей степени общности.

2. В современной математической логике дедукцией называется умозаключение, дающее достоверное (истинное) суждение. Четкая фиксация существенного различия классического и современного понимания дедукции особенно важна для решения методологических вопросов. Правильно построенному дедуктивному умозаключению присущ необходимый характер логического следования заключения из данных посылок. Обобщая сказанное, можно дать такое определение.

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