Экзамен зачет учебный год 2023 / Otvety_kratkii_774_kurs

1. Понятие о логической форме мысли и логическом законе. Предмет логики.

Предмет логика.

Итак, логика — это наука о мышлении. Науками о мышлении являются также психология, физиология высшей нервной деятельности, теория познания и ряд других.

Логика называется формальной, поскольку изучает формы мыслей. Форма мысли — это ее особая структура, а именно логическая структура.

Выражения языка, входящие в предложения и не являющиеся предложениями,

делятся на два класса — на логические и нелогические выражения.

Логическая форма мысли — это ее структура, которая выявляется путем частичного отвлечения от смыслов и значений нелогических терминов, входящих в словосочетание.

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

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

или логическими законами.

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

2.Основные этапы развития логики. Значение логики для юристов.

Формальная логика — одна из самых древних наук. Она начала разрабатываться в Древней Греции и Индии в VI—V вв. до н.э.

Аристотель. “Органон” (орудие познания).

Средневековая логика называется схоластической.Связана с именами Уильяма Оккама, Уолтера Бёрли, Альберта Саксонского.

Возрождение и Новое время. Френсис Бэконом «Новый Органон» Логика, основанная на учении Аристотеля, во многом дополненная и развитая,

существовала до начала XX в.

Символическая/математическая логика Г.В.Лейбниц. Джордж Буль, в его работах логика приобрела свой алфавит, орфографию и грамматику.

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

3. Язык как знаковая система. Специфика языка права. Язык как знаковая система.

Язык – средство формирования мылей. В языке закрепляются результаты мышления. Существуют специальные языки логики. Одним из таких языков является язык

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

Знак — это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта. Как правило, знаки имеют предметные и смысловые значения.

Предметным значением является тот объект, который представляется (или обозначается) знаком.

Смысловым значением — выражаемая знаком характеристика объекта, представителем которого является знак (информации об этом объекте).

Предметное значение часто называют просто значением, а смысловое значение —

смыслом.

Наука о знаках — семиотики. В этой науке выделяют три раздела — синтаксис, семантику и прагматику, что связано с наличием трех аспектов языка.

Язык права.

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

4.Учение логики об именах.

Имя — это слово или словосочетание, обозначающее какой-либо предмет.

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

Другие названия значения имени — денотат, десигнат, номинат.

Смысл (или концепт) — это информация о предметах, которую выражает имя и которая позволяет однозначно выделять предметы, являющиеся значениями имени. Различают имена двух типов:

Имя: единичное и общее(в общее входит понятие универсум). Имя: мнимое и действительное.

Три нормативных признака в языке права:

(1)принципу предметности;

(2)принципу однозначности;

(3)принципу взаимозаменимости.

5.Основные семантические категории выражений языка.

Выражения языка делятся на классы в зависимости от типов выражаемых ими смыслов, а также от типов объектов, которые они обозначают или представляют.

Эти классы называются семантическими категориями.

1)предложения: повествовательные, побудительные, вопросительные;

2)выражения, играющие определенную роль в составе предложений: дескриптивные и логические термины.

К дескриптивным терминам относятся:

1)единичные имена;(Аристотель, стихотворение, …)

2)общие имена; (европейское гос-во)

3)знаки свойств и отношений; (желтый-св-во, выше-отношение)

4)знаки признаков;

5)знаки предметных функций.

К логическим терминам относятся:

Основными логическими терминами русского языка являются следующие слова и словосочетания: “есть” (“суть”), “и”, “или”, “если..., то...”, “не”, “неверно, что...”, “всякий” (“каждый”), “все”, “некоторые”, “тот..., который...”.

Таблица не из учебника

6. Суждение. Простые суждения: атрибутивные и суждения об отношениях.

Суждение — это мысль, в которой утверждается наличие или отсутствие какихлибо ситуаций или связей между ситуациями. ПРОСТЫЕ СУЖДЕНИЯ

Простым является суждение, в котором нельзя выделить часть, в свою очередь являющуюся суждением.

Простые суждения: атрибутивные суждения и суждения об отношениях.

Атрибутивные суждения - суждения, в которых выражается принадлежность или непринадлежность предметам свойств., включение или невключение одного множества предметов в другое.

субъект, предикат и связка иногда кванторные (количественные)слова

Атрибутивные суждения по качеству делятся на утвердительные и отрицательные.

Используется также деление атрибутивных суждений по качеству и количеству на общеутвердительные,общеотрицательные,частноутвердительные и частноотрицательные.

Суждения об отношениях. Суждения, в которых говорится о том, что определенное отношение имеет место (или не имеет места) между элементами пар, троек и т.д. предметов.

По качеству:утвердительные и отрицательные По кол-ву:единично- единичные, обще-общие, частно-частные, единично-общие

единичночастные, обще-единичные, частно-единичные, общечастные, частнообщие.

7.Сложные суждения.

Сложными являются суждения, в которых можно выделить правильные части, являющиеся суждениями.

Сложные суждения образуются из простых, а также из других сложных суждений с помощью логических союзов “если..., то...”, “или”, “и”, и т.д., с помощью отрицания “неверно, что”, модальных терминов “возможно, что”, “необходимо, что”, “случайно, что”, и т.д. Эти союзы в обыденном языке употребляются в различных смыслах. В языке права им придается точный смысл.

Соединительные суждения — это суждения, в которых утверждается наличие двух или более ситуаций. Пример: “Понятые присутствуют, и протокол составляется”. Чаще всего такие утверждения выражаются посредством предложений, содержащих союз “и”. Форма конъюнктивного суждения: (А B).

Разделительные суждения — это суждения, в которых утверждается наличие одной из двух, трех и т.д. ситуаций. обозначается символом ˅ (читается “или”), называемым знаком нестрогой дизъюнкции (или просто знаком дизъюнкции), а союз “или..., или...”, посредством которого выражается утверждение второго типа, — символом ˅ (читается “или..., или...”), называемым знаком строгой дизъюнкции.

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

Условный союз “если..., то...” обозначается стрелкой (→).

Ещё один смысл союза “если..., то...” — контрфактическая связь (если бы). Союз обозначается знаком •→.

Суждения эквивалентности и материальной эквивалентности. ” (“тогда и только тогда..., когда...”). “↔”.

Суждение с внешним отрицанием — это суждение, в котором утверждается отсутствие некоторой ситуации. “¬”,

8.Отношения между суждениями.

Устанавливать типы отношений между суждениями важно при сопоставлении разных точек зрения по спорным вопросам, а также и в других случаях.

Устанавливать типы отношений между суждениями важно при сопоставлении разных точек зрения по спорным вопросам, а также и в других случаях.

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

Отрицание суждений.

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

Необходимо соблюдать правила при отрицании сложных суждений: 1.При отрицании конъюнктивного суждения

образуется дизъюнктивное суждение.

2.При отрицания дизъюнктивного суждения образуется конъюнктивное суждение.

3. При отрицании импликативного суждения образуется конъюнктивное суждение.

10. Логическая и прагматическая характеристика вопросов и ответов.

У вопроса есть предпосылка-исходное знание.

Таким образом, вопрос— это мысль, в которой выражается требование или

просьба дополнить имеющуюся информацию с целью устранения или уменьшения познавательной неопределенности.

Уловки (надо или нет?)

"сокрытие необоснованности утверждения "подмена вопроса".

Логический аспект:

Логически корректные и логически некорректные вопросы.

Вопрос является логически корректным, если на него можно дать истинный ответ, снижающий познавательную неопределенность.

На логически некорректные вопросы такого ответа дать нельзя. Различают несколько случаев логической некорректности вопросов.

Первый. смыслы не известны.

Второй. нет согласования Третий. многосмысленные термины

Четвертый. Предпосылка-ложное суждение.

Пятый. тавтологичные,

Вопросы: трудные и легкие. Открытые и закрытые вопросы.

Виды ответов.

Формы правильных дилемм основных видов указаны в следующей таблице:

12 Язык логики высказываний. Табличные определения логических терминов.

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

Табличное построение логики высказываний

Алфавит языка логики высказываний, разделены на следующие три категории Символы этого языка:

1) р, q, r, s, p1 , ... — пропозициональные переменные

б) ¬, , ˅, ˅, →,↔ — логические термины (союзы),

в) (,) — скобки.

Выражения языка логики высказываний называются формулами. Выражения в языке логики высказываний являются формулами. Правило старшинства логических связок:

порядок выполнения логических операций, а именно:

1.действия в скобках,

2.(¬) инверсия (отрицание),

3.() (конъюнкция),

4.v (дизъюнкция),

5.→ (импликация),

6.↔ (эквивалентность).

Среди формул выделяют правильно построенные (ППФ).

Определение правильно построенной формулы:

1)всякая пропозициональная переменная р, q, r, s, p1 , ... является ППФ;

2)если А и В — ППФ, то выражения ¬ А, (А В), (А ˅ В), (А → В), (А ↔ B) — тоже ППФ;

3)все другие выражения, кроме пунктов 1,2 не является ППФ.

Среди правильно построенных формул в зависимости от их истинностного значения различают тождественноистинные, тождественно ложные и выполнимые формулы.

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

В сложной формуле можно выделить логическую константу, называемую

главной логической константой формулы.

13. Способ построения таблиц истинности для формул логики высказываний.

Отдельный файл

14. Метод исследования рассуждений посредством таблично построенной

логики высказываний.

Формула: тождественно - истинная, тождественно-ложная, выполнимая.

Пусть дано рассуждение: (лучше в голове представить эту ситуацию, чтоб запомнить)

«Если Иванов является участником этого преступления, то он знал потерпевшего. Иванов не знал потерпевшего, но знал его жену.

Потерпевший знал Иванова.

Следовательно, Иванов является участником этого преступления».

Для определения правильности рассуждения требуется:

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

во-вторых, перевести на язык логики высказываний посылки и заключение. Переводом посылок являются формулы: p→q, ¬q r, s.

в-третьих, формулы, являющиеся переводом посылок, последовательно соединить знаком конъюнкции. ((p→q)&( ¬q r)) s.

в-четвертых, к полученной формуле присоединить справа знаком импликации формулу, являющуюся переводом заключения. ((p→q)&( ¬q r)) s→ p

в-пятых, для полученнойформулы построить таблицу истинности.

Если формула, являющаяся переводом рассуждения на язык символов, оказывается тождественно-истинной, то можно сделать вывод о том, что рассуждение правильное.

15. Способ установления отношений между суждениями посредством таблично построенной логики высказываний.

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

Формула: тождественно - истинная, тождественно-ложная, выполнимая.

Способ установления видов отношений между суждениями заключаетс в следующем:

-суждения переводятся на язык логики высказываний;

-для формул, соответствующих суждениям, строятся сравнимые таблицы истинности;

-устанавливаются виды отношений между суждениями на основе следующих определений:

1)Совместимость по истинности: (есть все строчки «И 2)Совместимость по ложности: (есть все строчки «Л 3)Логическое следование: (из «И» не может быть «Л»)

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

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

Превращение категорического суждения — это изменение его качества одновременно с заменой предиката на противоречащий ему термин. (меняется связка и предикат)