Закон логического противоречия.

Сформулируйте закон непротиворечия.

Два несовместимых (противоречащих либо противоположных) суждения не могут быть одновременно истинными. По крайней мере, одно из них необходимо ложно.

Символическое представление закона непротиворечия.

Сформулируйте закон исключенного третьего

Закон исключённого третьего - закон классической логики, состоящий в том, что из двух высказываний — «А» или «не А» — одно обязательно является истинным, то есть два суждения, одно из которых является отрицанием другого, не могут быть одновременно ложными.

36. Символическое представление закона исключенного третьего

Сформулируйте закон достаточного основания

Зако́н доста́точного основа́ния— закон логики, который формулируется следующим образом: всякое положение для того, чтобы считаться вполне достоверным, должно быть доказанным, т. е. должны быть известны достаточные основания, в силу которых оно считается истинным

38. Символическое обозначение закона достаточного основания
//=//=//=//=//=//

Законы математической логики

Закон тождества

Задается формулой а~а (аесть а}.

В процессе рассуждений всякое понятие и суждение тождествен­но самому себе.

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

Закон логического противоречия.

Особое значение имеют логические противоречия- взаимоис­ключающие суждения, зафиксированные в одном контексте.

Например, не могут быть одновременно истинными или лож­ными общеутвердительное и общеотрицательное суждение об од­ном и том же: “Все люди применяют законы логики”, “Ни один человек не применяет законов логики” или общеутвердительные и общеотрицательное суждения: “Все студенты сдали экзамены за I семестр”, “Некоторые студенты сдали экза­мены за I семестр”.

3. Закон исключенного третьего:“Из двух противоречивых суждений одно истинно, другое ложно, третьего не дано”

.Он сформулирован в рамках двузначной логики Аристотеля, признающей только две альтернативы: истинно – ложно.

Закон исключенного третьего работает в процессе построения умозаключений и доказательств. На его основе строятся непосред­ственные умозаключения в виде превращений, а также противо­речащие суждения. С помощью закона исключен­ного третьего проводятся косвенные доказательства, так как для того чтобы установить истинность доказываемого тезиса, надо выявить ложность противоречащего суждения.

4. Закон достаточного основания. “Всякая истинная мысль должна быть достаточно обоснована”

Этого закона в логике Аристотеля не было, его сформулировал Лейбниц.

Ни одно суждение не может считаться истинным без достаточного на то основания.

40. Как отличить закон логики от выражения, не являющегося законом?Логические законы составляют основу человеческого мышления. Они определяют, когда из одних высказываний логически вытекают другие, и представляют собой тот невидимый железный каркас, на котором держится последовательное рассуждение и без которого оно превращается в хаотическую, бессвязную речь. Без логического закона нельзя понять, что такое логическое следование, а тем самым – и что такое доказательство.

Правильное, или, как обычно говорят, логичное мышление – это мышление по законам логики, по тем абстрактным схемам, которые фиксируются ими. Отсюда понятна вся важность данных законов.

Логические законы объективны и не зависят от сознания и воли человека. Они не являются результатом соглашения между людьми, некоторой специальной или стихийно сложившейся конвенции. Они не являются и порождением некоего «мирового духа» или «абстрактной идеи», как полагали некоторые философы. Власть законов логики над человеком, их обязательная для правильного мышления сила обусловлена тем, что они есть отображение реального мира, многовекового опыта его познания и преобразования человеком.

Подобно всем иным научным законам, логические законы являются универсальными и необходимыми. Они действуют всегда и везде, распространяясь в равной мере на всех людей и на любые эпохи. Присущая этим законам необходимость в каком-то смысле даже более настоятельна и непреложна, чем природная, или физическая, необходимость. Невозможно даже представить, чтобы логически необходимое стало иным. Если что-то противоречит законам природы и является физически невозможным, то никакой инженер, при всей его одаренности, не сумеет реализовать это. Но если нечто противоречит законам логики и является логически невозможным, то не только инженер – даже бог не смог бы воплотить это в жизнь

41. Что такое умозаключение? Какое его состав?

Умозаключение- это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение. Состоит из посылок, заключения и вывода.
42. Какие умозаключения называются дедуктивными?

Дедуктивные умозаключения- это умозаключения, в котором переход от общего знания к частному является логически необходимым.
43. Что такое превращение?

Это преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения.
44. Что такое обращение?

Это Преобразование суждения, в результате которого субъект исходного суждения становится предикатом, а предикат -субъектом заключения

45. Что такое противопоставление предикату?

Это преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом -субъект исходного суждения
46. Что такое простой категорический силлогизм? Это умозаключение об отношении двух крайних терминов на основании их отношения к среднему термину.

Понятие термина.

Термин-это слово или словосочетание, называющее определенное понятие и характеризующее однозначностью в пределах данной науки или родственной группы наук