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

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

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

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

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

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

Виды знаков:

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

Знаки бывают описательные(«Пушкин», «Эверест», «Гагарин»и неописательные(«автор Ев. Онегин», «самая высокая гора», «первый космотнавт»)

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

Семиотика – наука о знаках. Делится на 3 раздела: 1) Синтактика изучает особенности строения знаков, правила их построения и правила составления их комбинаций (синтаксис знаковых систем).

2) Семантика изучает смысловое содержание знаков и комбинаций.

3) Прагматика изучает особенности использования знаков в процессе коммуникации, устанавливает правила получателя знака в контексте той или иной знаковой ситуации.

Логической формой структура высказывания, которая возникает в результате отвлечения от смысла всех не логических терминов(логические термины – термины которые показывают способы связи) (не логические термины – объект действительности)

Логические законы

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

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

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

4) Закон достаточного основания утверждает следующее: всякая истинная мысль должна быть обоснована (иметь достаточные основания) другими мыслями, истинность которых, доказана. Следовательно => Если истинность какой-либо мысли принята только на веру, то она не может считаться обоснованной!