Человеческое мышление



Логика и язык

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

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

Различают естественную разговорный и искусственный языки. Освоение современной логической науки предусматривает ознакомление с такими аспектами языка, как семантика, синтаксис, прагматик.

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

Занимается она прежде всего уточнением таких понятий, как "смысл", "соответствие", "предмет", "множество", "логическое следование" выплывания "интерпретация". Важное место в семантике занимают различения содержания понятий и их объема, значения их истинности и смысла суждения. Свойства, повязани с объемом понятий и значением истинности суждения, называют екстенциональними, а свойства, повязани с содержанием понятия и смыслом суждения, - интенциональними. Да, суждение "Семь - простое число" и "Киев - столица Украины" равносильные екстенционально значения истинности этих суждений совпадает. Однако эти суждения отличаются интенционально смысл их разный.

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

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

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

Эти отношения характеризуют процесс понимания знаковой системы человеком, который воспринимает эту систему.

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

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

сокращенно фиксировать разнообразные соотношения между обєктами, которые изучаются;

выделять логические звязки и отличать их от синтаксических;

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

выражать с помощью формул готовый результат и в то же время путь, на котором можно получить этот результат;

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

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

Список знаковых средств языка логики высказываний включает такие знаки:

1. Знаки переменных логики высказываний :

P, q, r, s, p1, q1, r1, s1.

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

2. Знаки логических сполучникив :

~ - знак отрицания читается: "не", "неверно, что". ;

^ - знак конюнкциї читается: ".и". ;

- знак дизюнкциї читается: ".или". ;

- знак импликации читается: "если.,тогда". .

3. Технические знаки:

- левая скобка;

- правая скобка;

, - запятая.

Эти знаки в языке логики высказываний исполняют роль знаков пунктуации естественного языка.

Никаких других знаков в языке логики высказываний нет.