Отношения, изучаемые формальной логикой.

Формальная логика исследует отношения между мыслями в стабильных, неизменных структурах. При всем многообразии этих структур только два вида отношений связывают их элементы; а) отношения между классами по принадлежности и б) отношения между высказываниями по истинности.

Классы и высказывания являются членами этих отношений, или эле­ментами формальных структур. Эти отношения составляют логический фун­дамент мышления. Именно эти два типа отношений образуют ту канву, по которой сознание вышивает свои бесконечно разнообразные узоры.

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

Языковые выражения, которые служат для обозначения классов, на­зываются именами.

Характер отношений по принадлежности классов нис­колько не меняется от того, что эти отношения иногда интерпретируются содержательно как отношения вещи и ее свойства, поскольку свойство од­нозначно задает класс предметов. Например, в высказывании «Щука является рыбой» зафиксирована принадлежность класса щук к классу рыб, а высказывание «Металлы электропроводны» можно истолковать как выражение принадлежности металлами свойства электропроводности. Однако это свойство однозначно задает класс электропроводных веществ, поэтому во втором высказывании выражена принадлежность класса металлов к классу электропроводных веществ.

Не нашли, что искали? Воспользуйтесь поиском: