Наши партнеры
— высказывание, выражающее закон природы. В логике научного познания проблема Н. в. связана с попытками сформулировать формально-логические критерии, позволяющие отличать Н.в. от случайно истинных общих высказываний.
Законы природы в логике принято выражать в виде общих условных высказываний типа "х(А(х)->В(х)). Напр., закон «Все металлы электропроводны» записывается так: «Для всякого х, если х - металл (А(х)), то х - электропроводен (В(х)), т. е. "х(a(х)-> В(х))». Однако многие истинные высказывания, не являющиеся законами природы, также выражаются в виде общих условных высказываний. Напр., высказывание «Все мои друзья блондины» получит вид: «Для всякого х, если х — мой друг, то х — блондин». Поэтому возникает вопрос: как отличить общие высказывания, выражающие законы, от общих высказываний, которые хотя и истинны, но закона не выражают? Многолетние усилия ответить на этот вопрос и задать некоторые формальные особенности Н. в., отличающие их от случайно истинных обобщений, не привели к успеху. Тем не менее некоторые черты Н. в. были установлены. Считается, что высказывание, выражающее закон природы, должно быть: общим,универсальным (т.е. область, о которой оно говорит, не должна быть ограничена), нетривиальным (т. е. не должно иметь характера логической тавтологии) и, наконец, между его антецедентом и консеквентом должна существовать смысловая, содержательная связь.
НОРМА, см.: Нормативное высказывание.
НОРМАЛЬНОЕ МНОЖЕСТВО, см.: Противоречие в явном определении.
НОРМАТИВНАЯ ЛОГИКА,см.: Деонтическая логика.
НОРМАТИВНАЯ МОДАЛЬНОСТЬ,см.: Деонтическая модальность.