- •1.Предмет логики
- •2. Мышление как объект и инструмент познания. Логика и правовое мышление
- •3. Понятие логической формы. Истинность и правильность мысли.
- •4. Язык как знаковая система. Требования к языку права.
- •5. Семантические категории языковых выражений. Язык логики.
- •6. Понятие как форма мышления. Образование понятий.
- •7.Объем и содержание понятий. Их соотношение.
- •8. Операции ограничения и обобщения понятий.
- •9.Виды понятий.
- •10. Отношения между понятиями.
- •11. Определение понятий и виды определений. Приемы, сходные с определением.
- •12. Правила определения. Ошибки в определениях.
- •13. Деление понятий и его виды.
- •14. Правила деления и ошибки, невозможные при делении.
- •15. Классификация. Виды классификаций.
- •16. Суждение как форма мышления. Суждение и предложение.
- •17. Простые суждения и их виды.
- •18. Категорические суждения, их виды.
- •19. Распределённость терминов в категорических суждениях.
- •20. Отношения между простыми суждениями. «Логический квадрат».
- •21. Модальность суждений. Виды модальностей.
- •22. Основные эквивалентности для алетических и эпистематических модальностей.
- •23. Логические отношения между деонтическими модальностями и их значение для построения нормативных рассуждений
- •24. Сложные суждения и их виды. Логическая форма сложных суждений.
- •25. Семантические таблицы истинности:
- •26 . Отношения между сложными суждениями. Понятие логического следования.
- •27. Законы логики
- •4. Закон достаточного основания.
- •29. Рассуждение, его структура. Характеристика умозаключения и его видов
- •30. Отличительные черты дедуктивных умозаключений и их роль в познании.
- •31. Силлогистический вывод. Непосредственные умозаключения, их виды.
- •33. Правила силлогизма: правила терминов и посылок.
- •Правила терминов.
- •Правила посылок.
- •34. Фигуры силлогизма и их познавательные функции. Правила фигур. Понятие модуса силлогизма.
- •Вопрос 35. Энтимема. Способы образования и проверки энтимем. Энтимема - один из видов сокращенного силлогизма.
- •Вопрос 36. Сложные силлогизмы (полисиллогизмы и сориты).
- •37. Условно-категорические умозаключения, их использование при аргументации (Ответ на эту часть вопроса не нашла (!)).
- •38. Чисто условные умозаключения. Их роль в доказательстве (на эту тоже).
- •39. Разделительно-категорические умозаключения, условия правильности вывода.
- •40. Дилеммы, их виды и правильные формы.
- •41. Недедуктивные умозаключения, их виды и роль в познании.
- •43. Неполная индукция и способы повышения ее надежности.
- •44. Научная индукция. Типичные ошибки, возникающие при анализе причинных связей.
- •45. Методы сходства и различия. Объединенный метод.
- •1. Метод сходства.
- •3. Объединенный метод сходства и различия.
- •47. Умозаключение по аналогии.
- •48. Роль аналогии в науке и правовом процессе
- •49. Аргументация, доказательство и опровержение, их структура.
- •50. Способы доказательства
- •51. Виды опровержения
- •52. Правил по отношению к тезису: возможные ошибки и уловки.
- •53. Правил по отношению к аргументам: возможные ошибки и уловки.
- •54. Правил по отношению к демонстрации и возможные ошибки.
- •55. Основные требования к аргументации.
- •56. Виды аргументации.
- •57. Структура вопроса, виды вопросов и критерии их правильности.
- •58. Ответ, виды ответов, критерии правильности ответов.
- •Виды ответов:
- •1. Истинные и ложные ответы
- •2. Ответы прямые и косвенные
- •3. Краткие и развернутые ответы
- •4. Полные и неполные ответы
- •5. Точные (определенные) и неточные (неопределенные) ответы
- •Критерии правильности вопросов-ответов.
- •Дополнительные критерии правильности ответов.
- •59. Проблема и гипотеза как способы представления и развития знания.
- •Важнейшие черты гипотезы:
- •Виды гипотез:
- •60. Гипотеза и судебно-следственная версия, их подтверждение и опровержение
- •Подтверждение гипотез.
- •Опровержение гипотез.
5. Семантические категории языковых выражений. Язык логики.
В семиотике выделяется три раздела: синтаксис, семантика и прагматика.
Синтаксис изучает отношения между знаками, т.е. правила построения языка.
Отношение знаков к обозначаемым ими объектами и ситуациями ( т.е. знака к значению) является предметом семантики.
Прагматика занимается проблемами понимания и интерпретации знаков людьми – носителями языка, а также отношениями, возникающими между людьми в процессе знакового общения.
В логической семантике помимо понятий знак и значение вводится также понятие смысл знака.
Смысл – это способ указания на объект, та информация, с помощью которой мы выделяем данный объект. Различие смысла и значения знака становится особенно важным в выражениях, предающих чужие мнения, знания или намерения.
Все выражения, являющиеся знаками, в зависимости от типов их предметных значений могут быть разбиты на классы, называемые семантическими категориями.
Семантическая категория – это класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметным значением данного типа.
Такими классами являются имена, предикаторы, предметные функторы, логические термины, повествовательные предложения.
Имена – слова и словосочетания, являющиеся знаками предметов.
Предикаторы – выражения языка (слова и словосочетания), предметными значениями которых являются свойства (одноместные предикаторы) и отношения (многоместные предикаторы).
Свойствами в современной логике называют характеристики отдельных предметов («белый», «странный», «иметь спинку», «ходить» и т.п.). Отношения – это связь между двумя и более предметами («находиться между», «быть братом», «быть больше», «знать лучше, чем» и т.п.). Таким образом, отношения представляют собой характеристики не отдельных предметов, а некоторых систем предметов.
Наличие или отсутствие у какого-либо предмета свойства или отношения к другим предметам называется признаком. Признаки – это любые возможные характеристики предмета, все, что можно высказать о предмете.
Предметные функторы – это знаки так называемых предметных функций. Наряду с математическими функциями «синус», «логарифм», «умножение» и т.п. сюда относятся такие особые характеристики предметов, как скорость, плотность, возраст, пол, профессия, агрегатное состояние, место жительства и др. Иногда их называют предметно-функциональными характеристиками.
Логические термины (логические константы) – это знаки логических отношений «и», «или», «если…, то…», «неверно, что» и операций «всякий», «существует» («некоторые»), «тот…, который…».
Знаки первых четырех категорий (имена, предикаторы, предметные функторы и логические термины) используются в составе предложений. При этом, в отличие отлогических терминов, имена, предикаторы и предметные функторы называются дескриптивными (описательными) терминами
Дескриптивные и логические термины различаются тем, что первые специфичны для различных областей познания и поэтому характеризуют конкретное содержание высказываний той или иной области познания. Логические термины являются общими в высказываниях разных областей познания и определяют те аспекты смыслов высказываний, понятий, теорий, которые называют логическими содержаниями.
Язык логики – это знаковая система, предназначенная для фиксации, хранения, переработки и передачи информации.
Для точного теоретического и практического анализа мыслительных структур логикой используются искусственные языки.
Один из таких языков — язык логики высказываний. Он применяется в логической системе, называемой исчислением высказываний, которая анализирует рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждений. Принципы построения этого языка будут изложены в главе о дедуктивных умозаключениях.
Второй язык — это язык логики предикатов. Он применяется в логической системе, называемой исчислением предикатов, которая при анализе рассуждений учитывает не только истинностные характеристики логических связок, но и внутреннюю структуру суждений. Предназначенный для логического анализа рассуждений, язык логики предикатов структурно отражает и точно следует за смысловыми характеристиками естественного языка.
Смысловое значение (смысл, или концепт) имени — это информация о предметах, т.е. присущие им свойства, с помощью которых выделяют множество предметов.
Основные символы, заменяющие главные понятия логики, S и P используются для обозначения понятий субъекта, или предмета мысли, и предиката, признака предмета мысли соответственно.
В логике «субъект» — предмет мысли, о чем ведется рассуждение, это логическое подлежащее суждения. С точки зрения логики субъектом может выступать любое понятие, отражающее любой реальный или мнимый, материальный или идеальный «предмет», поскольку предметом мысли может быть все, что угодно.
«Предикат» — это любой признак, присущий или не присущий тому или иному предмету (в логике — предмету мысли).
Приведем символику логики.
S — символ для обозначения субъекта суждения (логического подлежащего).
Р — символ для обозначения предиката суждения (логического сказуемого).
М — средний термин умозаключения, общее для исходных суждений понятие.
«Есть» — «не есть» (суть — не суть и пр.) — логическая связка между субъектом и предикатом суждения, выражаемая иногда с помощью тире между «S» и «Р».
R — символ любого отношения.
А (а) — символ общеутвердительного суждения («Все школьники — учащиеся»).
Е (е) — символ общеотрицательного суждения («Ни один цветок этого букета не является ромашкой»). I(i) — символ частноутвердительного суждения («Некоторые люди миллионеры»). О (о) — символ частноотрицательного суждения («Некоторые студенты не есть спортсмены»). ∀ — символ квантора общности, в языке выражается словом «для всякого», «для любого» и т.п. ∃ — символ квантора существования, в языке выражается словом «некоторые», «существуют такие» и т.п. & — символ, или знак, соединительного логического союза «и» (конъюнкция).
V — символ (знак) разделительного логического союза «или» (дизъюнкция).
=> — символ условного логического союза «если, то» (импликация).
<=> — символ логического союза тождества, эквивалентности, «тогда и только тогда, когда».
«Не» — отрицательная частица, может быть выражена и чертой над знаком или тильдой ~.