Реферат Понятие логики
Работа добавлена на сайт bukvasha.net: 2015-10-28Поможем написать учебную работу
Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.
от 25%
договор
№1
Термин «Логика» произошло от греч. Logos – мысль, слово и использ. для обознач. совокупности правил, ктр подчиняется процесс мышления отражающие действительность. Мышление изучается не только логикой, но и психологией. Логика исследует мышление как средство познания объективного, ни его формы и законы, в ктр происходит отражение мира в процессе мышления. Материалистическая диалектика, раскрывает содержание познания устанавливая их взаимодействие и роль. С позиций материальной диалектики анализир. общ. природой познания, хар-р людей. А мышление рассматривается в связи с пониманием истинности. В познании выделяется 2 уровня:
1) Чувственный – ощущения 2) Рациональный – абстрактный
Чувственный Рациональный
а) Ощущение – отрожение отделных чувств. а) Понятие
б) Восприятие – целостн. образы б) Суждение
чувственно – восприним. объектов в) Умозаключение
в) представление – сохр. чувствен. образов
предметов ранее воспринимаемых.
I) Возникновение логики связано с именем Аристотеля (4 в. до н. э.). В работе «Органон» Аристотель описывает 3 формы мышления, особое внимание уделяется дедуктивному умозаключению. Арестотель формирует 3 основ. формально лог-их законов:
1) з-н Тождества. 2) з-н Не противоречия. 3) з-н Исключенного третьего.
II) На протяжения эпохи средневековья в тео. лог. не происходило существенных изменений, но при этом принципы формальной логики широко использовались практически как средство аргументации и приемы искусства.
III) В конце 16 в Френцис Беком разрабатывает тео индуктивной лог и хотя он всячески критикует Аристотеля, индуктивная и дедуктивная лог-ки объединяются в ед обл знаний, хотя с этого момента становятся обязательными эл-ом в сис образа.
IV) 17 –18 в происходит развитие математических знаний и средства математики используется в том числе и для анализа чел-го мышления. Так появляется математическая или символическая логика, ктр в начале 20 в становится основой для появления кибернетики.
V) В начале 19 в Гегель разрабатывает сис диалектической логики. Формальная лог – философская наука о формах и законах правильного мышления.
№2
Для выражения всех элементов рассуждения служат различные средства языка. Понятия выражаются посредством отдельных слов или словосочетаний, суждения и умозаключения -- с помощью простых или сложных предложений. Поэтому логический анализ рассуждений тесно связан с анализом языка, хотя отнюдь не сводится к последнему. Действительно, при логическом анализе суждений мы интересуемся его логической структурой, а не грамматической формой. Поэтому выделяем в суждении те элементы, которые имеют существенное значение для его характеристики с точки зрения истинности и ложности. В строгом смысле слова только суждения могут рассматриваться как истинные или ложные, ибо именно они могут верно или неверно, адекватно или неадекватно относиться к действительности. Предложения же хотя и используются для выражения суждений, сами по себе не могут рассматриваться как истинные или ложные. Более того, существуют в нашем языке такие предложения, которые служат не для выражения суждений, а представляют собой вопросы, повеления и т.п.
Язык -- это знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми.
Основным строительным материалом при конструировании языка выступают используемые в нем знаки. Знак -- это любой чувственно воспринимаемый (зрительно, на слух или иным способом) предмет, выступающий представителем другого предмета. Среди различных знаков выделим два вида: знаки-образы и знаки-символы.
Знаки-образы имеют определенное сходство с обозначаемыми предметами. Примеры таких знаков: копии документов; дактилоскопические отпечатки пальцев; фотоснимки; некоторые дорожные знаки с изображением детей, пешеходов и других объектов. Знаки-символы не имеют сходства с обозначаемыми предметами. Например: нотные знаки; знаки азбуки Морзе; буквы в алфавитах национальных языков.
Множество исходных знаков языка составляет его алфавит.
Комплексное изучение языка осуществляется общей теорией знаковых систем -- семиотикой, которая анализирует язык в трех аспектах: синтаксическом, семантическом и прагматическом.
Синтаксис -- это раздел семиотики, изучающий структуру языка: способы образования, преобразования и связи между знаками. Семантика занимается проблемой интерпретации, т.е. анализом отношений между знаками и обозначаемыми объектами. Прагматика анализирует коммуникативную функцию языка -- эмоциональные, психологические, эстетические, экономические и другие отношения носителя языка к самому языку.
По происхождению языки бывают естественные и искусственные.
Естественные языки -- это исторически сложившиеся в обществе звуковые (речь), а затем и графические (письмо) информационные знаковые системы. Они возникли для закрепления и передачи накопленной информации в процессе общения между людьми. Естественные языки выступают носителями многовековой культуры народов. Они отличаются богатыми выразительными возможностями и универсальным охватом самых различных областей жизни.
Искусственные языки -- это вспомогательные знаковые системы, создаваемые на базе естественных языков для точной и экономной передачи научной и другой информации. Они конструируются с помощью естественного языка или ранее построенного искусственного языка. Язык, выступающий средством построения или изучения другого языка, называют метаязыком, основной -- языком-объектом. Метаязык, как правило, обладает более богатыми по сравнению с языком-объектом выразительными возможностями.
Искусственные языки различной степени строгости широко используются в современной науке и технике: химии, математике, теоретической физике, вычислительной технике, кибернетике, связи, стенографии.
Особую группу составляют смешанные языки, базой в которых выступает естественный (национальный) язык, дополняемый символикой и условными обозначениями, относящимися к конкретной предметной области. К этой группе можно отнести язык, условно называемый «юридическим языком», или «языком права». Он строится на базе естественного (в нашем случае русского) языка, а также включает множество правовых понятий и дефиниций, правовых презумпций и допущений, правил доказательства и опровержения. Исходной клеточкой этого языка выступают нормы права, объединяемые в сложные нормативно-правовые системы.
Искусственные языки успешно используются и логикой для точного теоретического и практического анализа мыслительных структур.
Один из таких языков -- язык логики высказываний. Он применяется в логической системе, называемой исчислением высказываний, которая анализирует рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждений. Принципы построения этого языка будут изложены в главе о дедуктивных умозаключениях.
Второй язык -- это язык логики предикатов. Он применяется в логической системе, называемой исчислением предикатов, которая при анализе рассуждений учитывает не только истинностные характеристики логических связок, но и внутреннюю структуру суждений.
№ 3
Форма́льная ло́гика — конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. В истории философии — отдельный раздел или направление логики конца XIX—начала XX века. Иногда путают с символической, или математической логикой.
Термин «формальная логика» введён Аристотелем. По Канту, формальная логика (в «Критике чистого разума» («КЧР») она названа «общей») отвлекается от содержания понятий и имеет дело только с их формой.
Формалистами (представителями т. н. «логистики», оформившейся на Женевском конгрессе
Предмет формальной логики специально реконструировался и критиковался в работах Московского логического кружка и затем Московского методологического кружка. Критика касалась не уместности разработки формальной логики как таковой или её полезности, а полноты исчерпания ею логической проблематики и её претензий на роль теории мышления.
Согласно реконструкции, проведённой в ММК, логика имеет дело с «языковым мышлением» (или, «языком взятым в функции мышления»), в котором группы определённым образом связанных между собой знаков по определённым законам замещают реальные объекты и друг друга в отношении к действиям:
объективное содержание ────────────── знаки языка
связь значения
Формальная логика возможна, когда в качестве замещаемого содержания выступают не непосредственно объекты действия, а, в свою очередь, знаки, образующие замкнутые оперативные системы. Метод формальной логики последовательно проводит принцип параллелизма формы и содержания мышления.
Развитие символизации в формальной логике и её превращение в одну из математических дисциплин закономерны, естественны и неизбежны.
Претензии формальной логики на роль теории мышления несостоятельны, поскольку:
- её понятия описывают не мышление в целом, а лишь его знаковую форму, и то неполно;
- в её понятиях не учитывается зависимость строения и правил преобразования этой формы от содержания;
- её понятия не отражают различия между мышлением и его продуктами (знаниями);
- её понятия не могут объяснить образование сложных знаний;
- её метод несовместим с историческим подходом к исследованию мышления.
Особенностью предмета формальной логики служит также анализ форм и законов мышления вне их возникновения и развития.
Следует подчеркнуть, что логика берет уже сложившуюся форму, рассматривая ее как нечто устоявшееся, без всякой собственной истории. Сложный процесс формирования и совершенствования внутренней структуры мысли лежит за пределами предмета логики; она раскрывает форму мышления вне связи с историческим развитием познания.
Логическая форма и законы мышления являются общими для всех людей. Внутренняя структура мысли, как и синтаксические правила языка, непосредственно вплетены в конкретную деятельность человека, определяются свойствами и отношениями объективного мира.
Так, вполне очевидно, что в содержательном плане мысли юриста отличаются от мыслей биолога, музыкант думает иначе, нежели экономист; ученый использует в своих исследованиях такие понятия и термины, которые не употребляются в повседневном мышлении.
Однако во многих различных по содержанию мыслях можно обнаружить нечто существенно общее. Общее характеризуется не конкретным содержанием этих мыслей, а схемой, способом построения. Дело в том, что логический строй мышления человека обладает важнейшей особенностью - какую бы словесную оболочку не принимали наши мысли, на каком бы языке они не излагались, они обязательно должны принять общечеловеческие формы. Без этого невозможны осуществление "обмена" мыслями людей разных поколений и профессий, а также взаимное понимание представителей различных стран и народов. Единство человеческого мышления обусловлено единством материального мира и его законов, отражающихся в законах человеческого мышления.
Логическая Форма - способ связи содержательных частей рассуждения (доказательства, вывода и т. п.). В соответствии с основным принципом логики, правильность рассуждения зависит только от его формы и не зависит от его конкретного содержания. Само название "формальная логика" подчеркивает, что эта логика интересуется только формой рассуждения. Л. ф. представляется посредством логических констант и переменных. Логические константы, подобные "и", "или", "если, то" и т. д., не имеют самостоятельного содержания, но с их помощью из одних содержательных выражений могут быть получены новые содержательные выражения. Переменные, входящие в Л. ф., представляют выражения, обладающие самостоятельным содержанием: высказывания, имена (см.: Символы собственные и несобственные). Напр., высказывания "Все лошади едят овес" и "Все реки впадают в море" различны по своему содержанию, причем первое истинно, а второе ложно. Отвлекаясь от содержания высказываний, можно заменить их части переменными S и Р. Получим, что данные высказывания имеют одну и ту же логическую форму: "Все S есть Р". Содержательно разные высказывания "Если есть огонь, то есть дым" и "Если математика - наука, то она устанавливает законы" также имеют одинаковую логическую форму: "Если А, то В". Следующие два вывода, различающиеся своим содержанием, совпадают по своей логической форме: "Если сейчас день, то светло. Сейчас день. Следовательно, светло" и "Если 13 - простое число, оно делится только на себя и на единицу. 13 - простое число. Следовательно, 13 делится только на себя на и на единицу". Заменив высказывания, входящие в данные выводы, переменными, получаем, что в обоих случаях рассуждение идет по одной и той же схеме: "Если А, то В. А. Следовательно, В". Это - схема правильного рассуждения: какие бы конкретные высказывания ни подставлялись вместо A и В, если посылки истинны, заключение также будет истинным (см.: Логическая правильность). Различие между Л. ф. и содержанием не является абсолютным. То, что в одном случае считается относящимся к форме, в другом может оказаться содержательным компонентом рассуждения, и наоборот. Интерес логики к Л. ф. не означает отвлечение ее от всякого содержания. Сама Л. ф. обладает определенным абстрактным содержанием, его иногда называют "формальным", чтобы отличить от "конкретного содержания". Скажем, форма "Все S есть Р" указывает, что у всякого предмета, обозначаемого буквой S, есть признак, обозначаемый буквой Р. Понятие Л. ф. является центральным в логике. С ним связаны понятия логического закона, правила вывода, логического следования и др.
№ 4
Логика занимается исследованием двух составляющих мышления: его содержания и формы. С этими сторонами мышления и связано различие его истинности и правильности. Истинность относится к содержанию мыслей, а правильность – к форме.
Истинность – это свойство мышления, производное от истины.
Истина – содержание мысли, которое соответствует действительности. Если же мысль по своему содержанию не соответствует действительности, то она является ложной. Так, например, высказывание: «Луна – спутник Земли» – истинно, а «Москва – столица Австралии» – ложно. Таким образом, истинность мышления – это его свойство воспроизводить действительность таковой, какой она является, соответствовать ей по своему содержанию. А ложность – это свойство мышления искажать это содержание, извращая его. Следует отметить, что ложность всегда носит субъективно—социальный характер, т. е. исходит только от субъекта, отражает отношения людей, но не связана с объектом познания.
Правильность характеризует мысль с точки зрения внутренней связи между ее элементами.
Правильность мышления можно определить его способностью воспроизводить в структуре мысли объективное строение материального бытия, соответствовать действительным отношениям явлений и предметов. Правильное суждение характеризуется рядом черт: определенностью, непротиворечивостью, последовательностью, обоснованностью.
Определенность – воспроизведение в структуре мысли качественной определенности, т. е. реальных признаков и отношений предметов и явлений.
Непротиворечивость – избегание в структуре мыслей противоречий, которых нет в отражаемой действительности.
Последовательность – воспроизведение структурой мысли тех связей и отношений, которые присущи самой действительности, способность следовать логике вещей и событий.
Обоснованность – отражение объективных причинно—следственных связей отношения предметов и явлений окружающего мира.
Необходимо понимать, что и правильность, и истинность мышления одинаково важны. При нарушении любого из этих свойств мышление перестает соответствовать действительности. Рассмотрим примеры нарушения одного из принципов. «Роза – дерево», следовательно, «Некоторые деревья – розы». В данном случае мы видим, что ложность содержания первого суждения имеет следствием ложность содержания второго суждения, хотя при этом форма содержания была правильной. Рассмотрим второй пример: «Страусы не летают» следовательно, «Страусы не птицы». Здесь происходит обратная ситуация – содержание первого суждения истинно, однако неправильность формы суждения приводит к ложности второго суждения.
«Правильное мышление» основано на логике. Именно логика, умело подобранная в соответствии с предметом рассмотрения, делает мысли адекватными реальности.
Обычно истинность мышления определяют как соответствие знания объекту. Истина - это адекватная информация об объекте, получаемая посредством его чувственного или интеллектуального постижения либо сообщения о нем и характеризуемая с точки зрения ее достоверности. Таким образом, истина существует как субъективная реальность в ее информационном и ценностном аспектах.
Истина не существует вне человеческого познания, и в этом смысле она зависит от субъекта познания. Однако соответствие и несоответствие результатов познавательного процесса сторонам и свойствам материального мира определяется объективной реальностью.
Таким образом, истинность определяется как адекватное отражение объекта познающим субъектом, воспроизводящей реальность такой, какая она есть сама по себе, вне и независимо от сознания. Истина есть адекватное отражение реальности в динамике ее развития.
Согласно основному принципу логики, правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от конкретного содержания входящих в него утверждений.
Правильное рассуждение можно определить как такое, которое при истинности посылок гарантирует истинность заключения. Однако не любые истинные посылки и истинное заключение образуют правильное рассуждение. Вопрос о том, является ли некоторое умозаключение правильным или неправильным, нельзя смешивать с вопросом: какими - истинными или ложными - являются его посылки и заключение. Истинность посылок является необходимым, но недостаточным условием истинности заключения рассуждения. Дать оценку рассуждению, зная значение его посылок и заключения, можно лишь в случае, когда каждая из посылок истинна, а заключение ложно, т.е. если подобрать контрпример. В случае нахождения контрпримера рассуждение является заведомо неправильным, так как оно не сохраняет основное свойство логических систем - «свойство» сохранения истинности посылок при выведении заключения. Для того чтобы рассуждение было правильным, т.е. истинность его посылок с необходимостью гарантировала бы истинность заключения, рассуждение должно иметь правильную структуру, или логическую форму. Именно логическая форма является основанием для перехода от посылок к заключению в дедуктивных рассуждениях (для других типов рассуждений основания будут другие). Теперь можно более точно сформулировать критерий правильности дедуктивных рассуждений: умозаключение является правильным, если и только если его логическая форма гарантирует, что при истинности посылок мы обязательно (всегда, каждый раз) получим истинное заключение, т.е. не существует умозаключения данной логической формы с истинными посылками и ложным заключением.
№5
Мышление человека подчинено законам мышления или логическим законам. Они управляют процессом мышления.
Закон – это внутренняя, существенная и необходимая связь между предметами и явлениями, повторяющаяся всегда и всюду при определенных условиях. Мышление также имеет связанный характер, однако эта связь немного иная. Структурным элементом здесь выступают мысли, являющиеся отражениями вещей и явлений. Связанность здесь проявляется в том, что возникающие и циркулирующие в головах людей мысли существуют не отдельно и изолированно, а подобно осколкам разбитого зеркала, в каждом из которых отражаются лишь отдельные кусочки действительности.
Поэтому закон мышления – это необходимая, существенная, устойчивая связь между мыслями. Эти законы не могут быть отменены или заменены другими. Они имеют общечеловеческий характер. Законы мышления сложились в результате многовековой практики человеческого познания при отражении таких обычных свойств вещей, как их устойчивость, определенность, несовместимость в одном и том же предмете существования и отрицание одних и тех же признаков. Каждый из законов мышления устанавливает определенную связь мыслей и по—своему отражает объективную логику окружающей действительности.
Объективность законов мышления является неоспоримой и доказывается рядом фактов:
1) их соблюдение – необходимое условие познания и нормального вербального общения между людьми;
2) их несоблюдение ведет к нарушению речевых коммуникативных процессов или к получению нового ложного знания из истинного исходного.
Логический закон – это логическая форма, которая гарантирует истинность высказывания при любом содержании. В данном определении выдвигаются две основные стороны высказывания: содержательная и формальная. С изменением содержания высказывания меняется и содержательная связь, а формальная может повторяться сколь угодно долго.
На основе этого положения и выводится понятие логического закона. Формальная связь между мыслями называется также логической связью. Это связи между признаками в понятии и самим понятием, между элементами суждения и самим суждением.
Законы логики имеют определенную задачу. Она заключается в формулировке основания, фундаменте правил и рекомендаций, следуя которым можно достичь истины. Поэтому логические законы не являются законами в собственном смысле этого слова, так как этот термин используется для описания явлений и предметов действительности. Логические законы отражают реальные, объективные связи между высказываниями: объединение, разъединение, обусловленность и пр.
Одним из законов мышления выступает закон тождества.
Закон тождества гласит: «каждая мысль в процессе рассуждения должна быть тождественной сама себе (а есть а или а = а, где под а понимается любая мысль)».
Тождество – это категория, выражающая равенство, одинаковость предмета, явления с самим собой или равенство нескольких предметов. Тождественность мысли самой себе подразумевает, что на всем протяжении рассуждения она должна иметь определенное устойчивое содержание. Закон достаточного обоснования может быть выражен следующим образом: p > p (если p, то p), где p– любое высказывание, > – знак имплакции.
Из закона тождества следует, что нельзя отождествлять различные мысли, а тождественные мысли нельзя принимать за нетождественные. Часто нарушения этого требования связаны с различным выражением одной и той же мысли в языке. Например, два суждения «Президент Российской Федерации является гарантом Конституции» и «Глава Российской Федерации является гарантом Конституции» выражают одну и ту же мысль. Предикаты этих суждений – равнозначные понятия: Президент РФ одновременно является ее главой. Следовательно, было бы неправомерным и ошибочным рассматривать эти понятия как нетождественные.
При использовании понятия необходимо точно обнаруживать его смысл. Так, например, понятие «мир» имеет два значения: отсутствие насилия и дипломатия открытых дверей. Поэтому данное понятие будет иметь разные значения в сфере дипломатии и в обыденной жизни. Несоблюдение этого правила приводит к логической ошибке – подмене понятий.
Впервые закон тождественности сформулировал Аристотель, у которого он звучит следующим образом: «Рассуждая о тех или иных предметах и явлениях, необходимо выделять в них качественно определенное, устойчивое, относительно тождественное, придавая словам определенное, тождественное значение».
Предпосылкой выполнимости закона тождества является возможность различия и отождествления тех объектов, о которых идет речь в процессе размышления, что не всегда выполняется на практике в силу изменчивости этих объектов. Поэтому закон тождества всегда предполагает некоторую идеализацию действительного характера тех объектов, о которых идет речь при рассуждении, и может быть применен только к таким формам мысли, которые допускают точные определения и спецификацию.
Нарушение закона тождества может привести также к тому, что свойства одного объекта могут быть приписаны совершенно другому, не обладающему ими. Поэтому закон тождества имеет значение не только в логике, но и носит всеобщий характер.
Одним из основных принципов правильного мышления является его непротиворечивость. На основании этого признака формулируется закон непротиворечия.
Закон непротиворечия требует, чтобы два несовместимых друг с другом суждения не могли быть одновременно истинными, одно из них необходимо ложно (неверно, что a и не – a). В виде формулы этот закон можно выразить следующим образом: ] (pA~\ p) (неверно, что p и не – p одновременно истинны). Под p понимается любое высказывание, под \ p – отрицание высказывания, знак \ перед формулой – отрицание двух высказываний, ал – знак конъюнкции.
Этот закон был выработан Аристотелем в споре с софистами. Последние полагали, что все, что бы мы ни утверждали или отрицали, является истинным: «И как кому кажется, так то и есть». Аристотель отвечал, что из двух противоречащих друг другу суждений (А и не – А) по крайней мере, одно является ложным, иначе говоря, противоречащие друг другу высказывания не могут быть оба истинными. Закон непротиворечия является отражением в мышлении свойства качественной определенности объекта, так как один и тот же объект не может обладать взаимоисключающими признаками.
Понятно, что не будет противоречия, если идет о разных признаках одного и того же объекта либо о разных объектах. Противоречия не будет и в том случае, если речь идет об одном и том же объекте, но в разное время. Например, если рассматривать детство Петра I, то можно утверждать, что он не был императором, если же рассматривать его личность после окончания Северной войны, то можно говорить о том, что он был императором.
Закон исключенного третьего действует только в отношении противоречащих понятий.
Противоречащими и называются два суждения, в одном из которых что—либо утверждается (отрицается) о каждом предмете некоторого множества, а в другом отрицается (утверждается) о некоторой части этого множества. Например, если суждение «Каждый гражданин РФ имеет право свободно искать, получать, передавать, производить и распространять информацию любым законным способом» истинно, то суждение «Некоторые граждане РФ не имеют право свободно искать, получать, передавать, производить и распространять информацию любым законным способом» ложно.
Закон исключенного третьего формулируется следующим образом: два противоречащих суждения не могут быть одновременно ложными, так как одно из них необходимо истинно (a есть либо b, либо не – b). Закон исключенного третьего может быть выражен следующий формулой: pv]p, где p – любое высказывание, ]p – отрицание высказывания р, v – знак дизъюнкции. Таким образом, истинно либо утверждение какого—либо факта, либо его отрицание.
Закон исключенного третьего выражает последовательность и непротиворечивость мышления, не допускает противоречий в мыслях. Конечно, закон исключенного третьего не может указать, какое именно из двух суждений истинно, для достижения этого необходимо использовать другие средства. Значение этого закона заключается в том, что он указывает направление в отыскании истины: возможны только два решения вопроса, и только одно – истинно.
Закон исключенного третьего требует ясных и четких ответов, указывая на невозможность отвечать на один и тот же вопрос в одном и том же смысле и «да» и «нет», на невозможность искать нечто среднее между утверждением чего—либо и отрицанием того же самого (третьего не дано: tertium non datur).
На основе одного из принципов правильного мышления (доказательности), строится закон достаточного основания.
Закон достаточного основания гласит: «Положение считается истинным только в том случае, если для него может быть сформулировано достаточное основание (если есть а, то есть и его основание b)».
Достаточное основание – положение (или совокупность положений), которое является заведомо истинным и из которого логически вытекает обосновываемое положение. Истинность основания может быть или доказана опытным путем, или выведена из истинности других положений.
Закон достаточного основания в современной интерпретации был впервые сформулирован Г. Дж. Лейбницем. При этом следует отметить, что до этого он уже подразумевался в более ранних системах логики (Левкипп, Аристотель). Ему была посвящена докторская диссертация А. Шопенгауэра «О четверояком корне закона достаточного основания».
Достаточным основанием мысли может являться личный опыт каждого человека, так как истинность некоторых суждений подтверждается путем их непосредственного сопоставления с действительностью. Однако личный опыт человека ограничен. Это обусловливает необходимость человека опираться в своей деятельности на опыт других людей, т. е. на общественный опыт. При этом следует отметить, что достаточным основанием не могут выступать различные суеверия и предрассудки. Общественный опыт выражается в законах и аксиомах, истинность которых подтверждена практикой человека и не нуждается в новом подтверждении.
№6
В Логике, философии и пр. логическая ошибка — такой способ обоснования, который всегда или при случае, который рассматривается, является ошибочным. Ошибочность обусловлена недочётом в доказательстве, что делает доказательство в целом недействительным.
Нередко логические ошибки возникают в ходе дебатов и полемики.
Ошибка Логическая а- нарушения к.-л. законов, правил и схем логики. Если ошибка допущена неумышленно, она называнется паралогизмом; если правила логики нарушают умышленно, то это Ч софизм. Логические ошибки следует отличать от фактических ошибок. Последние обусловлены не нарушением пранвил логики, а незнанием предмета, фактического положения дел, о котором идет речь. К О. л. нельзя причислять также ошибки словесного выражения наших мыслей. К числу последних относится широко известная омонимия Ч смешение понятий, происходянщее вследствие того, что разные понятия часто выражаются однним и тем же словом, напр. материализм
В Логике, философии и пр. логическая ошибка — такой способ обоснования, который всегда или при случае, который рассматривается, является ошибочным. Ошибочность обусловлена недочётом в доказательстве, что делает доказательство в целом недействительным.
Нередко логические ошибки возникают в ходе дебатов и полемики.
Эквивокация - ошибка, заключающаяся в использовании одного и того же слова в разных значениях в одном рассуждении. Основана на омонимии (от греч. homos — одинаковый и onyma — имя) — свойстве языковых единиц иметь несколько значений или выражать несколько понятий, никак не связанных между собой; напр., слово лук -растение и лук-ручное оружие. Аналогичным термином является Полисемия — свойство языковых единиц иметь несколько значений или выражать несколько понятий..
Эту логическую ошибку можно выразить русcкой поговоркой «Федот, да не тот».
В ТворенияВики имеется специальная Категория:Многозначные термины, для разделения терминов с разными значениями.
Круговая аргументация
Для доказательства истинности одного утверждения используется второе, которое верно только если справедливо первое.
Подмена слов, тезиса
Подмена Тезиса — (лат. ignoratio elenchi) — логическая ошибка в доказательстве, состоящая в том, что начав доказывать некоторый тезис, постепенно в ходе доказательства переходят к доказательству другого положения, сходного с тезисом.
Логическая ошибка выражена русской поговоркой «Я ИМ — ПРО ФОМУ, А ОНИ МНЕ — ПРО ЕРЕМУ»
Использование ложных и недоказанных аргументов, утверждений
Другая логическая ошибка — «предвосхищение основания» (petitio principii). Она заключается в том, что в качестве аргументов используются недоказанные, как правило, произвольно взятые положения: ссылаются на слухи, на ходячие мнения или высказанные кем-то предположения и выдают их за аргументы, якобы обосновывающие основной тезис. В действительности же доброкачественность таких доводов лишь предвосхищается, но не устанавливается с несомненностью.
Обычно подобные логические ошибки сопровождаются словами: «Как абсолютно всем известно…», «Кто же будет спорить с тем, что…», «Аксиомой, не требующей доказательств, является то, что…», «Само собой разумеется, что…», «Каждому известо, что…» и т. д.
Мнимая логическая связь
Логическая ошибка, при которой мнимая, желаемая логическая связь выдаётся за истинную.
Логическая ошибка выражена русской поговоркой: «В огороде — бузина, а в Киеве — дядька»
После не значит «вследствие»
Логическая ошибка, при которой отождествляется хронологическая, временная связь с причинно-следственной.
Приписывание неделанных утверждений (Ненадёжный человек)
Логическая ошибка, которая заключается в приписывании одной стороной другой, утверждений, которые на самом деле другая сторона не делала, но которые, якобы вытекают из её предыдущих утверждений.
Оксюморон
Логическая ошибка подразумевающая сочетание слов с противоположным значением (то есть сочетание несочетаемого).
№ 7
Важной задачей логики является изучение имени как семантической категории языка.
Имя в логике – это выражение языка, обозначающее некоторый предмет, совокупность сходных предметов, свойство, отношение. Также имя можно определить как языковое выражение такого рода, которое, будучи соотнесенным в качестве знака с каким—либо предметом, явлением, процессом действительности, превращает его в предмет мысли.
В логике имена делятся на некоторые виды по определенным основаниям. Первый тип деления имен связан с их отношением к действительности. По этому основанию имена делятся на пустые и непустые. Пустые имена обозначают предметы, не существующие в действительности (вечный двигатель), непустые имена обозначают реальные, существующие в действительности предметы и явления.
Второй тип разделения имен связан с их опи—сательностью. В данном контексте выделяются простые (неописательные) и сложные (описательные) имена. Простыми именами являются выражения языка, которые не имеют собственного смысла и могут иметь лишь приданный смысл. Часто эти имена имеют вид собственных, например Москва, Юпитер. Сложные имена имеют свой собственный смысл.
Различают также единичные и общие имена. Единичные имена обозначают отдельные предметы. Общее имя является знаком производного предмета некоторого класса. Можно сказать, что общие имена не являются именами в собственном смысле. Более точно будет определять их как переменные естественного языка. В искусственном языке их заменяют специальные понятия, которые называются предметными понятиями.
Имена играют важную роль в языке: они выступают логическими подлежащими в предложениях. Под этим подразумевается, что они указывают на то, к чему относятся содержащиеся в предложениях утверждения или отрицания. Например, «Париж – столица Франции» или «Некоторые люди – ленивы». Следует отметить, что общие имена в сочетании со связкой «есть» могут выступать в качестве логических сказуемых. Например, в предложениях «Книга есть произведение искусства» или «Платон есть древнегреческий философ» единичные имена, в отличие от общих, не могут выступать в роли логических сказуемых.
В логической семантике обычно рассматривается так называемый семантический треугольник: имя – предмет (денотат) – смысл. В отличие от того, чем является имя, различаются значения денотата и смысла. Если имя является термином (словом), то денотатом считается обозначаемый им объект, а смыслом – выражаемое им свойство. Если имя выражено предложением, то денотатом считается его значение истинности, т. е. его истинность либо ложность, а смыслом – выражаемое им суждение.
№ 8
Содержанием понятия называется совокупность существенных признаков предмета, которая мыслится в данном понятии. Например, содержанием понятия «преступление» является совокупность существенных признаков преступления: общественно опасный характер деяния, противоправность, виновность, наказуемость.
Множество предметов, которое мыслится в понятии, называется объёмом понятия «совокупность предметов». Объём понятия «преступление» охватывает все преступления (должностные, воинские, хозяйственные), поскольку они имеют общие существенные признаки.
Логика оперирует также понятиями «класс» («множество»), «подкласс» («подмножество множества») и «элемент класса».
Классом, или множеством, называется определенная совокупность предметов, имеющих некоторые общие признаки. Таковы, например, классы (множества) высших учебных заведений, студентов, юридических законов, преступлений и т.д. На основании изучения определенного класса предметов формируется понятие об этом классе. Так, на основе изучения класса (множества) юридических законов образуется понятие юридического закона.
Класс (множество) может включать в себя подкласс, или подмножество. Например, класс студентов включает в себя подкласс студентов юридических вузов, класс преступлений - подкласс должностных преступлений.
Отношение между классом (множеством) и подклассом (подмножеством) выражается при помощи знака ?: А ? В. Это выражение читается: А является подклассом В. Так , если А – следователи, а В – юристы, то А будет подклассом класса В.
Классы (множества) состоят из элементов. Элемент класса это предмет, входящий в данный класс. Так, элементами множества высших учебных заведений будут Балашихинский институт бизнеса, права и информационных технологий, Белгородская технологическая академия и т. д.
Отношение элемента классу выражается при помощи знака ?: А ? В (А является элементом класса В).
Если, например, А – юрист Иванов, а В – юристы, то А будет элементом класса В.
Различают универсальный класс, единичный класс и нулевой, или пустой, класс.
Класс, состоящий из всех элементов исследуемой области, называется универсальным классом (например, класс планет Солнечной системы). Если класс состоит из одного элемента, то это будет единичный класс (например, планета Юпитер); наконец, класс, который не содержит не одного элемента, называется нулевым (пустым) классом. Пустыми классами являются, например, вечный двигатель, круглый квадрат, русалка, леший и др. Число элементов пустого класса равно нулю.
Содержание и объём понятия тесно связаны друг с другом. Эта связь выражается в законе обратного отношения между объёмом и содержанием понятия, который устанавливает, что увеличение содержания понятия ведет к образованию понятия с меньшим объёмом и наоборот. Например, увеличивая содержание понятия «Поэт» путем прибавления существенного признака «современный» перейдем к понятию «современный поэт», которое имеет меньший объём. Увеличивая понятие «учебник по теории государства и права», переходим к понятию «учебник», имеющему меньшее содержание, так как оно не включает в себя признаки, характеризующие учебник по теории государства и права.
Подобное же отношение между объёмом и содержанием имеет место в понятиях «преступление» и «хозяйственное преступление» (первое понятие шире по объёму, но уже по содержанию), «генеральный прокурор» и «прокурор», где первое понятие уже по объёму, но шире по содержанию.
Закон обратного отношения между объёмом и содержанием понятия лежит в основе логических операций.
№ 9
№10
Понятия (имена), используемые в науке и в других сферах человеческой деятельности, чрезвычайно многообразны по своей структуре, типам обобщаемых в них объектов и другим характеристикам. Типологизация понятий, т.е. выделение и систематизация различных их видов, может проводиться по разным основаниям - их делят на виды, во-первых, исходя из особенностей содержаний, и во-вторых, учитывая специфику их объемов и элементов объемов.
В зависимости от характера признака, посредством которого осуществляется обобщение объектов в понятии, они делятся на простые (их содержание указывает на присущность или неприсущность отдельного свойства, напр., "разумное существо") и сложные (их содержание фиксирует связь между свойствами, напр., "существо, способное летать и плавать"), на безотносительные (объект характеризуется сам по себе, напр., "древний город") и относительные (объект характеризуется через отношение к другим объектам, напр., "город, расположенный южнее Москвы").
По количеству элементов объема различают пустые понятия (не содержащие элементов объема) и непустые понятия (объем которых имеет по крайней мере один элемент). Понятие может оказаться пустым по разным причинам: во-первых, в силу сложившихся обстоятельств (напр., "король, правивший во Франции в XX веке") или в силу законов природы (напр., "вечный двигатель"), такие понятия называют фактически пустыми; во-вторых, в силу логической противоречивости его содержания (напр., "режиссер, поставивший все пьесы Чехова и не поставивший чеховской Чайки"), их называют логически пустыми.
Непустые понятия бывают единичными (их объем содержит ровно один элемент) и общими (объем содержит более одного элемента), а общие делятся на регистрирующие и нерегистрирующие (в зависимости от того, поддается ли на практике точному подсчету количество элементов их объемов).
На основании отношения объемов понятий к их родам (универсумам) выделяют универсальные и неуниверсальные понятия (объемы первых совпадают с родом, у вторых они уже рода). Различают фактически и логически универсальные п. Объемы первых совпадают с родом в силу обстоятельств нелогического характера (напр., "металл, проводящий тепло"), содержания вторых - логически необходимые признаки, логическая форма которых является общезначимой формулой (напр., "человек, который сильнее всех или не сильнее кого-нибудь").
По структуре элементов объема различают несобирательные понятия, элементами объемов которых являются отдельно взятые объекты (напр., "человек, родившийся в 1900 году" или их кортежи - пары, тройки и т.д. (напр., "люди, родившиеся в одном и том же году", подобные понятия имеют вид ), и собирательные понятия, их элементами объема являются совокупности объектов, мыслимые как одно целое (напр., "политическая партия").
По природе обобщаемых объектов п. делятся на конкретные и абстрактные. Конкретные понятия обобщают индивиды (напр., "электропроводное вещество"), кортежи индивидов (напр., "изотопы") или множества индивидов (напр., "пучок параллельных прямых"). В абстрактных понятиях обобщаются отдельные характеристики индивидов - свойства, отношения и т.п. (напр., "способность вещества проводить электричество"), кортежи характеристик (напр., "взаимно обратные отношения") или множества характеристик (напр., п. фенотипа - "совокупность всех свойств строения и жизнедеятельности организма, обусловленных взаимодействием его генотипа с условиями среды").
Понятия бывают:
1) – единичные;
– общие;
– пустые.
Единичные понятия – такие понятия, объем которых состоит только из одного объекта.
Общие понятие – понятия, объем которых включает число элементов больше 1.
Пустые понятия – понятия с нулевым объемом, т. е. явления и процессы, которые не существуют в природе.
2) – конкретные;
– абстрактные.
Конкретные понятия – понятия, в которых обобщены те или иные предметы или явления.
Абстрактные понятия – понятия, в которых обобщены признаки пред-метов или отношения между ними.
3) – положительные;
– отрицательные.
Положительные понятия – понятия, которые характеризуют наличие то-го или иного качества и отношения.
Отрицательные – характеризуют отсутствие того или иного качества или отношения. Употребляется частица «не», «без».
4) – собирательные;
– несобирательные.
Собирательные понятия – понятия, в которых группа однородных пред-метов мыслится как единое целое.
Несобирательные понятия – понятия, содержание которых можно отне-сти к каждому отдельно взятому предмету, отраженному в этом понятии.
5) – относительные;
– безотносительные.
Относительные понятия – понятия, в которых мыслятся предметы, су-ществование одного из которых предполагает существование другого.
Безотносительные понятия – понятия, в которых мыслятся предметы, существующие самостоятельно в независимости от другого предмета.
6) – определенные (четкие);
– неопределенные (нечеткие).
4
Определенные понятия – понятия, которые характеризуются точно опре-деленным содержанием и объемом, т. е. всегда можно сказать, входит этот предмет в это понятие или не входит.
Неопределенные понятия – понятия, относительно которых имеются трудности в определении их содержания или объема.
№ 11
Понятия могут находиться в различных логических отношениях друг к другу. Отношения устанавливаются между понятиями с одинаковым родом (между сравнимыми понятиями) посредством сопоставления либо их объемов, либо содержаний.
Можно выделить три фундаментальных отношения между двумя понятиями по объему: совместимость (в объемах понятий имеется по крайней мере один общий элемент), исчерпываемость (объединение объемов совпадает с родом), включение (каждый элемент объема первого понятия входит в объем второго). Все остальные объемные отношения можно рассматривать как комбинации фундаментальных. Среди них особый интерес представляют отношения между непустыми и неуниверсальными понятиями. Они используются в качестве модельных схем в традиционной силлогистике. Имеется всего семь такого рода отношений: равнообъемность (включение понятий друг в друга), подчинение (первое понятие включается во второе, но не наоборот), обратное подчинение (второе понятие включается в первое, но не наоборот), перекрещивание (совместимость, отсутствие включения в обе стороны и неисчерпываемость рода), дополнительность (совместимость, отсутствие включения в обе стороны и исчерпываемость рода), соподчинение (несовместимость и неисчерпываемость), противоречие (несовместимость и исчерпываемость).
Классификация отношений между понятиями по содержанию разработана в меньшей степени. Один из возможных подходов состоит в следующем: для установления такого рода отношений между понятиями и средствами логики предикатов выясняют, в каком отношении находятся высказывательные формы и . Если, напр., последние контрарны (совместимы по ложности и несовместимы по истинности), то сами понятия находятся в отношении противоположности; если из логически следует , но не наоборот, то первое понятие информативнее второго и т.п.
Круги́ Э́йлера — геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления. Изобретены Леонардом Эйлером. Используется в математике, логике, менеджменте и других прикладных направлениях.
Важный частный случай кругов Эйлера — диаграммы Эйлера — Венна, изображающие все 2n комбинаций n свойств, то есть конечную булеву алгебру. При n = 3 диаграмма Эйлера — Венна обычно изображается в виде трёх кругов с центрами в вершинах равностороннего треугольника и одинаковым радиусом, приблизительно равным длине стороны треугольника.
При решении целого ряда задач Леонард Эйлер использовал идею изображения множеств с помощью кругов. Однако, этим методом ещё до Эйлера пользовался выдающийся немецкий философ и математик Готфрид Вильгельм Лейбниц (1646—1716). Лейбниц использовал их для геометрической интерпретации логических связей между понятиями, но при этом всё же предпочитал использовать линейные схемы
№ 12
Над понятиями могут осуществляться различные операции. Наиболее важными из них являются операции деления, обобщения и ограничения понятий.
Деление понятия - это процедура перехода от данного понятия к совокупности подчиненных ему понятий с точки зрения некоторой характеристики, которая называется основанием деления. В ходе этой операции элементы объема исходного делимого понятия распределяются по подклассам, которые образуют объемы результирующих понятий - членов деления.
В качестве основания деления может выступать, во-первых, факт наличия или отсутствия у элементов объемов делимого понятия некоторого признака (в этом случае в исходном множестве выделяются два подкласса объектов - обладающих и не обладающих данным признаком, членами деления являются понятия и , а само деление называется дихотомическим); во-вторых, предметно-функциональная характеристика (напр., масса, рост, возраст, цвет, национальность), модифицирующая свои значения в результате приложения к различным объектам исходного класса (такой тип деления называют делением по видоизменению основания).
В логике выработан ряд правил корректного осуществления данной операции: требования соразмерности (равнообъемности делимого понятия и совокупности членов деления), непустоты членов деления, их взаимной несовместимости по объему, единственности основания. Операцию деления понятия следует отличать от процедуры мысленного расчленения предмета на части (напр., "Предложение состоит из подлежащего, сказуемого и второстепенных членов"), последнюю иногда называют мереологическим делением.
Деление понятия представляет собой необходимый элемент важнейшей и широко используемой в науке познавательной процедуры - классификации, которую можно трактовать как систему вложенных друг в друга делений.
Обобщением понятия называется переход от понятия с данным объемом к понятию с более широким объемом, но тем же родом (напр., понятие "роман, написанный русским писателем" можно обобщить до понятия "роман, написанный русским или украинским писателем"). Обратный переход от понятия с данным объемом к более узкому по объему непустому понятию называют ограничением понятия (в результате ограничения понятия "роман, написанный русским писателем" можно получить, напр., понятие "роман, написанный русским писателем в XIX веке"). Пределом ограничения являются единичные понятия, а пределом обобщения - универсальные понятия (объем которых совпадает с родом).
Операции обобщения и ограничения можно осуществлять посредством модификации содержания понятия, опираясь при этом на закон обратного отношения между содержаниями и объемами понятий: чтобы обобщить понятие, необходимо перейти к менее информативному, а чтобы ограничить - к более информативному понятию.
Поскольку объемы понятий суть множества, над ними можно осуществлять те же операции, что и над множествами. Особенность применения к объемам понятий булевых операций - объединения, пересечения, разности множеств, взятия дополнения к множеству - состоит в том, что в результате получается множество, которое является объемом нового, сложного понятия, образуемого из содержаний исходных. Так, дополнением к объему понятия является объем отрицательного понятия . Объединение объемов понятий и дает объем разделительного понятия , пересечение их объемов - объем соединительного понятия , результатом теоретико-множественного вычитания второго объема из первого будет объем соединительного понятия.
№13
Логические операции предполагают уяснение отношений между понятиями не только по содержанию, но и по объему. Логическая операция, раскрывающая объем понятия, называется делением. Ее сущность заключается в расчленении известного класса предметов, охваченных данным понятием, на более мелкие классы.
Деление это такая логическая операция, в которой общее и отличительное, как две стороны каждой вещи, находят свое раздельное проявление - в подчинении видовых понятий общему роду и в соподчинении их между собой.
От логического деления понятий следует отличать расчленение предмета на отдельные части. Например, цельное представление самолета можно расчленить на фюзеляж, двигатель и крылья, а в результате логического деления понятия "самолет" получим его виды - гражданские и военные самолеты. Причем эти виды самолетов далее можно делить по их назначению, техническим характеристикам и т.д. Приведем другой пример. Так, дерево можно расчленить на ствол, ветки, корни и т.д. Однако это не есть операция деления на классы. В действительности же деление понятия "дерево" образует новые подклассы: хвойные и лиственные деревья.
Необходимо иметь в виду, что процесс логического деления понятий опирается на конкретные категории. Так, тот объем понятия, который подлежит делению, называется делимым понятием, а полученные видовые понятия носят названия членов деления. Существенный признак, по которому производится деление объема родового понятия на виды, называется основанием деления. Так, понятие "преступление" (делимое понятие) делится на такие понятия, как "умышленное преступление" и "неосторожное преступление". Они и составляют члены деления. А основанием в рассмотренном примере выступает такой существенный признак, как вина.
№ 14
В логике выделяют ряд видов деления понятий:
дихотомия (т.е. деление на две части):
трихотомия (т.е. деление на три части)
политомия(т.е. многочисленное деление)
Дихотоми́я (греч. διχοτομία: δῐχῆ, «надвое» + τομή, «деление») — раздвоенность, последовательное деление на две части, не связанные между собой. Дихотомическое деление в математике, философии, логике и лингвистике является способом образования взаимоисключающих подразделов одного понятия или термина и служит для образования классификации элементов.
Объём понятия «человек» можно разделить на два взаимоисключающих класса: мужчины и не мужчины. Понятия «мужчины» и «не мужчины» являются противоречащими друг другу, поэтому их объёмы не пересекаются. От дихотомии следует отличать обычное деление, приводящее к тому же самому результату. Например, объём понятия «человек» можно разделить по признаку пола на мужчин и женщин. Но между понятиями мужчина и женщина нет логического противоречия, поэтому здесь нельзя говорить о дихотомическом делении.
Преимущества и недостатки
Дихотомическое деление привлекательно своей простотой. Действительно, при дихотомии мы всегда имеем дело лишь с двумя классами, которые исчерпывают объём делимого понятия. Таким образом, дихотомическое деление всегда соразмерно; члены деления исключают друг друга, так как каждый объект делимого множества попадает только в один из классов а или не а; деление проводится по одному основанию — наличие или отсутствие некоторого признака. Обозначив делимое понятие буквой а и выделив в его объёме некоторый вид, скажем, b, можно разделить объём а на две части — b и не b.
Дихотомическое деление имеет недостаток: при делении объёма понятия на два противоречащих понятия каждый раз остаётся крайне неопределённой та его часть, к которой относится частица «не». Если разделить учёных на историков и не историков, то вторая группа оказывается весьма неясной. Кроме того, если в начале дихотомического деления обычно довольно легко установить наличие противоречащего понятия, то по мере удаления от первой пары понятий найти его становится всё труднее.
№15
Частным случаем деления понятия по видоизменению признака является классификация . Это распределение предметов по группам (классам), где каждый класс имеет свое постоянное, определенное место. От обычного деления она отличается относительно устойчивым характером. Классификация сохраняется весьма длительное время, если она имеет научный характер. Например, в зоологии и ботанике члены деления животного и растительного мира закреплены на постоянные места в виды системы: тип - класс - отряд - семейство - род - вид.
Построенная на научной основе классификация имеет большое значение, служит важным средством обнаружения закономерностей в определенной области естественных и социальных явлений. Обоснованная классификация может сыграть важную роль в развитии наших знаний, помочь предвидеть зарождение новых научных направлений.
Классифика́ция (классифицирование) — процесс группировки объектов исследования или наблюдения в соответствии с их общими признаками. В результате разработанной классификации создаётся классифицированная система (часто называемая так же, как и процесс — классификацией). Таксономия (от др.-греч. τάξις — расположение, строй, порядок и νόμος — закон) — теория классификации и систематизации сложноорганизованных областей действительности, имеющих обычно иерархическое строение (органический мир, объекты географии, геологии, языкознания, этнографии и т. п.).
Являясь в большей или меньшей степени условной (соответственно субъекту её осуществляющему и его восприятию «общности признаков»), классификация может позволить упростить общение людей, её применяющих (в случае, если это восприятие «общности признаков» само оказалось достаточно общим). Например, можно использовать понятие монотонной функции, не обращаясь каждый раз к определению, выделяющему это подмножество функций из множества функций вообще.
№16
Определение, дефиниция (лат. definitio — предел, граница) — логическая процедура придания строго фиксированного смысла терминам языка. Термин, над которым проводится операция дефиниции, называется дефидентом.
Определение – это лог операция ктр раскрывает содержание понятия, либо устанавливает значение термина. С помощью определения понятий мы указываем на сущность отраженных в понятии предметов, раскрываем содержание понятия и тем самым отличаем круг определенных предметов от других предметов. Существует 2 вида определения понятий: Реальные – раскрывают сущность предметов (естественный отбор – процесс выживания наиболее приспосабливаемых особей, ктр ведет к приемущестрву сильной особи над другими.); Номинальные – если определенный термин обозначает понятие. (Вещества растворов ктр проводят эл ток, назыв электропроводными.)
Правила определения: 1) Определение должно быть соразмерным т.е. объем определения понятия должен быть равен объему определенного понятия.
Ошибки: Узкое и широкое понятие.
2) Определение не должно содержать круга.
3) Определение должно быть четким и достаточно определенным т.е. не содержать двусмысленность и образность хар-ки.
№ 17
Виды
Различают следующие виды явных дефиниций: 1) атрибутивно-реляционные, в которых указывается ближайшее родовое отличие и видовой признак, присущий только данному виду (например, "квадрат - ромб с прямыми углами"); 2) генетические, в которых указывается происхождение или способ конструирования объекта, обозначаемого определяемым именем (например, "сфера - пространственная поверхность, которую описывает полуокружность при вращении ее вокруг диаметра"); 3) операциональные, в которых, в качестве видовой характеристики объектов выступает указание на некоторую операцию, посредством которой эти объекты могут быть обнаружены и обозначено их отличие от других предметов (например, "кислота - вещество, окрашивающее лакмус в красный цвет"). Неявные дефиниции не имеют четко выраженной структуры, вследствие чего отсутствует способ элиминации дефиниендума из того или иного контекста (например, матричное определение логических операций в исчислении высказываний и др.). К числу неявных дефиниций относятся: 1) аксиоматические (например, в математической логике - определение формулы в исчислении высказываний); 2) контекстуальные (например, возможность выяснить содержание понятия, не прибегая к толковому словарю, а через предлагаемый контекст); 3) рекурсивные (например, определение математического ряда чисел Фибоначчи посредством рекурсивной (возвратной) функции, в котором каждое последующее число равно сумме двух предыдущих чисел: 1, 1, 2, 3, 5, 8 и т.д.); 4) индуктивные (например, в математике определение понятия "натуральное число").
Правила дефиниции
Соразмерность дефидента и дефиниции. Пример ошибки:
Широкое определение «Лошадь — млекопитающее и позвоночное животное».
Узкое определение «Совесть — это осознание человеком ответственности перед самим собой за совершённые поступки».
И широкое и узкое одновременно «Бочка — это сосуд для хранения жидкостей».
Определение не должно содержать круга — когда дефиниция определяется через дефидент, а дефидент был определён через дефиницию. Пример ошибки:
«Халатность заключается в том, что человек халатно относится к своим обязанностям».
Чёткость и ясность — определения не должны быть двусмысленными, не допускаются метафоры и сравнения. Пример ошибки:
«Лев — царь зверей».
Родовой признак должен указывать на ближайшее широкое понятие, не перескакивая через него.
Видовым различием должен быть признак или группа признаков, присущих лишь данному понятию и отсутствующих у других понятий этого рода.
По возможности определение не должно быть негативным и вообще предвзятым.
Следует отличать определение от других действий, не раскрывающих полностью суть понятия:
описание — перечисление отличительных внешних признаков, способствующих выделению среди остальных
характеристика — перечисление самых важных признаков
сравнение — фиксирование факта совпадения или несовпадения признаков между объектами
демонстрация — ознакомление с понятием выяснением его рода или класса
№18
В правильном определении объемы определяемого и определяющего понятий должны совпадать.
Или, если воспользоваться нашей терминологией из предыдущего параграфа, определяемое и определяющее понятие должны быть равнозначными. Следовательно, для проверки правильности определений можно применить процедуру установления равнозначности понятий, описанную в § 2.
С правилом соразмерности связаны две возможные ошибки:
а). Слишком широкое определение.
Определение называется слишком широким, если объем определяемого понятия является частью объема определяющего понятия.
Пусть А — определяемое понятие, В — определяющее.
Пример. Автократия — это форма правления, при которой государственная власть сосредоточена в руках одного лица.
Здесь совершена ошибка слишком широкого определения, ибо государственная власть может быть сосредоточена в руках одного лица полностью или частично. Говорить о некоторой форме правления, как об автократии (т.е., по-русски, самодержавии) можно только тогда, когда верховная государственная власть полностью сосредоточена в руках одного лица. Под наше Первоначальное определение автократии подходят и другие виды монархии, например, конституционная монархия, в которой государственная власть частично сосредоточена в руках одного лица. Поэтому, чтобы выполнить правило соразмерности, автократию следует определить как монархию, при которой государственная власть полностью сосредоточена в руках одного лица.
Как мы уже видели, ошибку «слишком широкое определение» совершил и Платон в своем определении человека, действительно, если А — «человек», а В — «двуногое и бесперое животное», то получим следующую картинку:
Множество В—А будет как раз составлять множество ощипанных петухов.
Чтобы обнаружить ошибку «слишком широкое определение», следует задать вопрос: все ли элементы объема определяющего понятия являются элементами объема определяемого понятия. И если ответ на этот вопрос будет «нет», то налицо ошибка «слишком широкое определение».
б). Слишком узкое определение.
Определение называется слишком узким, если объем определяющего понятия (В) является частью объема определяемого понятия (А).
Пример. Республика — это форма правления, при которой все высшие органы власти избираются всеобщим голосованием.
Это определение неправильно, поскольку мы знаем такие республики, в которых не все высшие органы власти избираются всеобщим голосованием. Например, Россия в
Чтобы обнаружить ошибку «слишком узкое определение», следует задать вопрос: всели элементы объема определяемого понятия являются элементами объема определяющего понятия?; если ответ на этот вопрос будет «нет», то налицо ошибка «слишком узкое определение».
2. Правило запрета круга.
Определение не должно содержать в себе круга.
Это — отрицательное правило. Поэтому, чтобы понять его, мы должны сначала проанализировать ошибку «круг в определении».
Пример. Государство — организация политической власти, располагающая специальным аппаратом принуждения и придающая своим велениям обязательную силу для населения всей страны.
Тавтология — логическая ошибка, заключающаяся в том, что определяемое понятие встречается в определяющем понятии.
Ошибка тавтологии связана с очень невысоким уровнем логической культуры, но, тем не менее, периодически встречается, когда мы пытаемся дать определение, не обдумав его предварительно.
3. Правило неотрицательности.
Определение по возможности не должно содержать в определяющем понятии отрицательных признаков.
Если мы скажем «Республика — это форма правления, не являющаяся монархией», то это будет совершенно правильно, поскольку существуют только две формы правления: республика и монархия, и все, что не является монархией, является, тем самым, республикой. Таким образом, например, соблюдено правило соразмерности. А если мы определим монархию независимо от республики, то будет соблюдено и правило отсутствия крута в определении. Но хорошее ли это определение? Выполняет ли оно вторую задачу определения: сообщить существенную информацию об определяемом понятии? Я думаю, ответ очевиден: нет. Оно не выполняет этой задачи, потому что является отрицательным. Республика определяется через отрицательный признак «не быть монархией». Но много ли мы из этого узнаем о самой республике? Почти ничего. Поэтому в логике и формулируется требование, согласно которому определение не должно быть, по возможности, отрицательным.
Слова «по возможности» указывают на эвристический характер этого требования. (Эвристический — от греч. слова — нашел! «Эврика!» — восклицание Архимеда, открывшего свой знаменитый закон.) В настоящее время слово «эвристический» означает то, что относится к открытию, а слово «эвристика» — теорию, систематизирующую правила открытия. Причем эти правила не гарантируют истинности получаемых суждений. Дело в том, что часто нам трудно или просто невозможно избежать использования отрицательных признаков в определяющем понятии.
Пример. Автократия — это монархия, в которой отсутствуют подлинно представительные учреждения.
В этом определении используетсяотрицательный признак «отсутствие подлинно представительных учреждений», но я не вижу, как избежать его использования.
Нарушение этого правила ведет к ошибке «использование отрицательного признака без необходимости».
Пример этой ошибки уже обсуждался выше, когда речь шла об определении республики через монархию.
4. Правило ясности.
Определение должно быть как можно более ясным.
Это — не логическое, а скорее, лингвистическое требование к определениям. Оно включает в себя два положения:
а) слова, встречающиеся в определяющей части, должны иметь как можно более ясный смысл, среди них не должно быть метафор и прочих образных выражений;
б) понятия, которые мы используем в определяющей части, должны быть нам лучше известны, чем определяемое понятие.
Нарушение части а) этого правила ведет к ошибке, которая называется «неясное определение». Если же мы скажем, что «Дети — это цветы жизни», а «Повторение — это мать учения», то, возможно, мы пробудим в уме слушающего важные ассоциации, связанные с этими понятиями, но ничего не скажем о, их содержании. Если же мы хотим решить задачи, стоящие перед операцией определения, то нам в определяющей части следует использовать четко мыслимые признаки.
Нарушение части б) этого правила ведет к логической ошибке «определение неизвестного через еще более неизвестное».
Пример. Если я скажу вам: «Трансцендентальное Я — это синтетическое единство трансцендентальной апперцепции субъекта», — то вряд ли это вам что-либо разъяснит, потому что ни «синтетическое единство», ни «апперцепция» не являются для вас понятиями более близкими, чем понятие «трансцендентальногоЯ», которое пробуждает в нас хоть какие-то ассоциации благодаря знакомому слову «я».
Таковы основные правила определения. Соблюдение этих правил позволит вам формулировать ясные, правильные определения, которые помогут вам уяснить свои собственные знания и передать эти знания другим в ясной и отчетливой форме.
Систематическая работа с определениями поможет вам:
1) ответственно относиться к своим мыслям, поскольку мысли этого типа могут быть проверены на правильность по простым и ясным правилам, и
2) ясно, кратко и точно выражать свои мысли.
№ 19
Наряду с понятием к числу основных форм мышления относится суждение. Его определяют обычно как утверждение или отрицание чего-либо о чем-либо, хотя это определение относится лишь к особому виду суждений, а именно — к простым суждениям. Мысль этого типа, вообще говоря (пока без различения простых и сложных суждений, о которых речь пойдет ниже) представляет собой описание некоторой ситуации в той или иной познаваемой области действительности и утверждение или отрицание наличия этой ситуации в данной области. Эта форма мышления является, по существу, обязательным элементом всякого познания, в особенности связанного с процессами рассуждения, с осуществлением выводов и построением доказательств. В этой форме фиксируются результаты познания отдельных предметов, классов предметов, некоторых ситуаций вообще. Например, «Каждая планета Солнечной системы вращается вокруг своей оси». Можно сказать, что в этом суждении утверждается наличие в действительности ситуации: вращение вокруг своей оси каждой планеты Солнечной системы. В суждении «Для всякого проводника верно, что если по проводнику проходит ток, то он нагревается», — утверждается наличие — для каждого проводника — связи между прохождением тока по нему и его нагреванием. В суждении же «Ни одна планета Солнечной системы не является неподвижной» отрицается наличие в действительности ситуации покоя (отсутствия движения) каждой планеты Солнечной системы.
В силу того, что в суждении утверждается или отрицается наличие какой-то ситуации действительности, оно - при условии точной и правильной формулировки - является истинным или ложным.
Всякая мысль, как мы уже знаем, выражается в некоторой знаковой - обычно языковой - форме. Для суждения таковой является повествовательное предложение. Само суждение составляет всегда смысл некоторого повествовательного предложения. Суждение, рассматриваемое вместе с его знаковой формой, как мы уже говорили раньше, называют высказыванием. Поэтому характеристики «истинно» или «ложно» относятся зачастую не к самому суждению, а к вы сказыванию, а иногда и к самому повествовательному предложению, являющемуся законом некоторого суждения
Различные суждения, в которых описывается объективно одна и та же ситуация, можно называть содержательно э к в и в а л е н т н ы -м и (иногда также р а в н о с и л ь н ы м и или р а в н о з н а ч -ными). (Просто «эквивалентными» или «равнозначными» называют высказывания с одинаковыми истинностными значениями; при этом не обязательно связанные между собой по содержанию.)
Поскольку понятие в отличие от суждения содержит только описание некоторого предмета и ситуации без утверждения наличия или отсутствия ее в действительности, — оно не является ни истинным, ни ложным. Конечно, при условии, что имеется в виду п о н я т и е с а м о по себе, что мы обычно и имеем в виду при рассмотрении понятия, а не п о н я т и е о ч е м - л и б о . Понятие того или иного человека о чем-либо всегда истинно или ложно, но именно потому, что выражается в форме суждения. Свое понятие о ромбе я могу выразить так: «Ромб есть плоская, замкнутая, четырехугольная фигура с равными сторонами». В таком случае мое понятие о ромбе, очевидно, истинно. Понятие же ромба само по себе — плоская, замкнутая, четырехугольная фигура с равными сторонами — конечно, не истинно и не ложно. Сравним: «Поражение Парижской коммуны» и «Парижская коммуна потерпела поражение»; «Все жидкости упруги» и «Упругость всех жидкостей».
В современной логике вместо термина «суждение» предпочитают употреблять термин «высказывание». Однако термином «суждение» в традиционной логике обозначали именно некоторый смысл повествовательного предложения с учетом того, что он может быть общим для различных знаковых форм. Иначе говоря, учитывалось, что одно и то же суждение может быть выражено в различных формах повествовательных предложений в пределах даже одного языка, а тем более в различных языках. Можно, например, утверждать, что «Всякий человек способен мыслить» и что «Все люди обладают способностью мышления», но в обоих случаях выражается одна и та же мысль (одно и то же суждение). Заметим, однако, что предложение «Не найдется человека, который не может мыслить» представляет собой, хотя и содержательно эквивалентное предыдущим, но, как увидим из дальнейших определений, другое суждение.
Простые суждения — суждения, составными частями которых являются понятия. Простое суждение можно разложить только на понятия.
Сложные суждения — суждения, составными частями которых являются простые суждения или их сочетания. Сложное суждение может рассматриваться как образование из нескольких исходных суждений, соединенных в рамках данного сложного суждения логическими союзами (связками). От того, при помощи какого союза связываются простые суждения, зависит логическая особенность сложного суждения.
Состав простого суждения
Простое (атрибутивное) суждение — это суждение о принадлежности предметам свойств (атрибутов), а также суждения об отсутствии у предметов каких-либо свойств. В атрибутивном суждении могут быть выделены термины суждения — субъект, предикат, связка, квантор.
Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).
Предикат суждения — мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).
Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).
Квантор — указывает, относится ли суждение ко всему объёму понятия, выражающего субъект, или только к его части: «некоторые», «все» и т. п.
Состав сложного суждения
Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит и, любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.
Дизъюнктивные суждения образуются с помощью разделительных (дизъюнктивных) логических связок (аналогичных союзу «или»). Подобно простым разделительным суждениям, они бывают:
нестрогими (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («толи…, толи…»). Записывается как ;
строгими (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как .
Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если …, то»). Записывается как или ab. В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.
Конъюнктивные суждения образуются с помощью логических связок сочетания или конъюнкции (эквивалентно запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим). Записывается как .
Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как (у разных математиков по-разному, хотя математический знак тождества всё-таки ).
Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).
№20
Атрибутивным (от латинского attributio -- «свойство», «признак») суждением является такое, в предикате которых выражены свойства или признаки предметов. В простом атрибутивном суждении имеются субъект, предикат, связка и квантор. Субъект атрибутивного суждения -- это понятие о предмете суждения. Предикатом атрибутивного суждения называется понятие о признаке предмета, рассматриваемом в суждении. Схема: S есть Р «Мед сладкий»; S не есть Р «Мед не сладкий» называется суждение о признаке предмета. В нем отражается связь между предметом и его признаком, эта связь утверждается или отрицается. Например: «Сроки аренды определяются договором», «Никто из судей не вправе воздержаться от голосования».
Некоторые суждения отражают принадлежность (или непринадлежность) предмету нескольких признаков. В этом суждении субъект имеет не один, а два или больше предикатов. Например: «Никто (S) не может быть подвергнут произвольному арест (Pi), задержанию (Рз) или изгнанию (Рз)». Это суждение является сложным, состоящим из трех простых, но оно может быть рассмотрено как простое с одним сложным предикатом:
S есть Р (Pi, Pi, Рз)
В традиционной логике атрибутивные суждения называются также категорическими (от греческого kategorikos -- «ясный», «безусловный», «не допускающий иных толкований»).
№21
По качеству связки («есть» или «не есть») категорические суждения делятся на утвердительные и отрицательные. Суждения «Многие предприятия являются частными», «В.В. Путин является Президентом Российской Федерации» утвердительные. Суждения «Некоторые дома не являются благоустроенными», «Ни один карась не является хищной рыбой» отрицательные. Связка «есть» в утвердительном суждении отражает наличие у предмета (предметов) некоторых свойств. Связка «не есть» отражает то, что предмету (предметам) не присуще некоторое свойство.
В отрицательном истинном суждении наша мысль разъединяет (разделяет) то, что находится разделенным в объективном мире.
В зависимости от того, обо всем классе предметов, о части этого класса или об одном предмете идет речь в субъекте, суждения делятся на общие, единичные и частные.
Структура общего суждения: «Все S есть (не есть) Р».
Среди общих суждений встречаются выделяющие суждения, в состав которых входит квантор «только». «Только добрый человек может быть врачом» (П. Дюбуа). Примерами выделяющих суждений являются и следующее: «Только благородные газы. И только они не образуют химических соединений с элементами».
Среди общих суждений имеются исключающие суждения, например: «Все сотрудники нашего отдела, за исключением больных, пришли на работу». К числу исключающих суждений относятся и те, в которых выражены исключения из правил русского или иных языков, правил логики, математики и других наук.
Частные суждения имеют структуру: «Некоторые S есть (не есть) Р». Они делятся на неопределенные и определенные. Например, «Некоторые грибы -- съедобны» -- неопределенное частное суждение. Мы не установили, обладают ли признаком съедобности все грибы, но не установили и того, что признаком съедобности не обладают некоторые грибы. Если мы установили, что «Только некоторые S обладают признаком Р», то это будет определенное частное суждение, структура которого: «Только некоторые S есть (не есть) Р». Примеры: «Только некоторые грибы съедобны»; «Только некоторые остроугольные треугольники являются равносторонними»; «Только некоторые тела легче воды». В определенных частных суждениях часто применяются кванторы: большинство, меньшинство, немало, не все, многие, почти все, несколько и др. Для того, например, чтобы устранить неопределенность частного суждения: «Некоторые студенты опоздали на лекцию», -- надо уточнить, сколько студентов и кто именно опоздал, т. е. назвать фамилии.
Единичные суждения имеют структуру: «Это S есть (не есть) Р». Примеры единичных суждений: «Тирасполь - столица Приднестровской Молдавской Республики», «Эверест -- высочайшая вершина мира», «Вулкан Ключевская сопка -- действующий».
Частные суждения имеют структуру: «Некоторые S есть (не есть) Р». Они делятся на неопределенные и определенные. Например, «Некоторые грибы -- съедобны» -- неопределенное частное суждение. Нам неизвестно, обладают ли признаком съедобности все трибы, но мы не установили и того, что признаком съедобности не обладают некоторые грибы. Если мы установили, что «Только некоторые S обладают признаком Р», то это будет определенное частное суждение, структура которого: «Только некоторые S есть (не есть) Р». Примеры: «Только некоторые грибы съедобны»; «Только некоторые остроугольные треугольники являются равносторонними»; «Только некоторые тела легче воды». В определенных частных суждениях часто применяются кванторы: большинство, меньшинство, немало, не все, многие, почти все, несколько и др. Для того, например, чтобы устранить неопределенность частного суждения: «Некоторые студенты опоздали на лекцию», -- надо уточнить, сколько студентов и кто именно опоздал, т. е. назвать фамилии.
№22
Состав простого категорического суждения - это такое суждение, в котором что-либо утверждается или отрицается о предмете с необходимостью (собака - это животное). Состоит из 3-х элементов:
Субъект - это часть суждения, которая выражает предмет мысли. S (subjectum)
Предикат - это та часть суждения, в которой что-либо утверждается или отрицается о предмете мысли. (praedicatum)
Связка «есть, суть, является»
Иногда кванторное КВАНТОРЫ (от лат. quantum -- сколько), эквиваленты слов «все», «каждый» и т. п. (кванторы общности), «некоторый», «существует» (кванторы существования) и др.; операторы, формализующие в исчислении предикатов логические свойства этих выражений. слово - «все, ни один, что-то».
Субъект и предикат - термины суждения.
В зависимости от характера предиката все суждения делятся на 3-и группы:
Субъект и предикат суждения могут быть распределены (индекс "+") или не распределены (индекс "-").
Распределено - когда в суждении подлежащее (S) и сказуемое (P) берется в полном объеме
Не распределено - когда в суждении подлежащее (S) и сказуемое (P) берется не в полном объеме
Суждения А (обще-утвердительные суждения) Распределяет свое подлежащее (S), но не распределяет свое сказуемое (P)
Объем подлежащего (S) меньше объема сказуемого (Р)
Прим.: «Все рыбы суть позвоночные»
Объемы подлежащего и сказуемого совпадают
Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами»
Суждения Е (обще-отрицательные суждения) Распределяет как подлежащее (S), так и сказуемое (P)
В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым
Прим.: «Ни одно насекомое не есть позвоночное»
Суждения I (частно-утвердительные суждения) Ни подлежащие (S), ни сказуемые (P) не распределены
Часть класса подлежащего входит в класс сказуемого.
Прим.: «Некоторые книги полезны»
Прим.: «Некоторые животные суть Позвоночные»
Суждения О (частно-отрицательные суждения) Распределяет свое сказуемое (Р), но не распределяет свое подлежащее (S) В этих суждениях мы обращаем внимание на то, что есть несовпадающего между ними (заштрихованная область)
Прим.: «Некоторые животные не суть позвоночные (S)»
Прим.: «Некоторые змеи не имеют ядовитых зубов (S)»
№23
|
|
|
|
|
Частичное совпадение находящихся в 2-х совместимых суждений
ЧУ и ЧО по различному качеству ЧУ – нектр свидетели дают истин-
ные показания. ЧО – нектр свидетели не дают истинные показания.
Оба они могут быть истинные, но не могут быть ложные. Закономерн.
выражающ отношения между суждениями по истинности имеют
Большое познавательное значение.
Пример.
ОУ – Любишь кататься люби и саночки возить (и)
ОО – Не любишь саночки возить не люби и кататься (л)
ЧО – Иногда не любишь возить саночки, не люби и кататься иногда.(и)
ЧУ – Иногда любишь возить саночки, иногда люби и кататься (и)
№ 24
Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит и, любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.
Дизъюнктивные суждения образуются с помощью разделительных (дизъюнктивных) логических связок (аналогичных союзу «или»). Подобно простым разделительным суждениям, они бывают:
нестрогими (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («толи…, толи…»). Записывается как ;
строгими (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как .
Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если …, то»). Записывается как или ab. В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.
Конъюнктивные суждения образуются с помощью логических связок сочетания или конъюнкции (эквивалентно запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим). Записывается как .
Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как (у разных математиков по-разному, хотя математический знак тождества всё-таки ).
Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).
ложные суждения состоят из нескольких простых суждении, связанных между собой логическими союзами. Логический союз, таким образом, есть новая логическая связь, определяющая собой структуру новой мыслительной конструкции, логические ее характеристики и выступая ее главной структурной закономерностью.
Логика выделяет четыре логических союза: соединительный союз (конъюнкция), в языке выразимый грамматическими союзами и частицами "и", "а", "но", "да" и т.п.; разделительный союз (дизъюнкция) - "или", "либо" и т.п.; условный союз (импликация) - "если.., то" и союз эквивалентности, тождественности (эквиваленция) - "если и только если.., то", "тогда и только тогда, когда".
Два или более простых суждения могут образовывать сложное с помощью соединительного союза, который символически изображается знаком "/". Например: "Сегодня воскресенье, и мы едем за город". Это конъюнктивное суждение можно записать в виде формулы: (S есть Р) и (S1 есть р1). Если же простые суждения, которые нам хорошо уже известны, обозначать для простоты выражения отдельными символами, то эта формула примет сокращенный вид (В и С), где символ "В" соответствует простому суждению "S есть Р", а символ "С" - другому простому суждению "S1 есть Р1". А если мы и логический союз заменим на символическое его изображение, то получим совсем короткую и удобную для использования формулу: "В/С", которая выражает лишь структурные особенности построения данной формы мысли (что логику-то и интересует) и не отвлекает нас своим содержанием. По формуле легко установить количество составных элементов сложного суждения - левый и правый член конъюнкции, и сам логический союз. Остается выявить лишь закономерности, определяемые главным элементом данной конструкции - логическим союзом.
№25
Поскольку простое суждение в такой виде имеет для нас значение лишь своей главной особенностью - простое суждение по природе своей может быть либо истинным, либо ложным, то основные зависимости сложного конъюнктивного суждения будут определяться его логическим союзом. Эти зависимости легко обнаруживаются в разработанных логикой так называемых "таблицах истинности" для логических союзов. Для конъюнкции таблица истинности такова:
В С В / С
и и и
л и л
и л л
л л л
Таким образом, соединительный логический союз (конъюнкция) формирует сложное суждение, истинное только в одном случае - когда все входящие в него простые суждения являются истинными. И это является законом для данного логического союза, т.е. сколько бы ни входило в это сложное суждение простых суждений, достаточно будет одного ложного из них, чтобы вся конъюнкция в целом оказалась ложной.
Два или более простых суждения могут образовывать сложное и с помощью разделительного логического союза "/" (дизъюнкция). С его помощью можно образовать, например, такое сложное разделительное суждение: "Леса на территории нашей страны являются лиственными или хвойными или смешанными". Это суждение записывается в виде формулы В / С / Д, в которой каждый символ соответствует простому суждению и логическому союзу.
В логике различают два значения разделительного (дизъюнктивного) союза: разделительно-соединительный (слабая дизъюнкция) и строго разделительный союз (строгая, или сильная дизъюнкция). Слабая дизъюнкция не запрещает, не исключает одновременную истинность простых суждений, входящих в это сложное. Так, приведенное выше суждение "Леса бывают лиственными или хвойными или смешанными" являет собой образец слабой дизъюнкции: в данном случае союз "или" не только разъединяет, но и соединяет, допуская наличие перечисленных трех признаков у одного и того же леса. Зато строгая (сильная) дизъюнкция исключает одновременную истинность простых входящих в сложное суждений. Так, в суждении "Данное животное есть волк или медведь" союз "или" выполняет строго разделительную роль; одновременно данное животное тем и другим быть не может. Обычно слабую дизъюнкцию обозначают символом "v", а строгую — "v".
Для разделительно-соединительного союза, для слабой дизъюнкции, таблица истинности такова:
В С ВvС
и и и
л и и
и л и
л л л
Для слабой дизъюнкции характерно то, что сложное суждение, формируемое этим логическим союзом, бывает ложным только в одном случае, когда все составляющие его простые суждения являются ложными; во всех остальных случаях, сколь бы ни было велико число членов дизъюнкции, сложное суждение будет истинным.
Строго разделительный союз (v), соответственно своей сущности, формирует истинное сложное суждение лишь в том случае, когда только одно из всего количества простых суждений, входящих в сложное, является истинным. Другие случаи сочетания истинности и ложности простых суждений не дают истинного сложного суждения и целом.
Таблица истинности для строгой дизъюнкции такова:
В С В v С
и и л
л и и
и л и
л л л
Символическое обозначение логического союза тождественности (эквиваленция) - <-->. Этот союз формирует сложное суждение, по истинностной своей характеристике противоположное суждению строгой дизъюнкции. Дело в том, что и этот союз дает сложное суждение, истинное только в двух случаях, когда либо все входящие в сложное простые суждения являются истинными, либо все являются ложными. Например, "Треугольники имеют равные углы тогда и только тогда, когда и стороны их равны", или "Если и только если углы треугольника равны, то и стороны его тоже равны".
Таблица истинности для эквиваленции:
В С В <-->С
и и и
л и л
и л л
л л и
Следующим логическим союзом, формирующим сложное суждение, является условный союз, часто называемый импликацией, символическое изображение которого - -->. Образованное с его помощью сложное условное суждение состоит из двух элементов: основания (простое суждение, которое заключено между союзом "если" и частицей "то") и следствия (простое суждение, следующее после частицы "то"). Правда, такое название элементов применимо для условного суждения, союз которого по природе своей, генезису и истории отражает естественные, причинно-следственные зависимости, зависимости по смыслу; в импликации же эти элементы называются по-другому, и это потому, что импликация есть связь между элементами (простыми суждениями), допускающими смысловую независимость их между собой, т.е. антецедент (простое суждение перед логическим союзом) и консеквент (простое суждение после союза) могут по смыслу совершенно не зависеть друг от друга: "Если в огороде бузина, то в Киеве дядько", "Если рак - рыба, то белый медведь не хищник", "Если любовь зла, то асфальт мокрый" и т.п. Условное суждение записывается в виде формулы - "В -->С". Однако, по своим истинностным характеристикам условное суждение и импликация не во всем тождественны друг другу.
Несмотря на их структурное сходство и даже одинаковость выражения логического союза, все таки отождествлять их не стоит, так как импликация отражает более произвольный характер связи между элементами ее по сравнению со связью основания и следствия условного суждения. Эти связи отражают разные зависимости, обладают разными свойствами. Условное суждение по природе своей отражает природные, естественные связи и причинно-следственные зависимости между предметами (явлениями, процессами) и их свойствами. Исследуемая в современной формальной (математической, символической) логике импликация есть связь, не предполагающая смысловой зависимости между своими составляющими. Вот эта более свободная, произвольная, обобщенная и в чем-то более искусственная связь антецедента и консеквента в импликации, отличает ее от смысловой связи основания и следствия в условном суждении. Посему и истинностные зависимости между элементами условного суждения и импликации несколько отличны.
Между двумя элементами условного суждения [основанием и следствием) логика устанавливает две закономерные зависимости. Первая и жесткая зависимость, отражающая причинно-следственную связь, показывает истинностную зависимость следствия от основания условного суждения. При истинности основания условного суждения следствие его будет обязательно истинным. Так, в суждении "Если растение лишено кислорода, то оно погибает" при истинности его основания (растение лишено кислорода) следствие его (оно погибает) будет безусловно истинным. Но если основание этого условного суждения ложно, то его следствие может быть как истинным, так и ложным, т.е. неопределенным. Потому что, опираясь только на имеющуюся в основании условного суждения информацию, сказать определенно, каким же будет следствие этого суждения, не представляется возможным. Нам ведь ничего не известно об остальном: в нашем случае — о земле, воде, солнце, тепле и пр.
При истинности следствия условного суждения основание его тоже будет неопределенным, так как исходной информации недостаточно. Нам известно лишь то, что растение погибает. Известно это и только это. Можно ли, опираясь на такое скудное знание, категорично что-то утверждать об основании нашего суждения, т.е. говорить о причине гибели растения? Конечно же, нет. Из собственного и коллективного опыта нам известно, что растение может погибнуть от самых разных и многих причин, а в нашем суждении названа лишь одна, что недостаточно для точного и однозначного, определенного заключения. По истинности следствия условного суждения нельзя заключать об истинности его основания. Но вот когда следствие условного суждения является ложным, тогда неизбежно будет ложно и само основание. Это — закон для данной структуры. Если следствие нашего суждения - «растение погибает» - является в действительности ложным, то и его основание - «растение лишено кислорода» - будет обязательно ложным. Эти зависимости можно представить в виде таблицы, которую будет удобно сопоставить с таблицей истинности для импликации:
Если В, то С,
при и --> и, а
при л --> ?, и наоборот, при
? <-- и
л <-- л
В данной таблице стрелка всего лишь указывает направление, мысленный переход от одного элемента условного суждения к другому, но не логический союз.
Таблица истинности для импликативного логического союза (для импликации) будет несколько иной:
В С В --> C
и и и
л и и
и л л
л л и
Понятно, что при отсутствии смысловой зависимости между элементами импликации, истинностные характеристики последней носят в отдельных случаях более произвольный, чем в условном суждении, в общем-то постулируемый, конвенциональный характер. Однако, таким образом заданные истинностные значения импликации позволяют ей преодолевать те неопределенности, которые встречаются в условном суждении, и которые не позволяют в некоторых случаях точно разрешать ситуацию. Импликация даже при, казалось бы, парадоксальных случаях, например, при ложности как антецедента, так и консеквента, как логическая связь признается истинной; и такая логическая связь "работает" в системах исчислений, в системах искусственных языков. Без этой связи невозможно создание языков машин, всей современной "интеллектуальной" техники. Методологическое значение данной логической связи очень велико.
Традиционная формальная логика рассматривает структуру сложных суждений, как такую мыслительную конструкцию, элементы которой связаны между собой по смыслу. Правда, она не делает отношения между сложными суждениями предметом своего обстоятельного исследования. Можно в качестве исключения говорить лишь о рассматриваемых традиционной логикой отношениях и связях между условным и разделительным суждениями, но традиционная логика рассматривает их в качестве элементов более сложной формы мысли — умозаключения, как условно-разделительный силлогизм.
Отношения между четырьмя видами сложных суждений - предмет современной формальной (математической, или символической) логики. Она анализирует и устанавливает закономерные зависимости между сложными суждениями и даже имеет целый список так называемых формул равносильностей, когда сложные суждения с одним логическим союзом по истинностному своему значению тождественны другим сложным суждениям с другими логическими союзами. То есть речь идет о взаимозаменяемости логических союзов. Так, эквивалентность может быть выражена импликацией, импликация - дизъюнкцией, дизъюнкция - конъюнкцией, и наоборот. Например: (В/С) равносильно «не-(В-->не-C)» и равносильно «не-(не-Вv не-С)»; (ВvС) равносильно не-(не-В / не-С); (В-->C) равносильно (не-ВvC); (В<-->C) равносильно ((не-ВvС) / (не-СvD)).
№26
Суждение как форма мышления содержит двоякого рода инфор мацию — основную и дополнительную. Основная информация на| ходит явное выражение в субъекте и предикате суждения, в логичес кой связке и кванторах. Дополнительная информация относится ] характеристике логического или фактического статуса суждения, i оценочным и другим его характеристикам. Такая информация назы| вается модальностью суждения. Она может быть выражена отдель-| ными словами, а может и не иметь явного выражения. В этом случа ее выявляют анализом контекста.
Модальность — это явно или неявно выраженная в сужденш дополнительная информация о степени его обоснованности, логи песком или фактическом статусе, о регулятивных, оценочных i других его характеристиках,
В общем виде модальность какого-либо суждения (р) может быт представлена с помощью оператора М, по схеме Мр, например «Н< обходимо р». Модальные характеристики суждений обычно выража ют парными категориями: необходимость — случайность, обязан ность — запрещение, доказано — опровергнуто и т.п.
Следует иметь в виду, что применяемые к суждениям модальны* операторы, характеризуют не само р как суждение, а выраженную l нем информацию: логическую связь.
Рассмотрим важные в познавательном отношении и имеющие особую значимость для правового мышления эпистемическую, деонтическую и алетическую модальности суждений.
Эпистемическая модальность
Эnucmeмuчecкaя\ модальность — это выраженная в суждении информация об основаниях принятия и степени его обоснованности.
Обмен информацией между людьми в процессе общения предполагает отчетливое понимание оснований принятия или непринятия выраженных в высказываниях мнений, оценок, фактических данных и т.п. Принятие высказываний зависит от многих объективных и субъективных, внутренних и внешних факторов. Важнейшими среди них являются логические и внелогические факторы, предопределяющие два эпистемических типа суждений, различающихся основаниями их принятия. Первый тип — это основанные на мнениях суждения, выражающие веру; второй тип — логически обоснованные суждения, выражающие знание.
Вера. К нелогическим факторам, влияющим на принятие суждений, относятся: мнение авторитетов, прагматический интерес, традиции, коллективное и индивидуальное внушение и другие. Подобного рода воздействия могут приводить к некритическому принятию чужих мнений и формированию на их основе различного рода верований. По своей социальной направленности верования могут быть как прогрессивными (вера в правое дело), так и реакционными — различного рода националистические доктрины, религиозный фанатизм и другие верования. По эпистемическому статусу вера — это стихийное, некритическое принятие чужих мнений, истинных или ложных, прогрессивных или реакционных.
Если модальным оператором В обозначить верование, т.е. принятие высказывания р без обоснования, то выражение В(р) будет означать: «р принимается на основе веры».
Знание. Фактор логического воздействия — это принятие суждения как истинного или ложного в силу его обоснованности другими суждениями, из которых принимаемое суждение логически вытекает как следствие.
№ 27
Первая группа - истинная (алетическая) модальность суждений. Это выраженная в терминах необходимости или возможности информация о логической, зависимости между субъектом и предикатом суждения, либо о фактической зависимости между отражаемыми в них явлениями. В границахистинной или алетической модальности принято выделять, во-первых, логическую обусловленность, или детерминированность
Вторая группа - несомненная (эпистемическая) модальность суждений. Она представляет собой выраженную в суждении информацию о характере принятия и степени обоснованности знания. Знания в такого рода суждениях могут быть: достоверными, проблематичными, верифицированными, внелогическими.
Третья группа - обязательная (деонтическая) модальность суждений. Этот вид модальности является выражением в суждении побуждения людей конкретному поведению в форме совета, команды, пожелания. Такой вид модальности суждений дает возможность логически анализировать следующие нормы: правопредставляющие - "имеет право", "может" и др.; правозапрещающие - "не может", "не в праве" и правообязывающие - "должен", "обязан".
Эпистемическая модальность- термин происходит от греческого слова «эпистема», означавшего в античной философии высший тип несомненного, достоверного знания, это выраженная в суждении информация об основаниях принятия и степени его обоснованности.
Эпистемические, (теоретико-познавательные) модальности, относятся к характеристике знания и выражаются в терминах: «доказуемо», «опровержимо», «неразрешимо», «вероятно», «сомнительно» и т.п. В ходе спора или дискуссии мы можем оценивать, доводы оппонента как убедительные или сомнительные или даже определить степень их вероятности. Подобные модальные понятия дают дополнительную информацию о характере знания, содержащегося в суждении, кроме его истины или лжи. Понятие высказывания зависит от многих объективных и субъективных, внутренних и внешних факторов. Важнейшими среди них являются логические и внелогические факторы, предопределяющие два эпистемических типа суждений, различающихся основаниями их понятия.
Деонтическая модальность - термин заимствован из греческого языка и означает «обязанность», это выраженная в суждении просьба, совет, приказ или предписание, побуждающее кого-либо к конкретным действиям.
Деонтические (нормативные) модальности указывают на тип предписываемых в суждении действий и выражаются в терминах: «разрешено», «не разрешено», «обязательно», «безразлично» и др.
Среди предписаний следует выделить нормативные предписания, включающие и нормы права.
Норма права - это официально принятые уполномоченным органом общеобязательные правила поведения, регулирующие правовые отношения в социальной среде, неисполнение которых влечет применение юридических санкций.
Явно или неявно выраженные в правовой норме компоненты:
авторитет - орган, установивший норму;
адресат - лица, которым надлежит исполнять предписание;
диспозиция - подлежащее исполнению действие;
деонтическая характеристика нормы - определенный тип предписания;
санкция - юридические последствия неисполнения предписания.
Наибольший интерес для модального анализа деонтическая характеристика нормы как регулятора правоотношений. В правовом отношении праву всегда соответствует обязанность, и наоборот, всякой обязанности соответствует определенное право. Право и обязанности как фундаментальные характеристики правоотношения выражают с помощью деонтических операторов:
O - обязывание;
F - запрещение;
P - разрешение.
№28
Умозаключение форма мышления в ктр из одного или нескольких суждений на основе определенных правил вывода получаем новое суждение с необходимой или определенной степенью вероятности следования из них. Как любая форма мышления, умозаключение имеет объективную основу и связана с окружающим миром. Умозаключение бывает непосредственным и опосредствованные. В непосредственном вывод строится и по первому суждению путем его преобразования или но основе правил соотношения истинности и ложности подчинения и несовместимых суждений. В опосредствованных вывод делается из двух или нескольких суждений лог связанных между собой. Также умозаключения различают 3 составных компонента: исходное значение (посылка), обосновывающее значение (лог основа вывода), выводное значение (заключение).
Умозаключение и виды:
1) Дедуктивное - умозаключение у ктр между посылками и заключением имеется отношения лог следования (все рыбы дышат жабрами. Все окуни – рыбы. Все окуни дышат жабрами.)
2) Индуктивное – умозаключение в ходе ктр используемое значение частного порядка мы получаем возможность делать общее заключения.
3) По аналогии – рассуждение в ходе ктр сопоставляя различные явления мы обнаруживаем в них новые св-ва на основе сходства между объектами, по ранее изученным признакам.
№ 29
Понятие логического следования принадлежит к категории техпонятий, введение которых в область точных, формальных исследований едва ли было актом окончательного решения со стороны того или иногоисследователя: уточняя содержание этого понятия, его старались приспособить к обыденному, "уже существующему" способу употребления. Эту задачу сопровождали обычные в таких ситуациях трудности:среди других понятий естественного языка понятие следования не выделяется более ясным содержанием либо точно отмеченной областью, его способ употребления не постоянен. Задачу схватывания и согласования всевозможных туманных, часто противоречивых интуитивных восприятий, связанных с этим понятием, следует признать apriori невыполнимой и загодя следует согласиться с тем, что всякое точное определение рассматриваемого понятия будет носить в большей или меньшей степени черты произвола.
Логическое Следование- отношение, существующее между посылками и обоснованно выводимыми из них заключениями. Л.с. относится к числу фундаментальных, исходных понятий логики, точного универсального определения не имеет; в частности, описание его с помощью слов "выводимо", "вытекает" и т. п. содержит неявный круг, поскольку последние являются синонимами слова "следует". Понятие Л. с. обычно характеризуется через связи с другими логическими понятиями, и прежде всего через понятия логического закона и модели. Из высказывания А логически следует высказывание В, когда импликация "Если A, то В" является частным случаем закона логики. Напр., из высказывания "Если натрий - металл, он пластичен" логически вытекает высказывание "Если натрий непластичен, он не металл", поскольку импликация, основанием которой является первое высказывание, а следствием - второе, представляет собой частный случай логического контрапозиции закона. Иное, семантическое определение логического следования: из посылок A1, ..., Аn логически следует высказывание В, если не может быть так, что высказывания A1, ..., Аn истинны, а высказывание В ложно (т. е. если В истинно в любой модели, в которой истинны A1, ..., Аn). Отличительной чертой Л. с. является, таким образом, то, что оно ведет от истинных высказываний только к истинным. Если выводы, относимые к обоснованным, дают возможность переходить от истины к лжи, то установление между высказываниями отношения Л.с. теряет всякий смысл, и логический вывод превращается из формы разворачивания и конкретизации знания в средство, стирающее грань между истиной и заблуждением. В современной логике проблема адекватного описания Л. с. возникла в связи с тем, что логика классическая дает слишком широкое его описание, в ряде моментов не согласующееся с интуитивным представлением о следовании одних высказываний из других. В частности, согласно этой логике, из противоречия логически следует любое высказывание, логически истинное высказывание следует из любого и т.. Усовершенствованные описания Л. с. не содержат правил, позволяющих перейти от истинных посылок к ложному заключению. Они удовлетворяют, кроме того, ряду дополнительных условий. Выдвижение этих условий объясняется стремлением дать такое описание Л. с., при котором существование между высказываниями этого отношения зависело бы не только от истинностного значения высказываний (как в классической логике), но и от их смысловой связи. Поскольку "связь по смыслу" понимается по-разному, существуют различные неклассические теории Л. с. С их помощью решается задача исключения нежелательных, или парадоксальных, правил следования и показано, что нет привилегированной логической системы, являющейся единственно правильным описанием Л. с. Дальнейшая задача формально-логического анализа данного отношения состоит в разработке единой логической теории, взаимосвязанными фрагментами которой оказались бы уже построенные и иные возможные теории Л. с.
№30
Аристотель является основателем силлогистики — исторически первой дедуктивной теории. На русский язык греческий термин “syllogismos” переводится как “сосчитывание”, “вычисление”, а потому производной от него термин “силлогистика”можно было бы перевести русским термином “исчисление”.
Нельзя сказать, чтобы в исследованиях об аристотелевской логике наметилось хоть какое-нибудь подобие спада: за многие века число работ о ней продолжает непрерывно возрастать. Раздел логики, посвященный силлогистике, не выпал из поля исследователей и педагогов. Тому есть две основные причины.
Во-первых, выяснилось, что силлогистика представляет собой достаточно оригинальную логическую конструкцию и ряд ее достижений не поглощается современными дедуктивными системами. Непреходящее значение данной теории состоит в том, что она послужила образцом для создания других аксиоматических теорий. В частности, аксиоматическая система геометрии Евклида была создана последним в духе тех принципов построения и исследования дедуктивных систем знания, которые сформулировал Аристотель применительно к силлогистике (таким образом, аксиоматическое построение теории силлогистического вывода на десятилетия опередило использование аксиоматического метода в “Началах” Евклида). Заметим, кстати, что эта теория моделирует исчисление одноместных предикатов в языке первого порядка.
Во-вторых, силлогистика отличается относительной простотой (по отношению к существующим формализмам), элегантностью и кажущейся самоочевидностью устанавливаемых в ней логических законов, формулировка которых осуществляется почти на естественном языке без использования сложной символики. Все это делает силлогистику наиболее простым и доступным средством приобщения учащихся к элементарной логической культуре, а потому начиная с античности вплоть до настоящего времени силлогистика является обязательным элементом логического образования.
В силлогистике исследуются различного рода логические отношения между следующими категорическими атрибутивными высказываниями: “быть присуще всем”, “не быть присуще ни одному”, “быть присуще некоторым”, “не быть присуще некоторым”. В высказываниях отмеченного типа всегда утверждается или отрицается наличие у предметов некоторого атрибута (от лат.”attributum”—“свойство”). Поэтому данные высказывания называются атрибутивными высказываниями. Далее, термин “категорический”является производным от греческого слова “categoria”, что можно перевести на русский язык как “сказывания”, поэтому термин “категорический”можно было бы перевести как “без сомнений, окончательно, безапелляционно сказанный”.
№ 31
называют дедуктивное умозаключение получаемое из одной посылки, к ним относятся превращение, обращение, противопоставление предикату.
I) Превращение – вид НУ при ктр изменяется качество посылки без изменения ее кол-ва, при этом предикат заключения является отрицательным.
1) ОУ => ОО (Все S есть P => не одно S не есть не P) (Все волки хищные животные. Не один волк не является не хищным животным)
2) ОО => ОУ (Не одно S не есть P => все S есть не P) (Не один многогранник не является плоской фигурой => все многогранники являются не плоскими фигурами)
3) ЧУ => ЧО ( Нектр S есть P => нектр S не есть не Р) (Нектр грибы съедобны = > нектр грибы не являются несъедобными)
4) ЧО => ЧУ (Нектр S не есть Р => нектр S есть не Р) (Нектр члены предложения не являются главными => нектр члены предложения являются не главными.)
II) Обращение – НУ в ктр в заключении субъект является предикатом, а предикат субъектом исходного суждения. (Все дельфины – млекопитающие => нектр млекопитающие являются дельфинами) Обращение имеет 2 вида: простое и чистое; и с ограничениями. Обращение бывает чистое или простое токда когда S и Р исходного суждения либо распределенное или не распределенное. Обращение с ограничением бывает тогда когда в исходном суждении S распределенное, а Р не распределенное. Простое и чистое (Нектр школьники являются спортсменами => нектр спортсмены являются школьниками).
III) Противопоставление предикату – НУ при ктр Р является S, S - понятие, противоречит Р исходного суждения и связка меняется на противоположную. (Все львы хищные животные. Если противопоставлять предикату получаем: Ни одно, не хищное животное не является львом.)
Правила дедуктивного вывода определяются характером посылок, которые могут быть простыми (категорическими) или сложными суждениями. В зависимости от количества посылок дедуктивные выводы из категорических суждений делятся на непосредственные, в которых заключение выводится из одной посылки, и опосредствованные, в которых заключение выводится из двух посылок.
№32
Форма мышления- спрособ связи элементов мысли, её строение, благодаря кот. содержание существует и отражает действительность.
Умозаключени- ф.м., посредством кот. из одного или нескольких сужд. выводится новое. Сост. из посылок (исходн. сужд. из кот .выводится нов. сужд.), заключения (нов. сужд.) и вывода (лог. переход от посылок. к зак.). «судья ен может чуч. в рассмотр. дела, если он потерпевш./ судья Иванов-потерпевш.| (следоват., зеначит, поэтому) Судья Иванов не может уч. в рассмотр. дела». Необход. связь по содерж. между сужд., если связи нет, значит вывод из них невозможен. Чтобы получ. ирст. заключ.: посулки должны быть ист.и должны быть соблюд. правила вывода, лог. законы.
1. В зависимости от строгости правил вывода умозак. бывают демонстративные (необходимые)- заключ. с необходимостью след. из посылок, лог. следование предст. собой лог. зак., и недемонстр. (правдоподоб.)- вероятностное следование.
2. По направленности лог. следования: дедуктивные (от общ. к частн.), индуктивные (от частн. к общ.), умозак. по аналогие (от частного к частному.)
Дедуктивными наз. умозак. ,в кот. переход от общ. к частн. яв. лог. необход.. Првавила дедукт. вывода опред. характ. посылок, кот могут быть прост. (категорич.) или сложными сужд.. В завис. от колич. посылок дедукт. выводы из категор. сужд. дялятся на непосредств. (заключ. вывод. из одной посыл.) и опосред. (заключ. вывод из двух посылок)
Непосредственным наз. умозак., построенные посредством приобразования сужд., т.е. исходн. сужд. рассматр. как посылка, а сужд, получ. в результ. как заключение. Так сущ. четыре способа получ. енпосредст. умозак.: превращение (меняем качество+не-P), обращение (P стан. S, а S стан. P), противопаставление
P(S стан. понят., противореч. P исход. сужд., а P-S исходного), умозак. по лог. кв.(подчин.A-I, E-O, частич. совмест. I-O, противополож.A-E, противореч. I-E,A-O).
№33
Обращение- преобраз. сужд., в результ. кот. S исходного сужд становится P заключ., а P исходного сужд. стан. S заключ..
Обращ. почин. правилу: «термин, нераспред. в посулке, не может быть распред. в заключ.. Различ. простое (без измен. колич. сужд.) обращ. и обращ. с ограничением (с измен. колич. сужд., нераспред. P исход. сужд. с распред. S, обращаясь, остаётся нераспред., т.е. происходит ограничение).
A Общеутв.= I Частноутв. (с огранич.) Все S+ суть P-| Некотор. P- суть S- (Все студ. нашей. гр. сдали экз| некотор. сдавш. экз. есть студ. нашей гр.)
Общеутв. выделяющ. сужд. (в них P распред.) обращ. без оранич.: Все S+, и только S, суть P+| Все P+ суть (все) S-((+)).
E Общеотр.= E Общеотр. (без огранич., чистое) Ни одно S+ не есть P+| Ни одно P+ не есть S+. (Ни одни студ. наш. гр. не яв. НЛО| Ни одно НЛО не яв. студ. нашей гр.)
I Частноутв.= I Частноутв. (без огран., чистое) Некотор. S- суть P-| Некотор P- суть S-. (Некотор. студ. наш. гр. есть НЛО| некотор. НЛО есть студ. наш. гр.)
Частноутв. выдел. сужд. обращ.: Некотор. S-, и только S, суть P+| Все P+ суть S-(НоневсеS). (Некотор. люди, и только люди, яв. гражданами РФ| Все гр. РФ яв. людьми)
O Частноотр. сужд. не ображаются, потомучто получ. чушь.
Таким образом обращение сужд. не ведёт к измен его кач. (утверд./отр.) ,но колич. (Все,ниодно/некотор) модет менятся (обращ. с огрн.), а может оставатся тем же самым (простое обращ.(чистое)).
Умозак. посредством обращ. играют важную роль в проц. познания. Предметом нашей мысли стан. предм., выраж. P исходн. сужд, т.о. мы уточняем наше знание, придаём ему больщ. определённость. Но необход. соблюд. правил. огранич., иначе можно ошиб.. Этот способ. образ. умозак. носит свою лепту в становление правильного мышления.
№34
Превращение- преобраз. сужд. в сужд., противополож. по качеству. с P, противоречащим P исходного сужд.. Опирация опирается на правило: «двойное отрец. равносильно утверждению». Привращение может быть Общеутвердитльным, Общеотр., Частноутв., Частноотрицательные
A Общеутв.=I Общеотр., но везде не-P: Все S суть P=Ни одно S не есть не-P. Пример ниже!!!
E Общеотр.=I Общеутв., Ни один студ. наш. гр. не есть НЛО=Все студ. наш. гр. есть не-НЛО.
I Частноутв.= O Частнор. Некотор S суть P= Некотор S не суть не-P
O Частноотр.= I Частноутв. Некотор. студ. наш. гр. не есть НЛО= Некотор. студ. нашей. гр. есть не-НЛО.
Таким образом для превращ. необход замен. связку на противополж.,а P на понятие, противоречещее P исходного сужд. (подставить не). Сужд. сохран колич. и S, но измен. качество. Мы рассматриваем предмет с новой точки зрения, останавливаем своё внимание на свойстве, противополож. и свойству P исходного сужд. Получ. некотор. новые знания о предсмете.
№35
Широко распространенным видом опосредствованных умозаключений является простой категорический силлогизм, заключение в котором получается из двух категорических суждений. Простой категорический силлогизм состоит из трех категорических суждений, два из которых являются посылками, а третье — заключением.
В отличие от терминов суждения — субъекта (S) и предиката (P) — понятия, входящие в состав силлогизма, называют терминами силлогизма. Различают меньший, больший и средний термины.
Меньшим термином силлогизма называется понятие, которое в заключении является субъектом. Большим термином силлогизма называется понятие, которое в заключении является предикатом. Меньший и больший термины называются крайними и обозначаются соответственно латинскими буквами S (меньший термин) и Р (больший термин).
Каждый из крайних терминов входит не только в заключение, но и в одну из посылок. Посылка, в которую входит меньший термин, называется меньшей посылкой, посылка, в которую входит больший термин, называется большей посылкой.
Для удобства анализа силлогизма посьшки принято располагать в определенной последовательности: большую — на первом месте, меньшую — на втором. Под чертой записывают заключение:
Обвиняемый имеет право на защиту Гусев — обвиняемый
Гусев имеет право на защиту
Однако в рассуждении такой порядок необязателен. Меньшая посылка может находиться на первом месте, большая — на втором. Иногда посылки стоят после заключения.
Посылки различаются не их местом в силлогизме, а входящими в них терминами.
Вывод в силлогизме был бы невозможен, если бы в нем не было среднего термина. Средним термином силлогизма называется понятие, входящее в обе посылки и отсутствующее в заключении. Средний термин обозначается латинской буквой М.
Поставив в нашем примере на место терминов суждения термины силлогизма, получим:
Обвиняемый (М) имеет право на защиту (Р)
Гусев (S) — обвиняемый (М)
Гусев (S) имеет право на защиту (Р)
Итак, простой категорический силлогизм — это умозаключение об отношении двух крайних терминов на основании их отношения к среднему термину.
Правомерность вывода, т.е. логического перехода от посылок к заключению, в категорическом силлогизме основывается на положении (аксиоме силлогизма): все, что утверждается или отрицается относительно всех предметов некоторого класса, утверждается или отрицается относительно каждого предмета и любой части предметов этого класса.
Противопоставление предикату.. Преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом — субъект исходного суждения, называется противопоставлением предикату.
Значение умозаключений посредством противопоставления предикату состоит в том, что в них выясняется отношение предметов, не входящих в объём предиката, к предметам, отражённым субъектом исходного суждения. Устанавливая отношения между этими предметами, мы уточняем наши знания, высказываем нечто новое, что не было в явной форме выражено в исходном суждении.
№37
Из истинных посылок не всегда можно получить истинное заключение. Его истинность обусловлена правилами силлогизма. Этих правил семь: три относятся к терминам и четыре — к посылкам.
Правила терминов.
1-е правило: в силлогизме должно быть только три термина. Вывод в силлогизме основан на отношении двух крайних терминов к среднему, поэтому в нем не может быть ни меньше, ни больше трех терминов.
2-е правило: средний термин должен быть распределен хотя бы в одной из посылок. Если средний термин не распределен ни в одной из посылок, то связь между крайними терминами остается неопределенной.
3-е правило: термин, не распределенный в посылке, не может быть распределен и в заключении.
Меньший термин (S) не распределен в посылке (как предикат утвердительного суждения), поэтому он не распределен и в заключении (как субъект частного суждения). Делать вывод с распределенным субъектом в форме общего суждения это правило запрещает. Ошибка, связанная с нарушением правила распределенноcти крайних терминов, называется незаконным расширением меньшего (или большего) термина.
Правила посылок.
1-е правило: хотя бы одна из посылок должна быть утвердительным суждением. Из двух отрицательных посылок заключение с необходимостью не следует.
2-е правило: если одна из посылок — отрицательное суждение, то и заключение должно быть отрицательным.
3-е и 4-е правила являются производными, вытекающими из рассмотренных.
3-е правило: хотя бы одна из посылок должна быть общим суждением. Из двух частных посылок заключение с необходимостью не следует.
Если обе посылки — частноутвердительные суждения (II), то вывод сделать нельзя согласно 2-му правилу терминов: в частно-утвердительном суждении ни субъект, ни предикат не распределены, поэтому и средний термин не распределен ни в одной из посылок.
Если обе посылки — частноотрицательные суждения (OO), то вывод сделать нельзя согласно 1-му правилу посылок.
Если одна посылка — частноутвердительная, а другая — частнотрицательная (IO или OI), то в таком силлогизме распределенным будет только один термин — предикат частноотрицательного суждения. Если этим термином будет средний, то вывода сделать нельзя, так, согласно 2-му правилу посылок, заключение должно быть отрицательным. Но в этом случае предикат заключения должен быть распределен, что противоречит 3-му правилу терминов: 1) больший термин, не распределенный в посылке, окажется распределенным в заключении; 2) если же больший термин распределен, то вывода не следует согласно 2-му правилу терминов.
4-е правило: если одна из посылок — частное суждение, то и заключение должно быть частным.
Если одна посылка общеутвердительная, а другая — частноу-твердительная (AI, IA), то в них распределен только один термин — субъект общеутвердительного суждения.
Согласно 2-му правилу терминов, это должен быть средний термин. Но в таком случае два крайних термина, в том числе меньший, не будут распределены. Поэтому в соответствии с 3 правилом терминов меньший термин не будет распределен в заключении, которое будет частным суждением.
Если одна из посылок утвердительная, а другая — отрицательная, причем одна из них частная (EI, АО, ОА), то распределенными окажутся два термина: субъект и предикат общеотрицательного суждения (EI) или субъект общего и предикат частного суждения (АО, ОА). Но в том и другом случае, согласно 2-му правилу посылок, заключение будет отрицательным, т.е. суждением с распределенным предикатом. А так как вторым распределенным термином должен быть средний (2-е правило терминов), то меньший термин в заключении окажется нераспределенным, т.е. заключение будет частным.
№ 38
Для облегчения запоминания правильных модусов всех фигур в ХIII веке было составлено особое мнемоническое стихотворение. Его слова непереводимы, но их гласные буквы обозначают модусы соответствующих фигур.
Первая фигура
AAA - Barbara
EAE - Celarent
AII - Darii
EAI - Ferio
AAI - Barbari
EAO - Celaront
Вторая фигура
EAE - Cesare
AEE - Camestres
EIO - Festino
AOO - Baroco
EAO - Cesaro
AEO - Cameostro
Третья фигура
AAI - Darapti
IAI - Disamis
AII - Datisi
EAO - Felapton
OAO - Bocardo
EIO - Ferison
Четвертая фигура
AAI - Bramantip
AEE - Camenes
IAI - Dimaris
EAO - Fesapo
EIO - Fresison
AEO - Cameno
Таким образом, все четыре фигуры имеют 19 правильных модусов. Согласные буквы этих латинских слов также имеют определенный смысл.
Они указывают на те логические операции, с помощью которых модусы второй, третьей и четвертой фигур можно свести к определенному модусу первой фигуры, в которой очевидна применимость аксиомы силлогизма.
Начальные согласные названий модусов (B, C, D, F) показывают те модусы первой фигуры, которые получаются в результате такого сведения. Так Cesare, Camestres, Camenes второй и четвертой и фигур сводятся к Celarent.
Буква “s” показывает, что высказывание, обозначенное гласной, после которой стоит эта буква, должно подвергнуться чистому (простому) обращению. Буква “p” обозначает, что высказывание, обозначенное этой буквой, нужно обращать с ограничением. Буква “m” обозначает, что посылки нужно поменять местами. Буква “с” указывает, что данный модус может быть сведен к соответствующему модусу первой фигуры при помощи метода приведения к абсурду.
№39
В первой фигуре средний термин является субъектом меньшей посылки и предикатом большей.
Пример первой фигуры:
Все студенты 2 курса (M) семинарии успевают (P);
Иванов (S) является студентом 2 курса семинарии (M);
Следовательно, Иванов (S) является успевающим студентом (P).
Правила первой фигуры требуют исключить, во-первых, все сочетания посылок третьего и четвертого столбцов, ибо они противоречат первому правилу. Во-вторых, сочетания АЕ и АО из первого столбца противоречат второму правилу. Сочетания ЕЕ и ЕО из второго столбца также следует исключить, поскольку они противоречат общему правилу о недопустимости двух отрицательных посылок. Остаются сочетания АА, ЕА, АI, EI, из которых получаем модусы AAA, EAE, AII, EIO. Из посылок АА и ЕА можно получить модусы ААI и EAO, которые называются ослабленными, ибо из данных посылок, мы делаем более слабые частные заключения.
Правильные модусы первой фигуры показывают, что она дает все четыре типа высказываний в качестве заключений - A(SP), E(SP), I(SP), O(SP). Только эта фигура дает заключение A(SP), что и определяет ее наибольшую познавательную ценность, ибо законы науки, например, часто формулируются как общеутвердительное высказывание. Особенностью первой фигуры является также и то, что в ней частный случай подводится под некоторое общее положение (закон науки, правовая норма и т.п.) и делается заключение об этом частном случае. Иначе говоря, первой фигурой мы пользуемся всякий раз, когда признак множества элементов распространяется на каждый элемент этого множества, а заключение о принадлежности или не принадлежности этого признака данному элементу множества мы делаем на основании общего положения (закона, правила и т.п.).
Первая фигура по сравнению с другими фигурами силлогизма обладает еще и той важной особенностью, что ее модусы непосредственно, в чистом виде выражают аксиому силлогизма, которая служит основанием правильного выведения заключения из посылок. Если иметь в виду отношение трех терминов силлогизма (S, M, P), истолковав их как отношение соответствующих множеств (объемов понятий), то аксиома выражается предложением (лат.) - dictum de omni et nullo (буквально - сказанное обо всем и ни об одном).
№40
Вторая фигура простого категорического силлогизма.
P M S M S P
Побеждает в бою (Р) не действующий по шаблону (М).
Он (S) не действует по шаблону (М)
ОН (S) побеждает в бою (Р)
Вторая фигура имеет четыре модуса:
ЕАЕ - Cesare;
АЕЕ - Camestres;
ЕJО - Festino;
АОО - Baroco.
Анализ модусов данной фигуры позволяет вывести частное правило:
а) большая посылка должна быть общей (А, Е);
б) одна из посылок - отрицательной (Е, О).
Вторая фигура категорического силлогизма служит для доказательства несоответствия конкретного случая общему положению, и поэтому утвердительные заключения здесь невозможны. Эта фигура категорического силлогизма широко применяется для критики научных статей, конкретных поступков и т.д.
Первое правило второй фигуры требует исключить все сочетания посылок из третьего и четвертого столбцов. Второе правило исключает сочетания АА и АI из первого столбца. Сочетания ЕЕ и ЕО из второго столбца противоречат общему правилу равенства отрицательных посылок и отрицательных следствий. Остаются сочетания ЕА, АЕ, EI, АО из которых получаем модусы - EAE, AEE, EIO,AOO. Из посылок ЕА и АЕ можно получить ослабленные модусы ЕАО и АЕО.
Как видно вторая фигура дает только отрицательные заключения. Она используется всякий раз когда необходимо доказать, что некоторый частный случай не может быть подведен под данное общее положение, ибо исключается из множества предметов, которое мыслится в термине Р.
Этот силлогизм предназначен только для достоверного отрицания, для доказательства отсутствия сходства между понятиями или признаками. Структура его такова:
Р-М.
S-M.
Следовательно, S не есть Р.
Примером может служить нижеприведенное положение из пульмонологии.
Бронхоспастический (бронхообструктивный) синдром характеризуется уменьшенной величиной ОФВ.
У больного А. ОФВ, нормальна (74%).
Следовательно, у больного А. в настоящее время отсутствуют инструментальные проявления бронхообструктивного синдрома.
Врачи ежедневно много раз применяют данный вид силлогизма при обдумывании данных осмотра, при оценке параклинических данных, не догадываясь о том, что умозаключают по второй фигуре категорического силлогизма. Данное положение подобно персонажу Мольера, который очень удивился, когда ему заявили, что он говорит прозой, а не стихами. В практической жизни данный вид силлогизма настолько привычен в мышлении, что им пользуются в сокращенном виде, мысленно убирая большую посылку, вернее, подразумевая ее.
Этот силлогизм хорош и ценен ввиду того, что в большей посылке указывается общее проявление - бронхообструктивный синдром. В меньшей посылке субъектом выступает конкретное лицо. В итоге после исключения среднего термина получается высокодостоверное знание об отсутствии признака, синдрома и т. П.
№ 41
III фигура.
B третьей фигуре средний термин является субъектом в обеих посылках.
Пример третьей фигуры:
Все студенты 2 курса (M) успевают (P);
Все студенты 2 курса (M) поют в хоре (S):
Следовательно, некоторые, поющие в хоре (S), являются успевающими студентами (P).
Первое правило третьей фигуры устраняет вторую и четвертую строки приведенной таблицы. Сочетания II и OI исключаются по общему правилу, запрещающему две частные посылки. Остаются сочетания АА, IA, AI, EA, OA, EI, из которых, учитывая второе правило это фигуры получаем модусы - AAI, IAI, EAO, OAO, EIO.
Третья фигура применяется для опровержения общих утверждений. Если бы, например, кто-либо стал утверждать что все металлы тонут в воде А(SP), то для опровержения этого утверждения можно построить такой силлогизм этой фигуры: “Калий не тонет в воде, калий - металл. Следовательно некоторые металлы не тонут в воде.”. Из истинности заключения этого силлогизма - O(SP) - следует ложность опровергаемого общего утверждения - A(SP).
№42
Исторически сложилось так, что данная разновидность силлогизма в медицине является одной из самых любимых. Ведь в мышлении врача, которое отражает состояние медицинской науки, категоричность (безусловность) не очень частое явление. Доктор скорее склонен мыслить и говорить с отгенком условности, т.е. гипотетичности.
Условно-категорическим силлогизмом называется такой вид умозаключения, в котором большая посылка представлена условным суждением, а меньшая посылка представляет собой категорическое суждение. В результате вывод (умозаключение) носит также категорический характер.
Вследствие комбинаций утвердительных и отрицательных форм составных частей суждения, условно-категорические силлогизмы делятся на 4 модуса (разновидности).
Разберем вначале первый модус, который называется утверждающим (modus ponens) и в сокращенной форме имеет следующий вид:
Если Б-Р, toS1-P1.
S есть Р.
Следовательно, S1 есть Р1
Когда разбирались условные суждения, то в качестве примера приводился афоризм Мудрова «Кто хорошо диагностирует, тот хорошо лечит». Переведем этот афоризм в форму условно-категорического силлогизма: доктор А. является хорошим диагностом; следовательно, доктор А. хорошо лечит больных.
Первая посылка в данном типе силлогизма всегда представлена условным суждением типа «если…, то…». Условие, выраженное в суждении «если S - Р», называется основанием, а вторая часть первой посылки в виде суждения S, - Р| именуется следствием. Когда в меньшей посылке (доктор А. является хорошим диагностом) нечто подтверждает условие, то вывод, т.е. следствие, считается доказанным. Другими словами, в утверждающем модусе из истинности основания вытекает правильность следствия.
Второй логически правильный модус условно-категорического силлогизма именуется отрицающим (modus tollens) и имеет следующий вид:
Если S - Р, то S, - Р,
Si не есть Р,
Следовательно, S не есть Р.
Этот модус основан на логическом правиле, что из ложности следствия вытекает неистинность основания.
Приведем пример отрицающего условно-категорического силлогизма, касающийся диагностики стенокардии. Нередко в медицинской документации студенты и начинающие врачи в качестве жалоб и обоснования диагноза приводят боли в области сердца, подразумевая коронарный характер подобных болей. Это указывает как на недостаточную квалификацию, так и на неумение пользоваться законами логики.
Например, вероятность стенокардии у пациента старше 40 лет высока, если он испытывает давящие или жгущие ощущения за грудиной, особенно при физической нагрузке.
У больного А. отмечаются длительные ноющие и колющие боли в области верхушки сердца, преимущественно в покое.
Следовательно, наличие стенокардии у больного А. очень маловероятно.
В настоящем примере в главной (большей) посылке приведено общее знание клиники стенокардии в виде связи вероятности подобного диагноза с характером болевых ощущений. В меньшей посылке мы отметили несоответствие жалоб у данного больного с условием, высказанным в большей посылке. Этого достаточно, чтобы стенокардию у больного А. считать маловероятной.
Повторяем два главных правила условно-категорических силлогизмов, соблюдение которых оформляет наше знание логически безупречным образом:
из истинности основания следует истинность следствия;
из ложности следствия вытекает ошибочность основания.
Только два указанных модуса дают верное знание с точки зрения логики: подтверждающий и отрицающий.
Условно-категорический силлогизм, как и другие виды дедуктивных умозаключений, нужен для вывода частного знания из общего закона. Этот тип силлогизма предназначен для выяснения истинности логической связи между двумя явлениями, между причиной и следствием. Так как в медицине факты практически всегда мыслятся в причинно-следственной связи, этот тип силлогизма применяется очень часто. Условно-категорический силлогизм в выводе позволяет получать высокодостоверное знание. Это подтверждается той легкостью, с которой условно-категорический силлогизм превращается в категорический и обратно. Для этой операции лишь меняется грамматическая структура первой (большей) посылки.
Для примера превратим вышеприведенный условно-категорический силлогизм в категорический.
У лиц старше 40 лет при наличии дискомфорта за грудиной, особенно при физической нагрузке, высока вероятность стенокардии.
У больного А. указанных ощущений (вместо них отмечаются колющие боли в области верхушки сердца) нет.
Следовательно, вероятность стенокардии у больного А. очень низка.
Два оставшихся модуса условно-категорического силлогизма дают неопределенное или неправильное знание. Для того чтобы предостеречь вас от использования этих неправильных модусов, приведем их формулы и дадим примеры:
Если S - Р, то S1 - P1
S не есть Р.
Следовательно, S1 не есть Р1.
Это неправильный отрицающий модус, где из ложности основания не может быть выведена ложность следствия. Другими словами, если мы связываем два суждения причинной связью, но при этом отрицаем (считаем ложным) основание (S не есть Р), то следствие, или вывод, становится неопределенным.
Например, если у человека обложен язык, следует предполагать неблагополучие со стороны органов пищеварения.
У данного лица язык чист.
Следовательно, мы исключаем (считаем очень маловероятной) патологию системы пищеварения.
Данное умозаключение является неправильным. Помимо логики, которая этот модус расценивает как недостоверный, существуют клинические наблюдения. Так, у больных с дуоденальной язвой в стадии обострения язык нередко остается чистым.
Приведем еще один пример неправильного отрицающего модуса.
Если у человека желтушны склеры и кожа, следует ожидать, что уровень общего билирубина превысит норму.
У данного человека желтушность не определяется.
Следовательно, уровень билирубина в норме.
Данный вывод неправилен ни в логическом, ни в клиническом отношении. Логика в настоящем случае попросту помогает вскрывать ошибки мышления, ибо не существует прямой связи между уровнем билирубина и окраской кожи. В данной ситуации помимо псевдожелтухи, которая протекает с нормальным уровнем билирубина, возможна другая вероятность. Существует клиническое правило, что желтуха становится видимой ad oculus, если билирубин превышает 35 мкмоль/л.
Также неверным предстает модус условно-категорического силлогизма следующей формулы:
Ecjih S-P, то S1-Р1.
S1 есть Р1.
Следовательно, S есть Р.
Этот модус якобы выводит истинность основания из истинности следствия. Данный вид ошибки в логике именуется «после того, значит вследствие того» (post hoc ergo propter hoc).
Человеческое мышление склонно связывать причинно-следственными отношениями события, которые следуют одно за другим. В части случаев это оказывается правильным, но в целом нельзя увязывать два факта только по той причине, что один следовал за другим. Приведем пример.
Если человек заболевает пневмонией, то при перкуссии нередко определяется притупление звука.
У больного В. обнаружено притупление перкуторного звука, что сопровождалось кашлем и повышением температуры тела.
Следовательно, больной В. страдает пневмонией.
Данный пример настолько элементарен, что ошибка видна невооруженным глазом. Начиная с курса пропедевтики студенты учат, что не только пневмония сопровождается притуплением звука, существует целый ряд заболеваний с подобной симптоматикой. Однако в жизни встречаются гораздо более сложные случаи.
Приведем пример с В12-дефицитной анемией, когда обращению к врачу предшествовало геморроидальное кровотечение. Как выяснилось потом, кровотечение было небольшим и не могло вызвать постгеморрагическую анемию. Тем не менее, поначалу врач исходил из неверного условно-категорического силлогизма. Доктор мыслил примерно так.
Если у человека было кровотечение, вполне вероятно развитие постгеморрагической анемии.
У больной И. анемия наличествует.
Следовательно, причиной анемии явилось геморроидальное кровотечение.
Понадобилось несколько дней, а также усилия консультантов и лабораторной службы, чтобы врач осознал вообще-то простую ошибку. Только после того, как было назначено лечение витамином В12, что сопровождалось ретику-лоцитарным кризом, состоялся искренний обмен мнениями. У пациентки изначально существовала В12-дефицитная анемия, которая развивалась медленно и не привела к обращению за помощью. Кровотечение напугало больную, что, впрочем, вполне естественно, она решила, что следует обратиться к врачу. Доктор же допустил логическую ошибку: после того - вследствие того.
№43
Это такой силлогизм, в котором по крайней мере большая посылка является разделительным суждением.
Мы уже напоминали о чрезвычайной важности разделительных суждений для дифференциального диагноза. По сути вся дифференциальная диагностика строится по схеме утвердительного (чаще) или отрицательного разделительного умозаключения.
Схема утвердительного разделительного силлогизма:
S есть или Р1 или Р2, или Р3.
S не оказался ни Р1 ни Р2.
Следовательно, S есть Р3.
Схема отрицательного разделительного силлогизма:
S есть или Р1 или Р2, или Р3.
S есть Р|.
Следовательно, S не является ни Р2, ни Р3
Существуют два правила построения разделительных силлогизмов:
В большей посылке должны быть перечислены все члены дизъюнкции. Другими словами, объем предикатов должен равняться объему субъекта, иначе вывод не будет доказательным.
Предикаты должны исключать друг друга и не перекрещиваться. Нарушение данного правила ведет к тому, что суждение в малой посылке «S есть Pi» не вполне точно отражает действительность, и это неизбежно повлияет на достоверность вывода.
Мы не будем приводить много примеров построения разделительных умозаключений, так как их достаточно в разделе «Дифференциальный диагноз». Для образца возьмем случай артериальной гипертензии. Предположим, у человека несколько раз зафиксированы цифры систолического АД 160-
У данного пациента артериальная гипертензия либо носит эссенциальный характер (первичная), либо является симптоматической (вторичная).
Следовательно, если мы исключим вторичные гипертензии, тем самым докажем, что гипертензия является первичной. В этом коротеньком разделительном силлогизме соблюдены оба вышеуказанных правила. Во-первых, перечислены все члены разделения, т.е. гипертензия может быть первичной или вторичной, но никакой другой. Во-вторых, предикаты (первичная и вторичная гипертензия) исключают друг друга и не перекрещиваются, что позволяет утверждать, что оставшееся является искомым диагнозом.
№44
Чисто условный силлогизм состоит из двух условных суждений, структура каждого из которых уже известна: условное суждение состоит из основания, следствия и логического союза между ними. Хотя структуру условного суждения можно представлять в субъектно-предикатной записи, например: "Если S есть Р, то S1 есть Р1", но такая запись лишь усложняет анализ, поэтому будем пользоваться сокращенной записью этих суждений, сохраняющих и даже выделяющих главные структурные элементы сложных суждений - логический союз и отдельные простые суждения. Обозначив входящие в условное суждение простые суждения отдельными символами, получим формулу условного суждения: Если В, то С. Используя символ и для логического союза, получаем еще более сокращенную запись: «В --> C»
Пользуясь этой сокращенной записью, чисто условный силлогизм можно представить такой схемой:
Если В, то С В -->С
Если С, то Д С -->Д
Если В, то Д В -->Д
Легко заметить, что роль среднего термина в чисто условном силлогизме выполняет простое суждение, являющееся в первой посылке следствием, а во второй посылке основанием этого условного суждения. Такая структура напоминает собой четвертую фигуру категорического силлогизма, однако разница существенна: там средний термин — общее для посылок понятие, здесь — общее простое суждение. Например:
Если через проводник пропустить ток, то он нагреется
Если проводник нагреется, то он расширится
Если через проводник пропустить ток, то проводник расширится.
Чисто условный силлогизм имеет единственный вариант своей структуры и простотой своей напоминает собой модус Barbara первой фигуры категорического силлогизма и особенно в аристотелевской манере его записи:
А сказывается обо всех Б
Б сказывается обо всех В
А сказывается обо всех В
Это не случайно, потому что данная структура отражает общую, присущую количественным (объемным), временным, пространственным, причинно-следственным и другим отношениям закономерность: величины (предметы, объемы и пр.), находящиеся в определенном отношении к третьей, находятся в том же определенном отношении и между собой.
Условно-категорический силлогизм состоит из условной (будем считать ее большей, ибо она сложное суждение) и категорической (будем называть ее меньшей, ибо она - простое суждение) посылок. Структура этого умозаключения допускает четыре разновидности, четыре ее модуса, определяемых законами связи элементов в условном суждении. Этих законов два: при истинности основания условного суждения - следствие его будет обязательно истинным, и наоборот, при ложности следствия условного суждения - основание его будет обязательно ложным. Если в условно-категорическом умозаключении от утверждения (констатации, признания истинности) основания условного суждения в меньшей категорической посылке переходит в заключении этого силлогизма к утверждению следствия условного суждения, то такой вывод правилен, он соответствует нормам логики:
Если В, то С В -->С
В В
С С
Это умозаключение представляет собой утверждающий модус (modus роnеns) условно-категорического силлогизма.
Если в условно-категорическом силлогизме мысль переходит от отрицания следствия (признания, констатации его несоответствия действительности, т.е. ложности) условного суждения в меньшей посылке, то необходимо в заключении силлогизма отрицать само основание условного суждения:
Если В, то С В -->С
не-С не-С
Не-В не-В
Это умозаключение представляет собой отрицающий модус (modus tollеns) условно-категорического силлогизма.
Оба модуса — утверждающий и отрицающий — гарантируют необходимость и истинность вывода при истинности посылок. Два остальных модуса этого вида силлогизма не дают необходимо истинного вывода, так как их структурные особенности не соответствуют правилам, законам логики. Модусы эти называются неправильными, неправомочными, проблематичными, правдоподобными. Они дают знание, которое в одном случае (что определяется содержанием посылок) может быть ложным, в другом истинным. Формулы этих модусов записываются так:
В -->С В -->С
не-В С
(возможно, не-С) (возможно, В)
Чисто разделительный силлогизм составляют разделительные посылки, например:
Четырехугольники суть равносторонние или они неравносторонние
Равносторонние четырехугольники есть квадраты или ромбы
Четырехугольники есть неравносторонние, или квадраты, или ромбы
Символически это можно записать так:
S есть Р или S есть Р1
Р есть Р2 или Р3
S есть Р1 или Р2 или Р3
Умозаключение, в котором на месте большей посылки — суждение разделительное, а на месте меньшей посылки — суждение категорическое, называется разделительно-категорический силлогизм. Как и условно-категорический силлогизм, разделительно-категорический тоже имеет всего два правильных модуса: утверждающе-отрицающий, или роnеndо-tоllеns, и отрицающе-утверждающий, или tоllеndо-роnеns. Например:
Деревья у нас либо лиственные, либо хвойные
Данное наше дерево - хвойное
Данное дерево - не лиственное
Другой пример:
Деревья у нас либо лиственные, либо хвойные
Данное наше дерево - не хвойное
Данное дерево - лиственное
В этих разделительно-категорических силлогизмах меньшая посылка в первом случае утвердительное суждение, а вывод отрицателен, во втором - отрицательная, но вывод положителен. Соответственно, эти модусы и называются - утверждающе-отрицающий (роnеndо-tollеns) и отрицающе-утверждающий (tollendo-ponens).
В разделительно-категорическом силлогизме можно выделить четыре их разновидности, или модуса:
В v С В v С В v С В v С
В не-В С не-С
не-С С не-В В
Однако, легко обнаружить, что здесь фактически лишь два их вида, поскольку каждый из них имеет свою пару. Поэтому, обычно и говорится, что разделительно-категорический силлогизм имеет только два правильных модуса: утверждающе-отрицающий и отрицающе-утверждающий.
В использовании условных и разделительных умозаключении следует соблюдать не только требования к силлогизмам, но и все требования логики к сложным суждениям, входящим в это умозаключение. Условное суждение должно отражать естественные, причинно-следственные зависимости, ибо только в этом случае вывод по условно-категорическому силлогизму будет правильным. В случае же когда основание и следствие условного суждения не соответствуют своему структурному значению (когда их, например, поменяют местами), в силлогизме, где участвует условное суждение, вывод с необходимостью следовать не может: когда человек болен лихорадкой, то у него высокая температура, но когда у него высокая температура, это еще не значит, что он болен лихорадкой.
№45
Полисиллогизм, умозаключение (рассуждение), представляющее собой конечную последовательность ("цепочку") силлогизмов, которая удовлетворяет некоторым определённым условиям. Важнейшее из этих условий состоит в том, что заключения предшествующих силлогизмов последовательности (т. н. просиллогизмов) служат посылками последующих силлогизмов (эписиллогизмов). П., каждому эписиллогизму которого предшествует лишь один просиллогизм, называют линейным, а "разветвленный" П., эписиллогизмам которого предшествуют по два просиллогизма, называется каскадным.
В процессе рассуждения простые силлогизмы выступают в логической связи друг с другом, образуя цепь силлогизмов, в которой заключение предшествующего силлогизма становится посылкой последующего Предшествующий силлогизм называется просиллогизмом, последующий — эписиллогизмом
Соединение простых силлогизмов, в котором заключение предшествующего силлогизма (просиллогизма) становится посылкой последующего силлогизма (эписиллогизма), называется сложным силлогизмом, или полисиллогизмом.
Различают прогрессивный и регрессивный полисиллогизмы.
В прогрессивном полисиллогизме заключение просиллогизма становится большей посылкой эписиллогизма. Например
Общественно опасное деяние (А) наказуемо (В) Преступление (С) — общественно опасное деяние (А)
Преступление (С) наказуемо (В) Дача взятки ( D ) — преступление (С)
Дача взятки (D) наказуема (В)
В регрессивном полисиллогизме заключение просиллогизма становится меньшей посылкой эписиллогизма Например
Преступления в сфере экономики (А) — общественно опасные деяния (В)
Незаконное предпринимательство (С) — преступление в сфере экономики (А)
Незаконное предпринимательство (С) — общественно опасное деяние(В)
Общественно опасные деяния (В) наказуемы (D)
Незаконное предпринимательство (С) — общественно опасное деяние (В)
Незаконное предпринимательство (С) наказуемо (D)
Оба приведенных примера представляют собой соединение двух простых категорических силло! измов, построенных по модусу ААА 1-й фигуры Однако полисиллогизм может быть соединением больше! о числа простых силлогизмов, построенных по разным модусам разных фигур Цепь силлогизмов может включить в себя как прогрессивную, так и регрессивную связь
Сложными могут быть чисто условные силлогизмы, которые имейт схему:
(p->q)A(q->r)A(r->s)A...A(
p -> si
Из схемы видно, что, как и в простом чисто условном умозаключении, заключение представляет собой импликативную связь основания первой посылки со следствием последней
В процессе рассуждения полисиллогизм принимает обычно сокращенную форму; некоторые из его посылок опускаются Полисиллогизм, в котором пропущены некоторые посылки, называется соритом . Различают два вида соритов: прогрессивный полисиллогизм с пропущенными большими посылками эписиллогизмов и регрессивный полисиллогизм с пропущенными меньшими посылками.
Приведем пример прогрессивного полисиллогизма:
Общественно опасное деяние (А) наказуемо (В) ^1 Преступление (С) — общественно опасное деяние (А) ^1 Дача взятки ( D ) — преступление (О, Дача взятки (D) наказуема (В) -в
К сложносокращенным силлогизмам относится также эпихейрема. Эпихейремой называется сложносокращенный силлогизм, обе посылки которого являются энтимемами. Например:
Распространение заведомо ложных сведений, порочащих честь и достоинство другого лица, уголовно наказуемо, так как является клеветой
Действия обвиняемого представляют собой распространение заведомо ложных сведений, порочащих честь и достоинство другого лица, так как они выразились в умышленном извращении фактов в заявлении на гражданина П.
Действия обвиняемого уголовно наказуемы
Развернем посылки эпихейремы в полные силлогизмы. Для этого восстановим в полный силлогизм сначала 1-ю энтимему
Клевета (М) уголовно наказуема (Р)
Распространение заведомо ложных сведений, порочащих честь и достоинство другого лица ( S ), является клеветой (М)
Распространение заведомо ложных сведений, порочащих честь и достоинство другого лица (S), уголовно наказуемо (Р)
Как видим, первую посылку эпихейремы составляют заключение и меньшая посылка силлогизма.
Теперь восстановим 2-ю энтимему.
Умышленное извращение фактов в заявлении на гражданина П. (М) представляет собой распространение заведомо ложных сведений, порочащих честь и достоинство другого лица (Р) Действия обвиняемого (S) выразились в умышленном извращении фактов в заявлении на гражданина П. (М)
Действия обвиняемого (S) представляют собой распространение заведомо ложных сведений, порочащих честь и достоинство другого лица (Р)
От греческого «куча» (куча посылок).
Вторую посылку эпихейремы также составляют заключение и меньшая посылка силлогизма.
Заключение эпихейремы получено из заключений 1-го и 2-го силлогизмов: Распространение заведомо ложных сведений, порочащих честь и достоинство другого лица (М) уголовно наказуемо (Р) Действия обвиняемого (S) представляют собой распространен' заведомо ложных сведений, порочащих честь и достоинство другого лица (М)
Действия обвиняемого (S) урбловно наказуемы (Р)
Развертывание эпихейремы в полисиллогизм позволяет проверить правильность рассуждения, избегать логических ошибок, которые могут остаться незамеченными в эпихейреме.
№46
Виды: дилемма, трилемма и др.
ДИЛЕММА (греч. , от — дважды и — лемма, предположение, посылка), форма умозаключения (логич. вывода), посылки (исходные допущения) которого имеют гипотетич. (условную) и дизъюнктивную (разделительную) структуру. Если прописными лат. буквами обозначать высказывания (суждения), а выражения «не», «или» и «если..., то ...» понимать соответственно как логич. отрицание, дизъюнкцию и импликацию (см. Логические операции), то т. н. конструктивная (утверждающая) Д. имеет вид: «если А, то В; если С, то Д; А или С; следовательно, В или Д» (сложная конструктивная Д.) или «если А, то В; если С, то В; следовательно, В» (простая конструктивная Д.). Сложная и простая деструктивные (отрицающие) Д. имеют соответственно вид: «если А, то ?; если С то Д; не В или не Д; следовательно, не А или не С» и «если А, то В; если А, то С; не В или не С; следовательно, не А».
Все эти виды Д. доказуемы (или являются аксиомами) в совр. формальной (математич.) логике (см. Исчисление высказываний, Логика высказываний), а содержательные их формулировки используются как орудия дискуссий и споров (напр., распространённым инструментом логич. опровержения служит простая деструктивная Д.). В расширит. смысле под Д. понимают затруднит. ситуацию выбора между двумя равно неприятными возможностями.
В формальной логике определение дилеммы заметно отличается от того, которое применяется в каждодневном использовании. Несмотря на то, что в ней по-прежнему используют два варианта, но выбор между ними не играет роли, т.к. каждый из них ведёт к тому же выводу. Формально это описывается следующим образом:
Что можно интерпретировать как «A или B (или оба) должны быть верны, но они оба ведут к C, поэтому независимо от их значения мы можем вывести C».
«Рогатые дилеммы» могут иметь больше двух вариантов. Некоторые варианты «рогатых дилемм» могут иметь альтернативные названия, как например «дилеммы с двумя остриями (рогами)» или собственно дилеммы, либо как «дилеммы с тремя остриями (рогами)» или трилеммы, и так далее.
Конструктивные дилеммы:
1. (Если X, тогда Y) и (Если W, тогда Z).
2. X или W.
3. Следовательно, Y или Z.
Деструктивные дилеммы:
1. (Если X, тогда Y) и (Если W, тогда Z).
2. Не Y или не Z.
3. Следовательно, не X или не W.
Полилемма (Многолемма, в том числе, Трилемма).
Полилеммы, при полной аналогии дилеммам имеют большее число альтернатив.
Простая конструктивная полилемма: Если у всех возможных причин одно и то же следствие, оно предопределено (в примере первая посылка упрощена по правилу эквивалентности):
Если человек болен или подозревает что, болен, или полагает что, может оказаться больным, то ему следует обратиться к врачу.
Этот человек болен или только подозревает что, болен, или, не подозревая того, может оказаться больным
Ему следует обратиться к врачу
Простая деструктивная полилемма: Если какие-то следствия нежелательны, то нежелательна и причина, если же нежелательны все следствия, причина недопустима.
Сложная конструктивная полилемма представляет собой несколько условных суждений, по крайней мере, одно из которых утверждается.
Сложная деструктивная полилемма представляет собой несколько условных суждений, по крайней мере, одно из которых отрицается.
№47
Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой.
Широко используются энтимемы простого категорического силлогизма, особенно выводы по первой фигуре. Например: «Н. совершил преступление и поэтому подлежит уголовной ответственности». Здесь пропущена большая посылка: «Лицо, совершившее преступление, подлежит уголовной ответственности». Она представляет собой общеизвестное положение, формулировать которое необязательно.
Полный силлогизм строится по 1-й фигуре:
Лицо, совершившее преступление (М), подлежит уголовной ответственности (р)
Н. (s) совершил преступление (М)
Н. (s) подлежит уголовной ответственности (р)
Энтимема в переводе с греческого буквально означает «в уме». Или: «Лицо, совершившее преступление, подлежит уголовной ответственности, а Н. совершил преступление». Пропущенные части силлогизма подразумеваются.
В зависимости от того, какая часть силлогизма пропущена, различают три вида энтимемы: с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением.
Умозаключение в форме эшимемы может быть построено и по 2-й фигуре; по 3-й фигуре оно строится редко.
Форму энтимемы принимают также умозаключения, посылками которых являются условные и разделительные суждения. Рассмотрим наиболее распространенные виды энтимем. Условно-категорический силлогизм с пропущенной большей посылкой: «Уголовное дело не может быть возбуждено, так как событие преступления не имело места».
Здесь пропущена большая посылка – условное суждение «Если событие преступления не имело места, то уголовное дело не может быть возбуждено». Она содержит известное положение Уголовно-процессуального кодекса, которое подразумевается.
Разделительно-категорический силлогизм с пропущенной большей посылкой: «По данному делу не может быть вынесен оправдательный приговор, он должен быть обвинительным».
Большая посылка – разделительное суждение «По данному делу может быть вынесен либо оправдательный, либо обвинительный приговор» не формулируется.
Разделительно-категорический силлогизм с пропущенным заключением: «Смерть произошла либо в результате убийства, либо в результате самоубийства, либо в результате несчастного случая, либо в силу естественных причин. Смерть произошла в результате несчастного случая».
Заключение, отрицающее все другие альтернативы, обычно не формулируется.
Использование сокращенных силлогизмов обусловлено тем, что пропущенная посылка или заключение либо содержит известное положение, которое не нуждается в устном или письменном выражении, либо в контексте выраженных частей умозаключения она легко подразумевается. Именно поэтому рассуждение протекает, как правило, в форме энтимем. Но, поскольку в энтимеме выражены не все части умозаключения, скрывающуюся в ней ошибку обнаружить труднее, чем в полном умозаключении. Поэтому для проверки правильности рассуждения следует найти пропущенные части умозаключения и восстановить энтимему в полный силлогизм.
№48
Так как в энтимемах воспроизводится лишь часть силлогизма, то поэтому в них только два суждения, но, заметим, одно из понятий повторяется в обоих, так что терминов все равно три, как это и должно быть в силлогизме. Именно в такой сокращенной форме чаще всего приходится сталкиваться с данным чрезвычайно распространенным видом умозаключения.
Когда нам надо проверить обоснованность и последовательность рассуждений, построенных в форме энтимемы, то надо восстанавливать их невысказанные составные части. В некоторых случаях такое восстановление очень просто, но часто возникают и трудности, особенно когда невысказанной осталась одна из посылок.
Чтобы восстановить энтимему в полный силлогизм, следует руководствоваться следующими правилами:
1) найти заключение и так его сформулировать, чтобы больший и меньший термины были четко выражены;
2) если опущена одна из посылок, установить, какая из них (большая или меньшая) имеется. Это делается путем проверки, какой из крайних терминов содержится в этом суждении;
3) зная, какая из посылок опущена, а также зная средний термин (он имеется в той посылке, которая дана), определить оба термина недостающей посылки.
Поскольку обычно мы рассуждаем, используя энтимемы, мы часто допускаем ошибки в собственных рассуждениях и не замечаем ошибок в рассуждениях других: пропуск посылки создает иллюзию очевидности. Например: N знает риторику, потому что имеет отличную оценку по этому предмету; -- пропущена посылка, истинность которой сомнительна: все получившие отличную оценку по риторике, знают этот предмет.
Допустим, перед нами такое высказывание: "Некоторые картины художников - пейзажи, а все пейзажи изображают природу". Заключения в этих словах нет, поэтому данные предложения могут быть только посылками, в которых повторяющийся дважды термин "пейзаж" играет роль среднего термина, связывающего понятия "картины художников" и "изображение природы". Затем не так уж сложно понять, что выводом отсюда будет либо: "Некоторые картины художников изображают природу" либо: "Некоторые изображения природы - картины художников". Можно при желании проверить это или с помощью круговых схем или, составив из таких предложений полный силлогизм (в данном случае их может быть два варианта), записать их в символической форме и проверить по таблице силлогизмов, есть там такие или нет.
Поэтому при построении и анализе аргументации рекомендуется мысленно восстанавливать пропущенные элементы рассуждения и оценивать их истинность и достоверность.
При переформулировании предложений для восстановления силлогизма надо быть внимательным, чтобы не изменить логическую форму мысли. Так, высказывание "Данная вещь не была возвращена, а товар ненадлежащего качества может быть возвращен с истребованием назад его цены" на первый взгляд представляет собой энтимему с опущенным заключением, которое, как кажется, должно звучать так: "Данная вещь не является товаром ненадлежащего качества". На самом деле для образования силлогизма надо, чтобы первая часть этой мысли звучала иначе: "Данная вещь не может быть возвращена". Только тогда обе половинки высказывания могут рассматриваться как две посылки с одним и тем же средним термином, из которых вытекает указанный вывод. Слово "может" имеет здесь принципиальное значение, потому что превращает суждение в модальное. Поэтому оно должно входить в состав среднего термина обеих посылок. В противном случае силлогизм не образуется.
Описанный способ восстановления невыраженных явно частей силлогизма наиболее предпочтителен при анализе запутанных мыслей. Он позволяет, во-первых, не вникать в смысл использованных понятий до самого последнего момента, когда символическая запись заменяется на обычную; можно даже восстанавливать энтимемы, образованные из совершенно незнакомых для вас по содержанию высказываний. Во-вторых, при этом способе легко отыскиваются все возможные варианты невысказанных посылок, когда их может быть несколько.
№49
В вероятностных умозаключениях истинность посылок не полностью не гарантирует истинность заключения
Снятие силлогистического ограничения, согласно которому термин, не распределенный в посылке, не может быть распределен в заключении, приводит к образованию класса непосредственных недедуктивных, или вероятностных выводов. Из них выделяют вероятностную конверсию и вероятностную иныерсию.
Вероятностная конверсия на языке силлогистики является выводом по правилу:
SaP
PaS
Разорванная черта указывает на вероятностный характер следования заключения из посылок. На языке логики правило вероятностной конверсии выражается схемой:
А В
В А
Вероятностная инверсия в силлогистике выражается схемами:
SaP
SaP
SеP
SеP
В логике высказываний вероятностная инверсия выражается:
А В
А В
Вероятностная конверсия и вероятностная инверсия не соответствуют логическому закону. Заключения, полученные в соответствии со схемами вероятностной инверсии и вероятностной конверсии не носят достоверного характера.
.
№50
Значительную часть опосредованных недедуктивных выводов составляют выводы по аналогии (от греч. Пропорция, соразмерность).
Аналогия - это умозаключение, осуществляющее пререход от сходства одних предметов к другим предметам. Т.е., вывод по аналогии, или просто аналогия - это вывод, характеризующийся переносом признака одного предмета на другой предмет, подобный первому. Предмет, признак которого переносится, называется моделью. Предмет, на который переносится признак другого предмета, называется прототипом или оригиналом.
Вывод по аналогии основан на отношении совместимости - сцеплении. Аналогия находит широкое применение в человеческой деятельности, но истинность заключений по аналогии крайне ненадежна.
Выводы по аналогии дают достоверные результаты, если между сопоставляемыми системами, т.е. моделью и прототипом, имеется отношение изоморфизма или гомоморфизма.
Модель и прототип изоморфны тогда и только тогда, когда каждому элементу, свойству или отношению модели соответствует единственный элемент, свойство или отношение прототипа, и наоборот. При отсутствии обратного отношения модель и прототип будут гомоморфны. Отношение изоморфизма рефлексивно, симметрично и транзитивно, отношение гомоморфизма - рефлексивно и транзитивно, но не симметрично. Как правило, всякая модель изоморфна сущностным характеристикам прототипа, но гомоморфна относительно всех его характеристик.
Для выводов по аналогии характерна ошибка «слишком далекая аналогия». Как правило, она возникает при выводах, основанных на чисто внешнем и поверхностном сходстве предметов. Чем более разнородны предметы, взятые в качестве модели и прототипа, тем выше вероятность такой ошибки.
Аналогия глубоко укоренена в культурном опыте человечества. Мыслительные схемы, выработанные в процессе многовековой практики человечества переносятся на рассуждения с самым разнообразным содержанием. При решении новых задач, как известно, используются методы и средства, оправдавшие себя ранее. Укорененность аналогии в человеческой мыслительной практике хорошо прослеживается на примере мифологиченского сознания. Многие явления природы находят свое объяснение поаналогии с предметами, уже известными. С этим связана такая черта мифологического сознания, как антропоморфизм. Когда за явлениями природы стоят антропоморфные, на более ранней стадии развития культуры - зооморфные, божества, отношения между которыми воспроизводят отношения людей.
Аналогия является логической основой метода моделирования. Метод моделирования состоит в использовании модели при исследовании некоторых процессов, отношений и т.д.
Знаковый или технический феномен А называют моделью другого феномена В, отличающегося от А по ложности, материалу, разметам или иным признакам, если существует определенная функциональная зависимость y = f(x), где f
- совокупность логических, математических и иных операций, такая,. Что при подстановке на место х некоторых описаний, свойств, структурных характеристик а, мы каждый раз получаем на месте y определенное описание некоторых свойств, структурных характеристик, верных для В.
- сравнительная протсота модели, если при этом не допускаются потери информации, - основное ее преимущество, которое позволяет экономить время, силы и средства, необходимые для получения результата. Не менее важно то, что модель фиксирует наиболее существенные свойства образца. Создание модели предполагает отвлечение, абстрагирование, от второстепенных, случайных, привнесенных свойств. И то обстоятельство, что она создается с учетом существенных фактов, делает ее средством получения близкого к достоверному знания.
Модели бывают прямые - когда результаты измерений на макете прямо переносятся на исследуемый объект путем прямого умножения на коэффициент пропорциональности, и косвенные - наглядный пример - математические модели в научной теории.
Близкой к умозаключению по аналогии выступает метафора, которая также связана с переносом одних свойств предметов на другие. Основная ценность метафоры в том, что для нее подбираются непохожие предметы. Метаформ всегда имеет знаковый характер и относится к области художественного творчества
№51
Индуктивное умозаключение, его виды
ИУ обычно дают нам не достоверные а лишь правдоподобные заключения. Что бы понять ИУ выявляют 2 подхода: 1.Индуктивный – умозаключение от знаний меньшей степени общности к новым знаниям большой степени общности. 2.В современный логике индуктивной называют умозаключения делающие вероятное суждение. В зависимости от избранного основания выделяют индукцию полную и неполную, а также математическую индукцию. Полная – это умозаключение в ктр общее заключение о всех эл-ах класса предметов делается на основе рассмотрения каждого эл-та этого класса. Математическая индукция один из важнейших методов док-ва в мат основ на принципе мат индукции. Использование при выводе рядя формул арифметической и геометрической прогрессии.
Неполную индукцию применяют в случае когда не может рассматриваться все эл-ты интересующего нас класса явления. Один из видов Н.И. – научная индукция – имеет большое значение позволяя формировать общие суждения. Выделяют 3 вида неполн индукции: 1) Индукция через перечисление (популярная) – так индукция дает заключение вероятное, а не достоверное. Ошибка: поспешное обобщение. На основании основание популярной индукции народ вывел не мало примет. (Ласточки низко летают – быть дождю)
2) Индукция через отбор фактов. Через такую индукцию стремятся исключить случайных обобщений, т.к. изучение отобранных предметов, разнообразных по времени способу получения.
3) Научная индукция – умозаключение в кот на осн познаний необходимых признаков или необходимой связи части предметов класса делается общее заключение обе всех предметах этого класса. Н.И. дает достоверное заключение.
№52
Аналогия – опирающееся на дедукцию умозаключение о принадлежности объекту определенного признака, называемого переносимым, на основе сходства с другим объектом, имеющим этот признак, лежащее в основе идентификации и формирования понятий, позволяющее находить сходство различного. Отведав вкус одной ягоды и, видя другую, сходную с ней, по аналогии умозаключают что, эта ягода так же хороша и полезна, как предыдущая; видя два абсолютно разных объекта и сопоставляя между собой, приходят к выводу, что они имеют некоторые аналогичные признаки. К аналогиям можно отнести некоторые метафорические суждения типа: «Слабость – подлость духа», указывающие на определенные сходства между явлениями (в данном случае, слабостью и подлостью).
Строгая аналогия дает достоверное заключение, опираясь на необходимую связь между сходными признаками и переносимым, подразумевающую невозможность их раздельного существования. Если субъекту присущи признаки, из совокупности которых необходимо следует другой признак, то ему присущ и следующий из них признак.
Нестрогая аналогия дает вероятностный вывод, позволяя стоить предположения о сущности или родстве явлений там, где невозможно установление строгой. Повышение доли вероятности верного заключения при нестрогой аналогии достигается следующими способами:
Использование максимального числа общих признаков.
Общие признаки должны определяться (соответствовать) внутренней сущностью сравниваемых объектов.
Использование наиболее разноплановых признаков.
Учет различий сравниваемых объектов.
Соответствия переносимого признака сходным
Нарушение этих требований приводит к поверхностной аналогии.
Поверхностная аналогия обрывает реальные связи между явлениями и объектами и, осуществляется либо умышлено, с целью ввести кого-то в заблуждение, либо из-за отсутствия достаточных знаний об объектах, между которыми проводится. Примером подобной аналогии является примета: «разбитое зеркало – к несчастью», основанная на внешнем сходстве человека с его отражением. Видя это сходство, человек, имеющий примитивное (мистическое) представление о природе отражения, умозаключает что, так как при разбивании зеркала отражение рассыпается, то подобный крах должен произойти и с его хозяином.
Независимо от достоверности умозаключений, аналогия часто является основой научных и прочих догадок (гипотез), которые, затем, подтверждаются или опровергаются дедуктивными методами умозаключений. В этом она сродни индукции и, привыкший к нахождению аналогий, легко наводится на мысль парой-тройкой посылок. Трудно провести четкую грань между индукцией и аналогией или аналогией и дедукцией. Являясь связующим звеном между этими типами умозаключений, аналогия определяет жизнеспособность форм. Центральная нервная система для того и существует, чтобы строить аналогии между различными процессами внутри и вовне организма.
Так, таракану его уровень мышления не позволяет установить все сходства и различия между понятиями (классами объектов), вследствие чего он не способен установить все сходства и различия между двумя различными объектами одного понятия (класса), потому что, сходства и различия опираются на новые понятия, (например, сходство в размерах, опирается на понятие размера), взаимосвязь которых, ему во многом скрыта. Безусловно, он способен установить аналогию между двумя крупинками еды, но установить все их сходства и различия (состав, способ происхождения, объем, форма, типы химических реакций провоцируемых употреблением и т. д.) ему не дано. Его ум ограничен ничтожной способностью к установлению аналогий между различными понятиями, многие из которых, ему даже недоступны. Поэтому тараканы прячутся в норах, в то время как, человек стал хозяином Земли1.
Таким образом, чем больше субъект обнаруживает аналогий, чем больше сходств и различий обнаруживается в аналогичных объектах, тем выше его мыслительные способности и шансы доминировать в биологическом, бытовом и социальном плане.
Примером умозаключений исключительно по аналогии может служить следующее рассуждение:
Подлый (A) по убеждениям (B), поступает подло (C), иногда даже неумышленно (D)
Глупец (E) может поступать подло (C), даже не помышляя о том (D), в силу своей глупости (F).
Глупость (F) – подлость (A) слабого ума (E).
В котором аналогия устанавливается с помощью двух, дедуктивно выведенных общих признаков C и D, означающих неумышленную подлость.
Структура аналогии подобна структуре эпихейремы:
Строго аналогичный метод позволяет установить приведенную в начале главы аналогию между слабостью и подлостью.
№ 54
В логике аналогия рассматривается как форма получения выводного знания, как умозаключения, в котором на основании сходства предметов в одних признаках делается вывод о сходстве этих предметов в других признаках. Пример из практики научного познания: в спектрах химических элементов, удаленных от Земли, линии туманностей сдвинуты в сторону красной части спектра по сравнению с линиями этих элементов, наблюдаемых в земных условиях. Это - явление «красного смещения». «Красное смещение» - результат взаимного удаления галактик в окружающей нас области Вселенной. Явление «красного смещения» было открыто по аналогии с акустическими явлениями, так называемым «эффектом Доплера». Частота колебаний или длина звуковой волны, воспринимаемая наблюдателем, изменяется в зависимости от движения источника звука и наблюдателя относительно друг друга. При их сближении частота возрастает, при удалении - уменьшается. В акустике при сближении источника звука и приемника-наблюдателя тон звука повышается, при удалении - понижается. Сходство природы света и звука в ряде свойств послужило основанием для истолкования «красного смещения» по аналогии с эффектом Доплера, как следствие удаление от нас туманностей. Смысл аналогии заключается в том, чтобы находить неизвестные признаки предмета, опираясь на ранее приобретенные знания о другом, сходном с ним предмете, переносить информацию от одного предмета на другой на основе некоторого соотношения между ними.
Умозаключения по аналогии - это вывод о принадлежности единичному предмету определенного признака, основанный на сходстве этого предмета в существенных признаках с другим единичным предметом.
Вывод в умозаключении по аналогии можно представить следующей схемой:
A имеет признаки: a, b, c, d, e……….
B имеет признаки a, b, c, d……….
Следовательно, В, по-видимому, имеет признак e.
А и В в этой схеме - сравниваемые предметы, a, b, c, d, - сходные для обоих предметов признаки, e - признак, присущий А и в силу сходства между предметами переносимый на В.
Аналогия, как и вся логическая фигура, не является произвольным логическим построением. В ее основе лежат объективные свойства и отношения предметов реальной действительности.
Каждый конкретный предмет или явление, обладая множеством качеств и свойств, представляет собой не случайную комбинацию не имеющих внутренней связи признаков, а определенное единство. Качества и свойства предметов существуют не сами по себе, а лишь в силу существования других признаков. Каким бы малозначительным ни был тот или иной признак, его существование всегда обусловлено другими сторонами предмета. Как существенные, так и несущественные, случайные для данного предмета признаки никогда не возникают самопроизвольно, их изменения всегда предопределяется изменением других его свойств и качеств или изменением внешних условий.
Если, например, изменяются такой важный для конкретного государства признак, как расстановка общественных (классовых) сил, то это может повлечь за собой изменение классовой природы государства, повлиять на его внутреннюю и внешнюю политику, изменить устройство государства, его форму правления и т.д.
Точно также достаточно видоизменить один из физических признаков тела, как тот час же это скажется на других его свойствах.
Объективная зависимость между признаками любого явления и служит той основой, миллиардное повторение которой в человеческой практике приводит к отражению и закреплению в мышлении особой логической фигуры - умозаключения по аналогии. Поскольку самой объективной действительности каждый вновь обнаруженный признак конкретного предмета (А), например, признак е, не возникает независимо от других его качеств, свойств и отношений (а, в, с, d), а определенным образом связан с ними, поэтому, обнаружив в другом предмете (в) такую же совокупность признаков, заключают о существовании у этого предмета признака е. Логический переход от известного к неизвестному в умозаключении по аналогии регулируется аксиомой, которую можно сформулировать в виде следующего положения: если два единичных предмета сходны в одних определенных признаках, то они могут быть сходны и в других определенных признаках, обнаруженных в одном из сравниваемых предметов.
Такова принципиальная логическая схема и объективная основа умозаключения по аналогии.
№55
Погрешности в недедуктивных выводах: слишком далекая аналогия, подтасовка (просеивание) фактов, поспешное обобщение. Условия повышения вероятности недедуктивных выводов.
Главная трудность, с которой мы сталкиваемся при современном анализе правдоподобных рассуждений, состоит в том, чтобы найти адекватную экспликацию их структуры и результатов с помощью подходящей интерпретации понятий и исчисления вероятности. В настоящее время существует множество различных интерпретаций понятия вероятности. Наиболее часто используемой интерпретацией, широко применяемой в естествознании, социально-экономических и технических науках является частотная, или статистическая, интерпретация, которую также называют объективной. Многие логики, однако, сомневаются, может ли она адекватно отобразить отношения между высказываниями об отдельных событиях, которые по самому их смыслу не обладают частотой. Тем не менее, в 20-е годы Г.Рейхенбахом была предпринята попытка представить вероятность отдельных событий через так называемую фиктивную частоту и даже построить специфическую вероятностную логику. Однако ни псевдочастотная интерпретация вероятности индивидуальных событий, ни вероятностная логика, основанная на тех же идеях, в дальнейшем не получили развития. Одни исследователи стали трактовать вероятность таких событий либо в чисто психологических терминах, либо в понятиях рациональной веры. Вероятностная же логика стала строиться по аналогии с дедуктивной логикой, а именно вероятностное отношение между высказываниями стали рассматривать как специфическое логическое отношение, мерой которой служит степень подтверждения одного высказывания другими, например, гипотезы ее эмпирическими данными. Но на этом пути возникли большие трудности, в особенности при оценке степени вероятности заключений. А все это свидетельствовало о том, что практическое применение идей вероятностной логики требует не только чисто объективного рассмотрения логического отношения между высказываниями, но и субъективных аспектов тех вероятностных суждений, с которыми оперируют в этой логике.
. Энтимема имеет не логическую, а языковую природу. В процессе коммуникации информация нередко передается в свернутом виде. Особенность многих энтимем – возможность малозаметных формальных или содержательных погрешностей. Такие погрешности становятся явными при восстановлении энтимемы до полного силлогизма.
№ 56
Аргументация – способ рассуждения, в процессе которого создается убеждение в истинности тезиса (ложности антитезиса) и обосновывается целесообразность его принятия (или отвержения). Как правило, имеет характер диалога, в котором аргументирующий не только обосновывает свою мысль, но и опровергает мысли, ей противоречащие, с целью сделать оппонента (и публику) своими единомышленниками, выработать у него стремление руководствоваться аргументируемым мнением.
Убеждение, возникающее в результате, не всегда достаточно обосновано. Человека можно убедить в чем угодно, если он хочет быть в том убежденным, например, посулив многообещающие или, по крайней мере, утешительные перспективы. Часто оно основано на незнании, а его вовсе не достаточно для признания тезиса истинным.
Единственным способом установления истинности является доказательство: без него любое высказывание – не более чем набор общих деклараций и поучений, апеллирующих к вере и чувства. Но способ их получения не всегда очевиден. Поэтому, необходимо знать, как получить доказательство.
Прежде всего, всякое доказательство и аргументация включает в себя тезис – суждение, требующее подтверждения; он должен быть ясным и четким и не должен изменяться в процессе рассуждения без специальных оговорок. Без тезиса вообще не может быть разговора (разговор не клеится). Даже самая беспредметная беседа содержит тезис. Например, о погоде:
– Ну и погода сегодня!
Здесь скрыт тезис, утверждающий что, погода соответствует эмоциональному содержанию высказывания, если оно радостное – хорошая, раздраженное – плохая. Однако если это высказывание не требует подтверждения, разговор обрывается, если нет нового тезиса. Даже согласие собеседника является подтверждением (ведь, при желании, любое суждение можно подтвердить или опровергнуть, независимо от того, нуждается оно в этом или нет) и, оно – продолжение разговора (и новый тезис). Так же, как и отрицание – новый тезис (антитезис) и, ситуация чревата жаркой дискуссией, ведь чем больше накоплено неподтвержденных тезисов, тем шире поле спора. Но и безразличие, при желании тезис:
– Ну и что? (Мне все равно)
В нем можно усомниться и потребовать подтверждения.
– Как «ну и что»? Неужели тебе все равно? Такого просто быть не может!
Только бред, поучение, приказ и допрос могут не содержать тезиса, так как, обычно не несут в себе никакой полемики.
В ходе доказательства, в подтверждение тезиса выдвигаются аргументы – заведомо истинные суждения, способные его обосновать. Без них ничто не доказано. Являясь необходимым условием доказательства, они должны быть истинными и непротиворечивыми, обоснованными (самостоятельно доказанными и не содержащими круг) и, по возможности, содержащими всю информацию тезиса (чтобы быть его достаточным основанием).
Аргументы делятся на пять типов:
Определение, раскрывающее суть термина. Его иногда достаточно, чтобы доказать тезис. Например: «Бессовестный человек не признает ответственности за свои поступки. Само понятие совести, означает чувство ответственности».
Аксиома не требует доказательств и, как правило, является посылкой для нового аргумента, после которого, сам собой, напрашивается доказываемый тезис (или очередной аргумент).
<Ранее доказанные суждения и законы.
Безусловные факты.
Указание на уловки (при их обнаружении), вскрывающее лживость оппонента, пытающегося добиться победы любой ценой и, разбивающее, таким образом, его утверждения, независимо от их истинности, поскольку, когда оппонента интересует истина, он использует только лояльные (корректные) приемы.
Процесс выведения истинности тезиса (или ложности антитезиса) называется демонстрацией. Ее цель – показать что, тезис действительно следует из приведенных аргументов. Показывая, каким именно образом это происходит, она является важнейшей частью доказательства, с точки зрения убедительности. Обычно ей уделяют мало значения и, иногда она действительно не нужна. Но очень часто, приводя веские аргументы, невозможно добиться результата только оттого, что очевидный вывод никак не доходит до нежелающих утруждать себя размышлением (а после, сочтя за глупость, они забудут, вероятно, не только их, но и предмет спора). Особенно, если они не заинтересованы в признании тезиса истинным.
№57
Характерной особенностью любой аргументации является использование различных способов рассуждения, имеющих разную логическую структуру. Наиболее знакомыми формами таких рассуждений являются дедуктивные умозаключения, в которых тезис следует из посылок с логической необходимостью. Поэтому аргументация, основанная на истинных посылках и правилах дедуктивного вывода, обладает особой убедительностью. Не случайно, по–видимому, долгое время аргументацию отождествляли или сводили к доказательному, или демонстративному, рассуждению.
Однако и в научном познании и повседневных практических рассуждениях в процессе убеждения, особенно в ходе спора, диалога или дискуссии, часто обращаются к другим, недедуктивным способам обоснования выдвигаемых утверждений, заключений и решений. В традиционной логике такими способами служат индукция и аналогия, к которым в настоящее время добавляют статистические выводы, экстраполяцию и некоторые другие формы рассуждений. Все они отличаются от дедуктивных выводов тем, что их посылки, несмотря на истинность, не гарантируют истинности заключения, а только подтверждают его в той или иной степени, или делают его правдоподобным или вероятным. Поэтому аргументация, основанная на правдоподобных рассуждениях, дает лишь частичное обоснование выдвигаемым утверждениям, мнениям или предположениям.
Обычно в трудах по теории аргументации рассматриваются только эти две основные формы рассуждений. Соответственно этому, различают дедуктивную или демонстративную аргументацию и аргументацию недемонстративную, которую часто называют индуктивной, правдоподобной или вероятностной. Следует, однако, с самого начала подчеркнуть, что аргументация не является чисто логической теорией. Поэтому она специально не исследует логические структуры, а анализирует способы и методы применения таких структур в процессе убеждения. С такой точки зрения ее следует рассматривать как прикладную отрасль знания, изучающую, в частности, принципы и методы применения логики к процессам рационального убеждения.
Будучи частью общего процесса убеждения, аргументация опирается не только на те немногие способы логических рассуждений и их структур, но и разнообразные другие формы, которые обычно не рассматриваются в чистой логике. Устоявшиеся, традиционные способы умозаключений, кроме того, значительно огрубляют и упрощают те реальные структуры, с которыми приходится встречаться в реальных рассуждениях в ходе спора, диалога, дискуссии или при принятии решений. В связи с этим некоторые современные теоретики аргументации предлагают использовать для этого более сложные модели, аналогичные, например, юридической, в которой рассматриваются различные виды суждений, осуществляющих разные функции в судебном процессе.
№58
Аргументативные тексты рассматриваются при коммуникативном подходе в их монологической письменной разновидности. В рамках этого подхода аргументация трактуется как дисциплина, сопоставимая с аристотелевским пониманием логики и диалектики. Логика коррелирует с коммуникативным, а диалектика – с интерактивным методом аргументирования. При этом интерактивный метод широко используется в анализе обыденной аргументации. Коммуникативный же метод применим для анализа аргументативного письменного текста как особого типа дискурса. Аргументативная ситуация при коммуникативном подходе исключает обращение к ролям коммуникантов и предусматривает иные, чем при интерактивном, условия осуществления аргументации. В коммуникативном аргументировании условия удачи соотносятся в основном с законами правильности и логичности построения сообщения и с прогностическими процедурами понимания аргументов в условиях отсутствия обратной связи. Примечательно, что даже в концепциях, предусматривающих диалоговое аргументирование, законы рассуждения, ориентированные на логику, рассматриваются безотносительно к условиям обмена репликами между участниками аргументации.
Коммуникативный подход остается единственным методом, отвечающим исследованию монологических текстов в условиях непрямого отсроченного (в смысле времени восприятия сообщения по сравнению с его созданием) общения. Так, согласно концепции функционального рационализма, форма и структура аргумента определяются его функцией. Например, стандарты оценки, высокая степень формальности в юриспруденции считаются необходимыми для установления справедливости и равновесия индивида и обществе. В науке же, цель которой – установление научной истины, нормой являются неформальные процедуры и математически точные стандарты оценок. Основные эпистемические функции аргумента – это доказывание и порождение нового знания. При доказывании следует различать новое для себя и новое для аудитории. Новое для себя в этой процедуре занимает сравнительно незначительное место, у аудитории же доказывание порождает новое знание. В связи с этим разделение аргументов на субстанциальный и процессуальный (коммуникативный и интерактивный, в нашей терминологии) следует проводить с учетом эпистемологического приоритета первого: "мы перестаем аргументировать, как только исчерпываются наши ресурсы для аргумента как продукта" (Rowland 1987: 148). Аргумент в этом подходе оценивается с точки зрения его рациональности и является поэтому ингерентно нормативным. Аргумент может быть не-дискурсным и невербальным, но в таких случаях он функционирует как аргумент только после трансляции его в знаковую систему, такую, как естественный язык Из этого следует, что семиозис аргумента как знака примарен по отношению к интеракции как обмену результатами семиозисов.
Определяющим моментом аргументации при коммуникативном методе будет рассуждение. Проблема типов логического рассуждения ставится здесь в связи с необходимостью определения, какой из них и в какой модификации предпочтительнее использовать для анализа теоретического гуманитарного текста, от которого нельзя требовать формально-логической организации. С другой стороны, поскольку такой текст представляет собой изложение рассуждения, он должен отвечать требованиям логической строгости. Принимая во внимание семиологическую природу текста, необходимо к ней адаптировать логическую систему для анализа-понимания текста. Такая система должна быть интенсиональной, потому что теоретический текст интенсионален. Иными словами, если перед нами система анализа рассуждения, удовлетворительная во всех отношениях за исключением интенсиональности, ее следует расширить так, чтобы она могла учитывать (а) особенности не только тектоники, но и содержания рассуждения, (б) особенности языковой формы аргументов с точки зрения того, насколько точно и эффективно эта форма выражает значение как трансляционную (языковую) составляющую, связывающую мыслительную и манифестационную стороны рассуждения, языковые план содержания и план выражения, соответственно.
№59
Док-во – совокупность лог приемов обосновывающих истинность тезиса. До-ва должны основываться на данных науки и общественно – исторической практики, убеждения могут быть основаны на религиозной вере.
Структура до-ва: 1) Тезис – суждение истинность ктр нужно док-ть. 2) Аргументы – истинные суждения которыми пользуются при док-ве тезиса. (Виды аргументов: а) удостоверенные, единичные факты; б) определения как аргументы док-ва; в) аксиомы и постулаты; г) ранее доказанные законы науки и тео-мы, как аргументы док-ва.) В ходе док-ва любого тезиса может использоваться не один, а несколько видов аргумента.
Способы док-в: 1) Прямое – идет от рассматривания аргумента к док-ву тезиса, истинность обосновывается аргументами. Широко используется ПД в статистических отчетах, в различного рода доках, постановлениях, худ литре. (Была жуткая ночь: выл ветер, дождь барабанил в окна. И вдруг среди грохота бури раздался вопль ужаса.)
2) Непрямое – док-во в ктр истинность выдвинутого тезиса обосновывается путем док-ва ложности тезиса.
3) Аналогическое косвенное до-во – осуществляется путем установления ложности противоречивого тезису суждения.
№60
Опровержение – лог операция установления ложности или не обоснованности ранее выдвинутого тезиса. Суждение ктр надо опровергнуть назыв – тезисом, суждения, с помощью ктр опровергается тезис, назыв аргументами опровержения. Правила:
1) Тезис должен быть лог-ки определенным, ясным и точным.
2) Тезис должен оставаться тождественным.
Ошибки: Подмена тезиса; довод к челу; переход в другой род.
3) Аргументы приводимые для док-ва тезиса должны быть истинными. Аргументы должны быть достаточны основаны для док-в тезиса. Аргументы должны быть суждениями, истинность ктр док-на самостоятельно, не зависимо от тезиса.
Ошибки: Ложность основ; порочный круг; опора на недоказанные аргументы.
4) Правила к форме обоснования тезиса.
Ошибки: Мнимое исследование – тезис не следует из приводимых к его подтверждению аргументов. От сказанного с условием к сказанному безусловно.
№61
Касаясь отношения между понятиями коммуникации, убеждения и аргументации, многие западные ученые считают убеждение и аргументацию необходимыми составляющими единого коммуникативного процесса. Мнения же по поводу отношения аргументации и убеждения расходятся. Многие справедливо считают аргументацию составной компонентой убеждения, опирающейся на рационально–логические принципы и методы. Остин Фрили, например, указывает, что “аргументация дает приоритет логическим принципам, хотя и признает этические и эмоциональные ее аспекты” [8, с. 7]. Такой взгляд на аргументацию является весьма популярным, хотя встречаются и другие мнения, о которых мы скажем в дальнейшем.
Однако убеждение, в какой бы форме оно ни выступало, принципиально отличается от принуждения прежде всего тем, что оно представляет собой такой способ воздействия на мнения, взгляды и поведение людей, при котором они имеют возможность поступать по своему усмотрению, обладают свободой воли, могут осознано и критически оценивать доводы, соглашаться или не соглашаться с ними. В отличие от этого принуждение всегда предполагает наличие насилия, ограничения свободы воли, жесткий контроль и управление действиями и поступками людей. Такое управление сознанием и поведением людей может быть достигнуто с помощью прямого физического воздействия, угрозами, приказами, мерами административного воздействия, внушением в гипнотическом состоянии, разнообразными психотропными средствами и т.п. Все эти методы потому и считаются принудительными, что они основываются на жестком и строгом контроле взглядов и поведения людей, исключающем неповиновение, возражения и критику со стороны лиц, подвергшихся принуждению. Очевидно, что в некоторых ситуациях и обстоятельствах обойтись без принуждения невозможно, но в огромном большинстве случаев более эффективными являются именно методы убеждения, опирающиеся на нежесткие методы управления взглядами и поведением людей. Наиболее убедительными в этом отношении оказываются методы аргументации, ибо именно они основываются на рациональных средствах воздействия на сознание с помощью доводов разума и логики, которые человек может подкрепить соответствующими фактами, данными опыта и практики. Это в одинаковой мере относится как к аргументатору, так и к аргументируемым.
Такой взгляд на убеждение и аргументацию прекрасно выражен в трудах Г.Джонстона, в которых он подчеркивает, что обращение к аргументации предполагает такую форму убеждения, при которой другой человек “рассматривается как находящийся вне сферы жесткого управления”. Поэтому ему предоставляется возможность “противодействовать нам, и когда мы лишаем его такой возможности, то мы уже не аргументируем”. То же самое можно сказать и о других формах убеждения, в частности, например, нравственном и эмоционально–психологическом. Главным условием здесь является свобода выражения мнений и необходимость их обоснования, что предполагает взаимную критику, спор или дискуссию. Важно при этом обратить внимание на различие убеждения, как процесса обоснования взглядов, мнений, решений, и убеждения, как результата такого процесса. Очевидно, что результатом убеждения может быть как истинное знание о вещах и явлениях, так и мнение, нуждающееся в дальнейшем обосновании. Однако в обычной речи, когда говорят об убеждениях, то под ними подразумевают истинные суждения, взгляды и принципы. Именно такие убеждения формируются у человека в результате его активной познавательной и практической деятельности. Поскольку, однако, постижение истины представляет собой длительный процесс, в ходе которого возможны заблуждения, ошибки и паралогизмы, постольку в реальном поиске истины всегда неизбежны обращения к предположениям, мнениям и вере.
Важность логики для аргументации объясняется биологически и понимается как принцип наименьшей затраты сил или принцип экономии мышления. Наличие логики в языковых продуктах связано со стремлением к идеальности и рациональности, максимальной разумности, поскольку идеальная тенденция логического мышления, как такового, направлена в сторону рациональности [Е.Н. Зарецкая 1997]. Правила логики являются своего рода интеллектуальными инструментами, позволяющими приводить в порядок мысли и рассуждения. От логической культуры личности в значительной степени зависит коммуникативный эффект сообщения, поскольку никакие аргументы не будут иметь воздействия, если они не связаны логически. В теории пропаганды и теории рекламы отмечено, что лучше усваивается знание, которое имплицитно содержится в логических предпосылках. Логически обоснованный отказ или согласие становятся более эффективными. Даже команды и приказы, являющиеся крайними, нежелательными аргументами (реципиента лишают выбора), соединены логическими отношениями.
Полный анализ текста, которым занимаются теория аргументации, риторика, лингвистика текста невозможен вне соотношения мыслительных и языковых форм. Взаимоотношения логики и языка оказываются столь многогранными, что в них и сейчас продолжают находить нюансы. Преимущество логического подхода в его приближенности к математическому, следовательно, максимально четкому и определенному. Отсюда и неослабевающий интерес, и нескончаемые попытки привлечь логику в описание языка.
Однако, формальное понимание логики, простое перенесение ее правил в лингвистические исследования неприемлемо на современном этапе развития лингвистики. Логика понимается как наука четкой, точной аргументации. В формальной логике пропозиции, дедукция существуют независимо от контекста, в языке этот постулат может быть нарушен, что позволяет говорить, по крайней мере, о двух видах a priori. Логические правила оказываются слишком жесткими для аргументации с ее практической направленностью.
Язык значительно шире, чем логика, и предложения, тем более их последовательность, могут иметь свою языковую логику, языковой смысл. При коммуникации на естественных языках идентичные с логической точки зрения, выражающие одно суждение предложения, могут относиться к различным коммуникативным типам. В логике существует четкое разграничение между общеутвердительными и общеотрицательными суждениями, в языке оно нивелируется. Уступительные и противительные предложения, между которыми нельзя поставить знак равенства в языке, оказываются идентичными с логической точки зрения. Необходимо упомянуть, что в речи бывает трудно провести разграничение между некоторыми видами логических отношений, например, слабой (...или...) и сильной (...или...или...) дизъюнкцией или контраюнкцией. Аргументативно-релевантным доказательством расхождений между логическим и языковым является функционирование частицы «ведь», которая предполагает модальность утверждения, но никак не связана с логическим значением истины, а означает более указание на известность пресуппозиции слушающему . Эти факты и многие другие обстоятельства послужили причиной выделения коммуникативной логики или подразделения логики на логику содержания и логику коммуникации.
Концепции истины и лжи традиционно считались центральными в логическом использовании языка. Поэтому главная функция доказательства в логике всегда заключалась в обеспечении истинности пропозиции. В случаях прямого доказательства аргументатор исходит из истинных посылок, на основании которых истинными являются и цепь рассуждений, и конечный вывод, каждая пропозиция становится новым знанием, и она истинна. При косвенном доказательстве (indirect proof), только конечный вывод является новым знанием истинной пропозиции. Но при аргументации на естественных языках понятие истинности в логическом понимании часто не «работает», логические критерии определения истинности не действуют. Более того, иногда понятия «истинно/ложно» даже считаются нерелевантными для лингвистики, поскольку в языках нет формальных, категориальных маркеров этих понятий. Исключение составляют несколько слов с лексическим значением истины-лжи (И-слова, Л-слова) или фраз, которые можно определить как лексические, синтаксические средства оценки истинности пропозиции, или фразы, позволяющие оценить речевое поведение.
№ 62
Как логическая форма рассуждения, диалог известен в истории Западной философии со времен античности. В произведениях Платона диалогическая форма рассуждения была отточена до совершенства. К сожалению, в последующем компонент 'литературного жанра' стал преобладать над логической составляющей в значении термина 'диалог'. А в трудах Аристотеля логический аспект диалогического рассуждения и вовсе был сведен либо к риторике, либо к монологической структуре силлогизма. В настоящее время логическое направление "диалоговедения" находится на переломном этапе перехода от осознания коммуникативной природы естественного мышления и некоего "набора интенционально-поведенческих структур" в системе аргументации к осмыслению диалога как логической формы неклассической логики вообще и диалектической логики, в частности.
Так или иначе преодолимые, трудности на пути к принятию диалога как чистой логической формы, освобождения диалога от всех "сторонних факторов" и жанровых характеристик, трансформации традиционной структуры первичной (наивной) конфигурации исходных форм мысли в неклассическую конфигурацию.
Конечно же, предложенный сторонниками сближения логики и естественного мышления план подразумевает интеграцию в тело логического знания не "диалога", несущего смысл структуры общительного поведения, но именно "диалога", воплощающего принципы процедуры, моделирующей порядок научного оппонирования. "Диалог" в роли процедурной модели научного оппонирования подразумевает возможность структурирования общительного взаимодействия оппонирующих сторон научной дискуссии, с помощью чего формируется определенный познавательный результат. Согласно подобному пониманию идея "диалога" подразумевает введение в определенные рамки тех действий, которые естественный язык обозначает понятием "обмена мнениями". "Диалог" в понимании современных тенденций логики превращен в преследующую познавательную цель последовательность актов обмена мнениями, замкнутую рамками единого целевого поля конкретной дискуссии.
"Диалог", по-видимому, подобный принцип и предусмотрен модернистской логической концепцией, означает включение в арсенал средств логического познания набора интенционально-поведенческих структур. Такое решение можно наблюдать на материале предоставляемого сторонниками интеграции "диалога" в научный аппарат логики арсенала "средств развертывания" диалога, к числу которых принадлежат элементы "суждение", "оценка", "вопрос", "требование". Названные структуры конфигурирования познавательной активности наделяются модернистской интерпретацией статусом прямого содержания корпуса логического познания, составляющего само тело научной дисциплины "логика".
При этом, естественно, представители логического модернизма игнорируют множество фактически неизбежно сопровождающих лелеемое ими расширение логики сторонних факторов. Обзор данных факторов можно начать ссылкой на то, что сами названные здесь лексемы "диалог", "суждение", "оценка" и т.п. омонимичны, то есть используются в естественном языке часто для обозначения не одного, но некоторой группы различных понятий. Особо отличается в подобном смысле слово "оценка", заимствованное научным аппаратом непосредственно в обиходной лексике. Но здесь куда более важен другой аспект данной проблемы - как само по себе понятие "диалог", так и группа понятий, используемая для раскрытия структуры и содержания "диалога" отнюдь не предназначаются для обозначения неких "простых и неделимых" сущностей. "Диалог" в любом случае представляет собой сложную комбинированную структуру, обозначаемую характерными актуальными комбинациями, соответствующими конкретным ситуациям развертывания диалога. В меньшей степени, но, тем не менее, весьма ощутимо непостоянство структуры проявляется и в случаях "суждения", "вопроса" и т.п.
Логика, обогащаясь новым средством "диалог" вместе с ним приобретает и свой ранее отсутствовавший раздел "диалоговедение", и вряд ли можно определенно сказать, хорошим ли может оказаться подобное приобретение, обремененное показанными нами дополнениями. Понимая непростой характер последствий вольных модернизаций предмета науки "логика" мы попытаемся исследовать предмет "диалога" с целью определить, с одной стороны, то, какие же аспекты отношений "диалога" затрагивает существующая формальная логика, и, если взглянуть немного шире, теория познания в целом. С другой стороны, мы постараемся оценить как же "диалог" организуется с точки зрения структуры межличностной коммуникации.
Анализ нам следует начать с операции раздела предмета диалога на составляющие предметы "ход диспута" и "развитие в направлении достижения согласной позиции" (или - позиции расхождения). Начнем мы с правил, описывающих коммуникативную адаптацию сторон диспута как реальных участников общения, для которых характерно реальное "индивидуальное поведение", наделенное присущими ему особенностями. Условие "индивидуального поведения" требует понимания сторонами диспута уровня возможностей оппонента и адаптации своих собственных действий под определенную уже в процессе реального взаимодействия модель таких возможностей. Мы смогли найти 4 вида возможностей построения диспута как системы, в которой сторона взаимодействия выстраивает свою активность в виде интерфейса взаимодействия именно с данным конкретным оппонентом:
(1) - подбор средств возбуждения мыслительной активности в сознании собеседника;
(2) - оценка и классификация характера реакций противоположной стороны;
(3) - получение представления об уровне собственной и оппонента осведомленности в обсуждаемой проблеме;
(4) - составление алгоритма разделения получаемой информации на познавательно важные и служебные данные.
Естественно, что подобного рода общие позиции "расшифровываются" участником диспута в выстраиваемых им моделях коммуникативных действий. Конструкции анализа и выстраивания коммуникативной составляющей диспута специфичны для каждого человека и выстраиваются им в своей собственной системе представлений и понятий. Коммуникативное выстраивание диспута хотя в настоящем смысле и не образует никакой собственно "диалоговой" структуры, но выполняет формирующую функцию в отношении ряда последовательности событий "диалога".
№64