Логика и язык. Логическая форма. Логические законы и теории.

Логика и язык. Логическая форма. Логические законы и теории.

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

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

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

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

Понятие в языке выражается при помощи описательных имен. Имя — это слово или словосочетание, обозначающее какой-либо определенный предмет.

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

 

Логические законы Соблюдение законов логики — необходимое условие достижения истины в процессе рассуждения. Основными законами обычно считаются: 1) закон тождества; Он говорит: если утверждение истинно, то оно истинно 2) закон противоречия; Закон противоречия говорит о противоречащих друг другу высказываниях, т. е. о таких высказываниях, одно из которых является отрицанием другого.3) закон исключенного третьего Закон исключительного третьего, как и закон противоречия, устанавливает связь между противоречащими друг другу высказываниями. И опять-таки идея, выражаемая им, представляется поначалу простой и очевидной: из двух противоречащих высказываний одно является истинным.

 

Предложение, суждение, высказывание. Виды сложных высказываний, условия их истинности.

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

 

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

 

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

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

В соответствии с функциями логических связок сложные суждения делятся на следующие виды.

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

Разделительные (дизъюнктивные) суждения - включают в качестве составных частей суждения объединяемые связкой «или».

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

Условные (импликативные) суждения образованы из двух простых суждений посредствам логического союза «если [...], то»

4. Классическая логика высказываний. Язык и табличное построение. Понятие закона логики высказываний (нет)

Высказывание - грамматически правильное повествовательное предложение вместе с выражаемым им смыслом. Высказывание является истинным или ложным¹.

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

Конъюнкция (результат соединения высказываний с помощью связки < < и> > ) дает сложное высказывание, истинное только тогда, когда истинны оба составляющие его высказывания.

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

 

Строгая дизъюнкция (результат соединения высказываний с помощью связки < < исключающее или> > ) дает сложное высказывание, истинное, когда истинно только одно из составляющих его высказываний.

 

Инверсия (отрицание) (результат применения к высказыванию связки < < не> > ) дает сложное высказывание, истинное, когда исходное высказывание ложно.

 

Импликация (следование) (результат соединения высказываний с помощью связки < < если..., то> > ) дает сложное высказывание, ложное, только когда первое из составляющих его высказываний истинно, а второе -- ложно.

 

Эквивалентность (результат соединения высказываний с помощью связки < < тогда и только тогда> > ) дает сложное высказывание, истинное, когда истинность составляющих его высказываний совпадает.

 

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

Таблица истинности - это таблица, которая показывает, при каких наборах значений простых высказываний образованное из них сложное высказывание будет истинным, а при каких - ложным.

 

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

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

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

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

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

ТАБЛИЦА ИСТИННОСТИ – таблица, спомощьюкоторой устанавливается значение истинности сложного суждения в зависимости от значения истинности простых суждений, входящих в его состав. Каждое из сложных суждений имеет свою таблицу истинностных значений. В классической логике существует таблица для конъюнкции, дизъюнкции, импликации, эквивалентности внешнего отрицания.

Виды понятий

Понятие это

-смысл термина

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

Понимать термин это значит узнать его смысл.

Понятие выражается в языке при помощи описательных имен.

Виды понятий:

1. По количеству.

Пустые и непустые понятия.

Пустыми называются понятия, которым не соответствует ни один предмет в объективном мире. Они могут быть фактически пустыми и логически пустыми. Непустые понятия делятся на общие и единичные. Соответственно, общими являются понятия, соответствующие каким-либо предметам действительности, должно существовать более 1 элемента. Единичные- один элемент.

2. По типу элементов.

Абстрактные(свойства или отношение). Конкретные. Собирательные (Если элементы объекта представляют собой множество мыслей как единое целое). Не собирательные.

3. По характеристики видового отличия.

Положительные (нет частицы не) и отрицательные (есть частица не).

4. По понятию.

Относительные (если существуют другие объекты, которые не попадают в объем этого понятия) и не относительные.

 

Логика и язык. Логическая форма. Логические законы и теории.

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

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

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

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

Понятие в языке выражается при помощи описательных имен. Имя — это слово или словосочетание, обозначающее какой-либо определенный предмет.

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

 

Логические законы Соблюдение законов логики — необходимое условие достижения истины в процессе рассуждения. Основными законами обычно считаются: 1) закон тождества; Он говорит: если утверждение истинно, то оно истинно 2) закон противоречия; Закон противоречия говорит о противоречащих друг другу высказываниях, т. е. о таких высказываниях, одно из которых является отрицанием другого.3) закон исключенного третьего Закон исключительного третьего, как и закон противоречия, устанавливает связь между противоречащими друг другу высказываниями. И опять-таки идея, выражаемая им, представляется поначалу простой и очевидной: из двух противоречащих высказываний одно является истинным.

 

Поделиться: