Виды аналогии. Понятие логической формы

Понятие логической формы

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

Структуру мысли, т. е. ее логическую форму, можно выразить при помощи символов. Выявим структуру (логическую форму) в трех следующих суждениях: «Все караси -- рыбы», «Все люди смертны», «Все бабочки -- насекомые». Содержание у них разное, а форма одна и та же: «Все S есть Р»; она включает S (субъект), т. е. понятие о предмете суждения, Р (предикат), т. е. понятие о признаке предмета, связку («есть»), кванторное слово («все»). Иногда связка может отсутствовать или заменяться тире.

Два следующих условных суждения имеют одну и ту же форму: 1) «Если железо нагреть, то оно расширяется»;

Если учащийся изучает логику, то он повышает четкость своего мышления». Форма этих суждений такая: «Если S есть Р, то S есть P1».

Логические законы

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

Закон тождества;

Закон непротиворечия;

Закон исключенного третьего;

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

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

Формальная логика в древнем мире.

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

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

Философия как совокупность научных знаний зародилась и развивалась одновременно в государствах древности, имеющих разные взгляды на окружающий мир, с отличными подходами к его изучению и с разной совокупностью накопленных знаний. Поэтому философские знания Древнего мира можно условно разделить надвое в зависимости от государства, в котором они зародились. Одно из этих течений возникло в Древней Греции, другое в корне имело восточный подход к науке, характерный для философов Индии и Китая. Видоизмененное под влиянием времени греческое направление философии сейчас представлено в России, Западной Европе и Америке, куда попало через Римскую империю и Византию вместе с верой в единого бога. Индокитайское направление философии было принято в Монголии, Японии, Корее, Индонезии и других странах^{1}.

3. ЛОГИКА И ЯЗЫК Язык – знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми. При создании языка основным элементом являются знаки. Знак – это любой чувственно воспринимаемый предмет, выступающий представителем другого предмета. Выделяют несколько видов знаков: 1) знаки-копии (фотографии, отпечатки пальцев и т. п.); 2) знаки-признаки (дым – признак огня, боль – признак болезни и т. п.); 3) знаки-сигналы (звонок – начало занятия); 4) знаки-символы (дорожные знаки, буквы алфавита и т. п.). По происхождению языки бывают естественные и искусственные. Естественные языки – исторически сложившиеся в обществе звуковые (речь), а затем и графические (письмо) информационные знаковые системы. Они возникли для закрепления и передачи накопленной информации в процессе общения между людьми. Искусственные языки – вспомогательные знаковые системы, создаваемые на основе естественных языков для точной и экономичной передачи научной и другой информации. Естественные языки имеют определенные недостатки, затрудняющие точную передачу информации. К таким недостаткам относится тот факт, что со временем слова изменяют свое значение. Например, слово «танк» первоначально обозначало резервуар, цистерну, а сейчас оно обозначает боевую машину. В естественном языке также одно слово часто обозначает разные предметы и имеет несколько смысловых значений (кисть руки и кисть винограда). Бывает, что разные слова имеют одно и то же значение (перевес и превосходство). Иногда значение слов естественного языка бывает неопределенным, расплывчатым (человек не совсем здоров). Искусственные языки лишены данных недостатков, но бедны образами. Логика пользуется искусственным языком, который создан с помощью формализации. В логике операции с мыслями заменяют действиями со знаками. Основными знаками формальной логики являются слова, а сложными – предложения естественного языка. С помощью формализованного языка из формул, соответствующих истинным высказываниям, можно получить формулы, соответствующие другим истинным высказываниям, не принимая во внимание преобразование самого высказывания. Общепринятым является язык логики предикатов. Его основными категориями являются: имена предметов, выражения, обозначающие свойства и отношения, и предложения. Имена предметов обозначают как единичные предметы или явления, так и их множества. Например, студент Иванов и студент. Объектом исследования могут быть как материальные, так и идеальные объекты. Имена бывают простые (государство) и сложные (студенты третьего курса); единичные (обозначающие один предмет) и общие (обозначающие множество предметов). Выражения, обозначающие свойства и отношения, называются предикаторами. В предложении они обычно играют роль сказуемого (например, быть синим, бегать и т. п.). Предложение – это выражение, обозначающее высказывание о предметах, в котором утверждается или отрицается наличие определенных признаков или свойств у предмета или отношения между предметами. По своему значению они выражают истину или ложь.

Логика В новое время (с середины XIV в.) возрос интерес к проблемам индукции, что связано с критикой средневековой схоластики и стремлением создать методологию, которая бы более соответствовала новой (экспериментальной, опытной) науке о природе. Однако "генетическая" связь с прежними исследованиями просматривается уже в названиях трудов ("Новый Органон" Ф. Бэкона).

"Реформаторское" отношение к логике далее было продолжено. Особое место занимает идея Лейбница о создании caiculis rationaler - исчисления разума, подобного математическому счислению и основывающемуся на универсальном логическом языке - charactiristica universalis, который отличается от естественного языка точностью и однозначностью своих выражений. Идея эта получила развитие лишь в рамках современной Л. ф. Необходимо вспомнить две философские системы, содержащие в своих названиях термин "логика", которые также были связаны с критикой устоявшихся представлений о логике. Основным пунктом критики был формальный характер логики (определение "формальная" было введено И. Кантом), "пустота" ее предмета, отсутствие содержания.

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

Возрождение интереса к логике во второй половине XIX в. вновь связано с потребностью в критической рефлексии над рациональными основаниями сложившейся научной картины мира, органоном которой, без сомнения, являлась математика. То, что в исследованиях по Л. ф. был применен математический (алгебраический) аппарат (Дж. Буль, А. Морган, Ч. Пирс, Э. Шредер и др.), несомненно, связано с идеей Лейбница и имеет непреходящее значение для формирования современной логической культуры. Однако самым сильным стимулом оказались исследования по основаниям математики. Постепенно сформировалось три различных школы: логицизм, формализм и интуиционизм, которые в бурной полемике друг с другом создали наиболее благоприятную среду для радикального преобразования самого образа науки логики.

Г. Фреге стремился обеспечить математике основание в чистой логике, для чего в работах "Begriffsschrift" (1879) и "Grundlagen der Arithmetik" (1884) приступил к решительной "реформации" логического аппарата. Эти исследования, продолженные Б. Расселом и А. Уайтхедом в "Principia mathematica" (1925 - 1927), получили название логицизма. Данное направление характеризует отказ от кантовского тезиса о синтетическом характере математических истин и понимание математики как чисто аналитической науки, все понятия которой можно определить в рамках Л. ф. без использования каких-либо положений нелогического характера. Сведение математики к логике, столкнувшись с непреодолимыми трудностями, парадоксами, оказалось невыполнимым, но зато значительно способствовало становлению современной Л. ф. Логицизм строго решает дилемму "психологизма - антипсихологизма" в логике в пользу последнего. В этой связи следует отметить влияние Г. Фреге на формирование такого философа, как Э Гуссерль, который в своих "Логических исследованиях" предпринял исключительно эффективную критику психологизма в логике. Наиболее близким к лейбницевской идее оказалось другое направление в обосновании математики - программа Гильберта, где математика представлялась как семейство аксиоматизированных формальных исчислений, доказательство полноты, непротиворечивости и разрешимости которых составляло основную "заботу" исследователя. Это направление часто называют формализмом, а программным трудом его является "Grundlagen der Mathematik" (1934) Д. Гильберта и С. Бернайса. Интуиционизм же провозглашает отказ от абстракции актуальной бесконечности в пользу абстракции потенциальной бесконечности и, как следствие, отказ от такого фундаментального для классической логики закона как "закон исключенного третьего", от широко использовавшихся в классической математике и основывающихся на этом законе косвенных методов доказательства. Идеи этого направления высказывались такими математиками, как Л. Кронекер, Э. Борель и А. Пуанкаре, но несомненным лидером интуиционизма был Л. Брауер. Интуиционизм имел огромное значение для возникновения и развития неклассической логики (А. Гейтинг, 1930) (см. "Логика неклассическая").

Обращение логики к глубинным проблемам математики не нарушает представления о ней как о науке, связанной прежде всего с проблемами языковой деятельности. Парадоксы и многие другие трудности, которые стали предметом обсуждения "логически мыслящих" математиков, носили ярко выраженный языковой характер. Более того, деятельность представителей вышеперечисленных школ может быть представлена следующим образом: Г. Фреге выступает основоположником современной семантики, Д Гильберта интересуют формальные языки, которые возникают при логической интерпретации исчислений; Л. Брауер, критикуя формализм, прежде всего критикует язык как средство выражения интуиции и т. д. Но, в отличие от античности и средневековья, теперь не проблемы языка в философии приводят к широким логическим исследованиям, а наоборот, зарождение новых методов в рамках логического анализа во многом способствует "лингвистическому повороту" в философии. Подтверждением тому могут служить как истории целых течений в философии XX в. (см. "Позитивизм", "Аналитическая философия"), так и этапы творчества отдельных мыслителей (Ч. Пирс, Г. Фреге). Пожалуй, самое яркое представление о всей специфичности взаимоотношения логики и философии XX в. дает нам анализ творчества Л. Витгенштейна. Влияние всего наследия этого мыслителя на философию XX в. трудно переоценить, оно непосредственно прослеживается от узкого понимания логическим позитивизмом философии как логического синтаксиса науки, до логического анализа всех форм дискурса в рамках аналитической философии. Саморазрушение логического позитивизма и последующее развитие аналитической философии снова демонстрируют то, что проблемы логики метафизического характера привели к более широкому философскому осмыслению языка.

Виды понятий

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

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

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

Единичные и общие понятия. Такое разделение связано с тем, подразумевается ли в них один элемент или же несколько. Как нетрудно догадаться, понятия, в которых подразумевается лишь один элемент, называются единичными (например, «Венеция», «Дж. Лондон», «Париж»). Понятия же, в которых мыслится несколько элементов, называются общими (например, «страна», «писатель», «столица»).

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

Понятия собирательные и несобирательные. Понятия, содержащие признаки некоторой совокупности элементов, входящих в один комплекс, принято называть собирательными. В качестве примера собирательных понятий можно привести понятия «команда», «стая», «отряд». Необходимо отметить, что содержание единичного понятия нельзя относить к отдельному элементу, входящему в его объем, так как оно относится сразу ко всем элементам. Собирательные понятия бывают общими («команда», «стая») и единичными («команда „Сокол“», «отряд „Альфа“»).

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

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

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

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

Положительные и отрицательные понятия. В основу классифицирования данных понятий положены свойства предмета, явления или процесса. Вид понятия здесь поставлен в зависимость от наличия либо отсутствия у предмета характеризующих свойств. Говоря иначе, понятие именуется положительным, если в нем содержится указание на наличие свойств, присущих предмету. В противоположность положительным выступают отрицательные понятия, которые подразумевают отсутствие таких свойств. Так, положительным понятием будет «сильный», а отрицательным – «слабый»; положительным – «спокойный», отрицательным – «беспокойный».

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

Отталкиваясь от сказанного выше, можно определить соотносительные понятия как имеющие связь друг с другом, заложенную в признаках предметов, составляющих их объем. Такими понятиями будут: «сюзерен» – «вассал» или «брат» – «сестра».

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

Деление понятий.

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

Делимое понятие - понятие, объем которого устанавливается (например, понятие "норма").

Члены деления - части, новые понятия, которые образуются в результате разбиения объема исходного понятия ("норма права", "норма морали", "норма науки" и т.д.).

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

Различают два основных вида операции деления понятия - дихотомическое и деление по видоизменению признака.

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

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

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

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

Деление по видоизменению признака может быть продолжено дальше, части, полученные на первом уровне, могут быть подвергнуты (по одному и тому же или по разным основаниям) новому делению: "конституционное право России", "конституционное право США", "конституционное право Великобритании" и т.д. Именно такое - многоступенчатое деление – лежит в основе практически всех классификаций.

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

Основные разновидности классификаций:

1. Естественными классификациями называют классификации, в которых в качестве основания берутся признаки самих классифицируемых предметов.

2. Вспомогательные (технические) классификации - это классификации, в которых в качестве основания деления берутся признаки, которые человек сам привносит в предметы с учетом собственного удобства, например, легкой и оперативной доступности (всякого рода системы маркировки, составление каталогов по алфавиту и т.п.).

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

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

Различают следующие основные правила деления и связанные с ними ошибки:

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

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

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

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

сложные суждения

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

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

"И" и его языковые эквиваленты - конъюнкция, или соединительный союз,

"ИЛИ" и его эквиваленты - дизъюнкция или слабый разделительный союз,

"ЛИБО" и его эквиваленты, в частности "ИЛИ... ИЛИ", - строгая дизъюнкция, или строго разделительный союз,

"ЕСЛИ..., ТО..." - импликация, условный союз,

"...ЕСЛИ И ТОЛЬКО ЕСЛИ...", или "...ТОГДА И ТОЛЬКО ТОГДА, КОГДА..." - эквивалентность,

Кроме того, в образовании сложных суждений принимает участие операция отрицания.

логический квадрат

“ Логический квадрат ” представляет собой наглядную схему взаимного отношения суждений четырех типов А, Е, I, О. Строится логический квадрат так: левый верхний угол обозначается буквой А (общеутвердительное суждение) или SaP; правый верхний угол обозначается буквой Е (общеотрицательное суждение) или SeP; нижний левый угол обозначается буквой I (частноутвердительное суждение) или SiP; нижний правый угол обозначается буквой О (частноотрицательное суждение) или SoP.

Каждая линия, соединяющая выделенные типы суждений, представляет определенное отношение между двумя типами суждений. Византийский логик XI в. Михаил Пселл, предложивший “ логический квадрат ”, обратил внимание на то, что, зная истинность или ложность одного суждения в схеме “логического квадрата”, можно сделать вывод об истинности или ложности другого суждения.

В самом деле, мы уже знаем закон противоречия, который был использован нами в логике высказываний: противоречащие друг другу высказывания не могут быть вместе истинными. Если я высказываю общеутвердительное суждение SaP “Все студенты хорошо подготовились к зачету”, то, утверждая истинность общеутвердительного суждения, тем самым отрицаю истинность частноотрицательного суждения SoP “Некоторые студенты не подготовились к зачету”. И, наоборот, утверждая истинность частноотрицательного суждения, я отрицаю истинность общеутвердительного суждения.

То же будем иметь, если я буду утверждать истинность общеотрицательного суждения SeP. Тем самым я не признаю истинность частноутвердительного суждения SiP “Некоторые студенты подготовились к зачету по логике”.

Итак, противоречащими друг другу суждениями будут пары суждений А и О и Е и I. Они, в соответствии с законом противоречия, не могут быть одновременно истинными. И, тем более, не мо гут быть одновременно истинными контрарные (противоположные) суждения А и Е (А: “Все студенты подготовились к зачету” и Е: “Ни один студент не подготовился к зачету”).

Все сказанное нами дает возможность сделать следующий вывод об истинности суждений:

если истинно А, то ложно О и ложно Е;

если истинно Е, то ложно I и ложно А;

если истинно I, то ложно Е;

если истинно О, то ложно А.

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

Отсюда мы должны сделать следующий вывод:

если ложно А, то истинно О;

если ложно О, то истинно А;

если ложно Е, то истинно I;

если ложно I, то истинно Е.

К этим выводам можно добавить вывод, полученный косвенно: например, пусть А истинно. Что можно сказать об истинности I? Нетрудно доказать с помощью наших законов мышления, что истинность общего суждения будет обозначать истинность частного суждения.

Если истинно А, то на основании закона противоречия будет ложным Е. Но если ложно Е, то на основании закона исключенного третьего будет истинно I. Значит, если истинно А, то истинно I. Аналогично можно доказать, что истинность Е обуславливает истинность О.

В самом деле, если Е истинно, то, на основании закона противоречия, А ложно. Если А ложно, то на основании закона исключенного третьего, О истинно. Значит, если истинно Е, то истинно О.

Отсюда следует общий вывод: если общее суждение А или Е истинно, то будет истинным и подчиненное им частное суждение, соответственно, I и О. Здесь следует еще раз напомнить читателю, что термин “некоторые” в логике суждений используется не в смысле “некоторые, но не все”, а в смысле “некоторые, может быть, и все”.

Далее, рассмотрим те высказывания, которые могут быть получены из ложности частных суждений. Допустим, I — ложно. Тогда, на основании закона исключенного третьего, Е истинно. На основании закона противоречия в этом случае А ложно. Применяя закон исключенного третьего к противоречащему суждению, получим, что О истинно.

Значит, мы получили вывод о том, что ложность частного суждения 1 обуславливает ложность общего А и истинность субконтрарного суждения О.

Соответственно, если ложно О, значит, истинно А и ложно Е, и истинно I.

Значит, ложность частного суждения О обуславливает ложность общего суждения Е и истинность субконтрарного суждения 1.

Из этого следует, соответственно, два вывода:

1) ложность частного суждения обуславливает ложность общего суждения;

2) ложность частного суждения обуславливает истинность субконтрарного частного суждения.

Мы рассмотрели все выводы, которые можно получить по схеме “логического квадрата”. Однако, важно так же иметь в виду те выводы, которые нельзя получить.

Нельзя получить вывод от ложности общего к ложности частного суждения.

Нельзя получить вывод от истинности частного суждения к истинности общего суждения.

И, наконец, нельзя перейти от ложности общего к истинности контрарного (противоположного) суждения, т. е. нельзя распространять закон исключенного третьего на контрарную противоположность.

Если ложно А, то отсюда никак не следует истинность Е, так же, как из ложности Е не следует истинность А.

Известен с древних времен так называемый парадокс Эпименида, который был критянином. И он сказал: “Все критяне лгуны”. Поскольку он критянин, то, оказывается, что и он лгун. Значит, критянин говорит правду. Следовательно, он — лжец, поскольку его утверждение, что “Все критяне лгуны ” — ложно. А раз оно ложно, то значит, критяне говорят правду. И он, как критянин, говорит правду. Значит, что “все критяне — лгуны” — истинно.

Одно и то же суждение и истинно, и ложно, и это противоречит нашим законам мышления.

Зная изложенные выше правила, относящиеся к законам мышления, нам легко разобраться в этом парадоксе. Пусть утверждение “Все критяне лгуны” — ложно. Это общеутвердительное суждение А. Однако, в соответствии с законом исключенного третьего, из ложности А никоим образом не следует, что критяне говорят правду, т. е. истинность Е (Ни один критянин не лгун). Может быть, какие-то критяне не лгуны, и тогда парадокс исчезает.

Разделительные умозаключения

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

Разделительное умозаключение является правильным при определенных условиях, а именно:

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

Разделительное умозаключение существует в двух модусах: modus ponendo tolens — положительно-отрицательный, modus tollendo ponens — отрицательно-положительный.

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

Каждое А есть либо В, либо С;

А есть В;

Следовательно, А не есть С.

Например:

Все разумные тварные существа суть либо ангелы, либо люди;

Данное существо есть человек;

Следовательно, оно не есть ангел.

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

Студент N не сдал экзамен либо по болезни, либо по нерадению, либо в силу отсутствия на занятиях;

Студент N отсутствовал на занятиях.

Вывод сделать нельзя, поскольку и то, и другое, и третье могло оказаться причиной недостаточной подготовки студента N; кроме того, студент мог не сдать экзамен и по иной причине, которая не указана в разделительном суждении.

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

Каждое А есть либо В, либо С;

Данное А не есть В;

Следовательно, данное А есть С.

Например:

Все сущее есть или тварное, или нетварное;

Человек не есть нетварное существо;

Следовательно, человек есть тварное существо.

умозаключения по аналогии

Умозаключение по аналогии — это вывод о принадлежности определенного признака исследуемому единичному объекту (пред­мету, событию, отношению или классу) на основе его сходства в существенных чертах с другим уже известным единичным объек­том.

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

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

Виды аналогии

По характеру уподобляемых объектов различают два вида анало­гии: (1) аналогию предметов и (2) аналогию отношений.

(1) Аналогия предметов — умозаключение, в котором объек­том уподобления выступают два сходных единичных предмета, а переносимым признаком — свойства этих предметов.

Заключение: b присуще Т

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

(2) Аналогия отношений — умозаключение, в котором объек­том уподобления выступают сходные отношения между двумя парами предметов, а переносимым признаком — свойства этих отношений.