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

Формирование системы категорий для анализа социальных и культурных систем. Аналитический подход формирования систем категорий Аристотеля и Канта. Логические процедуры применения экзегетического, аксиоматического, эмпирического и поэтического подходов.

Общие черты бинарных оппозиций и логических структур. Описание на примере теории значения Г. Фреге и теории игры Й. Хейзинга бинарности логических структур, в том числе и в игровом пространстве. Оценка сходства логических структур и игровых оппозиций.

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

Алгоритм подбора перекрещивающихся, противоречащих и подчиненных понятий. Определение логических отношений между высказываниями, их выражение при помощи кругов Эйлера. Составление символической записи сложных суждений. Виды демонстративных умозаключений.

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

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

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

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

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

Три ступени в развитии познающей силы в философской системе Гегеля. Формальные принципы и составлющие рекурсивной триадичности: логика, философия природы, философия духа. Бытие как первоисточник гегелевской диалектики. Значение метода в философии Гегеля.

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

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

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

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

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

Отношения между простыми суждениями по "логическому квадрату": отношения противоречия, подчинения, противоположности и подпротивоположности. Распределенность терминов в простых суждениях. Дедуктивные и индуктивные умозаключения, основные законы логики.

Рассмотрение понятия "логика" как науки о формах и законах мышления. Значение трудов выдающегося древнегреческого мыслителя Аристотеля. Характеристика аналогии, дедуктивных и индуктивных умозаключений. Изучение методов полной и неполной индукции.

Условный и разделительный силлогизм. Умозаключения по аналогии от известного к новому знанию. Виды и условия состоятельности выводов по аналогии. Социально-политическое исследование логической структуры умозаключения. Аналогии в правовой деятельности.

Аль-Кинди как родоначальник арабоязычного перипатетизма. Исследование и трактование философского наследия Аристотеля. Простые и сложные атрибуты субстанций. Приоритет онтологического содержания философии. Диалектическая логика философии Аль-Кинди.

Логика и логическая культура. Зарождение логической проблематики в древней Греции. Логичекая система Аристотеля и ее научная база. Учения о понятии, предложении и доказательстве. Аксиомы, предположения, постулаты. Теория силлогизма. Законы мышления.

Співвідношення між словом, словосполученням та поняттям. Матриця подвійної імплікації як логічна операція, суть мистецтва критики аргументів спростування. Отношения между суждениями регулируемые формально – логическим законом исключенного третьего.

"Логіка Пор-Рояля" одна з найвідоміших праць у сфері логіки й філософії. Написана під впливом янсенізму та картезіанства у XVII ст., вона стала однією з перших, які відійшли від класичного викладу логіки. Погляди німецького філософа та логіка Зігварта.

Розвиток теоретичного наукового знання у вітчизняному освітньому просторі. Швидкий розвиток економіки, централізація і налагодження міжнародних контактів. Розвиток експериментальної дослідної науки. Філософська освіта у Києво-Могилянській академії.

Уявлення про формалізовану мову. Принципи відношення іменування. Логічні операції з обсягами понять. Загальна характеристика основних законів логіки. Види індуктивних умовиводів. Правила та можливі помилки в ситуаціях аргументацій і спростувань.

Особливості наукового доробку українських логіків досліджуваного періоду та класифікація основних напрямів у вітчизняній науці. Аналіз і оцінка місця та ролі математичної логіки в науково-педагогічному доробку українських вчених. Специфіка психологізму.

Виявлення особливостей наукового доробку українських логіків другої половини ХІХ - початку ХХ століття. Аналіз визначення логіки як науки та форм мислення (поняття, судження, умовивід) в концепціях українських науковців. Класифікація історії логіки.

Заперечення просторово-часового детермінізму, традицій, авторитетів та канонів - одна з характерних особливостей філософського дискурсу М. Бердяєва. Криза європейського раціоналізму як причина перекручування сутності раціонального способу пізнання.

Соціокультурний зміст постановки В.І. Вернадським проблем методології науки. Перебільшення наївно-реалістичного витлумачення природи емпіричних та індуктивних засобів наукового пізнання як один з характерних поглядів цього вченого в галузі логіки.

Основоположна характеристика сучасних розробок аргументативної проблематики в межах аргументаційної семантики. Головна особливість врахування аргументативної складової риторичних фігур в алгоритмах щодо добування аргументів з текстів природної мови.