Словарь Логики
Закон Косвенного Доказательства - логический закон, позволяющий делать заключения об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечет противоречие. Напр.: «Если из того, что 11 не является простым числом, вытекает то, что оно делится на число, отличное...
Закон Логикисм.: Логический закон.
Закон Мышления -термин традиционной логики, обозначавший требование к логически совершенному мышлению, имею- щее формальный характер, т. е. не зависящее от конкретного содержания мыслей. 3. м. назывались также законами логики или (формально-) логическими законами. Из множества З.м. выделялись...
Закон Противоречиясм.: Непротиворечия закон.
Закон Экспортации - Импортации(от лат. exportare -вывозить, importare — ввозить) — логический закон, говорящий о заменимости в определенных случаях конъюнкции («и») импликацией («если, то»), и наоборот. Его можно передать так: первое и второе влечет третье тогда и только тогда, когда первое...
Знак - материальный предмет, воспроизводящий свойства, отношения некоторого другого предмета. Различают языковые и неязыковые З. Среди последних выделяют три разновидности. 3. - копии обладают определенным сходством с представляемыми ими объектами, напр. фотографии, отпечатки пальцев и т. п. 3...
Знание — результат процесса познания действительности, получивший подтверждение в практике; адекватное отражение объективной реальности в сознании человека (представления, понятия, суждения, теории). 3. фиксируется в знаках естественных и искусственных языков. Различают обыденное и научное 3....
Значение — содержание, связываемое с тем или иным языковым выражением. Вопрос о 3. языковых выражений исследуется лингвистикой, семиотикой и логической семантикой. В последней наибольшим признанием пользуется концепция 3., предложенная немецким математиком и логиком Г. Фреге в конце XIX в....
Идеализация — процесс мысленного конструирования представлений и понятий об объектах, не существующих и не могущих существовать в действительности, но сохраняющих некоторые черты реальных объектов. В процессе И. мы, с одной стороны, отвлекаемся от многих свойств реальных объектов и сохраняем...
Идемпотентности Закон(от лат. idempotens - сохраняющий ту же степень) - логический закон, позволяющий исключить повторение одного и того же высказывания. Его формулировка: повторение высказывания через «и» и «или» равносильно самому высказыванию. Напр., «Марс - планета и Марс - планета» есть то...
Иллюстрация(от лат. illustratio - прояснять) - факт или частный случай, призванный укрепить убежденность аудитории в правильности уже известного и принятого положения. Пример подталкивает мысль к новому обобщению и подкрепляет это обобщение, И. проясняет известное общее положение, демонстрирует...
Импликация(от лат. implicatio - сплетение, от implico — тесно связываю) - логическая связка, соответствующая грамматической конструкции «если ..., то ...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании различают антецедент (основание...
Импликация Материальная -импликация в трактовке логики классической. Для установления истинности И. м. «Если А, то В» достаточно выяснить истинностные значения высказываний А и В. И. м. истинна в трех случаях: 1) ее основание и ее следствие истинны; 2) основание ложно, а следствие истинно; 3) и...
Имя - выражение естественного или искусственного, формализованного языка, обозначающее отдельный предмет, совокупность сходных предметов, свойства, отношения и т. п. Напр., слово «Наполеон» обозначает отдельный предмет - Наполеона Бонапарта; слово «полководец» обозначает класс людей, каждый из...
Индивид(от лат. individuum - неделимое) — единичное как противоположность совокупности, массе; отдельное живое существо, особь, отдельный человек, в отличие от стада, группы, коллектива. В логике И. называют любой объект, обозначаемый единичным, или собственным, именем. Логические формальные...
Индуктивная Логика - раздел логики, изучающий индуктивные умозаключения, которые отличаются от дедуктивных умозаключений тем, что вывод в них вытекает из посылок не с необходимостью, а лишь с некоторой вероятностью. Типичным примером индуктивного умозаключения является переход от единичных...
Индуктивное Определение - определение, позволяющее из некоторых исходных объектов теории с помощью некоторых операций строить новые объекты теории. И.о. находят широкое применение в математике, логике и других науках. Примером может быть И.о. натуральных чисел. Исходным объектом здесь будет число...
Индукции Каноны(от греч. canon — правило, предписание) -методы установления причинных связей между явлениями. Сформулированы англ. логиком Д. С. Миллем (1806-1873) («методы Милля», «каноны Милля»). Он опирался на «Таблицы открытий» англ. философа Ф. Бэкона (1561-1626). если предшествующие...
Индукция(от лат. inductio - наведение) - умозаключение, в котором связь посылок и заключения не опирается на логический закон, в силу чего заключение вытекает из принятых посылок не с логической необходимостью, а только с некоторой вероятностью. И. может давать из истинных посылок ложное...
Индукция Математическая, Полная Математическая Индукция - средство доказательства общих положений в математике и др. дедуктивных науках. Этот прием опирается на использование двух суждений. Первое представляет собой единичное суждение и наз. базой индукции. В нем доказывается, что 1 обладает...
- « первая
- ‹ предыдущая
- …
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- …
- следующая ›
- последняя »