Введение в логику и научный метод

Применим рассмотренные различия для того, чтобы выразить логическую форму некоторых сложных суждений. Рассмотрим следующий аргумент: если каждая отдельная расовая группа характеризуется индивидуальной культурой, то все нации отличаются друг от друга в культурном смысле или национальные различия не совпадают, полностью или частично, с расовыми. Однако истинным не является ни то, что различные нации обладают индивидуальными культурами, ни то, что национальные различия не совпадают с расовыми различиями. Следовательно, то, что каждая раса обладает индивидуальной культурой, ложно.

Используем буквы р, q, r для обозначения следующих простых суждений данного аргумента:

р ≡ каждая отдельная расовая группа характеризуется индивидуальной культурой;

q ≡ все нации отличаются друг от друга в культурном смысле;

r ≡ национальные различия не совпадают, полностью или частично, с расовыми.

Посылки и заключение данного аргумента можно представить следующим образом:

a.  p ⊃ ( q ∨ r )

b.  q ′ . r ′

c.  p ′

Суждения а, b и с отличаются друг от друга логической формой, и символьная запись помогает это отличие проявить. Обоснованность аргумента зависит от структуры или формы суждений а, b и с , поскольку заключение следует из посылок только если истинно: d. ( а . b ) ⊃ c

Читателю следует отметить, что можно провести важное различие между отношением антецедента условного суждения к его консеквенту (как в суждении а ), с одной стороны, и отношением между посылками обоснованного аргумента к заключению (как в суждении d ) – с другой. Для установления отношения антецедента к консеквенту нужно предоставить материальное (или фактическое) основание, тогда как для установления отношения между посылками и заключением такое основание неуместно и невозможно, поскольку такое отношение имеет место, только когда один из терминов этого отношения логически или аналитически содержится в другом. Однако у этих двух отношений есть и общая черта, заключающаяся в том, что ни то, ни другое не имеет места в случае истинности антецедента или посылки и ложности консеквента или заключения. Именно эта общая черта обозначается связкой «если… то» или знаком «⊃». Читателю при этом следует помнить, что две вещи, схожие в одном смысле, могут быть различными в другом, равно как и две вещи, отличные друг от друга в одном смысле, могут оказаться в чем-то другом схожими.

Простые суждения

Разложение сложных суждений на составляющие их суждения явным образом относится к логике. Однако разложение предложения на его словесные элементы является задачей грамматики. Логически суждения предшествуют словам в том смысле, что суждения не производятся путем объединения слов, тогда как значения слов являются производными только от контекста конкретного суждения. В конечном счете значение слова определяется элементарными суждениями такой формы, как суждения «это – трюфель», «это – пурпурный цвет» и т. п., где слово «это» может быть заменено на определенный указательный жест. Однако, несмотря на то что суждения не могут быть разложены на словесные составляющие, внимание к этим составляющим зачастую способствует логическому анализу или логической классификации суждений. Рассмотрим следующие суждения:

1. Архимед был скромным.

2. Архимед был математиком.

3. Архимед был более великим математиком, чем Евклид.

Согласно традиционному подходу, каждое из этих суждений является категорическим, а его составные элементы – это субъект, предикат и связка. Любое суждение, такое как «Архимед любил математику» или «Архимед бежал голым по улице и кричал «Эврика!»», может быть разложено и трансформировано: «Архимед был любящим математику» или «Архимед был бегущим голым по улице» и т. д. Можно задаваться вопросом о том, не изменяет ли такая трансформация значения суждения. Однако в любом случае суждения можно анализировать и иными способами, отличными от традиционного подхода. Так, используя в качестве модели суждение 2, можно рассматривать любое суждение как утверждающее, что некоторый объект является членом определенного класса. Тогда получится, что в суждении 1 утверждается, что Архимед был членом класса скромных сущностей, а в суждении 3 – что он был членом в классе математиков, более великих, чем Евклид. Данный способ анализа соотносится с классическим так же, как взгляд с точки зрения объема соотносится со взглядом с точки зрения содержания.

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