Гипотеза - наиболее универсальный элемент нормы права. Гипотеза присутствует, как правило, в явном виде, в регулятивных и охранительных нормах. Взгляд на значение и наличие гипотез в специализированных правовых нормах (декларативных, дефинитивных, оперативных, коллизионных и т.д.) различен, одни ученые выделяют гипотезы в некоторых их видах, другие полагают, что гипотеза имеет место только в нормах, непосредственно регулирующих или охраняющих общественные отношения - т.е. в регулятивных и охранительных.
Вопрос №39
Зако́н то́ждества — закон логики, согласно которому в процессе рассуждения каждое осмысленное выражение (понятие, суждение) должно употребляться в одном и том же смысле. Предпосылкой его выполнимости является возможность различения и отождествления тех объектов, о которых идёт речь в данном рассуждении[1]. Мысль о предмете должна иметь определённое, устойчивое содержание, сколько бы раз она ни повторялась. Важнейшее свойство мышления — его определённость — выражается данным логическим законом[2][3][4][5].
|
|
Впервые[3] закон тождества сформулирован Аристотелем в трактате «Метафизика» следующим образом:
«…иметь не одно значение — значит не иметь ни одного значения; если же у слов нет (определенных) значений, тогда утрачена всякая возможность рассуждать друг с другом, а в действительности — и с самим собой; ибо невозможно ничего мыслить, если не мыслить (каждый раз) что-нибудь одно»
— Аристотель, «Метафизика»[6]
В формальной логике закон тождества принято выражать формулой: есть , или , где под понимается любая мысль.
Символическая логика при построении исчислений высказываний оперирует формулами (читается как « влечёт ») и ≡ (читается как « равнозначно »), где:
· — любое высказывание;
· «» — знак импликации;
· «≡» — знак эквивалентности.
Эти формулы соответствуют закону тождества.
В логике предикатов закон тождества выражается формулой , то есть для всякого верно, что если имеет свойство , то имеет это свойство[7].
Вопрос №40
Закон непротиворечия (закон противоречия) — закон логики, который гласит, что два несовместимых (противоречащих) суждения не могут быть одновременно истинными. По крайней мере, одно из них ложно.
Математическая запись:
где:
· «» — знак конъюнкции (И);
· «» — знак отрицания.
Закон противоречия является фундаментальным логическим законом, на котором построена вся современная математика. Он является тавтологией классической логики, а также большинства неклассических логик, в том числе интуиционистской логики. Всё же, существуют нетривиальные логические системы, в которых он не соблюдается, например, логика Клини.
|
|
Вопрос №41
Закон исключённого третьего (лат. tertium non datur, то есть «третьего не дано») — закон классической логики, состоящий в том, что из двух высказываний — «А» или «не А» — одно обязательно является истинным, то есть два суждения, одно из которых является отрицанием другого, не могут быть одновременно ложными. Закон исключённого третьего является одним из основополагающих принципов «классической математики».
С «интуиционистской» (и, в частности, «конструктивистской») точки зрения, установление истинности высказывания вида «А или не А» означает:
· либо (а) установление истинности ;
· либо (б) установление истинности его отрицания .
Поскольку, вообще говоря, не существует общего метода, позволяющего для любого высказывания за конечное число шагов установить его истинность или истинность его отрицания, закон исключённого третьего не должен применяться в рамках интуиционистского и конструктивного направлений в математике как аксиома.
Вопрос №42
Зако́н доста́точного основа́ния — закон логики, который формулируется следующим образом: всякое положение для того, чтобы считаться вполне достоверным, должно быть доказанным, т. е. должны быть известны достаточные основания, в силу которых оно считается истинным.
Допустим, что учащийся, слушая рассказ учителя, встречается с рядом неизвестных ему положений. Например, он узнаёт, что древние египтяне имели совершенные музыкальные инструменты, что некоторые ультразвуки убивают простейшие живые организмы, что если в Средней Азии произойдёт землетрясение, то образовавшиеся при этом волны достигнут Москвы через несколько минут. Учащийся вправе сомневаться в истинности этих положений до тех пор, пока они не будут доказаны, объяснены, обоснованы. Как только они будут доказаны, как только будут приведены достаточные основания, подтверждающие их истинность, сомневаться в них уже нельзя. Другими словами: всякое доказанное положение непременно истинно.
Закон достаточного основания направлен против нелогичного мышления, принимающего на веру ничем не обоснованные суждения, против всякого рода предрассудков и суеверий; он выражает то фундаментальное свойство логической мысли, которое называют обоснованностью или доказанностью. Запрещая принимать что-либо только на веру, этот закон выступает надёжной преградой для любого интеллектуального мошенничества. Он является одним из главных принципов науки (в отличие от псевдонауки).