Законы логики

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

Закон непротиворечия- это логический закон, согласно которому не могут быть одновременно истинными взаимно исключающие друг друга мысли: "В данный момент снег идет" и "В данный момент снег не идет", "Этот цветок роза" и "Этот цветок ромашка". С точки зрения логики объединение таких мыслей может быть только ложным, и ни в коем случае не истинным. 
Логика различает два типа несовместимости мыслей: 
а). Формальную несовместимость, которая имеет место между некоторой мыслью и ее формальным отрицанием: "Снег идет" и "Снег не идет", где одна мысль есть непосредственное формальное отрицание ("не", "нет") другой.  
б) содержательную (предметную) несовместимость, которая имеет место в связи с несовместимостью самих признаков внутри соответствующих вещей: "Цветок - роза" и "Цветок - ромашка". Эта несовместимость определяется не по формально-логическим законам, а по законам развития самих вещей.

Закон исключенного третьего - это  закон традиционной формальной логики, согласно которому из двух формально  противоречащих друг другу мыслей (мысли  и ее формального отрицания, А  и не-А) одна обязательно должна быть истинной, а вторая ложной. 
Как видно, этот закон распространяется только на один вид несовместимости - формальной. Он ничего не говорит о содержательной (предметной) несовместимости. С точки зрения этого закона содержательно несовместимые мысли могут быть одновременно ложными. Хотя, по закону непротиворечия, они не могут быть одновременно истинными. 
Закон исходит из общетеоретического допущения, что всякий предмет, вещь могут либо обладать (хотя бы в какой-то степени), либо не обладать некоторым (произвольным) признаком: быть или не быть человеком, цветком, розой, ромашкой и так далее. Поэтому с этим законом нужно быть осторожным в ситуациях, где дают о себе знать переходные состояния вещей, когда каких-либо их признаков еще нет, но сказать, что они не проявляются никак тоже уже неверно. Границами этого закона являются ситуации, для которых строго установлено соответствующими исследованиями, имеет или не имеет место тот или иной признак у той или иной вещи.

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