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