Все прямоугольники – параллелограммы. Все квадраты – прямоугольники.

------------------------------------------------------

Все квадраты – параллелограммы.

В самом деле, схема (pÙq)®r, отражающая структуру данного рассуждения средствами логики высказываний, не является логическим законом: если p и q принимают значение «истинно», а r – «ложно», то наша схема, поскольку она – импликация, принимает значение «ложно».

Тем не менее, данное рассуждение является правильным: многократно повторяемый опыт подсказывает нам, что, если класс каких-то предметов Y включен в более широкий класс Z, а X включен в класс Y, то X обязательно будет включен в Z.

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