1. Формы рационального познания. Логика как наука. Основные понятия и проблемы.

2. Логика и язык. Логическая форма. Логические законы и теории.

3. Предложение, суждение, высказывание. Виды сложных высказываний, условия их истинности.

4. Классическая логика высказываний. Язык и табличное построение. Понятие закона логики высказываний.

5. Логические отношения между сложными высказываниями.

6. Отношение логического следования. Методы проверки правильности рассуждений (табличный и сокращенный).

7. Виды простых высказываний. Логическая форма и условия истинности простого атрибутивного высказывания.

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

9. Непосредственные умозаключения (обращение, превращение, противопоставление субъекту, предикату). Умозаключения по логическому квадрату.

10. Простой категорический силлогизм (состав, фигуры, модусы). Общие правила силлогизма.

11. Методы проверки простого категорического силлогизма. Алгоритм восстановления энтимемы в простой категорический силлогизм.

12. Понятие как форма рационального познания. Общая характеристика понятий. Закон обратного отношения между содержанием и объемом.

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

14. Отношения между понятиями по объему.

15. Операции ограничения, обобщения, деления. Виды и правила деления.

16. Определение. Виды и правила.

1.Формы рационального познания, логика как наука, основные понятия и проблемы.

Логика-это наука о мышлении. Логика изучает формы выражения мыслей и формы развития знания, особые приемы и методы познания, а так же особые законы мышления.

Логическая форма мысли - это ее структура, выявляемая в результате отвлечения от смыслов и значений нелогических терминов.

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

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

Объектом логики как науки является мышление человека.

Предметом логики являются логические формы, операции с ними и законы мышления.

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

Понятие - форма мышления, с помощью которой создаются мысленные образы о предметах, их свойствах и отношениях. Понятия - это имена объектов, событий. Например, "дом", "дерево", "человек". У каждого понятия, как правило, выделяют две основные характеристики - объем и содержание.

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

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

Суждение - следующая форма рационального познания, представляющая из себя связь понятий. В научном познании основную роль играют так называемые истинностные суждения, которые могут быть истинными или ложными. Например, такие суждения, как "Земля - третья планета Солнечной системы", "На Земле нет ни одного океана" - примеры истинностных суждений. Первое из них истинно, второе - ложное. В истинностных суждениях обычно выделяют три основных элемента:

1) (логический) субъект суждения - это то, о ком или о чем говорится в данном суждении. Его часто обозначают латинской буквой S.

2) предикат - то, что говорится в суждении о субъекте. Его обозначают латинской буквой Р.

3) связка "есть" - связка, соединяющая субъект и предикат, так что в целом логическую структуру суждения можно теперь изобразить в виде "S есть P"

Например, "дом - деревянный", "человек - умный" - примеры суждений с субъектами "дом", "человек" и предикатами "деревянный", "умный" соответственно. В русском языке связка "есть" обычно опускается, поэтому и в этих суждениях она явно не выражена, или выражена через тире.

Третья форма рационального познания – умозаключение. Умозаключение – это вывод нового знания на основе имеющихся суждений.

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