Что такое логика

т. е. неверно АЩ щ А. Если допустить, что в действительности возможно АЩ щ А, то процесс развития знания закончится. Поскольку невозможно АЩ щ А, чаще всего пересматривают какую-то часть теории, чтобы избежать противоречия и т. д.
Основные методологические принципы формальной логики: тождество, непротиворечия, исключенного третьего и достаточного основания. Эти принципы выражают наиболее общие требования, которым должны удовлетворять наши рассуждения и логические операции с мыслями, если мы ставим перед собой цель достигать истину рациональными методами.
Принцип тождества устанавливает требование определенности мышления – в процессе рассуждения, употребляя некоторый термин, мы должны употребить его в одном и том же смысле, понимать под ним нечто определенное. Хотя предметы, существующие в объективной действительности, непрерывно изменяются, в понятиях об этих предметах выделяется нечто неизменное. В процессе рассуждения нельзя изменять понятия без специальной оговорки. По-другому принцип тождества можно назвать принципом оговорок: если изменяешь смысл термина, то оговори это, иначе будешь понят неправильно.
Принцип непротиворечия требует, чтобы мышление было последовательным. Он требует, чтобы, утверждая нечто о чем-то, мы не отрицали того же о том же в том же самом смысле в то же самое время, т. е. запрещает одновременно принимать некоторое утверждение и его отрицание.
Противоречия в языковых контекстах иногда являются неявными. Так, известное утверждение Сократа Я знаю, что я ничего не знаю скрывает в себе противоречие. В самом деле, если Сократ знает, что он ничего не знает, то он и этого не знает.
Принцип исключенного третьего требует не отвергать одновременно высказывание и его отрицание. Высказывания А и щ А нельзя отвергнуть одновременно,