Логіка - Дуцяк І.3.

У підручнику оригінально і доступно викладено основні знання з логіки. Лекції закінчено питаннями та вправами для самоконтролю. До всіх вправ уміщено відповіді, а до половини - детальні роз'яснення щодо їх розв'язання. Пошук інформації полегшено системою маркерів та покажчиком. Матеріал кожної з лекцій доповнено інформацією для тих, хто прагне поглибити знання шляхом самостійного вивчення. У разі збільшення обсягу курсу додатковий матеріал можна використовувати як лекції. Цікавим є електронний додаток з програмним продуктом і 73 повнотекстовими виданнями з логіки.

Призначено для студентів, аспірантів та викладачів вищих навчальних закладів, водночас може бути корисним для самоосвіти.

ПЕРЕДМОВА

Роль та значення логіки у підготовці фахівця

Місце логіки серед інших дисциплін

Головні завдання, що стоять перед студентом у процесі вивчення логіки

Вступ. Загальні знання про логіку

• Історія логіки
  • Виникнення логіки
  • Розвиток логіки
• Предмет і статус логіки
• Формалізація - метод логіки

Розділ 1. Логічний аналіз тверджень

Тема 1. Логічний аналіз складних тверджень

• ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях
  • 1.1. Прості та складні твердження
  • 1.2. Зміст логічних термінів
• ЛЕКЦІЯ 2. Виявлення несумісності знань
  • 2.1. Види несумісності знань
  • 2.2. Суперечність між твердженнями тексту
    • Інструменти. Алгоритм виявлення суперечності у послідовності пов'язаних тверджень
  • 2.3. Суперечливі складні твердження
    • Інструменти. Алгоритм виявлення суперечності у послідовності пов'язаних тверджень
  • 2.4. Закони логіки
• ЛЕКЦІЯ 3. Виведення знань
  • 3.1. Виведення знань та його види. Алгоритм виявлення правил виведення
    • Інструменти. Алгоритм виявлення можливості формулювання правила виведення (у разі, якщо одне твердження просте, а інше - складне)
    • Інструменти. Алгоритм виявлення можливості формулювання правила виведення (у разі, якщо засновки довільної складності)
  • 3.2. Найпростіші правила виведення
    • 1. Правило для диз'юнкції
    • 2. Правило для антикон'юнкції
    • 3. Правило для сильної диз'юнкції
    • 4. Правило для імплікації
    • 5. Правило для реплікації
    • 6. Правило для еквіваленції
    • Правило транзитивності імплікації
    • Правило контрапозиції
  • 3.3. Відношення логічного випливання та правила виведення

Тема 2. Логічний аналіз простих тверджень

• ЛЕКЦІЯ 4. Елементи та структура простих тверджень
  • 4.1. Імена. їхні види та властивості
  • 4.2. Відношення між іменами за обсягом (логічні терміни у простому твердженні)
    • Інструменти. Алгоритм визначення відношення між обсягами імен 4 (відношення між множинами)
  • 4.3. Структура простих тверджень
• ЛЕКЦІЯ 5. Види простих тверджень. Безпосередні виводи
  • 5.1. Види простих тверджень
  • 5.2. Безпосередні виводи
    • Інструменти. Алгоритм виявлення висновку в разі одного засновку шляхом побудови діаграми Ейлера:
    • Інструменти. Алгоритм формулювання правила виводу
• ЛЕКЦІЯ 6. Опосередковані виводи. Силогізми
  • 6.1. Силогістичні виводи на підставі традиційної силогістики
  • 6.2. Графічні методи виявлення правильності силогізмів
    • Інструменти. Алгоритм виявлення правильності силогізму:
    • Інструменти. Алгоритм виявлення правильності силогізму методом Джона Венна
  • 6.3. Табличний метод виконання силогістичних виводів
  • 6.4. Загальні умови істинності висновків

Тема 3. Логічний аналіз систематизації

• ЛЕКЦІЯ 7. Методи систематизації
  • 7.1. Загальні уявлення про систематизацію
  • 7.2. Класифікування як формування ієрархії відношень обсягів імен
  • 7.3. Створення класифікаторів

Тема 4. Імовірнісні твердження

• ЛЕКЦІЯ 8. Методи формування припущень
  • 8.1. Припущення як вид тверджень. Види припущень
  • 8.2. Припущення як множина дедуктивних висновків
  • 8.3. Методи формування недедуктивних припущень
    • 8.3.1. Метод перенесення
    • 8.3.2. Метод аналогії (подібності)
    • 8.3.3. Метод абдукції
    • 8.3.4. Методи індукції
    • 8.3.5. Комбіновані методи формування припущень

Розділ 2. Логічний аналіз означень і спонукань

• ЛЕКЦІЯ 9. Означення і спонукання як види завершеної думки
  • 9.1. Логіка означень
  • 9.2. Логічний аналіз спонукань
    • 9.2.1. Логіка норм. Види і структура норм. Правила міркувань у логіці норм
    • 9.2.2. Логіка питань