Полная версия

Главная arrow Логика arrow ЛОГИКА И ТЕОРИЯ АРГУМЕНТАЦИИ

  • Увеличить шрифт
  • Уменьшить шрифт


<<   СОДЕРЖАНИЕ ПОСМОТРЕТЬ ОРИГИНАЛ   >>

Табличный метод решения логических задач

Речь идет о достаточно простом и наглядном способе выражения рассуждения на основе классификации универсума рассуждения с помощью терминов, используемых при описании некоторой ситуации. Табличный метод решения логических задач был предложен венгерскими логиками Д. Бизамом и Я. Герцогом2. Согласно этому методу строятся таблицы (матрицы) всех возможных комбинаций терминов, фигурирующих в рассуждении, чтобы затем, на основе информации, содержащейся в условиях задачи, вычеркнуть невозможные комбинации. Остающиеся клетки — и есть итоговое заключение. Такая табличная форма в определенном смысле является продолжением и обобщением диаграмм Кэрролла. Фактически речь идет о диаграммах Кэрролла с использованием исключительно общеотрицательных суждений.

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

Пример

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

  • 1. Марков бывает в Москве только в отпуске, хотя все его родственники живут в Москве.
  • 2. Жена артиста — младшая сестра Маркова.
  • 3. У двух из них название профессии и города жительства начинается с той же буквы, что и фамилия.

Первый шаг — строим таблицу (матрица) всех возможных описаний состояния данного универсума рассуждения.

Марков

Михайлов

Антонов

меха

ник

агро

ном

артист

меха

ник

агро

ном

артист

меха

ник

агро

ном

артист

Москва

Мурманск

Архан

гельск

  • 1 См.: Тульчинский Г. Л. О логическом учении Льюиса Кэрролла // Философские науки. 1979. №3. С. 102-103.
  • 2 Визам Д., Герцог Я. Игра и логика. М., 1975.

Второй шаг — вносим в таблицу информацию из посылки 1, согласно которой Марков нс может жить в Москве.

Марков

Михайлов

Антонов

механик

агроном

артист

механик

агроном

артист

механик

агроном

артист

Москва

XXX

XXX

XXX

Мурманск

Архангельск

Третий шаг — вносим в таблицу информацию из посылки 2: Марков не артист, а артист живет в Москве.

Марков

Михайлов

Антонов

механик

агроном

артист

механик

агроном

артист

механик

агроном

артист

Москва

XXX

XXX

XXX

XXX

XXX

XXX

XXX

Мурманск

XXX

Архангельск

XXX

Четвертый шаг: вносим в таблицу информацию из посылки 3.

Марков

Михайлов

Антонов

механик

агроном

артист

механик

агроном

артист

механик

агроном

артист

Москва

XXX

XXX

XXX

XXX

XXX

XXX

XXX

XXX

Мурманск

XXX

XXX

XXX

XXX

XXX

XXX

XXX

XXX

Архангельск

XXX

XXX

XXX

XXX

XXX

XXX

XXX

XXX

Таким образом, следует, что Марков — механик, живущий в Мурманске, Михайлов — артист, живущий в Москве, Аптонов — агроном из Архангельска.

Техника рассуждения напоминает суть метода Шерлока Холмса: рассматривать все возможное, а потом отбрасывать невозможное в силу фактов — то, что остается, и есть истина. Также это напоминает ответ О. Родена на вопрос, как он получает свои великолепные скульптуры: «Я просто отсекаю от куска мрамора все лишнее».

 
<<   СОДЕРЖАНИЕ ПОСМОТРЕТЬ ОРИГИНАЛ   >>