НЕЯВНЫЕ ОПРЕДЕЛЕНИЯ

Не всегда можно определить понятие через ближайший род и видовое отличие. Например, категории (предельно широкие понятия), так как они не имеют рода. Единичные понятия нельзя определить через род и видовое отличие, так как они не имеют видового отличия. В таких случая применяют неявные (косвенные) определения: определение через отношение к своей противоположности, контекстуальное, остенсивное и другие.

1. Определение через отношение к своей противоположности исполь-

естественного языка, так как в ней может отсутствовать содержательная связь между суждениями а и в. Истинным с точки зрения логики является суждение «Если дважды два - пять, то снег черен», хотя оно бессмысленно с точки зрения содержания. В логике являются законами формулы: а®b º ùаÚb и ù(а®b) º аÙùb .

4. Эквивалентные суждения - суждения, в которых утверждается одновременное наличие или одновременное отсутствие двух ситуаций. Эквивалентное суждения называют также двойной импликацией. Эквивалентное суждение обозначается знаками « или º. Эквиваленция истинна, когда оба составляющих его суждения истинны или когда оба ложны, в остальных случаях эквиваленция ложна. В языке эквиваленция может быть выражена следующими схемами: «а, если и только если в», «если а, то в, и наоборот», «а, если в, и в, если а», «а равносильно в» и др.

Например: «Если солнце находится в зените, то тени от него являются самыми короткими».

5. Суждения отрицания - суждения, в которых утверждается отсутствие некоторой ситуации. Суждения отрицания характеризуются так: если а истинно, то его отрицание ложно, и если а ложно, то его отрицание истинно. Отрицание выражается с помощью союзов «не» и «неверно, что». Суждения отрицания делятся на суждения с внутренним отрицанием (отрицание стоит перед связкой) и с внешним отрицанием (отрицание стоит перед суждением).

Например: «Этот студент не является отличником» и «Неверно, что этот студент является отличником». Хотя эти суждения эквивалентны, некоторые логики считают, что суждениями отрицания являются только суждения с внешним отрицанием.