В чем логика?

Логика – это нормативная наука о законах, принципах и методах идеализированных рассуждений, выражающих результаты рациональной мыслительной деятельности человека, а также о языке как средстве такой деятельности.

Итак, в логике существуют понятия истинности и ложности суждений, умозаключений, доказательств. Эти два свойства характеризуют высказывание со стороны содержания: если суждение соответствует действительности – оно истинно, если не соответствует ей – ложно. Приведем пример: суждение «Сейчас идет дождь» будет истинным, если за окном, действительно, идет дождь. Если осадков не наблюдается или идет снег, то высказанное суждение будет ложным.

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

Способ рассуждения, связанный с законом исключенного третьего, используется в доказательстве от противного, когда за истину принимается суждение, противоречащее исходному. Иначе этот прием называется «сведение к абсурду».

Закон достаточного основания: «Всякая мысль должна быть достаточно обоснована» Он основан на том, что все в окружающем мире имеет свою причину, и, если мы хотим достичь истины, нужно найти эту причину. Что означает «достаточно»? Значит, что доказательства должно быть не меньше, но и не больше необходимого: «кто много (мало) доказывает, тот ничего не доказывает». Примером