Словари

Главная / Словарь логики / П / Правило Локка

Что такое Правило Локка? Значение и толкование слова pravilo lokka, определение термина

Правило Локка -  — правило, формулируемое так: если некото­рое свойство A принадлежит любому, но фиксированному элементу изучаемого множества М (т. е. является параметром), то это свойство принадлежит и всем элементам данного множества. Символически оно записывается так: Над чертой в посылке А(а) указывается принадлежность свой­ства А любому, но фиксированному элементу а некоторого множе­ства, под чертой, т. е. в заключении, говорится о том, что свойство А принадлежит всем элементам этого множества. П. Л. широко исполь- зуется в логико-математических системах. Оно часто истолковыва­ется как правило обобщения и обосновывает, напр., почему мы можем доказывать теоремы в геометрии, имеющие общий харак­тер, на индивидуальном чертеже. Так, доказывая теорему о том, что сумма внутренних углов треугольника равна двум прямым, мы пользуемся некоторым треугольником ABC, нарисованным на доске. Этот треугольник, однако, рассматривается нами как любой треу­гольник, поскольку от длины сторон, величины его углов, от его площади мы отвлекаемся: они не принимаются во внимание нами при доказательстве нашей теоремы. Этот треугольник выступает как параметр а. Доказывая, что ему принадлежит свойство А (а именно, что сумма его внутренних углов равна двум прямым), мы тем самым доказываем принадлежность этого свойства всякому треугольнику.

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Правило Отделения - см.: Модус поненс.
Прагматика -  — раздел семиотики, изучающий отношения между знаковыми системами и теми, кто воспринимает,...
Превращение - (лат. obversio) в традиционной логике  — вид непосредственного умозаключения, характеризующегося...
Предвосхищение Основания - (лат. petitio principii)  - ошиб­ка логическая в доказательстве, заключающаяся в том, что в...
Предикат - (от лат. praedicatum - сказанное)  - языковое выра­жение, обозначающее какое-то свойство или...
Предложение -  - соединение слов, имеющее самостоятельный смысл, т. е. выражающее законченную мысль. Логика...
Предметная Область - или: Универсум рассуждения, область теории,  — множество объектов, рассматриваемых в пре­делах...
Предпочтений Логика -  - логика сравнительных оценок, вы­ражаемых при помощи понятий «лучше», «хуже», «равноценно»,...
Предсказание -  — вывод о существовании неизвестных ранее фактов, объектов или их свойств, связей между...
Прескриптивное Высказывание - см.: Нормативное выс­казывание.