Понятие логического следования и логического закона.

Логическое следование – одно из фундаментальных отношений между высказываниями по форме, используемое для проверки правильности рассуждений. Логическое следование имеет место между множеством логических форм высказываний Γ и логической формой высказывания В (Γ ╞ В), если и только если не существует такой интерпретации нелогических параметров, входящих в Γ и В, при которой все выражения из Γ принимают значение «истинно», а В – значение «ложно». Иными словами, всегда, когда выражения из Γ принимают значение «истинно», В тоже принимает значение «истинно».

Понятие логического следования лежит в основе всякой теории правильных рассуждений. Рассуждение (умозаключение) считается правильным, если и только если его посылки (Γ) и заключение (В) находятся в отношении логического следования, то есть из посылок логически следует заключение.

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

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

30. Законы логики и законы природы: общая характеристика и анализ.

Законы логики известны еще с античных времен – закон тождества, непротиворечия и исключенного третьего. Все они были открыты Аристотелем. Закон достаточного основания был открыт Лейбницем. Они имеют большое значение для науки, являются столпами логики, ибо без этих законов логика немыслима.

Логический закон – общее название законов, образующих основу логической дедукции.

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