Словарь логики

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