Сложные силлогизмы

Содержание

1. Общая характеристика сложных силлогизмов.
2. Понятие энтимемы. Методика восстановления энтимемы до полного силлогизма.
3. Эпихейрема.

Общая характеристика сложных силлогизмов.

Основными условиями истинности вывода являются истинность посылок и соблюдение правил или аксиомы силлогизма. Нарушение правил силлогизма при достоверных посылках тоже не ведет к истине.

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

а) Правила терминов.

1. В  каждом силлогизме должно быть  только три термина - больший, меньший  и средний.

2. Средний  термин должен быть распределен, т.е. взят в полном объеме, хотя  бы в одной из посылок.

3. Термин, не распределенный в посылках, не может быть распределен  в заключении.

б) Правила посылок.

4. Из  двух частных посылок невозможно  сделать вывод.

5. Если  одна посылка частная, то вывод  будет частный.

6. Из  двух отрицательных посылок нельзя  сделать вывод.

7. Если  одна посылка отрицательная, то  вывод будет отрицательный.

Факт неправильности силлогизма можно также обнаружить посредством установления, что какие-то правила фигур силлогизмов не соблюдены.

Фигуры силлогизмов - это типы силлогизмов, выделяемые на основе способов расположения терминов в посылках. Силлогизмы различаются положением среднего термина в суждениях-посылках: он может стоять на месте субъекта или на месте предиката.

В зависимости от положения среднего термина различают четыре фигуры силлогизма:

1-я  фигура - средний термин может  стоять на месте субъекта в  большей посылке и предиката - в меньшей;

2-я  фигура- он может быть предикатом  в обеих посылках;

3-я  фигура - средний термин может  оказаться субъектом в обеих  посылках;

В повседневной речи нередко употребляются силлогизмы не в развернутом виде, а сокращенно, когда опускают одну из посылок или заключение. Такой сокращенный силлогизм, в котором опущена одна из составных частей, называется энтименой. Чаще всего опускается большая посылка, как наиболее легко подразумеваемая и высказываются только меньшая посылка и заключение. Иногда опускается меньшая посылка, а приводятся большая и заключение. Например: “Петров - юрист, потому что он знает законы”. Очевидно, что суждение “Петров - юрист” - заключение, т.к. второе суждение “Он знает законы” - служит обоснованием первого. Значит меньший термин силлогизма - Петров, больший - юрист. Второе суждение является меньшей посылкой, т.к. в не входит меньший термин “Петров” (“Он”), а термин “человек, знающий законы” (“знает законы”) - средний термин. Следовательно, данный пример - энтимена с пропущенной большей посылкой. Составим силлогизм полностью.

Все юристы знают законы Петров знает законы Следовательно, Петров - юрист 

P  -   M      P  -   M

S  -   М      S  -   М

Этот силлогизм построен по второй фигуре с двумя утвердительными посылками, что не соответствует правилу этой фигуры, согласно которой одна из посылок должна быть отрицательной. Нарушение произошло потому, что нарушено правило тезиса - средний термин оказался нераспределенным ни в одной из посылок. Следовательно, приведенное в эпихейреме рассуждение является логически неправильным.

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

Общая формула полисиллогизма:

М - Р

С - М

С - Р

S - С

S - Р

Пример:  Все люди сильной воли не боятся трудностей Все смелые люди обладают сильной волей Все смелые люди не боятся трудностей Все профессионалы - смелые люди Все профессионалы не боятся трудностей.

Полисиллогизмы бывают двух видов: прогрессивный и регрессивный. В прогрессивном полисиллогизме заключение становится большей посылкой, а в регрессивном - меньшей посылкой.

Рассмотренный нами пример - прогрессивный полисиллогизм.

Особый вид сложного силлогизма - сорит

Сорит - полисиллогизм, в котором опущены промежуточные заключения и большие или меньшие посылки.

Общая формула сорита:  S -В

В - С

С - Р

следовательно, S -Р

Пример: Борьба за независимость - справедливая борьба; справедливая борьба ставит возвышенные цели; возвышенные цели вызывают самоотверженность масс; самоотверженность масс порождает массовый героизм Следовательно, борьба за независимость порождает массовый героизм

Эпихейрема - сложносокращенный силлогизм, в котором посылками служат этимены.

В составе каждой эпихейремы можно выделить три силлогизма: два посылочных и один составленный из заключений посылочных силлогизмов. Последний силлогизм лежит в основе окончательного вывода.

Пример: Некоторые умышленные преступления особо опасны;т.к. они связаны с посягательством на жизнь граждан.Вооруженный грабеж - умышленное преступление,т.к. вооруженный грабеж совершается преднамеренно.Следовательно, вооруженный грабеж - особо опасное преступление.

Чтобы проверить правильность выводов в эпихейреме, нужно проверить правильность всех трех силлогизмов.

В эпихейреме находят основание не только вывод, но и каждая посылка. Таким образом, эпихейрема сближает умозаключение с доказательством.

Понятие энтимемы. Методика восстановления энтимемы до полного силлогизма.

В процессе рассуждения мы не всегда употребляем силлогизмы в полном, развёрнутом виде. Иногда формулируются только большая посылка и заключение силлогизма, а меньшая посылка лишь подразумевается. В других случаях явно не выражена большая посылка и формулируются лишь меньшая посылка и заключение. Нередко бывает и так, что даются лишь посылки, вывод из которых предоставляется сделать самому собеседнику или читателю. При этом подразумевается, что вывод возможен по правилам силлогизма.

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

Сокращёнными (энтимематическими) могут быть и умозаключения логики суждений. Там также могут быть пропущены посылки или заключение. Поэтому возможно и более общее определение энтимемы:

Энтимема – это умозаключение, в котором пропущена одна из посылок или заключение.

Смысл этого названия (от греч. ẻν θυμφ – в уме) заключается в том, что какая-то часть силлогизма не выражается явно, а произносится как бы в уме.

Возможность сокращённого выражения умозаключений обусловлена тем, что если даны две какие-то части силлогизма, то всегда возможно логическим способом точно установить пропущенную часть.

В дискуссиях и спорах, когда собеседник выражает свою мысль в виде сокращённого силлогизма, необходимо всегда точно осознавать, какое именно суждение не выражено, а только подразумевается в данном рассуждении. Иначе невозможно полностью понять это рассуждение и опровергнуть, если оно неправильно. Нередко люди исходят в своих рассуждениях из ложных или сомнительных положений, но не выражают их явно, пользуясь сокращенными формами умозаключений. Чтобы найти ошибку в таком рассуждении и опровергнуть его, надо установить то, что в нём предполагается, но не выражается явно.

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

1) определение пропущенного элемента силлогизма (посылки или заключения). Если в энтимеме встречаются выражения, обозначающие логическую связь («следовательно», «потому что», «так как» и т.п.), это означает, что в энтимеме имеется заключение. Если же этих слов нет, то, скорее всего, пропущено заключение;

2) определение терминов силлогизма (меньшего, большего и среднего);

3) определение вида пропущенной посылки (если пропущена именно посылка) – большая или меньшая;

4) определение фигуры и модуса силлогизма;

5) формулировка силлогизма в полной форме.

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

Пример. Восстановим силлогизм из энтимемы «Данный силлогизм имеет три термина, и поэтому он правильный».

В этой энтимеме есть слово, обозначающее логическую связь («поэтому»), значит, в ней есть заключение. Заключением является суждение, следующее за словом «поэтому»: «Он правильный». Оставшееся суждение – «Данный силлогизм имеет три термина» – одна из посылок. Нужно восстановить вторую, недостающую посылку.

Определяем субъект и предикат заключения, формулируя его в логической форме и учитывая, что в нем идет речь о «данном силлогизме» и под местоимением «он» подразумевается «данный силлогизм»:

Данный силлогизм (S) есть правильный силлогизм (Р).

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

Данный силлогизм (S) есть силлогизм, имеющий три термина (М).

Данный силлогизм (S) есть правильный силлогизм (Р).

Восстанавливаем большую посылку. Большая посылка всегда содержит больший термин (Р) и средний термин (М). Однако они могут располагаться в разной последовательности: Р-М либо М-Р. Чтобы определить последовательность терминов, а также вид посылки (общеутвердительная, общеотрицательная, частноутвердительная или частноотрицательная), определяем фигуру и модус силлогизма. При этом учитываем, что восстановленный силлогизм должен быть правильным.

В меньшей посылке термины расположены в порядке S-М. Такое расположение терминов в меньшей посылке возможно либо в первой, либо во второй фигуре (в третьей и четвертой термины расположены в обратном порядке – М-S). Значит, силлогизм будет иметь либо первую, либо вторую фигуру.

Теперь находим модус силлогизма. Так как меньшая посылка и заключение - общеутвердительные  суждения (А), модус будет оканчиваться на …АА. Смотрим, для какой из предварительно выбранных фигур (первой или второй) имеется правильный модус, оканчивающийся на …АА. Такой модус есть в первой фигуре, и это модус ААА.

Искомая большая посылка является общеутвердительным суждением (А), а термины в ней должны следовать в порядке М-Р, так как именно таким образом они расположены в большей посылке в первой фигуре. Получаем следующий силлогизм:

Все силлогизмы, имеющие три термина (М), есть правильные силлогизмы (Р).

Данный силлогизм (S) есть силлогизм, имеющий три термина (М).

Данный силлогизм (S) есть правильный силлогизм (Р).

Полученная посылка не является истинным суждением, потому что количество терминов, как нам уже известно, - не единственное условие правильности силлогизма. Следовательно, и заключение энтимемы о правильности «данного силлогизма» оказывается необоснованным.

Надо сказать, что сам по себе силлогизм в чистом виде практически не встречается в рассуждениях. Но зато широко распространены его сокращенные формы, так называемые энтимемы. В переводе с греческого это слово означает "в уме", "в мыслях", потому что в ней остается невыраженной, остается в мыслях часть всего рассуждения, то есть одна из посылок или заключение не высказываются прямо, а лишь подразумеваются. Так, приводившиеся выше силлогистические умозаключения в действительности вряд ли кто станет излагать в полной форме. Скажем, вывод о фаянсовой и глазурованной посуде на практике мог бы обосновываться, например, так: "Поскольку фаянсовая посуда покрывается глазурью, то поэтому данная чашка - не фаянсовая". Или: "Данная чашка - не фаянсовая, потому что она не покрыта глазурью". Примером энтимемы с пропущенным выводом может быть следующее умозаключение: "Планета не может иметь гиперболическую орбиту, а Меркурий - планета". Каждый легко догадается, что этим желают сказать: "Меркурий не может иметь гиперболическую орбиту", - хотя прямо это не было выражено.

Так как в энтимемах воспроизводится лишь часть силлогизма, то поэтому в них только два суждения, но, заметим, одно из понятий повторяется в обоих, так что терминов все равно три, как это и должно быть в силлогизме. Именно в такой сокращенной форме чаще всего приходится сталкиваться с данным чрезвычайно распространенным видом умозаключения.

Когда нам надо проверить обоснованность и последовательность рассуждений, построенных в форме энтимемы, то надо восстанавливать их невысказанные составные части. В некоторых случаях такое восстановление очень просто, но часто возникают и трудности, особенно когда невысказанной осталась одна из посылок.

Энтимема с опущенным заключением. Начнем с сокращенного силлогизма, в котором выраженное в явной форме заключение отсутствует. В таких рассуждениях не бывает слов "следовательно", "так как" и т.п., потому что они высказывают две независимые друг от друга посылки. Их логическая связь открывается лишь после восстановления силлогизма. Имея такие рассуждения, надо разбить их на две посылки (каждая со своим субъектом и предикатом), отметить, есть ли там один повторяющийся термин (иначе их будет четыре, а не три), определить их количественно-качественную характеристику и решить, используя правила силлогизма, вытекает ли из них тот или иной вывод или не вытекает. Сравнительно просто пользоваться правилами относительно числа терминов, количественных и качественных параметров суждений, составляющих посылки (это почти все правила за исключением 2 и 3). Правила же, касающиеся распределенности терминов, требуют более серьезной подготовки и предполагают основательное изучение этого свойства в разделе "Суждение".

Допустим, перед нами такое высказывание: "Некоторые картины художников - пейзажи, а все пейзажи изображают природу". Вывода в этих словах нет, поэтому данные предложения могут быть только посылками, в которых повторяющийся дважды термин "пейзаж" играет роль среднего термина, связывающего понятия "картины художников" и "изображение природы". Затем не так уж сложно понять, что выводом отсюда будет либо: "Некоторые картины художников изображают природу" либо: "Некоторые изображения природы - картины художников". Можно при желании проверить это или с помощью круговых схем или, составив из таких предложений полный силлогизм (в данном случае их может быть два варианта), записать их в символической форме и проверить по таблице силлогизмов, есть там такие или нет.

Возьмем еще такой пример: "Некоторые из договоров об аренде помещения были расторгнуты, а данный контракт является договором об аренде помещения". Здесь через средний термин "договор об аренде помещения" оказываются связанными понятия "данный контракт" и "расторгнутое". Можно предположить, что отсюда следует: "Данный контракт расторгнут". Но если мы начнем проверять по порядку все правила силлогизма, то увидим, что средний термин не является распределенным ни в той, ни в другой посылках (не выполняется правило 2).

Энтимема с опущенной посылкой. При рассмотрении этих видов сокращенных силлогизмов лучше начать с простых примеров и затем постепенно усложнять. Так, с энтимемой "Я - литератор, следовательно, я тощ и легковесен" (Чехов) разберется каждый, даже если он не знает логики, и сумеет понять, что вывод предполагает невысказанную посылку "Все литераторы тощи и легковесны". Так что весь силлогизм выглядит следующим образом:

(1) Все литераторы тощи и легковесны.

(2) Я - литератор.

(3) Я тощ и легковесен.

Не так уж сложно разобраться и с таким утверждением, как "Собака не может лазать по портьерам, Ватсон, следовательно, это не собака" (Ш. Холмс). Но все-таки для точности лучше воспользоваться теорией силлогизма. Проделаем это в качестве примера. Сначала надо отделить посылку (она здесь только одна, другая лишь подразумевается) от заключения. Очевидно, что вывод идет после слова "следовательно". Запишем пока только его на том месте, на котором он должен быть в силлогизме:

(1)

(2)

(3) Это животное (S) - не собака (P). S e P

Отсюда мы видим, что меньшим термином (S) является "Это животное", а большим (P) - "Собака". Значит оставшаяся часть мысли ("Собака не может лазать по портьерам") представляет собой большую посылку, так как из двух крайних терминов там упоминается больший. А поскольку каждая посылка связывает один из крайних терминов со средним (M), то заодно мы узнаем, что в нашем случае средний термин означает все, что способно лазать по портьерам. Мы можем теперь продвинуться еще дальше в восстановлении силлогизма.

(1) Собака (P) не может лазать по  портьерам (M). P e M

(2)

(3) Это животное (S) - не собака (P). S e P

После этого можно приступить к восстановлению невысказанной прямо меньшей посылки. Она должна связывать, с одной стороны, "Это животное", с другой - "Все, что может лазать по портьерам". Причем в принципе возможны как утвердительные суждения, так и отрицательные и, кроме того, субъектом и предикатом каждого из этих суждений могут быть и первое, и второе понятия.

Но так как в правильном силлогизме не может быть двух отрицательных посылок, то меньшая должна быть утвердительной (ведь одна отрицательная уже есть). Можно также исключить и все варианты частных посылок, поскольку, согласно правилам силлогизма, при наличии хотя бы одной частной посылки заключение тоже выражается частным суждением. У нас же оно общее. Остается лишь два варианта: S a M и M a S. Так как S a M означает общеутвердительное суждение, в котором предмету S (у нас это - "данное животное") приписывается свойство P (в нашем случае - "способность лазать по портьерам"), то для первого из этих вариантов весь силлогизм запишется в следующем виде:

(1) Собака (P) не может лазать по  портьерам (M). P e M

(2) Данное животное (S) может лазать  по портьерам (M). S a M

(3) Данное животное (S) - не собака (P). S e P

Это один из модусов второй фигуры.

Правда, меньшая посылка могла бы быть и такой: "То, что способно лазать по портьерам, - данное животное" (вариант M a S). Эта неуклюжая фраза в принципе вполне допустима в логике. Но если мы попытаемся образовать с ней силлогизм, то в этом случае образуется четвертая фигура:

(1) Собака (P) не может лазать по  портьерам (M). P e M

(2) То, что способно лазать по  портьерам (M),

- данное  животное (S). M a S

(3) Данное животное (S) - не собака (P). S e P

Однако в списке вариантов четвертой фигуры такого модуса нет, стало быть, из таких посылок данный вывод не следует. Можно обратить внимание на то, что в этом неверно восстановленном силлогизме нарушается правило 3, так как термин S оказывается распределенным в заключении, хотя в посылке он, являясь предикатом общеутвердительного суждения, не распределен.

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

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

В процессе восстановления может открыться, что умозаключение построено на ложных посылках. Таким, например, является высказывание "Этот поступок не осуждается общественностью, потому что он не является противоправным". В самом деле, эта мысль состоит из двух суждений. Первое - "Этот поступок не осуждается общественностью", которое, очевидно, является заключением; его символическая запись - S e P. Второе - "Этот поступок не является противоправным" (S e M), представляет собой аргумент, с помощью которого подкрепляется сделанный вывод. В таблице модусов такое сочетание заключения и меньшей посылки встречается во второй фигуре и ему соответствует большая посылка: P a M. Так как в понятие P у нас входит то, что осуждается общественностью, а под M имеется в виду противоправное, то значит, невысказанная посылка должна звучать так: "Все осуждаемое общественностью является противоправным".

Следовательно, данное рассуждение представляет собой такой силлогизм:

(1) Осуждаемое общественностью (P) - противоправно (M) P a M

(2) Этот поступок (S) не является противоправным (M) S e M

(3) Этот поступок (S) не осуждается  общественностью (P) S e P

Отсюда видно, что все это рассуждение начинается с ложной мысли, потому что на самом деле далеко не все, что осуждается общественностью, является противоправным.

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

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

"Некоторые  фаланги относятся к псаммофилам". Далее, понятие "фаланга" - S, "относящееся  к псаммофилам" - P. Первая же  часть высказывания представляет  собой большую посылку.

(1) Некоторые сольпуги (M) относятся  к псаммофилам (P). M i P

(2) .......

(3) Некоторые фаланги (S) относятся к  псаммофилам (P). S i P

Пропущена меньшая посылка, связывающая S и M. С помощью таблицы находим, что такое сочетание имеется в третьей фигуре (второй модус). Меньшая посылка в ней - M a S. Значит, пропущена посылка "Сольпуги есть фаланги". И действительно, фаланги и сольпуги - это названия известной разновидности пауков, обитающих чаще всего в песках. Животных, приспособленных к существованию в песчаной местности, в зоологии называют псаммофилами, а сами песчаные породы - псаммитами.

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

Первый: Часть экспортируемых из этого региона товаров не приносит доход стране, так как вся продукция, которая получает дотации, входит в число товаров, вывозимых отсюда.

Второй: По-твоему, ни один экспортируемый с доходом для страны товар не получает дотации?

Первый: Нет, я этого не говорил.

Второй: Прямо ты, конечно, этого не говорил, но ведь с логической точки зрения это как будто совершенно необходимо для твоего утверждения.

Первый: Вовсе нет. Для этого достаточно лишь признать, что большинство дотируемой продукции не приносит доход стране при экспорте.

Второй: Понимаю: они не приносят в большинстве случаев доход стране-экспортеру, потому что дотируемая продукция, как правило, имеет стоимость ниже, чем себестоимость.

Чтобы разобраться во всем этом, надо восстановить до полного силлогизма мысль Первого, высказанную им с самого начала диалога, и посмотреть, какая предпосылка там на самом деле должна быть. Сначала заменим слова "часть", "большинство", "как правило" на "некоторые", чтобы придать суждениям стандартный вид, и запишем энтимему:

(1)

(2) Все дотируемые товары (M) являются

экспортируемыми из этого региона (S). M a S

(3) Некоторые экспортируемые из  этого региона товары (S)

не приносят доход стране (P). S o P

Затем, как и в предыдущих примерах, начинаем искать в таблице модусов восстановленное нами сочетание строк: M a S и S o P. Однако в таблице такая комбинация маленькой посылки и заключения встречается три раза, в третьей и четвертой фигурах. Им соответствуют три возможных больших посылки: M e P, M o P, P e M. Любая из них при добавлении к уже выписанной нами до этого маленькой посылке обеспечивает тот вывод, который звучит в анализируемом нами высказывании.

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

(1) Ни один дотируемый товар (M)

не приносит доход стране при экспорте (P). M e P

(2) Все дотируемые товары (M) являются

экспортируемыми из этого региона (S). M a S

(3) Некоторые экспортируемые из  этого региона товары (S)

не приносят доход стране (P). S o P

(1) Некоторые дотируемые товары (M)

не приносят доход стране при экспорте (P). M o P

(2) Все дотируемые товары (M) являются

экспортируемыми из этого региона (S). M a S

(3) Некоторые экспортируемые из  этого региона товары (S)

не приносят доход стране (P). S o P

(1) Ни один доходный при экспорте  товар (P)

не является дотируемым (M). P e M

(2) Все дотируемые товары (M) являются

экспортируемыми из этого региона (S). M a S

(3) Некоторые экспортируемые из  этого региона товары (S)

не приносят доход стране (P). S o P

Итак, теперь мы можем сказать, что, вообще говоря, Второй не ошибся, когда приписал своему собеседнику утверждение, согласно которому ни один экспортируемый с доходом для страны товар не получает дотации. Правила силлогизма его в самом деле допускают (последний из восстановленных у нас модусов). Но наряду с другими вариантами. Поэтому и возражения Первого тоже основательны: он имел в виду другую предпосылку, которая тоже возможна здесь: "Некоторые дотируемые товары не приносят доход стране при экспорте". И действительно, вывозить надо такие товары, которые имеют положительную разницу между стоимостью и ценой. Продукция же, получающая дотации, относится к нерентабельным и потому экспортировать ее можно лишь с ущербом для интересов своей страны. Правда, здесь бывают исключения. Если вывозить такую продукцию в обмен на другие дотируемые изделия, то убытки обоих обменивающихся сторон взаимно компенсируются и по этой причине ни одна из них не несет ущерба. Так, большая часть сельскохозяйственной продукции относится к числу низко рентабельных (получающих дотации для покрытия убытков от производства). Однако когда в какой-либо стране вывоз продуктов питания не превышает ввоз, то тогда ее положение может считаться благополучным. Она в таком случае даже не становится экспортером продовольствия, хотя и вывозит его в известных количествах. Но если поставки продуктов земледелия и животноводства преобладают, то тогда такая страна относится к числу отсталых, аграрных, вынужденных довольствоваться незавидным положением зависимости от стран, производящих всегда более рентабельную промышленную продукцию.

Таким образом, после необходимого уточнения наши собеседники быстро поняли друг друга, восстановив предпосылку, из которой исходит рассуждение, и даже смогли обосновать саму эту посылку.