Предлагаю всем желающим принять участие в определении термина "логика".

Что это такое всем известно, но не каждый здравомыслящий вполне отдаёт себе отчет, что обозначается словом "логика". 

Вниманию участников предлагается метод Кормина Михаила, основанный на одной единственной аксиоме:

См.: "

Формализация правила достаточного основания.

Начнем с единственной аксиомы на которую будет опираться Формализованный Закон Достаточного Основания Лейбница.

Метафизическая логика.
    Метафизика - то, что после физики, наука о сверхчувственных принципах и началах бытия. 
    Предмет в метафизике решительным образом отличен от любого предмета в физическом, иначе (про)явленном мире.
Он не есть то, на что можно указать пальцем. Не имеет места и времени существования, но полагается существующим.
    Этот предмет: высшая абстракция, предельное обобщение некоего качества(чтойности), часто назаваемого сущностью.