Пересечение Классов (множеств)

- логика, не позволяю­щая выводить из противоречия произвольное предложение. В логике классической некоторая теория называется противоречивой, когда в ней можно доказать одновременно и предложение, и его отрицание. Если при этом в теории можно доказать и произвольное предложение, она называется тривиальной. П. Л. Трактует противоречие иначе, чем классическая логика. Ис­ключается возможность выводить из противоречий любые предло­жения, противоречие перестает быть угрозой разрушения теории. Этим н..

- а) П. Величина, которая может принимать в процессе своего изменения различные значения. Б) неопределенное имя предмета из некоторой области значений этой П., вместо кото­рого могут подставляться имена предметов этой области. П. Величи­на характеризуется тем, что относит к значениям одной (независи­мой) П. Величины значения другой П. Величины, зависящей от пер­вой (см. Функция). С такими П. Величинами мы встречаемся в формулах математики (напр., у=х2), физики (f = т. ..

(лат. Ignoratio elenchi) — логическая ошибка в доказательстве, состоящая в том, что начав доказывать некоторый тезис, постепенно в ходе доказательства переходят к доказательству другого положения, сходного с тезисом. При этом происходит на­рушение закона тождества по отношению к тезису. Тезис на всем протяжении доказательства должен оставаться одним и тем же. Опасность этой ошибки заключается в том, что благодаря сходству доказанного положения с тезисом создается иллюзия о доказаннос­ти именно т..

— соответствие теории, закона, гипотезы некоторому факту или экспериментальному результату. В методоло­гии научного познания П. Рассматривается как один из критериев истинности теории или закона. Для того чтобы установить, соответ­ствует ли теория действительности, т. Е. Верна ли она, из нее дедуци­руют предложение, говорящее о наблюдаемых или эксперименталь­но обнаруживаемых явлениях. Затем проводят наблюдения или ста­вят эксперимент, устанавливая истинность или ложность данного предложения. Ес..