правило локка


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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "правило локка" в других словарях:

  • Новоселов, Михаил Михайлович — (р. 14.11.1932) логик, философ; д р филос. наук, вед. н. с. Род. в Москве. Окончил филос. ф т МГУ (1961), асп. МИНХ (1970). Работает в ИФ РАН, ст. н.с, в наст. вр. вед. н. с. Канд. дисс. "Принцип абстракции, понятие тождества и "правило …   Большая биографическая энциклопедия

  • обобщение —         ОБОБЩЕНИЕ (англ. generalization; от лат. genero производить, порождать). 1. В логике операция порождения экзистенциальных и универсальных суждений; в дедуктивной логике на основе постулированных правил вывода для кванторов общности и… …   Энциклопедия эпистемологии и философии науки

  • Обобщение —         форма приращения знания путём мысленного перехода от частного к общему, которой обычно соответствует и переход на более высокую ступень абстракции (См. Абстракция). Пример: переход от наблюдения над совокупностями индивидуализированных… …   Большая советская энциклопедия

  • Либерализм — (Liberalism) Либерализм это политическое и филосовское учение, которое выступает за снижение вмешательства государства в жизнь граждан Основы либерализма, происхождение, формы либерализма, развитие либеральной мысли, современный либерализм,… …   Энциклопедия инвестора

  • МАТЕРИАЛИЗМ — (от лат. materialis вещественный) многозначная идея, которой чаще всего придается один или некоторые из следующих смыслов. 1. Утверждение относительно существования или реальности: только материя существует или является реальной; материя является …   Философская энциклопедия

  • Отравления — I Отравления (острые) Отравления заболевания, развивающиеся вследствие экзогенного воздействия на организм человека или животного химических соединений в количествах, вызывающих нарушения физиологических функций и создающих опасность для жизни. В …   Медицинская энциклопедия

  • ИДЕНТИЧНОСТЬ ПЕРСОНАЛЬНАЯ (тождество личности) — житейский (в западной культуре) и научный термин, означающий: 1) тождество я (сознания, разума), сознавание личностью единства своего сознания в разное время и в раз ных местах; 2) сохранение постоянного или продолжающегося единства деятельности… …   Современный философский словарь

  • Профессия: репортёр — У этого термина существуют и другие значения, см. Профессия репортёр. Профессия: репортёр Professione: Reporter …   Википедия

  • ДУША — (греч. psyhe, лат. anima) одно из центральных понятий европейской философии, в связи с разработкой которого вся иерархия бытия, жизни и мысли постепенно осваивается как в своих самых низких, так и самых высоких пластах и по отношению к которому… …   Философская энциклопедия

  • КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …   История Философии: Энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.