ИНДУКЦИЯ (лат. inductio - наведение) - метод познания, связанный с обобщением наблюдений и экспериментов. В логическом плане И. представляет собой умозаключение, при котором общее суждение по особым правилам получается на основе единичных или частных посылок. В науке и
МАТЕМАТИЧЕСКАЯ ЛОГИКА - один из ведущих разделов современной логики и математики. Сформировался в 19-20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков, аналогичных математическим и тем самым заменить рассуждения вычислениями.