Индуктивное Определение

- определение какого-либо понятия А(n), зависящего от неотрицательного целого параметра п, протекающее по следующей схеме. А) задается значение А(0). Б) задается правило по лучения, значения А(n+1) по пи по значению (п). Типичным И. О. Является определение функции п!:а) 0. = 1. Б) (n+1). =n!(n+1). Более общим И. О. Является определение по трансфинитной индукции, с помощью к-рого вводится какое-либо понятие А(a), зависящее от ординального (трансфинитного) числа a. Такое определение осуществляе..

(от лат. Individuum - неделимое) — единичное как противоположность совокупности, массе. Отдельное живое суще­ство, особь, отдельный человек, в отличие от стада, группы, коллек­тива. В логике И. Называют любой объект, обозначаемый еди­ничным, или собственным, именем. Логические формальные  . Исчисления, содержащие общие и экзистенциальные предложе­ния, обычно предполагают существование непустой области к.-л. Индивидуальных предметов - индивидов, к которым относятся утверждения формальной сист..

- раздел логики, изучающий индук­тивные умозаключения, которые отличаются от дедуктивных умо­заключений тем, что вывод в них вытекает из посылок не с необходимостью, а лишь с некоторой вероятностью. Типичным примером индуктивного умозаключения является переход от еди­ничных фактов к общему утверждению. Современная И.л. В основ­ном занимается анализом степени подтверждения гипотезы h на основании имеющегося свидетельства е. В формальной теории сте­пень связи между гипотезой h и свидетельством е в..

(от греч. Canon — правило, предписание) -методы установления причинных связей между явлениями. Сфор­мулированы англ. Логиком Д. С. Миллем (1806-1873) («методы Милля», «каноны Милля»). Он опирался на «Таблицы открытий» англ. Философа Ф. Бэкона (1561-1626). Если предшеству­ющие обстоятельства ABC вызывают явление abc, а обстоятель­ства ADE - явление ade, то делается заключение, что А - причи­на а (или что явления А и а причинно связаны). Так, желая установить, почему изучаемые маятники имеют одина..

(от лат. Inductio - наведение) - умозаключение, в котором связь посылок и заключения не опирается на логиче­ский закон, в силу чего заключение вытекает из принятых посы­лок не с логической необходимостью, а только с некоторой веро­ятностью. И. Может давать из истинных посылок ложное заключение. Ее заключение может содержать информацию, отсутствующую в посылках. И. Противопоставляется дедукция - умозаключение, в котором связь посылок и заключения опирается на закон логики и в котором заключение с..