Определение логического вывода
Логический вывод является исключительно и исключительно продуктом нашего разума, потому что это оценка, выполняемая теми выражениями определенного языка, которые когда-то интеллектуально взаимосвязанные, позволят нам прийти к логической идее . Таким образом, начиная с правды или лжи, которые предлагают некоторые выражения, мы сможем вывести правду или ложь некоторых других.
Между тем из вышеупомянутой процедуры возникнет постулат.
В традиционной логике, широко известной как аристотелевская, потому что она была впервые сформулирована известным греческим философом Аристотелем, следует форма логического вывода - силлогизм . Это тип дедуктивного мышления, который состоит из двух утверждений в качестве предпосылок и другого в качестве вывода, причем последний вытекает из логического вывода уже из двух других.
Мы можем найти три типа вывода; дедукция, дедуктивный аргумент - это тип, который предписывает сосуществование помещения и вывод, гарантирующий, что последние будут представлены в помещении, например: все шары в этой сумке красные, эти шары принадлежат этой сумке, для поэтому эти шары красные ; индукция, индуктивный аргумент допускают вероятное сосуществование помещения и вывод, гарантирующий, что последнее, вероятно, отражено в помещении, пример: воздушные шары находятся в этой сумке, воздушные шары красные, затем все воздушные шары в этой сумке они красные ; и похищение, абдуктивный аргумент предлагает возможное сосуществование между помещением и заключением, гарантируя, что последнее потенциально может быть представлено в вышеупомянутом помещении, например: все шары в этой сумке красные, эти шары красные, тогда эти воздушные шары соответствуют этой сумке .