1) о формальной логике
Так уж вышло, что человечество, в общем, придумало два вида логики: формальную и диалектическую. Каждая из них применяется в разных сферах познания и занимает своё почётное место. Для оперирования абсолютными абстракциями может быть использована формальная логика. Для познания окружающей действительности— диалектическая.
Обусловлено это тем, что формальная логика суть спекулятивна, она изначально создавалась, как аналитический аппарат математики и фактически описывает не реальность, а движение абсолютных математических абстракций.
Основные принципы её:
1) закон тождества: всякое мыслимое понятие должно быть тождественно(равно) самому себе;
2) закон непротиворечия: два противоположных суждения не могут быть одновременно истинными. По крайней мере, одно из них ложно;
3) закон исключённого третьего: из двух противоречивых суждений одно ложно, а третьего не дано;
4) закон достаточного основания— всякое суждение истинно, если имеет достаточное основание
Примеры:
1) любое значение в математике равно самому себе т.е. (х) всегда равен (х);
2) в уравнении ответом может быть только то, что входит в ОДЗ*, всё что противоречит(не является) ОДЗ не может быть ответом на уравнение;
3) как дополнение ко второму, ответ— либо часть ОДЗ и он верен, либо не часть ОДЗ и он неверен, а третьего не дано;
4) этот же закон не является свойством конкретных мыслимых материй, а, скорее, является законом самого мышления, который, кстати, является единственным актуальным и для диалектического метода познания.
*ОДЗ— область действительных значений
