Умозаключений, осуществляемых на основе логических форм, два вида. В умозаключениях первого вида связь по формам обеспечивает истинность заключений при истинности посылок. Такие умозаключения называются дедуктивными (от лат. deductio – выведение). Дедуктивные умозаключения называются также выводами. В умозаключениях второго вида посылки лишь подтверждают заключение. Эти умозаключения называются индуктивными (от лат. induction – наведение). Они лишь наводят на мысль.
Логика. Краткий курс. Учебное пособие
·
Ю.В. Ивлев
