Логика

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