Примерная тематика рефератов
-
Проблема истинности понятия.
-
Понятие как форма правового мышления.
-
значение определений в юридической науке и практике.
-
Норма, ее логическая структура и виды.
-
Истинность норм права.
-
Соотношение законов формальной и диалектической логики.
-
Роль основных формально-логических законов в деятельности юриста.
-
Дедуктивный метод и его роль в юридическом познании.
-
Роль аналогий в юридической науке и практике.
-
Гипотеза как форма развития знания.
-
Судебно-следственная версия, специфика ее выдвижения и обоснования.
-
Значение логической аргументации для правоприменительной деятельности.
-
роль теории аргументации в диалоге.
-
Доказательство и опровержение в правовом сознании.
Методические рекомендации по выполнению контрольной работы на заочном отделении
Вариант контрольной работы студентом выбирается в соответствии с последней цифрой номера зачетной книжки. В методических указаниях Н.В. Михалкина всего 24 варианта. И если номер зачетной книжки студента заканчивается, например, на 4, то он вправе выбрать вариант 4, 14 или 24; если на 0, то 10 или 20 и т.п.
Во всех 24 вариантах первое задание предусматривает ответ на вопрос: какой является приведенная в задании формула: тождественно-истинной, тождественно-ложной или выполнимой?
Для выполнения этого задания студент по одному из учебников по логике, во-первых, должен уяснить, как символически выражается формальная структура сложных суждений5. Различия в символике логических констант Ивлева Ю.В. и Михалкина Н.В. следующее:
-
┐
отрицание
Ш
٨
конъюнкция
Щ
v
дизъюнкция
(нестрогая)
Ъ
v
дизъюнкция
(строгая)
∩
импликация
Й
≡
тождество
€
При выполнении контрольной работы желательно использовать символику Ивлева Ю.В.
Во-вторых, студенту следует усвоить, каким образом осуществляется табличный расчет истинности-ложности сложных высказываний6.
Количество строчек для перебора всех вариантов сочетания переменных по истинности-ложности определяется формулой 2n, где n – количество переменных. Например, если у нас формула (p q) ٨ ┐ q c v ┐ p, то n = 3 (q и ее отрицание ┐ q – считается как одна переменная). Следовательно, количество строчек, исчерпывающих все варианты сочетания по истинности-ложности трех переменных (p, q, c) будет равным 8 (23). Конкретная же расстановка в формуле значений истинности-ложности осуществляется следующим образом:
|
|
(p q) ٨ ┐ q c v ┐ p |
Для первой переменной (р) – восемь делится пополам и записывается четыре значения «истинно», а четыре – «ложно». Для второй переменной (q) – чередование: два – «истинно», два – «ложно» во всех восьми строчках. Для ┐ q значения истинности-ложности для q переворачиваются на обратные. Для третьей переменной (с) – чередование истинности-ложности во всех 8 строчках. |
|
|
и и л и л |
|
|
|
и и л л л |
|
|
23 |
и л и и л |
|
|
8 строк |
и л и л л |
|
|
|
л и л и и |
|
|
|
л и л л и |
|
|
|
л л и и и |
|
|
|
л л и л и |
Далее устанавливается последовательность действий расчета по истинности-ложности. Расчет в скобках (как и в математике) всегда отдельный. Там же, где скобок нет, последовательность действий определяется связующей силой логических констант (┐, ٨, v, , ≡). Константы, стоящие левее в приведенной записи, связывают сильнее, чем стоящие правее. Так, например, дизъюнкция (v) связывает слабее, чем конъюнкция (٨) и отрицание (┐), но сильнее, чем импликация () и тождество (≡). В таком случае последовательность действий по расчету истинности-ложности в нашей формуле будет следующей:
1 2 4 3
(p q) ٨ ┐ q c v ┐ p
Значения истинности-ложности после выполнения последнего действия (в нашем случае четвертого) являются решающими для определения характера формулы в целом. Если во всех восьми строчках при выполнении четвертого действия будет «истинно», то формула тождественно-истинная; если – «ложно», то – тождественно-ложная; если хотя бы в одной строчке значения истинности-ложности будут не совпадать с другой строчкой, то – выполнимая.
Данные варианты значения формул имеют следующую интерпретацию. Тождественно-истинная формула выражает логический закон и соответствующее ей рассуждение всегда будет истинным (и это обеспечивается самой логической формой рассуждения). Тождественно-ложная формула указывает на внутреннюю противоречивость приводимого высказывания (например, полагается истинным какое-либо утверждение и его отрицание). Выполнимая же формула может быть истинной лишь при некоторых сочетаниях по истинности-ложности входящих в нее переменных.
Какой же будет формула в нашем случае?
1 2 4 3
(p q) ٨ ┐q c v ┐p
-
и
и
и
л
л
и
и
и
л
и
и
и
л
л
и
л
л
л
и
л
л
л
и
и
и
и
л
и
л
л
л
и
и
л
л
л
л
и
и
л
л
и
и
и
и
л
и
и
л
л
и
л
и
и
л
и
л
и
и
и
и
и
и
л
и
л
и
и
и
л
и
и
Это тождественно-истинная формула.
Второе задание контрольной работы предполагает установление средствами таблично построенной логики высказываний правильности приведенного рассуждения.
При выполнении этого задания студент должен, во-первых, продемонстрировать умение выяснять и символически изображать логическую структуру приводимых суждений. Во-вторых, следует уяснить, что приводимое рассуждение представляет собой умозаключение, а, следовательно, должна быть символически выражена логическая форма этого умозаключения.
При формализованной (символической) записи умозаключения посылки (как отдельные суждения) соединяются союзом «и» (конъюнкция), а заключение (после слова «следовательно») связывается знаком импликации 7. Затем средствами таблично построенной логики высказываний (как при выполнении первого задания) рассчитываются значения истинности-ложности полученного высказывания (умозаключения в целом). Рассуждение считается правильным лишь в случае получения тождественно-истинной формулы.
Для выполнения третьего задания студенту следует проработать вопрос об отношениях между суждениями8. Разумеется, что рассматривать отношения можно лишь между сравнимыми суждениями. Признак сравнимости между простыми суждениями – одинаковые субъекты и предикаты, но различные количественная и качественная характеристики суждений. Например, с суждением «все рецидивисты – преступники» можно сравнивать лишь следующие суждения: «некоторые рецидивисты – преступники», «некоторые рецидивисты не являются преступниками», «ни один рецидивист не является преступником» (см. отношения по логическому квадрату). Признак сравнимости между сложными суждениями – наличие одинаковых переменных.
Для выяснения отношений между суждениями, они записываются в формализованном (символическом) виде в одну строчку (без простановки каких-либо логических констант между суждениями) и табличным способом (как в первых двух заданиях) рассчитываются значения истинности-ложности для всех суждений вместе. При этом количестве строчек истинности-ложности для суждений имеющих меньшее количество переменных должно быть таким же, как и у суждений, имеющих самое большое количество переменных. Например, если рассматриваются отношения между суждениями будет 23 = 8.