Последним из так называемых основных законов традиционной формальной логики является закон достаточного основания. Этот закон является не менее, если не более своеобразным по сравнению с тремя предыдущими. Не случайно в качестве формально-логического закона он стал применяться только благодаря Лейбницу, то есть только с ХVIII века в то время как три предыдущих были отчетливо сформулированы еще Аристотелем, то есть в IV веке до н.э. Закон достаточного основания - это закон, согласно которому, чтобы считать некоторую мысль истинной или ложной, мы должны располагать некоторым строгим доказательством. Под доказательством при этом понимается специальная процедура установления соответствия мысли действительности. Так, чтобы в данный момент убедиться, что мысль "На улице светит солнце" истинна, достаточно выглянуть на улицу и убедиться (с помощью органов чувств), что это на самом деле так. Так устанавливается (т.н. остенсивное доказательство) истинность многих сиюминутных положений.
Но совсем иначе выясняется истинность (ложность) положений типа: "Вчера в это время на улице светило солнце", "Завтра в это же время будет солнечно" и т.п. Причем, если для выяснения истинности первой из них - "Вчера..." можно обратиться к своей собственной памяти, памяти других людей, в частности к сотрудникам гидрометеослужбы, что уже является опосредованным способом установления истины, то в отношении истинности второй мысли - "Завтра..." - этого сделать невозможно. Здесь может идти речь только о предположении, прогнозе. Предположение же или прогноз могут носить только вероятностный характер.
В отношении обоснования истинности (ложности) мыслей, прежде всего суждений, на первом месте стоит непосредственное обращение к содержанию тех или иных вещей, явлений путем применения соответствующих приемов наблюдения, измерения, эксперимента. В то же время, если имеется в распоряжении уже выработанное обобщенное (теоретическое) знание, то истинность многих положений можно установить исходя из их формы и их формальной связи с уже имеющимися обобщенными (теоретическими) знаниями, истинность которых уже так или иначе установлена. Такую же связь можно установить вообще между любыми мыслями, коль скоро они сформулированы, хотя истинностный аспект может при этом оставаться неопределенным.
Только соблюдение всех основных законов логики одновременно может гарантировать правильность наших рассуждений.