1. Предмет логики, ее значение и место в системе научных знаний.

Предмет логики - правила мышления и формы в которых оно осуществляется

2.Основные формы познания. Чувственное познание и абстрактное мышление, их взаимосвязь. Особенности абстрактного мышления.

• Чувственное познание - познание через органы чувств Ощущение

• Восприятие

• Представление

Абстрактное познание - шире чем исключительно чувственное познание предмета

• Понятие

• Суждение

• Умозаключение

3. Исторические этапы развития логики как науки.

4. Логический и семантический анализ языка и мышления. Именные и пропозициональные функции.

Именная функция - выражение, которое при замене переменных постоянными превращается в обозначение предмета (Белый X) Белый - функтор

Пропозициональная функция - функция, область значений которой составляют высказывания, обладающие определенным истинностным значением (Если А, то Б) логического анализа, т. е. для построения логического эквивалента фразы естественного языка, мы должны прежде всего провести синтаксический анализ фразы; результаты анализа непосредственным образом отразятся на синтаксической структуре логического выражения. Но и семантика отнюдь не останется в стороне. Когда мы говорим, что «рыжий» — это одноместный предикат, «загрыз» — двуместный предикат, «расстояние» — функция, «и» — логическая связка, «все» — квантор и т.д., мы выполняем семантический анализ понятий, выражаемых естественным языком. Мы классифицируем понятия в соответствии со схемой, зафиксированной в языке логики, и устанавливаем связь между понятиями. Логический анализ — это по существу семантический анализ. Синтаксический анализ нужен постольку, поскольку он необходим для семантического.

5. Понятие как форма мышления. Объем и содержание понятий.

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

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

Объем понятия - совокупность всех объектов на которые распространяется данное понятие

6. Логическая характеристика понятий. Виды понятий по объему и содержанию.

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

По объему:

• Единичные Общие

• Нулевые

По содержанию: конкретные (обозначается сам объект) и абстрактные (обозначаются его признаки)

7. Соотношение понятий. Сравнимые и несравнимые. Совместимые и несовместимые понятия. Виды совместимости и несовместимости понятий.

Понятия делятся на сравнимые и несравнимые.

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

• Равнозначные (писатель Лермонтов, автор романа Герой нашего врем.)

• Перекрещивающиеся (учащийся педагогического колледжа, спортсмен)

• Подчиненные (цветок, чайная роза)

Несовместимые:

• Соподчиненные (береза, ель - дерево)

• Противоположные (большой дом, маленький дом)

• Противоречащий (большой дом, небольшой дом)

8. Логические операции с понятиями: обобщение и ограничение, анализ и синтез, абстрагирование, идеализация.

Обобщить понятие - перейти от понятия с меньшим объемом, но большим содержанием к понятию с большим объемом, но меньшим содержанием. Ограничение - наоборот

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

Синтез - лог прием, с помощью которого отдельные элементы соединяются в целое

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

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

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

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

Виды:

Реальное делится на явное и неявное

• Явное - раскрывает содержание понятия прямо

• Неявное - раскрывает содержание в контексте

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

Правила:

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

Определение не должно заключать в себе круга (Идеалист - человек идеалистических убеждений)

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

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

Виды:

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

2) По видоизменению признака деления

Правила:

Деление должно проводиться только по одному основанию

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

Деление понятия непрерывно

Члены деления должны исключать друг друга

11. Суждение как форма мышления. Суждение и предложение.

Суждение — это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком, отношения между предметами или факт существования предметов; суждение может быть либо истинным, либо ложным

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

Вопросительные и побудительные предложения суждений не выражают. От собственно вопросительных предложений следует отличать предложения вопросительно-риторические (риторические вопросы), содержащие утверждение или отрицание в форме вопроса.

Суждение состоит из субъекта(предмет суждения) и предиката(признак предмета)

12. Виды простых ассерторических суждений, их логическая характеристика.

Ассерторические - это суждения, в которых один субъект и один предикат. Простые суждения бывают трех видов[1]:

Суждения свойства (атрибутивные).

В них утверждается или отрицается принадлежность предмету известных свойств, состояний, видов деятельности.

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

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

Суждения существования (экзистенциальные). В них утверждается или отрицается существование предметов (материальных или идеальных) в действительности.

13. Деление суждений по количеству и качеству. Суждения типа а, е, I, о, их логическая характеристика.

Суждения в логике делятся с четырех точек зрения: 1) количества, 2) качества,

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

Формула общего суждения такова: все S суть P. Формула частного суждения – некоторые S суть P.

С точки зрения качества различают утвердительные суждения (S есть P) и отрицательные (S не есть P). В первом случае с помощью предиката мы придаем какое-либо свойство субъекту, во втором случае мы отнимаем некоторое свойство от субъекта.

Для общеутвердительного суждения – символ A (первая гласная слова affirmo, утверждаю), для частноутвердительных – символ I (вторая гласная слова affirmo), для общеотрицательных – символ E (первая гласная слова nego, отрицаю), для частноотрицательных – символ O (вторая гласная слова nego).

· A: все S суть P.

· I: некоторые S суть P.

· E: ни одно S не есть P.

· O: некоторые S не суть P.

14. Выделяющие и исключающие суждения, их логическая структура.

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

S и только S есть П

Выделяющие суждения могут быть единичными, частными и общими.

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

Все S за исключением S1 суть P

15. Правила распределенности терминов в атрибутивных суждениях

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

16. Модальные суждения. Виды модальности.

Модальные суждения — это суждения, в которых отражаются отношения и связь между субъектом и предикатом и показывается отношение к предмету с помощью модальных операторов.

Виды:

• Эпистемическая - модальность характеризует степень достоверности знания

• Аксиологическая - модальность выражает отношение человека к материальным и духовным ценностям

• Темпоральная - отражает характеристику времени

• Алетическая - суждения о возможности или необходимости чего-либо

• Деонтическая - распространяется только на нравственные и правовые нормы деятельности людей, выражается словами "запрещено", "разрешено"

17. Отношения между простыми суждениями. Правила логического квадрата.

Между двумя сравнимыми суждениями возможны следующие отношения:

• Подчинение AI

• Противоположность AE

• Частичная совместимость IO

• Противоречие AO

18. Сложные конъюнктивные и дизъюнктивные суждения, условия их истинности.

• Конъюктивные суждения - те, которые состоят из нескольких простых суждений, связанных логической связкой "и".

• Истинно, если обе части суждения истинны

• Дизъюнктивные - состоят из нескольких простых суждений, связанных логической связкой "или" Истинно, если одна из частей суждения истинна

19. Сложные суждения импликации, эквиваленции и суждения внешнего отри­цания, условия их истинности.

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

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

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

Эквиваленция истинна когда оба суждения истинны или оба ложны.

Сложное отрицательное суждение характеризуется так: если А истинно, то его отрицание ложно, и если А – ложно, то Ā – истинно.