Словарь логики

  • процесс мысленного конструирования представлений и понятий об объектах, не существующих и не могущих существовать в действительности, но

  • (от лат. idempotens - сохраняющий ту же степень) логический закон, позволяющий исключить повторение одного и того же высказывания. Его формулиро

  • (от лат. illustratio - прояснять) факт или частный случай, призванный укрепить убежденность аудитории в правильности уже известного и принятого

  • (от лат. implicatio - сплетение, от implico - тесно связываю) логическая связка, соответствующая грамматической конструкции "если ..., то ...", с помощью

  • - импликация в трактовке логики классической. Для установления истинности И. м. "Если А, то В" достаточно выяснить истинностные значения выс

  • (от лат. individuum - неделимое) единичное как противоположность совокупности, массе; отдельное живое существо, особь, отдельный человек, в отлич

  • раздел логики, изучающий индуктивные умозаключения, которые отличаются от дедуктивных умозаключений тем, что вывод в них вытекает из посы

  • определение, позволяющее из некоторых исходных объектов теории с помощью некоторых операций строить новые объекты теории. И.о. находят ши

  • (от греч. canon - правило, предписание) методы установления причинных связей между явлениями. Сформулированы англ. логиком Д. С. Миллем (1806-1873) ("

  • (от лат. inductio - наведение) умозаключение, в котором связь посылок и заключения не опирается на логический закон, в силу чего заключение выте

  • (ПОЛНАЯ МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ) - средство доказательства общих положений в математике и др. дедуктивных науках. Этот прием опирается на и

  • а- средство доказательства общих положений в матемантике и др. дедуктивных науках. Этот прием опирается на использованние двух суждений. П

  • индуктивный вывод о том, что всем представителям изучаемого множества принадлежит свойство Р на том основании, что Р принадлежит некоторы

  • индукция, в которой делается заключение о том, что всем представителям изучаемого множества принадлежит свойство Р, на основании полученн

  • наиболее распространенный вид индуктивного вывода, в котором не предпринимается никаких мер для повышения достоверности заключения. Име

  • понятия, введенные австрийским логиком и философом Р. Карнапом для анализа зна -чения языковых выражений. Метод И. и Э. представляет собой м

  • (от лат. interpretatio - разъяснение, истолкование) в логике приписывание некоторого содержательного смысла, значения символам и формулам формал

  • (от лат. inter - между) межличностный, общий, общедоступный, в противоположность личному, индивидуальному, уникальному. В логико-методологичес

  • интуитивные представления о правильности рассуждений, сложившиеся стихийно в процессе повседневной практики мышления. И. л., как правило,

  • направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук являет

  • одна из наиболее важных ветвей логики неклассической, имеющая своей философской предпосылкой программу интуиционизма. Выдвигая на первы

  • (от лат. intuitio - пристальное, внимательное всматривание, созерцание) способность к прямому усмотрению истины, постижению ее без всякого расс

  • (от лат. irrationalis - неразумный, бессознательный) находящееся на пределами разума, противоречащее логике. Обычно противопоставляется рациона

  • см.: Закон исключенного третьего

  • метафорическое обозначение области исследований, цель которых - создание технических систем, способных решать задачи невычислительного

  • мысль или высказывание, соответствующие своему предмету. Мысль соответствует своему предмету, если представляет его таким, каков он есть

  • одна из возможных характеристик высказывания с точки зрения соответствия его описываемому фрагменту действительности. Если допускается,

  • классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским ма

  • основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторо