Шпаргалка по "Логике"

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

1) уже возник и существует;

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

При этом способ возникновения предмета не отмечается в самом определении.

Приемы, сходные с определением: описание, сравнение, характеристика, различение.

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

Характеристика – это указание отличительных, характерных черт и признаков единичного предмета.

Сравнение – это прием, который используется для образной характеристики предмета.

С помощью различения устанавливаются признаки, отличающие один предмет от других, сходных с ним, предметов. Например, в практике следователя часто встречаются так называемые «особые приметы».

7.Суждение - форма мышления.

Суждение это форма мышления в которой что либо утверждается или отрицается о существовании предметов явлений и о связях между предметами и явлениями. Формой выражения суждения является предложение.

8.Вопросы, виды вопросов.

9. Ответы, виды ответов.

10.Простые суждения.

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

Особое значение в логике придается делению простых суждений на виды по характеру связки (ее качеству) и субъекта (по его количеству).

Качество суждения выражает не фактическое содержание, а логическую форму: утвердительную или отрицательную.

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

В утвердительных суждениях раскрывается наличие какой-либо связи между субъектом и предикатом: «S есть Р».

В отрицательных суждениях раскрывается отсутствие той или иной связи между субъектом и предикатом: «S не есть Р».

Также простые суждения делятся по количеству.

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

Общими называются суждения, в которых что-либо утверждается для всей группы предметов в раздельном смысле: «Все S есть Р» («Ни одно S не есть Р»).

Частные суждения – это суждения, в которых что-либо высказывается о части какой-то группы предметов:

«Некоторые S есть (не есть) Р».

Единичные суждения – это такие суждения, в которых нечто высказывается об отдельном предмете мысли: «Это S есть (не есть) Р».

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

Общеутвердительными являются суждения, которые по количеству общие, а по качеству – утвердительные. Например: «Все адвокаты – юристы».

Частноутвердительные суждения – частные по количеству, утвердительные по качеству. Например: «Некоторые свидетели дают достоверные показания».

Общеотрицательные – общие по количеству, отрицательные по качеству. Например: «Ни один обвиняемый не оправдан».

Частноотрицательные – частные по количеству, отрицательные по качеству. Например: «Некоторые свидетели не дают верных показаний».

Предикат суждения, будучи носителем новизны, может иметь различный характер. С этой точки зрения выделяют: атрибутивные, реляционные и экзистенциальные.

Атрибутивные суждения – раскрывают наличие или отсутствие у предмета мысли тех или иных свойств или признаков: «СНГ непрочен».

Реляционные суждения – раскрывают наличие или отсутствие у предмета мысли того или иного отношения к другому предмету: «СНГ не равно СССР».

Экзистенциальные суждения – раскрывают наличие или отсутствие предмета мысли: «СНГ существует».

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

У несравнимых суждений предметные области совершенно не совпадают.

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

     11 Аналогия.

12. Понятие закона мышления. Основные формально-логические законы.

1.     Закона тождества

Проанализируем логические ошибки, возникающие вследствие нарушения требований закона тождества. Одно из основных его правил заключается в том, что «нельзя отождествлять различные мысли и нельзя тождественные мысли принимать за различные» . Установленный частью 4 статьи 15 Конституции Российской Федерации термин «международные договоры Российской Федерации» в целях его анализа разделим на две части – «международные» и «договоры Российской Федерации». Теперь дадим определение терминам каждой части. Термин «международные» соответствует (тождествен) понятию «касающийся отношений между народами, государствами, связей между ними». Понятие «договоры Российской Федерации» означает договоры, заключенные Российской Федерацией, то есть принадлежность договоров Российской Федерации. Рассматриваемые части не тождественны – произошло смещение понятий, нарушился закон тождества, следовательно, вступил в действие закон противоречия: не может договор, касающийся отношений между государствами, быть договором только Российской Федерации. Объем суждений неравен, и чтобы это исправить, следует сделать их тождественными. Один из возможных вариантов исправления – «договоры между Российской Федерацией и иностранными государствами».

2.     Закона противоречия

Классический пример имеется в романе И.Тургенева Рудин: ...Всякий толкует о своих убеждениях и еще уважения к ним требует, носится с ними...И Пигасов потряс кулаками в воздухе. -Прекрасно, - промолвил Рудин, - стало быть, по-вашему, убеждений нет? -Нет – и не существует. -Это ваше убеждение? -Да. -Как же вы говорите, что их нет. Вот вам одно на первый случай. Все в комнате улыбнулись и переглянулись. Убеждения не существуют и Убеждения существуют – одновременное признание того и другого одним и тем же человеком и есть логическое противоречие.

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

Разрушительным был следующий аргумент Беркли. Он указал на внутреннюю логическую непоследовательность в вычислениях Ньютона. Ньютон ввел в обращение так называемые бесконечно малые величины, но при вычислениях то принимал в расчет их существование, то забывал. Это было явным нарушением закона об исключении третьего - либо бесконечно малые величины существуют, либо нет. Далее, хотя Беркли, как мы заметили, воспользовался упомянутым законом логики, он решил опровергнуть и его (опять-таки при помощи логики). К моменту появления на свет Деррйды демонстрация логических погрешностей в системе математики и через нее дискредитация «точного» знания достигла своего апогея. В 1931 году австрийский математик Гедель сумел доказать, что математика в принципе не может быть абсолютно точной, пользуясь опять-таки методами математической логики. Любая система, построенная строго по законам логики, в том числе и математика, непременно будет содержать определенное количество предположений, которые невозможно ни доказать, ни опровергнуть, опираясь на базовые аксиомы системы. По сути, это доказательство гораздо сильнее подрывало престиж математики, чем все, что удалось изобрести Дерриде. Подразумевалось, что математика сама по себе является источником математических противоречий. (Тем самым нарушался и закон об исключении третьего. Указанные предположения не были ни истинными ни ложными в рамках системы.)

4.     Закона достаточного основания

Образцом подобной нелогичности служит рассуждение философов-лилипутов в произведении Джонатана Свифта «Путешествие Самюэля Гулливера»: «Вы утверждаете, правда, что на свете существуют другие королевства и государства, где живут такие же гиганты, как вы. Однако наши философы сильно сомневаются в этом... Ведь не подлежит никакому сомнению, что сто человек вашего роста могут за самое короткое время истребить все плоды и весь скот во владениях его величества. Кроме того, у нас есть летописи. Они заключают в себе описание событий за время в шесть тысяч лун, но ни разу не упоминают ни о каких других странах, кроме двух великих империй - Лилипутии и Блефуску».

13.Виды суждений. Объединенная классификация.(тетрадь)

      14. Деление понятий.

Деление понятий — это логическая операция, посредством которой объем делимого понятия распределяется по объемам новых понятий, каждое из которых представляет частный случай исходного понятия. Например, расчеты делятся на наличные и безналичные. Понятия разделяются исходя из существенного признака, который может изменяться по определенному принципу или правилу (например, образование из понятия «торговый баланс» новых понятий, в которых фиксируется то или иное соотношение ввоза и вывоза товаров).

15. Язык логики

язык логики

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

Логика традиционная пользовалась для описания правильного мышления обычным языком, дополненным немногими специальными символами. Этот язык имеет, однако, целый ряд черт, мешающих ему точно передавать форму мысли. Он является аморфным как со стороны своего словаря, так и в отношении правил построения выражений и придания им значений. В нем нет четких критериев осмысленности утверждений. Не выявляется строго логическая форма рассуждений. Значения отдельных слов и выражений зависят не только от них самих, но и от их окружения. Многие соглашения относительно употребления слов не формулируются явно, а только предполагаются. Почти все слова имеют не одно, а несколько значений. Одни и те же объекты порой могут называться по-разному или иметь несколько имен. Есть слова, не обозначающие никаких объектов, и т. д.

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

В формализованном Я. л. слова обычного языка заменяются различными специальными символами. В нем четко разграничены синтаксическая и семантическая части, разделение которых в обычном языке во многом условно. Вначале язык логики строится без всякой ссылки на ту действительность, которую он будет описывать. И только потом вводятся правила придания значений употребляемым в нем комбинациям знаков, указывается его интерпретация. Построение языка отличается тщательностью, с какой формулируются синтаксические и семантические правила, отсутствием неправильностей и исключений.

Разделение синтаксиса и семантики позволяет определить понятие вывода логического чисто формально, не обращаясь к содержанию конструируемых и преобразуемых выражений. Вывод оказывается подчиненным простым предписаниям, подобным правилам сложения и вычитания. Исчезают неясность и двусмысленность, всегда присутствующие при обращении с такой трудно уловимой вещью, как "смысл выражения". Место обычного в процессе рассуждения оперирования идеальными смыслами занимает манипулирование материальными вещами - цепочками знаков. Выведение одних идей из других превращается в "вычисление" по простым правилам.

Научная революция в логике во второй половине XIX - начале XX в. привела к созданию логически совершенного языка. Последний сделал возможным дальнейшее углубленное изучение и описание закономерностей правильного мышления.

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

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

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

Существенным является следующее традиционное ограничение: термины силлогизма не должны быть пустыми или отрицательными.

В каждом силлогизме должно быть три термина: меньший, больший, средний.

Меньшим является термин, называющий субъект заключения. Предикат заключения является большим термином. Термин, который присутствует в посылках, но отсутствует в заключении, является средним термином. Посылка, в которую входит больший термин, является большей посылкой, а посылка, в которую входит меньший термин, – меньшей посылкой. Большая посылка записывается первой, меньшая – второй.

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

1) в первой фигуре большая посылка должна быть общей, меньшая – утвердительной;

2) во второй фигуре: большая посылка – общая, одна из посылок и заключение – отрицательные;

3) в третьей фигуре – меньшая посылка должна быть утвердительной, а заключение – частное;

4) четвертая фигура общеупотребительных заключений не дает.

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

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

Так как категорические силлогизмы в мышлении встречаются весьма часто, то для получения истинного заключения необходимо соблюдать следующие правила: