Понятие о логической форме и логическом законе

ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ

ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ  УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО  ОБРАЗОВАНИЯ «ВОРОНЕЖСКИЙ ГОСУДАРСТВЕННЫЙ  ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ»

(ГОУВПО ВГТУ)

Факультет заочного обучения

Кафедра связи с общественностью  и педагогики

 

 

КОНТРОЛЬНАЯ РАБОТА

 

по дисциплине

«Логика и теория аргументации»

На тему №2: «Понятие о логической форме и логическом законе»

 

 

 

Выполнила:

студентка ФЗО 

СО-101

Шифр 510802

Бородкина М.В

Проверила:

 

 

Воронеж 2012

 

Оглавление

Введение. 3

1. Логическая форма и логическое содержание суждений. 4

2. Основные логические законы. 9

3. Общие принципы правильного мышления. 12

Заключение 13

Список использованной литературы. 14

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Введение.

В различных по содержанию мыслях можно обнаружить нечто существенно  общее. Оно характеризуется не только конкретным содержанием этих мыслей, но и типичностью, способом построения. При этом все содержательное многообразие укладывается в сравнительно небольшое  число мыслительных форм. Логический строй мышления человека обладает очень важным свойством - какую бы словесную оболочку ни принимали наши мысли, на каком бы языке ни излагались, они обязательно должны принять общечеловеческие формы. Без этого невозможно осуществить обмен мыслями людей разных поколений и профессий, а также взаимное понимание представителей стран и народов.Формальная логика - наука о законах и формах правильного мышления. Задачей логики как науки является установление законов и правил, которым подчиняются рассуждения». Рассуждения облекаются в логическую форму и строятся в соответствии с логическими законами. Выясним, что понимается под логической формой и логическим законом.

 

 

 

 

 

 

 

 

 

 

 

 

 

1. Логическая форма и логическое содержание суждений.

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

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

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

Логическая форма суждения состоит из четырех элементов. Это субъект, или то, о чем говорится в данном суждении. Обозначается символом S. Затем это предикат – то, что говорится о субъекте. Обозначается символом P. Субъект и предикат – это термины суждения. Поскольку их содержание зависит от темы нашего высказывания, они относятся к логическим переменным.

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

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

Если соединить вместе все четыре элемента, то получится  формула суждения:

Все (некоторые) S есть (не есть) P

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

1) предложения: повествовательные,  побудительные, вопросительные;

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

К дескриптивным (описательным) семантическим категориям языка относятся: имена (знаки предметов), nредикаторы (знаки свойств и отношений), функциональные знаки.

1. Имена - это слова  или словосочетания, обозначающие  какой-либо предмет.

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

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

 А) Знаки свойств  – характеристики отдельных предметов  ( синий, горький, пьяный, шумный).

Б) Знаки отношений -  связь  между двумя и более предметами (больше чем, брат, красивее чем)

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

Число имен, к которым  относится предикатор, называется его  местностью.

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

Двухместными предикаторами  являются, например, «больше», «любить», «мать» и т. д., «Диаметр Венеры больше диаметра Меркурия».

Трехместный предикатор: «Город Волгоград находится между городами Саратов и Астрахань».

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

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

Для уяснения специфики предмета логики и особенно специфики изучаемых  ею законов необходимо ознакомиться с понятиями логической формы  и логического содержания мысли. Возьмем два суждения: «Все металлы есть химически простые вещества» и «Если вода при нормальном давлении нагрета до 100 оС, то она закипает». Конкретное содержание мысли в первом случае состоит в утверждении о том, что каждый предмет, который мы характеризуем как металл, обладает свойством химической простоты, т.е. состоит из однородных атомов. Чтобы выявить логическую форму и логическое содержание этого суждения, надо отвлечься от того, каковы именно те конкретные предметы, о которых в нем что-то утверждается, и каковы именно те конкретные свойства, наличие которых у этих предметов утверждается. Отвлекаясь от того, что речь здесь идет о металлах, мы можем обозначить их переменной S, а вместо свойства «химически простое вещество» ввести переменную Р. Тогда вместо данного конкретного суждения получаем его логическую форму:

Все S есть Р.

      Данное выражение обладает определенным содержанием, а именно в нем утверждается, что всякий предмет, обладающий каким-то свойством S, имеет свойство Р. Это содержание, которое представляет логическая форма высказывания, и называется логическим содержанием высказывания.

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

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

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

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

Будучи исходным, понятие  логического следования не допускает  точного определения. В частности, описание его с помощью слов «видимо», «вытекает» и т.п. содержит неявный  круг, поскольку последние являются синонимами слова «следует». Понятие  следования обычно характеризуется  путём указания его связей с другими  логическими понятиями, и прежде всего с понятиями логического закона и модели. Из высказывания А логически следует высказывание В, когда импликация «если А, то В» является частным случаем закона логики. Например, из высказывания «Если натрий металл, он пластичен» логически вытекает высказывание «Если натрий не пластичен, он не металл», поскольку импликация, основанием которой является первое высказывание, а следствием второе, представляет собой частный случай логического закона контрапозиции.

 

 

 

 

 

 

 

 

 

 

2. Основные логические законы.

Мышление человека подчинено  логическим законам, или законам  мышления.

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

1. необходимость
2. существенность

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

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

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

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