ГРУЗДЕВ Г.В. ОСНОВЫ ФОРМАЛЬНОЙ ЛОГИКИ: учебно-методическое пособие для студентов вечернего и заочного отделения. Москва 2000 г.
     Содержание.
    ВВЕДЕНИЕ. 1. Логика как наука о мышлении. 2. Законы формальной логики. 3. Понятие как форма мышления 4. Логические операции с понятиями. 5. Суждения, их виды и отношения между ними. 6. Умозаключение: сущность и структура. 7. Индуктивные и традуктивные умозаключения. 8. Аргументация и доказательство.
    ЗАКЛЮЧЕНИЕ. ВВЕДЕНИЕ Данное учебно-методическое пособие призвано помочь студентам научиться применять в мышлении различные логические операции, научиться мыслить логически правильно и избегать запутанности аргументов. Студенту важно уметь применять знание логики в нестандартных ситуациях реальной жизни и выборе правильных решений. 1. ЛОГИКА КАК НАУКА О МЫШЛЕНИИ
     Язык это знаковая система или средство выражения человеческой мысли. Естественный язык это основа речи и средство общения людей. Искусственный язык более формализован и однозначен, используется в различных науках.
    Семиотика как общая теория знаков и знаковых систем изучает принципы построения различных языков. Семиотическими категориями логики являются: знаки, как материальные предметы и явления, представляющие другие предметы и служащие для приобретения, хранения, переработки и передачи информации.
    Неязыковые знаки это показатели, символы и сигналы. Языковые или описательные термины используются в целях общения и обозначения имени и значения предмета. Имя это языковое выражение для обозначения предмета. Имя предмета может быть простым (туризм, рынок), сложным (денежная система), собственным (ЗАО "Мостуризм"), общим (туристическая компания).
    Каждое имя имеет значение - денотат и смысл имени - концепт. Термином называется слово или словосочетание, которое точно обозначает определенный предмет. Значение имени это обозначаемый данным именем предмет (менеджер, турист). Смысл имени это способ обозначения имени предмета, более точная фиксация его содержания. Денотату туризм соответствует концепт: путешествие с целью отдыха. Предложения это грамматически целостные единицы человеческой речи и оболочки логических суждений. Они несут определенную информацию.
    В формальной логике семиотической категорией является суждение (высказывание) - повествовательное предложение. Предложение высказывает мысль по своему логическому значению истинную или ложную.
    Для выявления предмета логики важную роль приобретает формализованное мышление, в рамках которого у изучаемых объектов выявляются устойчивые свойства и отношения. Формализация реализуется в естественных и искусственных языках. Использование арифметических знаков и языков программирования привело к возникновению символической или математической логики, в рамках которой формальный анализ с опорой на математические методы стал основой решения сложных экономических и технологических задач. Их решение требует: - содержательных способов рассуждений на естественном языке; - выявление наиболее общих свойств и отношений между предметами и явлениями; - фиксации свойств и характеристик самих мыслей и отношении между ними.
    Отношения между мыслями также изучаются логикой и выражаются логическими терминами: суть (есть, являются); все (каждый, ни один); некоторые (если......., то...; и; или) и т.д. ............