Понятие о логической форме мысли и логическом законе. Предмет логики.
Логика – наука об средствах и общезначимых формах мысли, нужных для рационального познания в любой области знания, о рациональных способах рассуждений, каковые охватывают как анализ правил дедукции, так и изучение степени подтверждения вероятностных либо правдоподобных заключений (догадок, предположений, предложений).
Предмет логики как науки — это средства и формы мысли, законы получения и правильного мышления выводного знания, и формулирования и методы рассуждений подлинных выводов, обобщений, рекомендаций, ответов.
Логической формой конкретной мысли есть строение данной мысли, т.е. метод связи ее составных частей.
Структура мысли, т.е. ее логическую форму, возможно выразить при помощи знаков.
М имеется P
S имеется M
Следовательно, S имеется P.
(Все студенты РАП изучают логику. Катя – студентка РАП. Катя изучает логику.)
Суждения «М имеется P» и «S имеется M» связаны с приятель втором неспециализированным термином М (буквой «М» обозначают понятие, которое имеет однообразное содержание в первом и втором высказываниях.)
Структура (логическая форма) суждения:
S – субъект (понятие о предмете суждения; логическое подлежащее)
Р – предикат (понятие о показателе предмета; логическое сказуемое)
Связка (возможно выражена одним словом — “имеется”, “сущность”, группой слов либо их несложным согласованием)
Квантор (показывает отношение суждения ко всему количеству понятия, высказывающего субъект либо к его части; «все», «кое-какие», тире)
Фундаментальные законы логики:
Тождества (говорит, что любая объективно подлинная и логически верная идея либо понятие о предмете должны быть определенными и сохранять собственную однозначность в течении всего вывода и рассуждения)
Несоответствия (говорит, что два противоположных суждения не смогут быть подлинными в одно да и то же время и в одном и том же отношении)
Исключенного третьего (две противоречащие друг другу мысли не смогут быть одновременно ложными, одна из них непременно подлинна, вторая — фальшива, а третьего не дано)
Основания (говорит, что любая подлинная идея должна быть достаточно обоснованной)
Они отражают серьёзные особенности верного мышления — определенность, непротиворечивость, обоснованность, четкость мышления, выбор в обстановках.
Неосновные законы логики (законы двойного отрицания, контра-позиции).
Соблюдение законов логики — нужное условие успехи истины в ходе рассуждения.
Главные этапы развития логики. Значение логики для юристов.
Л. относится к числу старейших наук, которая начала формироваться еще в цивилизациях Древнего Востока: в Индии, Китае. Наука основывается на теоретическом мышлении, предполагающем доказательства и умозаключения. Основателем науки логики считается Аристотель, что дал в собственных трудах системное изложение логики.
По окончании Аристотеля солидной вклад в развитие логики внесли древнеримские политические деятели Цицерон и Квинтилиан, арабоязычные ученые Аль Фараби, Ибн Рушд, европейские средневековые схоласты У. Оккам, П. Абеляр, основавший собственную школу.
Логикана основе учения Аристотеля, существовала до начала XX в. В двадцатом веке появляется символическая (математическая) логика, основанная на идее философа Лейбница и немецкого учёного. Идеи диалектической логики восходят к древней и древневосточной философии, но законченную форму им придали лишь представители германской хорошей философии: Кант, Фихте, Шеллинг и особенно Гегель (18-19вв).
Диалектическую логику на материалистической базе разрабатывали К. Маркс, Ф. Энгельс, В. Ленин. Предстоящее развитие она взяла в трудах современных философов.
Логика имеет особенное значение в деятельности юристов. Знание Л. есть неотъемлемым элементом юридического образования. Специфика работы юриста содержится в постоянном применении особенных логических методов и приёмов. Степень владения методами и этими приёмами есть показателем уровня логической культуры юриста.
Суждение. Простые суждения: атрибутивные и суждения об отношениях.
Суждение – это форма мышления, в которой что–или утверждается либо отрицается в отношении существования предметов, связей между его свойствами и предметом либо между предметами.
Суждения делятся на простые и сложные. Несложным именуется суждение, высказывающее сообщение двух понятий. Суждение, складывающееся из нескольких несложных суждений, именуется сложным.
В несложном суждении имеются: субъект, предикат, квантор и связка.
S – субъект (понятие о предмете суждения; логическое подлежащее)
Р – предикат (понятие о показателе предмета; логическое сказуемое)
Связка (возможно выражена одним словом — “имеется”, “сущность”, группой слов либо их несложным согласованием)
Квантор (показывает отношение суждения ко всему количеству понятия, высказывающего субъект либо к его части; «все», «кое-какие», тире)
Деление несложных суждений:
Суждение существованиясодержат в себе данные о наличии либо отсутствии предмета отечественной мысли.
Атрибутивные суждения:
1. Суждения свойства (свойства и показатели предметов)
2. Суждения включения (включение предмета в определенный класс предметов)
Суждения отношения высказывают разные отношения между предметами.
Сложные суждения.
Суждение – это форма мышления, в которой что–или утверждается либо отрицается в отношении существования предметов, связей между его свойствами и предметом либо между предметами.
Суждения делятся на простые и сложные. Несложным именуется суждение, высказывающее сообщение двух понятий. Суждение, складывающееся из нескольких несложных суждений, именуется сложным.
В несложном суждении имеются: субъект, предикат, квантор и связка.
S – субъект (понятие о предмете суждения; логическое подлежащее)
Р – предикат (понятие о показателе предмета; логическое сказуемое)
Связка (возможно выражена одним словом — “имеется”, “сущность”, группой слов либо их несложным согласованием)
Квантор (показывает отношение суждения ко всему количеству понятия, высказывающего субъект либо к его части; «все», «кое-какие», тире)
Сложные суждения образуются из несложных, и из вторых сложных суждений посредством логических альянсов “в случае, если…, то…”, “либо”, “и”, и т.д., посредством отрицания “неверно, что” и т.д.
Деление сложных суждений:
Соединительные суждения- это суждения, в которых один либо оба термина складываются из двух либо нескольких понятий, соединенных альянсом «и» либо «ни».
Разделительные суждения — образуется из несложных суждений при помощи соединения их терминов логическим альянсом «либо». Типы:
1. Строгая дизъюнкция – суждение, в котором связка «либо» употребляется лишь в разделительном значении ( ).
2. Нестрогая дизъюнкция – суждение, в котором связка «либо» употребляется в соединительно-разделительном значении (U).
Отрицательное суждениепозволяет из конкретного высказывания образовать противоречащее ему высказывание. Выражается словами «неверно, что», «не».
Отношения между суждениями.
Суждение – это форма мышления, в которой что–или утверждается либо отрицается в отношении существования предметов, связей между его свойствами и предметом либо между предметами.
Методы преобразования суждений:
Обращение – это преобразование суждения методом обоюдного перемещения терминов без трансформации качества связки.
Превращение – это такое преобразование суждения, в то время, когда изменяется его уровень качества (темперамент связки) без количественной характеристики и изменения смысла.
Противопоставление предикату — логическая операция, из-за которой субъектом делается понятие, противоречащее предикату, а предикатом – субъект исходного суждения.
Логические отношения устанавливаются не между любыми, а только между сравнимыми суждениями, т.е. теми, каковые имеют неспециализированный суть. Отношения между такими суждениями возможно заметить посредством «логического квадрата». Вершины квадрата символизируют простые окончательные суждения (А — общеутвердительное, Е — общеотрицательное, I – частноутвердительное, О – частноотрицательное), диагонали и стороны – логические отношения между суждениями.
Совместимые суждения – это такие суждения, каковые высказывают одну и ту же идея абсолютно либо только в некоей части.
1. Эквивалентные суждения высказывают одну и ту же идея в разной форме.
2. Логического подчинения (имеет неспециализированный предикат, а понятия, высказывающие субъекты двух таких суждений, находятся в отношении логического подчинения. В этом случае одно суждение будет подчиняющим, а второе — подчиненным.)
3. Частичное совпадение (субконтрарность) — отношение, в котором находятся два частных суждения — «I» и «О», имеющие однообразные предикаты, но различающиеся по качеству. Эти суждения высказывают противоположную идея.
Несовместимы суждения — суждения каковые в один момент не смогут быть подлинными.
1. Противоположными (суждения, высказывающие противоположные мысли)
2. Противоречащими (суждения, исключающие друг друга)
Пользуясь правилами взаимоотношений между суждениями, по логическому квадрату возможно взять выводное знание, обеспечив правильность мысли.
Отрицание суждений.
Суждение – это форма мышления, в которой что–или утверждается либо отрицается в отношении существования предметов, связей между его свойствами и предметом либо между предметами.
Отрицание суждения — это операция, заключающаяся в таком преобразовании логического содержания суждения, из-за которого приобретают суждение, находящееся в отношении контрадикторности (несоответствия) к исходному.
Отрицанием общеутвердительного суждения (А) есть частноотрицательное (О).
Отрицая общее суждение, приобретаем частное, и , напротив, отрицая частное, приобретаем общее.
Отрицая утвердительное суждение, приобретаем отрицательное, и напротив, отрицая отрицательное, приобретаем утвердительное.
При отрицании суждений об отношениях их количество и качество, так же как и при отрицании атрибутивных суждений, изменяются на противоположные.
Результатом отрицания (неизвестно) конъюнктивного суждения есть дизъюнктивное суждение, в котором составляющие суждения являются отрицаниями составляющих суждений исходного конъюнктивного суждения.
Результатом отрицания импликативного суждения есть конъюнктивное суждение, в котором одним из составляющих суждений есть антецедент исходного суждения, а вторым — отрицание консеквента исходного суждения.
Язык логики высказываний.
Язык логики высказыванийиспользуется для рассмотрения суждений не учитывая их внутренней структуры. Он применяет содержательные знаки.
Логика высказываний– это определенная совокупность формул, т.е. сложных высказываний, записанных на намерено сконструированном неестественном языке. Язык логики высказываний включает:
1. Неограниченное множество переменных: А, В, С, …, А1, В1, С1, …, воображающих высказывания;
2. Особенные знаки для логических связок: – «и»; л – «либо»; Л – «или, или»; – «в случае, если, то»; — – «в случае, если и лишь в случае, если»; ~ – «неверно, что» .
3. Скобки, играющие роль знаков препинания
Пример: «на данный момент сутки» — А, «на данный момент светло» — В; «на данный момент холодно» — С
В случае, если на данный момент сутки, то на данный момент светло либо холодно:
А В лС, либо (А (В л С))
В случае, если на данный момент светло и холодно, то на данный момент сутки:
В С А, либо ((В С) А)
В случае, если неверно, что на данный момент светло, то неверно, что на данный момент сутки:
~ В ~ А, либо ((~ В) (~ А))
Каждой формуле логики высказываний соответствует таблица истинности.
Посредством таблиц истинности при любого сложного высказывания возможно выяснить, при каких значениях истинности входящих в него несложных высказываний это высказывание действительно, а при каких ложно.
Подлинная формула логики высказываний (тавтология) — это формула, дающая подлинное высказывание при любых подстановках в нее конкретных (т.е. подлинных либо фальшивых) высказываний.
Фальшивая формула (логическое несоответствие) постоянно превращается в фальшивое высказывание при подстановке конкретных высказываний вместо ее переменных.
Умозаключения по аналогии.
Умозаключение — это форма мышления, при помощи которой из одного либо нескольких подлинных суждений при соблюдении определенных правил выводится новое знание о предметах настоящего мира в виде нового суждения.
Умозаключение по аналогии — это заключение, в то время, когда принадлежность предмету определенного показателя обосновывается сходством в значительных показателях с другим предметом.
Сходство — это совокупность взаимоотношений между объектами, пребывающая в наличии у разглядываемых объектов неспециализированных показателей.
Аналогия является переносом информации с одного предмета (модели) на другой (прототип). Это таковой метод умозаключения, что разрешает осуществить логический переход от известного знания об отдельном предмете либо их группе к новому знанию о втором отдельном предмете либо второй их группе.
Обозначение: буквы «а» и «в» — два каких-то схожих предмета либо события; буквы P, O, S, T — их показатели.
Логическая схема аналогии:
«а» имеет показатель S, Р, О, Т
«в» имеет показатели Р, O, S
Следовательно, «в» имеет показатель Т
Виды умозаключений:
Аналогия особенностей — это умозаключение, в котором объектом уподобления являются два единичных предмета, а переносимым показателем — свойства этих предметов.
Аналогия взаимоотношений — это умозаключение, в котором объектом уподобления являются отношения между двумя парами предметов, а переносимым показателем — свойства этих взаимоотношений.
Понятие. Количество понятия (логический и фактический). Содержание понятия (логическое и фактическое). Закон обратного отношения.
Понятие — одна из форм абстрактного мышления, в которой отражаются значительные и отличительные показатели отдельного предмета либо класса однородных предметов.
Показатели — это наличие либо отсутствие особенностей, каких-то показателей у предмета, наличие либо отсутствие взаимоотношений между предметами. Это то, в чем предметы сходны между собой либо хороши друг от друга. Виды:
1. Значительные — показатели, каковые раскрывают внутреннюю природу предмета, его качественность, то, что имеется предмет в действительности.
2. Отличительные показатели — это те показатели, каковые свойственны лишь предметам, входящим в этот класс предметов.
3. Неотличительные показатели — это показатели, каковые принадлежат не только данным предметам.
Содержание понятия — это совокупность главных, значительных и отличительных показателей предмета либо класса однородных предметов, отраженных в этом понятии. Виды:
1. Логическое содержание – это та информация, которую включает в себя логическая форма понятия. По этому содержанию возможно дать чёрта понятиям.
2. Полное фактическое содержание — это содержание понятия с учетом всего имеющегося знания о предметах, обобщаемых в понятии, о показателях, по которым происходит обобщение.
Количество понятия — это множество предметов, обобщаемых и выделяемых
в понятии, тех предметов, которым свойственны показатели, составляющие содержание понятия.
Между объёмом и содержанием понятия существует закономерная сообщение. Она формулируется как закон обратного отношения между содержанием понятия и объёмом.
Закон обратного отношения: чем богаче содержание понятия, тем уже его количество, и напротив, чем беднее содержание понятия, тем шире его количество.
Виды понятий.
Понятие — одна из форм абстрактного мышления, в которой отражаются значительные и отличительные показатели отдельного предмета либо класса однородных предметов.
Показатели — это наличие либо отсутствие особенностей, каких-то показателей у предмета, наличие либо отсутствие взаимоотношений между предметами. Это то, в чем предметы сходны между собой либо хороши друг от друга. Они бывают значительные и несущественные, отличительные и неотличительные.
По объемупонятия делятся на единичные и неспециализированные. Количество единичного образовывает один элемент. Среди неспециализированных понятий имеется такие, каковые включают все предметы конкретной области знания либо рассуждения.
[Объем понятия — это множество предметов, обобщаемых и выделяемых
в понятии, тех предметов, которым свойственны показатели, составляющие содержание понятия.
Содержание понятия — это совокупность главных, значительных и отличительных показателей предмета либо класса однородных предметов, отраженных в этом понятии.]
По содержанию понятия:
1. Конкретные (отражают отдельный предмет либо класс предметов) и абстрактные (отражают не предмет, а показатель его, отношения между предметами);
2. Относительные (отражают предметы, существование которых предполагает существование вторых: «папа — сын (дочь)») и безотносительные (таковой связи нет: «дом», «человек»);
3. Хорошие (в них заключены какие-то характерные качества либо отношения) и отрицательные (указание на отсутствие в предмете таких качеств);
4. Собирательные (ими обозначается несколько однородных предметов как единое целое»; содержание собирательного понятия нельзя отнести к каждому отдельному элементу, входящему в количество этого понятия) и несобирательные (содержание несобирательного понятия возможно отнести к каждому предмету данного класса, охватываемому понятием).
Несравнимые — понятия не имеют неспециализированных показателей, далеки друг от друга по собственному содержанию.
Сравнимые (все остальные). Делятся по количеству:
1. Совместимые, в то время, когда количества совпадают абсолютно либо частично
2. Несовместимые, в то время, когда количества не совпадают ни в одном элементе
Имеется пара типов совместимости:
1. равнозначность (тождество, эквивалентность)
2. перекрещивание (частичное совпадение)
3. подчинение (соотношение вида и рода)
Равнозначные понятия — это те, каковые различаются по содержанию, но количества их совпадают.
теория и Проблема.
Ключевую роль в судебной деятельности играется учение о таких формах развития знаний, как задача, неприятность, версия, догадка, теория.
[Познавательная обстановка – это содержательная черта процесса изучения субъектом какого именно0или объекта.]
Задача -это таковой уровень познавательной обстановке, в то время, когда для конкретного субъекта наличествует метод перемещения к обнаружению искомого.
Неприятность -это таковой уровень познавательной обстановке, что характеризуется отсутствием метода перемещения к обнаружению искомого.
Версия –это вероятностное предположение, устанавливающее гармонию между распознанными фактами действительности.
Догадка – это вероятностное предположение, раскрывающее причинно-следственную связь между распознанными условиями и фактами действительности их позвавшими.
Теория – непротиворечивая совокупность знаний, отражающая закономерности происхождения, развития и функционирования объекта изучения.
Классификация (неприятность):
1. По содержанию и характеру искомого
2. По методам происхождения.
— риторические (к ним относятся неприятности, ответ на каковые сам собою очевидно).
— хорошим (к ним относятся неприятности, каковые появляются перед самим исследователем в ходе познания им внутренних связей в процессах и явлениях, происходящих в природе, обществе либо людской мышлении.
Ответ задачи либо разрешение неприятности завершается получением новой формы знания — теории.
Компоненты теории:
1. Исходные основания теории — фундаментальные понятия, правила, законы, уравнения;
2. Идеализированный объект теории — абстрактная модель значительных связей и свойств элементов изучаемой области настоящей действительности;
3. Логика теории — множество допустимых в данной теории способов доказательства и правил вывода замечаемых процессов и явлений в изучаемой области настоящей действительности;
4. Совокупность утверждений и законов, логически выведенных из гипотез предположений (и основополагающих версий), растолковывающих изучаемую область действительности.
Функциям теории: описание, предсказание и объяснение. Научная теория возможно подлинной либо фальшивой.
Законы логики.
Законы логики – обобщенное отражение закономерностей мира, преобразованных в людской голове и ставших неспециализированными правилами познающего мышления.
Закон мышления – это внутренняя значительная, устойчивая, нужная, повторяющаяся связь между элементами мысли и самими мыслями.
Фундаментальные законы:
Закон тождества – говорит, что любая объективно подлинная и логически верная идея либо понятие о предмете должны быть определенными и сохранять собственную однозначность в течении всего вывода и рассуждения.
Закон несоответствия – говорит, что два противоположных суждения не смогут быть подлинными в одно да и то же время и в одном и том же отношении.
Закон исключенного третьего – говорит, что две противоречащие друг другу мысли не смогут быть одновременно ложными, одна из них непременно подлинна, вторая – фальшива, а третьего не дано.
Закон основания – говорит, что любая подлинная идея должна быть достаточно обоснованной.
[Достаточное основание – это каждая вторая идея, уже проверенная и признанная подлинной, из которой с необходимостью вытекает истинность данной мысли.]
Они отражают определенность, непротиворечивость, обоснованность, четкость мышления, выбор в обстановках.
Неосновные законы логики (законы двойного отрицания, контра-позиции).
Соблюдение законов логики — нужное условие успехи истины в ходе рассуждения.
Виды умозаключений.
Умозаключение — это форма мышления, при помощи которой из одного либо нескольких подлинных суждений при соблюдении определенных правил выводится новое знание о предметах настоящего мира в виде нового суждения.
Виды умозаключений:
1.Дедуктивные (в них идея начинается от знаний большей степени общности к знаниям меньшей степени общности и истинность посылок гарантирует истинность заключения).
Яркие – это умозаключения, в которых вывод осуществляется из одной посылки методом ее преобразований: превращения, обращения, противопоставление предикату либо по «логическому квадрату».
Опосредованные – в них вывод направляться из двух либо нескольких суждений, логически связанных между собой. Вид: окончательный силлогизм [см. 24-25].
Так же выделяют:
Чисто условное (опосредованное умозаключение, в котором обе посылки и заключение являются условными суждениями)
Условно-окончательное (умозаключение, в котором одна из посылок — условное суждение, а заключение и другая посылка — окончательные суждения)
Разделительно-окончательным — умозаключение, в котором одна из посылок — разделительное суждение, а заключение и другая посылка — окончательные суждения.
Условно-разделительным –умозаключение, в котором одна посылка складывается из двух либо более условных суждений, а вторая — разделительное суждение.
2.Индуктивные: (в них идея начинается от знания меньшей степени общности к новому знанию большей степени общности и истинность посылок еще не гарантирует истинность заключения).
Полная – это умозаключение, в котором на базе повторяемости показателя у каждого из явлений определенного класса делается вывод о принадлежности этого показателя всему классу явлений.
Неполная – это умозаключение, в котором на базе повторяемости показателя у некоторых явлений определенного класса делается вывод о принадлежности этого показателя всему классу предметов. Делится: простое перечисление, научная индукция, статистическое обобщение.
Математическая
3.Умозаключение по аналогии (посылки и вывод высказывают знание однообразной степени общности и в них кроме этого истинность исходных посылок еще не разрешает сказать об истинности вывода) — это заключение, в то время, когда принадлежность предмету определенного показателя обосновывается сходством в значительных показателях с другим предметом.
Обозначение: буквы «а» и «в» — два каких-то схожих предмета либо события; буквы P, O, S, T — их показатели.
Логическая схема аналогии:
«а» имеет показатель S, Р, О, Т
«в» имеет показатели Р, O, S
Следовательно, «в» имеет показатель Т
Аналогия особенностей — это умозаключение, в котором объектом уподобления являются два единичных предмета, а переносимым показателем — свойства этих предметов.
Аналогия взаимоотношений — это умозаключение, в котором объектом уподобления являются отношения между двумя парами предметов, а переносимым показателем — свойства этих взаимоотношений.
Модальность.
Модальность – это очевидно и неявно выраженная в суждении дополнительная информация о характере зависимости между настоящими явлениями, о логическом статусе суждения, об оценочных, регулятивных, временных и других его чертях.
[Суждение – это форма мышления, в которой что–или утверждается либо отрицается в отношении существования предметов, связей между его свойствами и предметом либо между предметами.]
Алетическая– «логически нужно», «логически нереально»: логическая (логически подлинные суждения, воображающие собой законы логики либо логические следствия из них); фактическая(связь между предикатом и субъектом соответствует реально связи между его свойством и предметом).
Эпистемическая– «неразрешимо», «доказуемо», «вызывающе большие сомнения»: суждения возможности (высказывают не полноту отечественных знаний о неопределенности условий, нужных для появления данного показателя, либо о неопределенности предмета, талантливого стать носителем какого-либо показателя; полностью не раскрывают сути и содержание предмета мысли); суждения действительности (констатируют наличие либо отсутствие у предмета того либо иного показателя, качества, свойства); суждения необходимости (высказывают закономерную связь между предметами либо сообщение показателя с данным предметом).
Аксиологическая – характеризуют суждения с той либо другой системы ценностей («отлично», «не хорошо», «безразлично»)
Темпоральная – характеризуют фактор времени в рассуждениях.
Деонтическая (нормативная) модальность –говорит о типе предписываемых в суждениях действий и выражаются в понятиях «не запрещаеться», «не не запрещаеться», «непременно», «безразлично» и т.д. В них предписывается определенный образ действий либо поведения.
Понятие о логической форме мысли и логическом законе. Предмет логики.
Логика – наука об средствах и общезначимых формах мысли, нужных для рационального познания в любой области знания, о рациональных способах рассуждений, каковые охватывают как анализ правил дедукции, так и изучение степени подтверждения вероятностных либо правдоподобных заключений (догадок, предположений, предложений).
Предмет логики как науки — это средства и формы мысли, законы получения и правильного мышления выводного знания, и формулирования и методы рассуждений подлинных выводов, обобщений, рекомендаций, ответов.
Логической формой конкретной мысли есть строение данной мысли, т.е. метод связи ее составных частей.
Структура мысли, т.е. ее логическую форму, возможно выразить при помощи знаков.
М имеется P
S имеется M
Следовательно, S имеется P.
(Все студенты РАП изучают логику. Катя – студентка РАП. Катя изучает логику.)
Суждения «М имеется P» и «S имеется M» связаны с приятель втором неспециализированным термином М (буквой «М» обозначают понятие, которое имеет однообразное содержание в первом и втором высказываниях.)
Структура (логическая форма) суждения:
S – субъект (понятие о предмете суждения; логическое подлежащее)
Р – предикат (понятие о показателе предмета; логическое сказуемое)
Связка (возможно выражена одним словом — “имеется”, “сущность”, группой слов либо их несложным согласованием)
Квантор (показывает отношение суждения ко всему количеству понятия, высказывающего субъект либо к его части; «все», «кое-какие», тире)
Фундаментальные законы логики:
Тождества (говорит, что любая объективно подлинная и логически верная идея либо понятие о предмете должны быть определенными и сохранять собственную однозначность в течении всего вывода и рассуждения)
Несоответствия (говорит, что два противоположных суждения не смогут быть подлинными в одно да и то же время и в одном и том же отношении)
Исключенного третьего (две противоречащие друг другу мысли не смогут быть одновременно ложными, одна из них непременно подлинна, вторая — фальшива, а третьего не дано)
Основания (говорит, что любая подлинная идея должна быть достаточно обоснованной)
Они отражают ответственные особенности верного мышления — определенность, непротиворечивость, обоснованность, четкость мышления, выбор в обстановках.
Неосновные законы логики (законы двойного отрицания, контра-позиции).
Соблюдение законов логики — нужное условие успехи истины в ходе рассуждения.