Логическое следствие

• Логическое следствие — фундаментальное понятие в логике, описывающее взаимосвязь между утверждениями. 
• Обоснованный логический аргумент — вывод, вытекающий из посылок, поскольку он является следствием посылок. 
• Философский анализ логических следствий включает вопросы о том, в каком смысле заключение следует из своих предпосылок и что означает, что заключение является следствием посылок. 
• Логическое следствие является необходимым и формальным, с использованием формального доказательства и моделей интерпретации. 
• Польский логик Альфред Тарский выделил три особенности адекватной характеристики следствия: логическая форма предложений, априорность и модальный компонент. 
• Формальное следствие должно быть истинным во всех случаях, но это неполное определение формального следствия. 
• Априорное свойство логического следствия считается независимым от формальности. 
• Доказательства и модели являются двумя преобладающими методами объяснения логических следствий. 
• Модальные объяснения логических следствий являются вариациями основной идеи о логической необходимости и возможности. 
• Модально-формальные объяснения объединяют модальные и формальные объяснения логических следствий.