Шпаргалки

Подождите немного. Документ загружается.

1. общая характеристика логики как философской науки.

Предмет и цели логического исследования.

Логика' — наука о мышлении. логика изучает мышление как

средство познания; ее предметом являются законы и формы,

приемы и операции мышления, с помощью которых человек

познает окружающий его мир. Логика в настоящее время

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

относительно самостоятельные науки: логику формальную и

логику диалектическую. Принципы: -принцип двузначности- 4

логических закона которые строятся на этом принципе.

Задача логики сформулировать законы и принципы, соблюдение

которых является неотъемлемым условием достижения истинных

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

2. Основные понятия теоретической логики: логическая

форма, логическое следование, логический закон.

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

элементов мысли, ее строение, благодаря которому содержание

существует и отражает действительность.

Логические следствия или форма производства выводов: -

индуктивный(от частного к общему)- дедуктивный (от общего к

частному) – по аналогии – путем сравнения.

4 логических закона. – закон исключенного третьего – закон

достаточного основания – закон тождества – закон не

противоречия.

3. Характеристика исторических этапов формирования

логики.

1) история логики начинается с античности. Отец формальной

логики древне греческий философ Аристотель 4 в д н нэ . Для

Аристотеля логика- инструмент установления истинности или

ложности наших высказываний.

2) В средневековой традиции логика как философия теряет свою

самостоятельность 5 в д н э- 15 в н э. Логика- определенный

навык или искусство для ведения теологических споров. Логика-

инструмент обоснования религиозных догматов.

3) Новое время: первая НТР, появляется наука в современном

виде. Наука становится эмпирической, логика становится

индуктивной- источник получения новой научной информации.

4)В 19 в – диалектическая логика(Гегель). Формальная логика не

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

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

логическая ошибка., а условие развития какого-либо процесса.

Гегель выделяет новый закон: единства и борьбы

противоположности, отрицание отрицания и переход

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

используют диалектическую логику для объяснения соц

процессов.

5) Гротт конец 19- начало 20 в предлагает рассматривать логику

как психологию.

6)20 в развивается математическая логика, неоклассическая

многозначная логика.

7) появление аппаратной логики, связанной с языками

программирования.

4. Понятие как логическая форма мысли . логические

характеристики понятий.: содержание и объем.

5. Виды понятий.

понятие - это логическая мысль о предмете, отражение предмета в

его одном или нескольких существенных признаках

Содержание понятия- система свойств и отношений, которые

уникально отличают изучаемый предмет.

Объем понятия- множество предметов, обладающих всеми

характеристиками , входящими в определение содержания

понятия. По содержанию все понятия делятся на:

1) Ясные( однозначные)- один элемент значения.

2) размытые- содержат множество значений.

По объему понятия делятся на:

1) единичные V понятия =1 элементу (Автор романа война и мир)

2) общие- более чем 1 элемент ( элемент таблицы Менделеева)

3) пустые- понятия , в которых отсутствует реальные элемент.

(король современной Франции)

4) понятия неопределенные- относительно V не можем сказать

ничего определенного (НЛО).

Содержание и V понятий связаны принципом обратного

отношения. Если мы будем расширять содержательную сторону

понятия, то это может привести к сокращению объемных

характеристик и наоборот.

Если понятия совпадают по содержанию, то они равны и по

объему, однако они могут различаются, но это различение будет

носить характер исключительно терминологический, лексический

(родина, отчизна)

6. Логические отношения между понятиями по их V и

содержанию.

На основе характеристик содержания возникают логические

отношения между понятиями. Самое простое логическое

отношение – сравниваемые понятия и несравниваемые понятия.

Понятия сравнимы- если их содержание включает хотя бы одну

общую характеристику(прекрасное, преступное- общее

отношение оценки).

Логические отношения, которые зависят от объема имеют след

варианты:

1) отношения равнообъемности- если V-мы 2 понятий совпадают

2)логическое отношение подчинения или включения. Объем

одного понятия полностью находится в объеме другого понятия,

но не наоборот (уголовно-наказуемое деяние- кража)

3)Пересечение- когда в объеме 2 понятий есть хотя бы один

общий элемент

4)Исключение- когда в объеме понятий отсутствуют общие

элементы. Соответственно 2 несовместимых между собой

понятия находятся в отношении противоречия

(контрадикторность)(мужчина-женщина)

5) противоположность (контрарность) когда у 2 несовместимых

понятий сумма их объемов меньше универсума сравнений (отец-

7. операция определения понятий. Характеристика видов

определения понятий.

Виды определений.

1) реальные- логическая операция которая раскрывает содержание

понятия, либо указывает на его объем.

2) номинальные- указывает на этимологию используемого

понятия, рассматривает сущность имени, либо уточняет значение

используемой терминологии.

Мы мжем различать определения:

1) явные- имеют четко заданную 3 членную структуру

(определяемое понятие, связка, определяющее понятие)

указывают на сущностные характеристики.

2) контекстуальное- основывается на сущности известной

смысловой связи определяемого понятия с тем культурным

контекстом, где оно присутствует.

Определить понятие можно через родовые и видовые отличия

Родовые отличия выделяются, когда идут общие признаки

изучаемого предмета.

Видовые выделяются, когда необходимо указать спец. Черты в

рамках общего рода.

Рассматривая операцию определения можно выделить:

1) эссенциальное определение- указывает на неотъемлемые

качества.

2) конструктивное- указывает на происхождение понятия.

3) синтаксическое

4) семантическое –указывает на значение и употребление того или

иного термина.

дочь)

8. правила построения определений и возможные ошибки в

определениях.

Процедура определения понятий предусматривает наличие

определенных правил:

1) соразмерности- объем понятия определяемого должен быть =

объему понятия определяющего

2) независимости- нельзя определяемое понятие определять через

определяющее понятие, которое будет содержать в своих

дефинициях элемент определяемого понятия. Нельзя неизвестное

определять через неизвестное.

3) определенности- все элементы определяющего понятия

должны быть заранее известны (правило ясности)

4) позитивности –когда мы используем операцию определение мы

не должны использовать отрицание. Нельзя неизвестное

определять через отрицание.

9. операция деления понятий. Виды деления. Правила

деления и возможные ошибки при делении понятий.

Логическая операция раскрывающая объем понятия называется

делением. Делению подвергаются объемы понятий. В результате

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

своему характеру взаимно исключают друг друга. Когда мы

объем понятий делим на элементы под объема тогда эта операция

считается полной.

В операции деления должен быть выявлен критерий который

позволяет конкретно и последовательно классифицировать под

объемы

Критерий- это основание, которое позволяет нам получать

взаимоисключающие элементы деления.

Выделяются:

1)критерий

2)делимое понятие

3)элементы деления.

В логике принято рассматривать операцию деления при наличии 1

критерия. Дихотомическая операция деления- когда объем

делимого понятия разбивается на 2 противоречивых под объема.

Правила деления:

1) правило соразмерности- объем делимого понятия должен быть

= сумме объемов членов деления

2) исключения- члены деления не должны содержать общих

элементов

3) основания – деление понятия следует проводить по 1

основанию

4) непрерывности.- процедура деления должна продолжаться до

тех пор пока весь объем делимого понятие не будет исчерпан.

Члены деления должны быть атомарными (неделимыми)

10. суждение как форма мысли. Структура и виды простых

суждений.

В логике суждение- форма теоретического знания , которое

выражает утверждение о принадлежности предмету некоторого

свойства , либо указывает на отношения между предметами. В

соответствии с этим суждения в логике – отношения между

понятиями.

Суждения делятся на простые и сложные .

Простые не содержат иных высказываний кроме одного. Сложные

содержат более чем 1 высказывание, между собой

взаимосвязанное.

Простые делятся на:

По объему субъекта (по количеству):

1)Единичные - суждения, включающие утверждение или

отрицание об одном предмете субъекта рассуждения. Их

формула:

Это S есть (не есть) Р

2) Частные - суждения, в которых что-либо утверждается или

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

Только некоторые S есть (не есть) Р

3)Общие - суждения, в которых что-либо утверждается или

отрицается о каждом предмете данного класса. Логические схемы

таких суждений имеют вид:

Все S есть Р или Ни одно S не есть Р

По качеству связки

1) Утвердительное суждение выражает принадлежность предмету

некоторого признака.

2) Отрицательное суждение выражает отсутствие у предмета

некоторого признака

ПО содержанию предиката

1) атрибутивные- указывают на сущностную характеристику.

«Прокурор - это человек, имеющий специальное юридическое

образование».

2)реляционные – указывают на отношения между различными

предметами. «Благополучие государства зависит от законов»

3) суждение существования- указывает на факт наличия или

отсутствия того или иного предмета мысли. , «Нет преступления

без указания о том в законе»

11. Деонтические модальностию Суждения и норма.

Диантическая модальность- описывает виды высказываний по

отношению к нормативным практикам (разрешено, запрещено ,

должно)

Выражают различную степень нормативности и обязательности.

Могут быть выражены в форме просьбы, совета, приказа,

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

НП стоятся на деонтических модальностях.

1)правообязывающие- сильные нормы: обязан, должен,надлежит,

признается. Носят всеобщий характер.

2)правозапрещающие- не в праве, не может, не допускается,

запрещается. Имеют как всеобщий характер, так и частный.

3) правопредоставляющие-имеет право, может иметь,может

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

слабыми нормами и имеют рекомендательный характер

(рекомендуемая скорость на знаке ПДД)

12. Логические отношения между простыми категорическими

суждениями.

логические отношения устанавливаются не между любыми, а

13. Рассуждение как прием мышления. Структура

рассуждений. Понятие логической корректности рассуждений.

Рассуждение –логическая форма теоретического знания , в

лишь между сравнимыми суждениями, то есть теми, которые

имеют общий смысл.

Сравнимые суждения делятся на совместимые и

несовместимые. Совместимыми являются суждения, которые

одновременно могут быть истинными. Различают три вида

совместимости.

1. Эквивалентные суждения выражают одну и ту же мысль

в различной форме. Например, «Водитель автомобиля совершил

аварию» и «Причина аварии заключается в действиях водителя

автомобиля».

2. Частичная совместимость характерна для суждений,

которые могут быть одновременно истинными, но не могут быть

одновременно ложными. Например, «Некоторые свидетели

правдивы» и «Некоторые свидетели не являются правдивыми».

3. Отношения подчинения характерны для суждений,

которые имеют общий предикат, а понятия, выражающие

субъекты двух таких суждений, находятся в отношении

логического подчинения. Например, «Ни один вопрос

обучаемого не должен оставаться без ответа» и «Некоторые

вопросы обучаемого не должны оставаться без ответа».

Несовместимыми являются суждения, которые одновременно не

могут быть истинными. Различают два вида несовместимости.

1. Несовместимость как противоположность характерна для

суждений, выражающих противоположные мысли. Эти суждения

не могут быть одновременно истинными, но могут быть

одновременно ложными. Например, «Все адвокаты юристы», «Ни

один адвокат не является юристом».

2)Противоречие как несовместимость характерно для

суждений, исключающих друг друга. Они одновременно не могут

быть ни истинными, ни ложными. При истинности одного из них

другое будет ложным, а при ложности первого второе будет

истинным. Например, «Все судьи являются подкупными» и

«Некоторые судьи не являются подкупными».

1)противоположности (контрарности) ЕА

2)частичная совместимость IO

3) субординации(подчинение) AI, EO

4) контрадикторности( противоречие) AO, IE

Символически эти отношения обозначаются в виде логического

квадрата

A Общеутвердительное суждение - общее по объему

субъекта и утвердительное по качеству связки. Его логическая

структура: «Все S есть Р», а символом служит латинская буква

«А». Примером является суждение: «Все адвокаты - юристы».

E Общеотрицательное суждение - общее по объему

субъекта и отрицательное по качеству связки. Его логическая

структура: «Ни одно S не есть Р». Символом общеотрицательных

суждений служит буква «Е». Например, «Ни один подложный

документ не является доказательством».

I Частноутвердительное суждение - частное по объему

субъекта и утвердительное по качеству связки. Его логическая

структура: «Некоторые S есть Р». Символом

частноутвердительных суждений служит латинская буква «I».

Примерами таких суждений являются: «Некоторые студенты —

юристы» или «Некоторые писатели - фронтовики».

O Частноотрицательное суждение — частное по объему

субъекта и отрицательное по качеству связки. Его логическая

структура: «Некоторые S не есть Р», а символом служит буква

«О». Примерами частноотрицательных являются следующие

суждения: «Некоторые европейские страны не являются членами

НАТО» или «Некоторые люди не являются юристами»

результате которой из множества исходных суждений (посылок)

по логическим правилам выводятся новые суждения(заключения)

Структура любого умозаключения включает три элемента:

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

2) обосновывающее знание, выражающееся в правилах

умозаключения;

3) выводное знание, выражающееся в заключении или

выводе.

При наличии содержательной связи между посылками можно

получить в процессе рассуждения новое истинное знание при

соблюдении двух условий.

1) должны быть истинными исходные суждения -

посылки.

2) в процессе рассуждения необходимо соблюдать

правила вывода, которые обусловливают логическую

правильность умозаключения.

14. Классификация рассуждений. Значение рассуждений в

юридической практике.

умозаключения делятся на следующие виды: дедуктивные,

индуктивные и умозаключения по аналогии.

1) В дедуктивных умозаключениях связи между

посылками и заключением представляют собой

15. непосредственные рассуждения.

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

одной посылки путем ее преобразований: превращения,

обращения, противопоставления предикату и по «логическому

квадрату».

1) превращение- изменяется качество посылки без изменения ее

формально-логические законы, в силу чего при

истинных посылках заключение всегда оказывается ис-

тинным. От общих посылок к частному заключению.

2) От частного к общему . Вывод следует не с

категоричностью а с вероятностью, т.к универсум

обобщения чаще всего бывает ограниченным.

Индуктивные высказывания называются

правдоподобными

3) сравниваются предметы, на основании сходства этих

предметов в одних признаках делается вывод о

сходстве этих предметов и в других признаках.

Объект А обладает признаками а, b, с, d

___Объект В обладает признаками а, b , с___

Вероятно, объект В обладает и признаком d

количества. Оно осуществляется двумя способами:

а) путем двойного отрицания, которое ставится перед связкой

и перед предикатом: Заключение здесь опирается на правило

вывода: двойное отрицание равносильно утверждению;

S есть Р → S не есть не-Р

б) путем перевода отрицания из предиката в связку: для

превращения суждения необходимо заменить его связку на

противоположную, а предикат - на понятие, противоречащее

предиката исходного суждения.

S есть не-Р → S не есть Р

2) обращение - непосредственное умозаключение, в котором

происходит перемена мест субъекта и предиката при сохранении

качества суждения.

используя этот логический прием, мы уточняем наши знания об

объеме предиката суждения и его отношении к субъекту, так как

объектом нашей мысли становится предмет, отраженный

предикатом исходного суждения.

3)противопоставления предикату- предполагает получение

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

предикату исходного суждения, а предикатом является субъект

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

противопоставления предикату состоит в том, что в них

выясняется отношение предметов, не входящих в объем

предиката, к предметам, отраженным субъектом исходного

суждения. Устанавливая отношение между этими предметами, мы

уточняем наши знания, высказываем нечто новое, что не было в

явной форме выражено в исходном суждении.

4)по логическому квадрату- позволяет получать вывод, учитывая

свойства отношений между категорическими суждениями А, Е, I,

О. Отношения между данными суждениями иллюстрированы

схемой логического квадрата. При этом устанавливается

следование истинности или ложности одного суждения из

истинности или ложности другого суждения в соответствии с

теми логическими законами, которые проявляют себя в

соответствующих отношениях.

16. Характеристика формализованного языка на примере

языка классической логики высказываний. Алфавит логики

высказываний. Определение правильно построенной

формулы.

В логическом языке используются переменные для обозначения

высказываний языка естественного. Т.О. символы в логике –

пропозициональные переменные, которые заключают в себе

высказывания существенного языка (А, B, C, D)

Для установления статуса истинности или ложности суждения

используются логические константы (1;0)

Логические операторы или связки:

1) отрицание – не может быть связкой. Может быть озвучено не,

не правда что,….

2) конъюнкция А В означает и, но, да , а .

3) Дизъюнкция А В означает или , либо

4) стргая дизъюнкция А В означает или… или, либо ….. либо.

5) импликация А В означает производство определенного

вывода Если …то, так… как.

6) эквиваленция А В означает если и только если, тогда и только

тогда.

Формула может определяться с помощью 3-х положений.:

1) Все простые высказывания являются формулами.

2) Если А формула, то и не А тоже будет формулой.

3) Если А формула и В тоже формула то и все комбинации с

логическими связками тоже будут являться формулами.

При записи формул можно использовать технические символы-

скобки.

17. таблица истинности. Классификация формул по условиям

истинности.

Для анализа высказываний и установления их статуса мы

используем таблицы истинности. ( 6 таблиц)

Среди правильно построенных формул в зависимости от их

истинностного значения различают тождественно истинные,

тождественно ложные и выполнимые формулы.

1) Тождественно истинными называют формулы, принимающие

значения истины при любых— истинных или ложных—значениях

составляющих их пропозициональных переменных. Такие

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

2) Тождественно ложными называют формулы, принимающие

значение ложности при любых — истинных или ложных —

значениях пропозициональный переменных.

3) Выполненными называют формулы, которые могут

принимать значения истинности или ложности в зависимости от

наборов значений составляющих их пропозициональных

переменных.

18.Характеристика основных законов классической логики.

Логические законы- необходимая, существенная связь мыслей в

процессе рассуждения. Формируются независимо от воли и

желания человека, носят объективный характер, обладают

качеством устойчивости, определенности и взаимообуславливают

друг друга.

1) закон тождества и его требования к мышлению- Любая мысль в

процессе рассуждения должна иметь устойчивое определенное

содержание, ТО независимо от того какие логические операции

мы осуществляем исходная мысль должна быть тождественна

19. Основные формы правильных рассуждений в

классической логике.

себе, т. е не менять свое содержание.

Следствие:. Если мы принимаем исходный тезис, то с

необходимостью должны принимать и все вытекающие из него

следствия(выводы). Главная ошибка: некорректное

отождествление различных понятий.

2)закон непротиворечия. Два несовместимых друг с другом

суждения не могут быть одновременно истинными, по крайней

мере одно из них носит ложный характер.

3) закон исключенного третьего. Два противоречащих суждения

не могут быть одновременно ложными. Одно из них необходимая

истина.

4) закон достаточного основания. Выражает требование

доказанности или обоснованности наших рассуждений. Всякая

мысль признается истиной если она имеет для этого достаточные

основания.(другая проверенная и доказанная мысль из которой

вытекает истинность мысли. Определяя то или иное понятие мы

не должны определять неизвестное через не известное.

доказанное не является сомнительным, разрешенное

запрещенным, а общезначимое запрещенным.

20. Система натурального вывода.

Существует 2 варианта

1) по куайну

По Генцену

Система натурального вывода приближена к практике

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

актуальная форма мышления человека, которая находится за

границами формальных аксиом.

Система натурального вывода имеет дело не с логическими

аксиомами и посылками, а с допущениями, с посылками

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

1) использование допущений как посылок

2) установление статуса данных посылок

3) получение соответствующего вывода.

Ложные допущения исключаются и вводятся новые допущения

соответствующие предмету рассуждения. Система натурального

вывода строится на задании определенных правил:

1) правила ввода допущений.

2) правила вывода(исключения)

1 и 2 задают процедурный смысл пропозициональных

высказываний и логических связок.

Бывают

1)однопосыльные правила- регулируют процедуру введения или

исключения

2) двухпосыльные.

Пока посылка нефальсифицирована она продолжает играть роль

посылки.

Система натурального вывода служит для формализации моделей

обыденного рассуждения.

21. Силлогистика как дедуктивная теория. Простой

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

категорического силлогизма

Силлогистика-форма рассуждения, в которой 2 посылки(субъект и

предикат)объединены общим сведением (термин)

обеспечивающим замыкание понятия в заключении силлогизма.

Простой категорический силлогизм (от гр. syllogismos -

сосчитывание) - это такой вид дедуктивного умозаключения, в

котором из двух истинных категорических суждений, связанных

общим термином, получается третье суждение - вывод,

являющийся категорическим суждением.

Посылки силлогизма разделяются на :

1) большую, из которой берется предикат заключения

2) меньшую- из которой берется субъект.

По положению среднего термина мы имеем 4 фигуры силлогизма.

Правила посылок:

1) хотя бы одна из посылок должна быть утвердительным

суждением

2)если одна из посылок носит отрицательные характер, то и

заключение должно быть отрицательным

3) хотя бы одна из посылок должна быть общим суждением

утверждающий и отрицающий. Каждый из них встречается в двух

формах: правильной и неправильной. В правильных формах

выводы имеют достоверный характер, а в неправильных -

вероятностный.

Правила простого категорического силлогизма

1)Средний термин должен быть распределён хотя бы в одной из

посылок.

2)Термин, не распределённый в посылке, не должен быть

распределён в заключении.

3)Число отрицательных посылок должно быть равно числу

отрицательных заключений.

4)В каждом силлогизме должно быть только три термина.

отобрав только те модусы, которые согласуются с общими

правилами силлогизма, получим 19 модусов, которые называются

правильными . Их принято записывать вместе с заключением:

1-я фигура: ААА, ЕАЕ, АН, ЕЮ

2-я фигура: ЕАЕ, ЛЕЕ, ЕЮ, АОО

3-я фигура: AAI, IAI, АН, ЕАО, ОАО, ЕЮ

4-я фигура: AAI, AEE, IAI, ЕАО, ЕЮ

22. Процедура выявления правильных модусов. Понятие

энтимемы, полисиллогизма, сорита.

Это все разновидности силлогических способов рассуждения.

Силлогизм с пропущенной посылкой или заключением называет-

ся сокращенным силлогизмом, или энтимемой. наиболее

распространенные виды энтимем: 1) силлогизм с пропущенной

большей посылкой 2)силлогизм с пропущенной меньшей

посылкой 3) силлогизм с пропущенным заключением.

Полисиллогизм- последовательность простых категорических

силлогизмов в которой заключение первого силлогизма является

одновременно посылкой для последующего простого

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

Сорит- полисиллогизм где опущены некоторые посылки или

заключения.

23. Индуктивные рассуждения. Виды и структура

индуктивных рассуждений.

Индкуция- способ рассуждения от частного к общему основан на

принадлежности некоторого признака отдельного предмета ,

который переносится на характеристику всего класса предметов.

Т.О выделяя одну сущностную характеристику, находя ее путем

перебора.

Важнейщий способ производства научного знания.

Виды:

1) полная- умозаключение в котором на основании

принадлежности каждому элементу или каждому предмету,

определенному признаком, делается вывод о принадлежности

данного качества всему классу. Возможно когда число элементов

ограничено.

2) неполная- ситуация когда умозаключение в котором на основе

принадлежности признака лишь некоторым элементам делается

вывод о его принадлежности всему классу предметов. Частное

обобщение, которое следует с вероятностью и строится на

корректности и типичности рассматриваемых случаев. Ключевой

момент: повторяемость совпадения, которое не является

логически необходимым. По силе доказательства неполная

индукция слабее полной, но более легко достижима.

3) научная- становится когда в итоговом умозаключении мы

получаем обобщение построенное путем отбора необходимых

качеств и исключением качеств случайных.

4) популярная.

Индукция методом отбора(селективная) умозаключение в

котором вывод о принадлежности признака классу или множеству

основывается на знании об образце, полученном методичным

отбором явлений из различных частей класса.

Индукция методом исключений(элиминативная)- система

умозаключений в которой выводы о причинах исследуемых

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

обстоятельств и исключением обстоятельств, не

удовлетворяющих свойствам причинной связи.. характеристика

метода исключения позволяет получаемым выводам носить

характер всеобщий, последовательный во времени и однозначный.

24. Индуктивные методы установления причинных связей

Индукция методом отбора(селективная) умозаключение в

котором вывод о принадлежности признака классу или множеству

основывается на знании об образце, полученном методичным

отбором явлений из различных частей класса.

Индукция методом исключений(элиминативная)- система

умозаключений в которой выводы о причинах исследуемых

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

обстоятельств и исключением обстоятельств, не

удовлетворяющих свойствам причинной связи.. характеристика

метода исключения позволяет получаемым выводам носить

характер всеобщий, последовательный во времени и

однозначный.

25. понятие доказательства и опровержения. Логическая

структура доказательства и опровержения. Требования,

предъявляемые к элементам доказательства. Возможные

ошибки в процессе доказательства.

Всякая научная теоретическая форма знания является по своему

характеру результатом вывода, т.е получается в результате

определенной цепочки рассуждений.

На характер рассуждений и итоговый вывод определяющую роль

в процессе юр. Диалога оказывают формы доказательств и

опровержений с соответствующей им аргументацией.

Доказательство- процесс вывода тезисов из демонстрируемых

аргументов по определенным правилам и способам.

Тезис- утверждение, которое является предметом доказательства.

Формируется в виде 1,2,3 предложений. Могут носить

утвердительный или вопросительный характер.

Аргументы- исходные посылки и доводы субъекта ведущего

доказательство. Демонстрация- процедура образованная системой

логических правил, а также внелогических способов, приемов и

средств, обеспечивающих переход от аргументов к

доказываемому тезису.

Разновидности аргументов:

1)прямые- оказывают непосредственно обосновывающий эффект

на доказываемый тезис, их содержание имеет однозначную

логическую связь с предметом доказательства.

2)косвенные- направлены на обоснование дополнительных,

второстепенных и промежуточных аспектов исходного тезиса.

1) утверждение о фактах

2) теоретические источники (кодексы, уставы)

3) апелляция к ранее доказанным положениям или прецедентам

4)экспертиза

а) утверждение экспертов- должны быть выражены в юр форме

заключения

Опровержение- обратная процедура доказательства. Направлено

на разрушение исходного доказательства. Форма

интеллектуальной практики, представляющей собой

демонстрацию несостоятельности исходного тезиса.

Сторона опровержения использует аргументационный набор, что

и сторона доказательства. Всякое опровержение- критическая

процедура анализа, когда путем оценки каждого из аргументов

фальсифицируется исходный тезис.

Прагматика спора- разработанная система способов эффективного

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

с базовой стратегией полемики при обязательной разработке

стратегии и тактики. Стратегия- основная цель . тактика- способ

демонстрации аргументов для подтверждения тезиса.

Учитываются и вне логические форы убеждения(апелляция к

чувствам), но они не должны доминировать и должны

подчиняться формам логического убеждения.

Правила ведения доказательства:

1) адекватность аргументов- не должны носить ложный и

противоречивый характер.

2) независимость- не должны использоваться утверждения уже

использованные в тезисах

3) логическая репрезентация форм демонстрации(вне логические

формы доказательства не должны доминировать

4) правило неизменности тезиса

26. Виды доказательства. Виды косвенного доказательства.

Софизмы, паралогизмы и парадоксы.

Паралогизмы- непреднамеренное нарушение правил логики в

процессе рассуждения по причине логической небрежности либо

неосведомленности.

Преднамеренные нарушения логических правил с целью ввести в

заблужение оппонента и слушателей либо создать видимость

победы в дискуссии называют логическими уловками, или

софизмами.

В процессе рассуждения иногда возникают логические

парадоксы. Парадокс в мышлении (от греч. paradoxоs -

неожиданный, странный) - в широком смысле - неочевидное

высказывание, истинность которого устанавливается достаточно

трудно.

27. Вопрос и ответ. Виды вопросов и ответов.

Юр диалог превратился в систему вопросов и ответов. Вопрос-

выраженная в вопросительном предложении некоторая мысль,

направленная на уточнение или дополнение исходного или

базисного знания в виде тезиса.

Различают вопросы:

1) корректно сформулированные -вопрос, предпосылка которого

представляет собой истинное непротиворечивое знание.

2) не корректно сформулированные- строится на заведомо ложной

позиции.

1) уточняющий- вопросы, которые направлены на выявление

истинного смысла содержащегося в том или ином суждении.

Действительно ли что? Верно ли?

2) восполняющий- направлены на уточнение и выяснение новых

свойств и характеристик рассматриваемого явления.

1) сложные- имеют одну вопросительную форму

2)простые- состоят из иерархии вопросов.

1) вопрос по существу- ориентирован на заданную область

полемики

2) вопрос не по существу- принципиально выходит за границы

рассматриваемого тезиса.

Ответ- суждение, уточняющее, дополняющее и раскрывающее в

соответствии с поставленным вопросом исходное знание.

Ответы бывают:

1)истинные

2)ложные

Это различие ответов строится на характере соответствия

действительности.

1) прямые- более узкие. Затрагивают содержательную сторону

обсуждаемого тезиса

2) косвенные- более широкие. Связаны с уточнением контекста

сопровождаемого тезисом суждения.

1) краткие- односложные

2) развернутые- могут в различных вариациях и импровизациях

повторяться элементы вопроса.

1) полные

2) неполные

Отличаются объемом информации.

1)точные- заданы границами вопроса

2)неточные

Выбор вида ответа носит ситуативный характер

28.модальная логика. Общая характеристика.

Модус(лат.)- вид. Модальная логика- область логических

исследований которая описывает реальность за пределами

принципа двузначности.

В логике модус- способ отношения высказывания к реальности.

Может быть выражет следующими категориями:

1) действительность.

2) необходимость

3)возможность

Можно выделить следующие модальности:

1) пространственные-здесь, там, нигде.

2) модальность времени (темпоральная модальность)-настоящее,

прошлое, будущее.

3)эпистемическая модальность-знаю, не знаю, предполагаю

4)аксиоллогическая модальность-хорошо, плохо, нейтрально.

5) дионтическая модальность -описывает виды высказываний по