5. Логические символы.

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

1. Логические связки, позволяющие из одних высказываний образовать новые высказывания «..и..», «..или..», «если…, то…», «неверно, что…»;

2. Логические связки, позволяющие из двух имен получит высказывание: «…есть…», «…все…есть…», «некоторые…есть…», «все…не есть…», «некоторые…не есть…».

С помощью логических связок из высказываний «Дом построен» и «Дом куплен» можно получить новые высказывания: «Дом построен, и он куплен», «Дом построен или он куплен», «Дом ни построен, ни куплен», «Неверно, что дом построен».

С помощью связок «…есть…», «…все есть…» и им подобных из имен «корова» и «травоядное животное» можно получит высказывания «Корова есть травоядное животное», «Всякая корова – травоядное животное».

Содержательные символы определяют содержание мысли, логические – ее логическую форму, т.е. способ связи ее содержательных частей (Дом. Кирпичи – содержательные выражения. Цемент – цементный раствор).

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