Задать вопрос юристу

3. ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ

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

462

Логика и эпистемология

за ним силлогизме).

Устанавливая, что силлогизмы строятся в соответствии с модусами, можно сделать вывод о валидности обсуждаемого умозаключения. Но эта система неудачна, она лишь содержит логическую проверку какого-то высказывания, а не открывает новых истин. Логическое исчисление претендует на большее, так как оно предоставляет возможность комбинировать любые высказывания, чтобы получать полные логические заключения. Использование символов, с помощью которых оперируют с высказываниями, подобно тому, как это делают с числами, используя знаки «+», «х» и т.д., в алгебре логическое исчисление приобретает автоматический характер. Различают исчисление высказываний, или пропозициональное исчисление, и исчисление классов, называемое также исчислением предикатов.
<< | >>
Источник: Каратини Р. Введение в философию. — М.: Изд-во Эксмо, 2003. — 736 с. 2003

Еще по теме 3. ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ:

  1. Логический анализ
  2. 4. Логические и нелогические действия
  3. Пропозициональное исчисление
  4. Глава 5 ЛОГИЧЕСКИЙ АНАЛИЗ ТЕКСТА
  5. 1.3.Логический анализ основных понятий
  6. От исчисления себестоимости к контролю результата
  7. Исчисление среднего заработка
  8. § 5. Исчисление средней заработной платы
  9. 1 А Логические основы системного подхода
  10. 3.2.5. Задача «Определение логической последовательности выполнения функций»
  11. ДОН КИХОТ (интутивно-логический экстраверт)
  12. Б. Этические экстраверты и логические интроверты