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

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

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

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

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

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

 

 

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

 

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

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

На тему №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, имеет свойство Р. Это содержание, которое представляет логическая форма высказывания, и называется логическим содержанием высказывания.

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

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

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

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

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

 

 

 

 

 

 

 

 

 

 

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

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

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

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

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

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

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

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

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

p → p – если р, то  р

р ↔ р – р эквивалентно (равнозначно) р

∀х (р(х) → р(х)) – для всякого предмета х верно, что если х имеет р, то х имеет это свойство.

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

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

Закон противоречия имеет  силу как в отношении контрарных(противоположных), так и контрадикторных (противоречащих) высказываний.

В математической логике закон противоречия выражается формулой:p ∧ p – неверно, что могут быть одновременно истинными суждения p и его отрицания p .

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

менно ложно и наоборот.

      Высказывание – это утверждение или повествовательное предложение, о котором можно сказать, что оно истинно или ложно. Иными словами, утверждение истинности или ложности высказывания должно иметь смысл. Истинность или ложность, приписываемые некоторому утверждению, называются его значением истинности, или истинностным значением.

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

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

Признаки  правильного мышления:

а) определенность, под которой имеется в виду точность, строгость, однозначность  наших рассуждений;

б) последовательность, выражающая полноту, непрерывность, отсутствие скачков в рассуждениях;

в) непротиворечивость, связанная с недопущением взаимоисключающих  как одинаково приемлемых в том  или ином отношении мыслей;

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

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

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

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

 

 

 

 

 

Заключение

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

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

 

 

 

 

 

 

 

 

 

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

  1. Киреев Е.М. Логика и теория аргументации: Учеб. пособие. Воронеж: Воронеж. гос. техн. ун-т, 2005.    
  2. Черняк Н.А. Логика: Учебное пособие – Омск, Омск. гос. ун-т, 2004.     
  3. Петровский А.В., Брушлинский А.В., Зинченко В.П. общая психология. 3-е изд. – М.: Просвещение, 1986,-464с.
  4. Общая  психология./  Под  ред.  Богословского  В.В.,  Ковалёва  А.Г.,      Степанова А.А., Шаталина С.Н. –М.: Просвещение, 1973.-352с.
  5. Ниренберг Д.И. Искусство творческого мышления.: Пер. с англ.-  Минск. Попурри, 1996.- 240с.
  6. Лук А.Н. Мышление и творчество.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ЗАДАЧИ.

 

I. Какие формально-логические  законы распространяются на следующие  пары суждений? 

  1. Все свидетели дают истинные показания. Ни один свидетель не дает истинные показания. (закон тождества)
  2. «Статистика знает все» (И.Ильф, Е. Петров). Статистика знает не все. (закон противоречия)
  3. Все кенгуру – сумчатые млекопитающие. Некоторые кенгуру не являются сумчатыми млекопитающими. (закон противоречия)
  4. Ни одна балалайка не является клавишным инструментом. Некоторые балалайки – клавишные инструменты. (закон тождества)
  5. «Арагонская хота» Глинки – увертюра-фантазия на испанские темы. «Арагонская хота» Глинки не является увертюрой-фантазией на испанские темы. (закон исключенного третьего)
  6. Нет человека, который не любил бы природу, не любовался бы на ясное, голубое небо. Некоторые люди не любят природу, не любуются на ясное, голубое небо. (закон противоречия)

 
 
II. Тождественны ли следующие  понятия? 

  1. Гиппопотам. Носорог. Бегемот. (нет)
  2. Крокодил. Аллигатор. (да)
  3. Композитор. Человек, сочинивший музыку. (да)
  4. Левитан. Художник, написавший картины «Март» и «Весна – большая вода». Художник, написавший картину «Грачи прилетели». (нет, «Грачи прилетели А.Саврасов)
  5. Упрямство. Порок слабого ума. (нет)
  6. Французский физик Пьер Кюри (1859 – 1906). Ученый, совместно с женой М.Склодовской-Кюри открывший в 1898 г. полоний и радий. Лауреат Нобелевской премии (1903 г., совместно со Склодовской-Кюри). (да)

 
 
III. Нарушен ли формально-логический  закон в рекламе торговца в  следующей басне? 
 
«Один торговец занимался продажей копий и щитов и, нахваливая свои щиты, кричал: «Вот самые крепкие щиты, ничто не сможет пробить их!» Тут же, расхваливая свои копья, он говорил: «Эти копья пробивают что угодно». Один из прохожих, услышав его слова, спросил: «А что будет, если попытаться проткнуть твой щит твоим же копьем?».

Нарушен закон противоречия.

 

 

 

 


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