Контрольная работа по "Логике"

Содержание

1. Что такое логический закон?
2. Какие логические операции, уточняющие содержание и объем понятия, используются в логике?
3. Что такое количественная и качественная характеристики суждения?
4. Список литературы
 

1. Что такое логический закон?

Понятие о логическом законе восходит к древнегреческому понятию о lógos'e как предпосылке объективной ("природной") правильности рассуждений. Собственно логическое содержание оно впервые получает у Аристотеля, положившего начало систематическому описанию и каталогизации таких схем логических связей произвольных элементарных высказываний в сложные высказывания, убедительность (общезначимость) которых вытекает из одной только их формы, а точнее — из одного только правильного понимания смысла логических связей, безотносительно к истинностному значению элементарных высказываний. Большинство Л. з., открытых Аристотелем, это — законы силлогизма. Позже были открыты и другие законы и даже установлено, что множество Л. з. бесконечно. В некотором смысле обозреть это бесконечное множество Л. з. стало возможным благодаря различного типа формальным теориям логического рассуждения — т. н. логическим формализмам, или логическим исчислениям, в которых Л. з. выражаются определённого вида формулами и определяются — каждый по отношению к "своему" исчислению — выводимыми формулами данного вида (т. н. "общезначимыми формулами", или теоремами исчислений, см. Логика). Существующее многообразие логических исчислений естественно порождает идею относительности Л. з. Однако типом логического исчисления полагаются одновременно и границы этой относительности, поскольку тип исчисления не является исключительно делом произвольного выбора, а диктуется (или подсказывается) "логикой вещей", о которых хотят рассуждать, а также, в известном смысле, субъективной уверенностью в том или ином характере этой логики. Все исчисления, основанные на одной и той же гипотезе о характере "логики вещей", являются эквивалентными в том смысле, что они описывают ("порождают") одни и те же Л. з. К примеру, исчисления, основанные на двузначности принципе, т. н. исчисления классической логики, несмотря на всё их "внешнее" разнообразие, описывают один и тот же "мир" классический Л. з. — тождественных истин, которые издавна получили общепринятую онтологическую философскую характеристику "вечных истин", или "истин во всех возможных мирах". Л. з. интуиционистской логики никакой общепринятой онтологической интерпретации пока не получили. "Логикой вещей", отражением которой они исторически явились, была логика умственных математических построений — логика "знания", а не логика "бытия".

Изучение Л. з. образует естественный исходный пункт логического анализа приемлемых ("хороших") способов рассуждений (умозаключений), поскольку само понятие "приемлемое, или логически правильное, рассуждение" уточняется через понятие "Л. з.". Связь логически правильных рассуждений с Л. з. выражается в логике т. н. теоремой о дедукции, фиксирующей ту, замеченную ещё стоиками, особую роль, которую Л. з. играют при обосновании или проверке наших умозаключений: относительно любого утверждения о выводимости заключения В из посылок А1, А2, ..., An вопрос о его истинности решается разысканием среди Л. з. высказывания A1É(A2É)(... É(AnÉB)..)), где É выражает логический союз "если..., то...". Указанная связь Л. з. с умозаключениями имеет общенаучное значение и выходит далеко за пределы собственно логики, обеспечивая общий метод формального доказательства средствами логики (см. Аксиоматический метод).

Термин "Л. з." применялся в традиционной логике по отношению к т. н. "законам мышления": закону тождества ("всякая сущность совпадает сама с собой"), закону противоречия ("никакое суждение не может одновременно быть истинным и ложным"), закону исключённого третьего ("для произвольного высказывания либо оно само, либо его отрицание истинно") и закону достаточного основания ("всякое принимаемое суждение должно быть надлежащим образом обосновано"). Первый из перечисленных принципов (термин "закон" здесь вообще представляется неуместным) есть важная предпосылка рассуждений, относящаяся, однако, не к логике, а к онтологии и к теории познания и к тому же применимая всякий раз в точно оговорённых пределах; последний принцип также не относится к логике, а имеет отчётливо выраженный методологический характер. Исключённого третьего принцип действительно принадлежит логике, но не во всякой логической системе соответствующая формула (А  ù А) общезначима (см. Математический интуиционизм, Конструктивное направление в математике и логике). И лишь принцип противоречия (в современной логической символике: ù (А&ù А) представляет собой утверждение, не только доказуемое в любой логической системе, но и лежащее в некотором смысле в основе всей современной формальной логики.

Логический закон – логическая форма высказывания, которая принимает значение «истина» при любой интерпретации параметров, входящих в её состав («идёт дождь или неверно, что идёт дождь»).

Существуют и логически ложные высказывания («идёт дождь, и неверно, что идёт дождь»)

Высказывания, которые не являются ни логически истинными, ни логически ложными, называются логически недетерминированными. Их значения нельзя установить логическими средствами («идёт дождь, или светит солнце»).

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

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

2. Какие логические операции, уточняющие содержание и объем понятия, используются в логике?

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

Ограничение понятия - логическая операция, которая состоит в переходе от понятия с большим объемом (и меньшим содержанием) к понятию с меньшим объемом (но с большим содержанием). В процессе ограничения происходит переход от родовых понятий к видовым. Достигается это путем добавления к содержанию исходного понятия какого-либо нового признака. Например, понятие «юрист» можно ограничить, добавив признаки о специфике профессиональной деятельности юриста, например, «быть следователем» - получится понятие «следователь»; добавив признак «быть следователем прокуратуры», можно получить понятие «следователь прокуратуры» и т. д.

Понятие «деяние» можно ограничить следующим образом: «преступное деяние» (т. е. «преступление») → «должностное преступление» → «получение взятки» -» «получение взятки заведующим базой Петровым». Пределом ограничения являются единичные понятия.

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

Определение понятий - это такая логическая операция, с помощью которой раскрывается (уточняется) содержание понятия. Определить понятие о предмете - значит указать существенные признаки этого предмета. Например: «Кража - тайное хищение чужого имущества»; «Человек - живое существо, способное производить орудия труда». Понятие, содержание которого уточняется (например, «кража»), - это определяемое понятие, или дефиниендум (сокращенно Dfd). Понятие, с помощью которого происходит уточнение содержания исходного понятия («хищение», «чужое имущество», «тайное»), - это определяющее понятие, или дефиниенс (сокращенно Dfri).

Деление понятий - это логическая операция, раскрывающая объем понятия. В процессе деления объем понятия распределяется на группы. Элементами деления являются: делимое - понятие, объем которого требуется раскрыть; члены деления - соподчиненные виды, на которые делится понятие; основание деления - признак, по которому производится деление. Например, учеников в школе можно разделить на классы, в классах - на группы по различным признакам: спортсмены и неспортсмены; изучающие английский язык, немецкий и французский языки и т. п. Сделки (соглашения) можно разделить на многосторонние, двусторонние и односторонние.

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

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

3. Что такое количественная и качественная характеристики суждения?

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

Любое суждение может быть расценено как истинное (соответствующее действительности) или ложное

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

Структура и классификация простого суждения

Полная структура простого суждения включает четыре элемента:

1. субъект (S) - понятие, отражающее сам предмет мысли, то, о чем что-то говорится;
2. предикат (Р) - понятие, отражающее то, что именно говорится о предмете (его свойство или соотношение с другими объектами);
3. связка (в языковой форме выражается словами "есть/не есть", "суть/не суть, "является/не является" и т.п., либо вообще только подразумевается). Отражает наличие /отсутствие определенной связи субъекта и предиката, является качественной характеристикой суждения;
4. квантор (всеобщности (") - "все", "каждый", "ни один… не" ("все … не") и т. п.; существования ($) - "некоторые", "многие", "часть" и т. п.; единственности существования ($!) - "этот", "данный" и т. п.), отражающий количественную характеристику суждения.

Символически структура простого суждения выражается формулой: (K)S-P, где <К> - некоторый квантор, а <-> - связка (если квантор отсутствует в явном виде, то суждение формально неопределенно по количеству, хотя эту характеристику обычно можно установить по смыслу).

Простые суждения подразделяются по качеству на: утвердительные и отрицательные, а по количеству на: единичные (что-либо утверждается или отрицается об одном предмете - "Этот свидетель дал показания"); общие (что-либо утверждается или отрицается обо всех предметах некоторого класса - "Все свидетели дали показания"); частные (что-либо утверждается или отрицается о части предметов некоторого класса - "Некоторые свидетели дали показания").

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

Выделяющие суждения выражают тот факт, что признак, выраженный предикатом, принадлежит (не принадлежит) только данному предмету. Выделяющие суждения могут быть единичными, частными и общими, например: "Только Иванов написал эту контрольную на отлично" - выделяющее единичное суждение, "Некоторые учащиеся (и только учащиеся) являются школьниками" - выделяющее частноутвердительное суждение, "Все квадраты (и только квадраты) являются прямоугольными ромбами" - выделяющее общеутвердительное суждение (определение).

Исключающим называется суждение, в котором отражается принадлежность (или непринадлежность) признака всем предметам, за исключением некоторой их части. Например: "Все студенты нашей группы, кроме Иванова, сдали зачет по логике". Исключающие суждения выражаются предложениями со словами "кроме", "за исключением", "помимо", "не считая" и т.п. Значение выделяющих и исключающих суждений состоит в том, что содержащиеся в них мысли не допускают их неоднозначного понимания. Именно поэтому ряд научных положений, а также законов государства, статей Конституции, уголовно-процессуального и других кодексов выражен в этой логической форме.

По характеру предиката различают суждения:

- атрибутивные. Атрибутивным называется суждение о признаке предмета, например: "Лист зеленый";

- с отношением. Релятивным называется суждение об отношении между предметами. Например, "Москва больше Красноярска";

- существования. В суждениях существования выражается сам факт существования или несуществования предмета суждения. Например: "Высшее образование есть".

Распределенность терминов в суждениях

Объединяя количественную и качественную характеристики, суждения делятся на: