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

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

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

Заключение

м являются остающиеся описания.

Пример

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

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

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

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

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

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

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

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

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