Логический закон

Если в традиционной логике доминировала трактовка логических законов как универсальных и неизменных, то в современной логике была ясно осознана необходимость релятивизации данного понятия относительно конкретных логических теорий. Данное обстоятельство обусловлено множественностью логических систем, в том числе и таких, которые строятся в одном языке, но имеют различные классы общезначимых формул (теорем). Так, закон классической логики p Ú Øpперестает быть общезначимым (доказуемым) в интуиционистской логике, в трехзначной логике Лукасевича и в других теориях.