• Название:

    логика

  • Размер: 0.06 Мб
  • Формат: DOCX

Общая характеристика процесса познания: чувственная и логическая ступени познания

Познание как процесс отражения объективного мира сознанием человека представляет собой единство чувственного и рационального познания . Чувственное сознание протекает в трех основных формах6 ощущение, восприятие представление.

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

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

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

Рассмотрим основные особенности мышления:

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

2.Мышление - процесс опосредствованного отражения действительности. При помощи органов чувств можно познать только то, что непосредственно воздействовало или воздействует на органы чувств. Знание, полученное из уже имеющихся знаний, без обращения в каждом конкретном случае к опыту, называется выводным, а сам его процесс – выведением.

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

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

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

2. Значение логики в развитии современной науки.

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

Как самостоятельная наука логика сложилась более двух тысяч лет назад, в 4 веке до н.э. Ее основателем является древнегреческий философ Аристотель(348-322 г.г. до н.э.) Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики – логики предикатов. Важным этапом в развитии учения Аристотеля явилась логика античных стоиков. Логика стоиков - основа другого направления математической логики- логики высказываний.

Знание логики повышает культуру мышления, вырабатывает навык мыслить более «грамотно», развивает критическое отношение к своим и чужим мыслям.

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

3. Логика современная(символическая) и традиционная.

В Средние века(6-14в.) логика была в значительной степени подчинена богословию. В этот период теоретический поиск в логике развернулся вокруг проблемы объяснения общих понятий. При этом на протяжении Средних веков систематическая разработка формальной логики почти не выходила за пределы силлогистики. Основателем логики считается сирийский математик Аль-Фараби. Его логика направлена на анализ научного мышления. Он выделяет в логике две ступени : одна охватывает представления и понятия, другая - теорию суждений, выводов и доказательств.

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

Новый, более высокий этап, в развитии логики начинается с 17 века. Его начало было связано с появлением работы Ф. Бэкона «Новый Органон». В этом труде автор стремиться разработать приемы исследования самой природы. Он положил начало созданию механизмов установления причинно-следственных связей с объективной реальностью. Таким образом, Бэкон стал родоначальником индуктивной логики. В дальнейшем индуктивная логика была систематизирована и значительно расширена в работах Гершеля и Милля.

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

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

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

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

4.. Язык как условие мышления и как знаковая система.

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

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

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

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

Знаки - образы имеют определенное сходство с обозначаемыми предметами. Пример: копии документов, фотоснимки, отпечатки пальцев. Знаки – символы не имеют сходства с обозначаемыми предметами. Пример: нотные знаки, буквы в алфавитах национальных языков.

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

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

По своему происхождению языки бывают естественные и искусственные.

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

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

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

5. Понятие и виды знаков. Смысловое и предметное значение знаков.

Знак – это материальный объект, выступающий в процессе познания и общения представителем другого объекта, ситуации, состояния, свойства или отношения, т.е. всего, что требуется указывать. Знак имеет две основные функции: выделение объекта познания и мысленное оперирование с ним. Отсюда вытекают два свойства знака: чувственное восприятие и связь с обозначаемым. Способ, которым знак указывает на свое значение, называется смыслом знака.

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

Виды знаков:

1. Знаки - индексы.( связаны с представляемым объектом причинно – следственным, т.е. объект – причина, знак – следствие) полоса от самолета – индекс, самолет - причина

2.Знаки - образы. Связаны с представляемыми предметами отношениями подобия. Фотография – подобие

3. Знаки – символы, не связаны с представляемыми объектами ни причинно – следственно, ни отношением подобия.

6. Имя. Виды имен.

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

Имена делятся на:

1.простые(книга, снегирь) и сложные или описательные(самый большой водопад в Канаде и США). В простом имени нет частей, имеющих самостоятельный смысл, в сложном они имеются.

2.собственные, то есть имена отдельных людей, предметов, событий(Обь) и общие – название класса однородных предметов(дом, действующий вулкан)

Каждое имя имеет значение и смысл. Значением являются обозначаемый им предмет. Смысл имени – способ, каким имя обозначает предмет, те. Информация о предмете, которая содержится в имени. Один и тот же предмет может иметь множество разных имен(синонимов) Такие знаковые выражения как «4», «2+2», «9-5» являются именами одного и того же предмета – числа «4». Разные выражения, обозначающие один и тот же предмет, имеют одно и то же значение, но разный смысл.(т.е. смысл «4», «2+2», «9-5» различен)

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

Смысл – способ, каким имя обозначает предмет(информация о предмете)

Значение – обозначаемый именем предмет или класс предметов.

Имя – языковое изображение, обозначающее предмет.

7. Естественные и искусственные языки. Формализованный язык логики.

По своему происхождению языки бывают естественные и искусственные.

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

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

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

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

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

8. Основные законы логики.

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

1.Закон тождества.(А=А)

Если высказывание истинно, то оно истинно. Каждое высказывание вытекает из самого себя и является необходимым и достаточным условием для своей истинности. А-» А, если А, то А «если дом высокий, то он высокий.»

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

2.Закон противоречия(непротиворечивости, А не равно не А)

Говорит о противоречащих друг другу высказываниях, т.е. о высказываниях, одно из которых является отрицание другого. «Луна – спутник Земли» и «Луна не является спутником Земли». В одном из высказываний что-то утверждается, а в другом – это же самое отрицается. Высказывание и его отрицание не могут быть вместе истинными. Никакое высказывание не является вместе истинным и ложным. Из двух противоречащих друг другу высказываний одно является ложным.

Закон противоречия был открыт Аристотелем, сформулировавшем его так: «…невозможно, чтобы противоречащие утверждения были вместе истинными…»

3. Закон исключения третьего.

« Из двух противоположных суждений одно истинно, другое ложно, а третьего не дано» А или не –А. Например:» Аристотель умер в 322 г. до н.э. или он не умер в этом году» дело обстоит так, как говорится в рассматриваемом высказывании, или так, как говорится в его отрицании, и никакой третьей возможности нет.

Закон исключения третьего с иронией обыгрывается в художественной литературе: «жила одна старушка, вязала кружева, и если не скончалась – она еще жива». Немецкий ученый Гегель весьма иронично отзывался о законе исключения третьего и о законе противоречия. Первый он представлял так: дух является зеленым или не является зеленым и задавал каверзный вопрос, как ему казалось, вопрос: какое из этих двух выражений истинно? Ни одно из этих выражений не является истинным, поскольку оба выражения бессмысленны. Закон исключения третьего приложим только к осмысленным высказываниям. Только они могут быть истинными или ложными. Бессмысленное же ни истинно, ни ложно.

4.Закон достаточного основания.

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

9. Понятие как форма мышления. Содержание и объем.

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

Понятие – одна из основных форм научного познания . Формируя понятия, наука отражает в них изучаемые ею предметы, явления, процессы . Содержанием понятия называется совокупность существенных признаков предмета, которая мыслится в данном понятии. Множество предметов, которое мыслится в данном понятии называется объемом понятия. Объем понятия «преступление» охватывает все преступления, поскольку они имеют общие существенные признаки.

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

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

Виды понятий:

1. единичные и общие

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

2. собирательные и несобирательные.

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

3.конкретные и абстрактные.

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

4. положительные и отрицательные

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

5.безотносительные и относительные

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

6. с пустым и непустым объемом

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

10. Соотношение объемов понятия.

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

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

вида отношений совместимости:

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

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

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

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

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

3 вида отношений несовместимости:

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

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

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

11. Ограничение и обобщение понятий.

Обобщить понятие – значит перейти от понятия с меньшим объемом к понятию с большим объемом, но с меньшим содержанием. Например, обобщая понятие «Министерство юстиции РФ» мы переходим к понятию «министерство юстиций». Объем нового понятия шире исходного понятия; первое относится ко второму как индивид к виду. Содержание понятия уменьшилось, так как мы исключили его индивидуальные признаки.

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

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

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

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

12. Определение.

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

называется определяемым(дефиниендум); понятие, раскрывающее содержание определяемого понятия – определяющим(дефиниенс).

Виды определений:

номинальные и реальные

явные и неявные

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

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

Номинальные и реальные определения различаются по своим задачам: объяснить значение термина или раскрыть существенные признаки предмета.

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

Правила определения:

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

2.Определение не должно заключать в себе круга. Если при определении мы прибегаем к другому понятию, которое в свою очередь определяется при помощи первого, то такое определение содержит в себе круг. Разновидностью круга в определении является тавтология – ошибочное определение, в котором определяющее понятие повторяет определяемое. Тавтология, отличается от круга в определении меньшей сложностью построения. Определяющее понятие является повторением определяемого.

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

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

13. Ошибки, возникающие в процессе определения понятия.

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

а) Широкое определение, когда определяющее понятие по объему шире, чем определяемое понятие. Пример: «Костер – источник тепла».

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

в) Определение в одном отношении узкое, в другом – широкое. Пример: «Ящик – тара для хранения овощей» С одной стороны, это широкое определение, так как тарой для хранения овощей может быть и мешок, и контейнер и т.д., с другой стороны, это узкое понятие, та как ящик пригоден для хранения и цемента, и песка и т.д., а не только овощей.

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

Круг возникает и тогда, когда определяемое понятие характеризуется через него же, но выражено другими словами, или когда определяемое понятие включается в определяющее понятие в качестве его части. Это тавтология. Пример: «Смешное – это то, что вызывает смех».

3.Определение должно быть четким, ясным. Это правило означает, что смысл и объем понятия должен быть ясным и определенным. Определения понятия должны быть свободными от двусмысленности, не допускается подмена их метафорами, сравнениями и т.д. Пример: «Такт – это разум сердца»(К. Гуцков); «Неблагодарность – род слабости.»(Гете). Эти суждения представляют собой метафоры, поучительные афоризмы, которыми мы пользуемся при передаче информации, но они не являются определениями понятий.

14. Деление. Правила деления.

Логическая операция, раскрывающая объем понятия. В операции деления следует различать делимое понятие – объем, которого следует раскрыть, члены деления – соподчиненные виды, на которое делится понятие, и основание деления – признак, по которому производится деление.

Различают деление

1.по видоизменению признака. Основанием деления является признак, при изменении которого образуются видовые понятия, входящие в объем делимого понятия.

2. дихотомическое деление

Правила деления:

1.Деление должно быть соразмерным. Задача деления заключается в том, чтобы перечислить все виды делимого понятия. Поэтому объем членов деления должен быть равен в своей сумме объему делимого понятия.

2.Деление должно производится только по одному основанию. В процессе деления избранный нами признак должен оставаться одним и тем же и не поменяться другим признаком. Например, граждан какой либо страны можно разделить по их социальному положению или

национальности, профессии или полу. Но нельзя смешивать эти признаки. Нельзя делить граждан РФ на рабочих, русских, шахтеров и женщин.

3.Члены деления должны исключать друг друга. Если выбрано не одно основание, то члены деления – видовые понятия – будут находится в отношении частичного совпадения. Деление всех студентов на заочников, первокурсников и спортсменов приведет к нарушению данного правила.

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

15. Суждение. Структура и термины.

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

Субъект – о чем говорится или сообщается в суждении – логическое подлежащее (S)

Предикат – что утверждается или отрицается по поводу субъекта – логическое сказуемое (P)

Связка(есть, суть, является )может выступать в виде утверждения или отрицания

Кванторы(количественное слово):

«все» - квантор общности

«некоторые» - квантор существования

«этот» - квантор единичности

S есть P – самая простая формула суждения

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

Ни один динозавр не является грациозным. Субъект (S) - динозавр. Предикат (P) – грациозный .Связка отрицательная – не является. Квантор – все- квантор общности. Общеотрицательное суждение(Е). Субъект и предикаты распределены.

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

Деление суждений по качеству.

Утвердительные - принадлежность предмету некоторого качества.

Отрицательные – отсутствие у предмета некоторого признака.

Утвердительные и отрицательные суждения различают характером связки, ее качеством. Утвердительная связка «есть» указывает на принадлежность признака предмету. Суждение с отрицательным предикатом, но с утвердительной связкой «S есть не P» рассматривается как утвердительное.

2.Деление суждений по количеству. Утверждать или отрицать что-либо можно об одном предмете, о части предметов некоторого класса и обо всех предметах класса.

а) единичное ( S есть P)- утверждается или отрицается об одном предмете.

б) частное (некоторое S есть Р) - о части предметов некоторого класса.

в) общее (все S есть Р)

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

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

1.Общеутвердительные, общие по количеству и утвердительные по качеству(все S есть Р)А

2.Общеотрицательные, общие по количеству и отрицательные по качеству (все S не есть Р) Е

3. Частноутвердительные, частные по количеству и утвердительные по качеству (некоторое S есть Р) J

4. Частноотрицательные, частные по количеству и отрицательные по качеству( некоторое S не есть Р)О

Особое место в классификации суждений занимают выделяющие и исключающие суждения.

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

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

Исключающим называется суждение, в котором отражается принадлежность или непринадлежность признака всем предметам. За исключением некоторой их части. Пример: «Все студенты, кроме Волкова, сдали экзамены». Исключающие суждения выражаются предложения со словами «кроме», «за исключением», «помимо», «не считая» и т.п.

17. Вопрос как логическая форма. Виды вопросов.

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

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

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

Если предпосылка вопроса представляет собой истинное и непротиворечивое знание, то такой вопрос считается правильно поставленным.

Неправильно поставленным будет вопрос с ложным или противоречивым базисом, например: «Какая группа крови у снежного человека?»

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

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

Вопросы бывают уточняющими (ли - вопросы) и восполняющие (что – вопросы) Уточняющим называется вопрос, направленный на выяснение истинности выраженного в нем суждения, например: «Верно ли, что Москва столица России?». Признаком уточняющего вопроса являет наличие частицы «ли».

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

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

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

19. Дедуктивные умозаключения.

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

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

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

Дедуктивные умозаключения делятся на опосредованные – выводимые из нескольких посылок и непосредственные – выводимые из одной посылки(умозаключение по квадрату и преобразование одиночных суждений)

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

20. Индуктивные умозаключения.

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

Неполная индукция – это когда мы рассматриваем не все случаи изучаемого явления, а заключение делаем для всех.

Виды:

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

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

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

21. Аналогия.

Аналогия – это сходство между предметами, явлениями и т.д. Умозаключение по аналогии представляет собой один из видов рассуждений индуктивного типа.

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

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

Общая схема по аналогии: объект А имеет признаки a, b , c. Объект В сходен с А в том, что имеет признаки a и b. Значит объект В имеет, вероятно, и признак c.

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

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

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

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

22. Формы непосредственных умозаключений.

Превращение – эквивалентное преобразование путем изменения ее качества с заменой предиката на противоречащее понятие. Может осуществляться двумя способами:

1. Путем двойного отрицания, которое ставится и перед связкой и перед предикатом(S есть Р-» S не есть не Р). Двойное отрицание равносильно утверждению

2. Путем перевода отрицания из предиката в связку (S есть не Р-» S не есть Р)

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

Ограничение может происходить двумя способами:

1.Чисто, без изменения количества суждения, так обращаются частноутвердительные и общеотрицательные суждения: некоторые S суть Р-» некоторые Р суть S; ни одно S не есть Р-» ни одно Р не есть S

2. с ограничением, уменьшением количества суждений, так обращаются общеутвердительные суждения. Все S суть Р-» некоторые Р суть S.

Для частноутвердительных суждений обращение невозможно.

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

1.превращая исходное суждение S к не Р

2.суждение, полученное путем превращения, обращается

В зависимости от качества и количества исходного суждения вид непосредственного умозаключения будет следующим:

1.общеутвердительные суждения. Все S есть Р-»ни одно не Р не есть S

2.общеотрицательные суждения. Ни одно S не есть Р-»некоторые не Р есть S

3.частноотрицательные суждения. Некоторые S не есть Р-»некоторые не Р есть S

4. частноутвердительные суждения этим способом не преобразуются.

23Простой категорический силлогизм.

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

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

Меньшим термином силлогизма называется понятие, которое в заключении является субъектом. Большим термином силлогизма называется понятие, которое в заключении является предикатом. Меньший и больший термины называют крайними и обозначаются соответственно латинскими буквами S(меньший термин) и Р(больший термин)

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

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

Обвиняемый имеет право на защиту. Гусев – обвиняемый. Гусев имеет право на защиту.

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

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

Обвиняемый(М) имеет право на защиту(Р)

Гусев(S) – обвиняемый(М)

Гусев(S) имеет право на защиту(Р)

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

Правило построения силлогизма:

1.Терминов должно быть всего три.

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

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

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

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

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

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

24. Фигура силлогизма. Правила фигур.

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

Первая фигура:

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

М-Р S – P

S-M большая посылка – общее суждение

Меньшая посылка – утвердительное суждение

Вывод может быть любым суждением.

«Все металлы электропроводники, медь – металл, следовательно, медь является электропроводником.»

М-Р(Все металлы электропроводники)

S-M(Медь – металл)

S – P(Медь является электропроводником)

Первая фигура – наиболее типичная форма дедуктивного умозаключения. Из общего положения, выражающего нередко закон науки, правовую норму, делается вывод об отдельном факте, конкретном лице. Широко применяются в судебной практике

Вторая фигура.

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

Р-М большая посылка – общее суждение

S-М одна из посылок и вывод – отрицательные суждения

S-Р вывод только отрицательный

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

Подстрекателем(Р) признается лицо, склонившее другое лицо к совершению преступления(М).

(S) не признается лицом, склонившим другое лицо к совершению преступления(М)

(S) не является подстрекателем(Р)

Третья фигура.

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

М-Р меньшая посылка – утвердительное суждение

М-S вывод – только частное суждение

S-Р

Осмотр места происшествия (М) имеет одной из своих задач обнаружение следов преступления(Р).

Осмотр места происшествия(М) – следственное действие(S).

Некоторые следственные действия(S) имеют одной из своих задач обнаружение следов преступления(Р).

В практике рассуждения третья фигура применяется сравнительно редко.

Четвертая фигура.

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

Р-М Если большая посылка – утвердительное суждение, то меньшая - общее суждение.

М-S Если одна из посылок – отрицательное суждение, то большая – общее.

S-P

«Все студенты – учащиеся, все учащиеся – люди, некоторые люди – студенты.»

25. .Сложные и сокращенные силлогизмы. Энтимема.

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

силлогизма становится посылкой последующего силлогизма, называется сложным силлогизмом или полисиллогизмом.

Различают прогрессивный и регрессивный полисиллогизмы. В прогрессивном полисиллогизме заключение просиллогизма становится большей посылкой эписиллогизма. В регрессивном полисиллогизме заключение просиллогизма становится меньшей посылкой эписиллогизма.

В процессе рассуждения полисиллогизм принимает обычно сокращенную форму; некоторые из его посылок опускаются. Полисиллогизм, в котором пропущены некоторые посылки, называется соритом. Сорит – сложное умозаключение с пропущенными промежуточными заключениями

Правила сорита:

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

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

Не должно быть больше одной посылки в виде отрицательного суждения

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

Если среди посылок отрицательное суждение, то заключение – отрицательное суждение

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

Все овощи - растения.

Ни одно животное не является растением.

Многие животные употребляются в пищу.

Многие овощи не употребляются в пищу.

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

Силлогизм с пропущенной посылкой или заключением – энтимема. Энтимема в переводе с греческого буквально обозначает «в уме». Широко используются энтимемы простого категорического силлогизма, особенно выводы по первой фигуре.

«Дельфины не рыбы, т.к. они киты.»

Все дельфины киты, все дельфины не рыбы. Ни один кит не рыба.

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

Правила силлогизма:

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

Правила терминов:

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

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

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

Правила посылок:

1.Хотя бы одна из посылок должна быть утвердительным суждением. Из двух отрицательных суждений невозможен вывод.

2.Если одна посылка – отрицательное суждение, то вывод – отрицательный.

3.Хотя бы одна из посылок должна быть общим суждением.

4. Если одна из посылок – частное суждение, то заключение должно быть частным.

26. Понятие и структура аргументации.

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

Структура аргументации:

1.тезис

2. аргументы

3.демонстрация

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

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

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

несколько разновидностей по некоторым признакам и составить компактную классификацию видов доказательных рассуждений.

27. Виды и правила аргументации.

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

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

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

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

Другой вид косвенных аргументаций – разделительные. Пример разделительной аргументации – доказательство методом аналитических таблиц утверждения, что некоторая формула логики высказываний собственно выполнима. Известно, что каждая формула – тождественная истинна, собственно выполнима или тождественно ложна. Методом аналитических таблиц прямо невозможно доказать, что формула собственно выполнима, но можно установить тождественную истинность или ложность формулы. Если доказано, что она не тождественно – истинна и не тождественно – ложна, то тем самым доказано, что она выполнима.

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

Правила аргументации:

1.тезис должен быть ясно сформулирован

2. тезис не должен меняться в ходе аргументации

28.Требования к аргументам и способам доказательства.

Требования к аргументам:

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

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

3.Аргументы должны быть непротиворечивы

4.Аргументы должны быть доказаны

Требования к доказательству:

Тезис должен быть четко и ясно сформулирован

Тезис должен оставаться неизменным

29. Ошибки и уловки в процессе доказательства и критики.

Во время доказательства и критики возможно возникновение ошибок и уловок.

Содержательная ошибка – это использование в доказательстве ложных посылок.

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

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

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

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

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

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

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

30. Способы противодействия уловкам в ходе дискуссии или полемики.

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

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

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

31. Спор как процесс аргументации. Разновидности спора.

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

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

Характерные признаки спора:

оппонент отвечает противоположным утверждением

как пропонент, так и оппонент выдвигают доводы в поддержку своих позиций

каждый из спорящих подвергает критике позицию противной стороны

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

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

Софистика – это спор с целью достижения победы над противоположной стороной с использованием как корректных, так и некорректных приемов.

Эклектика – это спор, имеющий целью достижения истины, но использующий для этого и некорректные приемы.

Полемика – спор, направленный на победу над противоположной стороной и использующий только корректные приемы.

Спор также может происходить при публике и без публики. При наличии арбитра и без него.

33. Становление неклассической логики.

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

Классическая логика стала объектом жесткой критики. Л.Брауэр один из самых известных ее критиков начала 20 века. Его рассуждения послужили основой для возникновения интуиционистской логики, основы которой сформулировал в 1930 году А.Гейтинг.

В 1912 году Льюис впервые разработал неклассическую теорию логического исследования. Существует семейство теорий, описывающих логическое следование и условные связки конкретней, чем классическая логика. Наибольшую известность получила релевантная логика, развитая американскими логиками Андерсоном и Белнапом.

В двадцатые годы 20 века начали складываться:

1.деонтическая логика, изучающая связки нормативных понятий.

2.логика абсолютных оценок, исследующая логическую структуру и логические связки оценочных высказываний.

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

В область логического исследования оказались вовлеченными естественные и гуманитарные науки:

1.логика времени, описывающая логические связи высказываний, у которых временной параметр включается в логическую форму.

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

3.эпистемическая логика, изучающая понятия «опровержение», «неразрешимо», «доказуемо» и др.

34. Многозначная логика.

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

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

Первые современные многозначные логики создали независимо друг от друга Я. Лукасевич в 1920 и Э.Пост в 1921 году. Лукасевичем была предложена трехзначная логика основанная на предположении, что высказывания бывают истинными, ложными и возможными, или неопределенными. Ряд классических законов в трехзначной логике отсутствовал. Среди них оказались закон противоречия, закон исключения третьего, закон косвенного доказательства и др.

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

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

35. Модальная логика.

Модальная логика – пример одной из неклассических логик. Цель обогащения языка логики привела к возникновению модальной логики. Ее задача - анализ рассуждений, в которых встречаются модальные понятия, служащие для конкретизации устанавливаемых нами связей и оценок.

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

Логика времени изучает такие модальные понятия как «было», «будет», «раньше» и т.д.Пример: «Неверно, что произойдет логически невозможное событие».

Все модальные понятия делятся на абсолютные и сравнительные. Понятия «хорошо» и «плохо» представляют собой абсолютные модальные понятия, понятия «лучше» и «хуже»-сравнительные. К абсолютным модальностям в логике времени относятся «было», «есть», «будет», к сравнительным – «раньше», «позже» и «одновременно». В логике оценок понятия «хорошо», «безразлично» и «плохо» являются абсолютными, «лучше», «равноценно» и хуже» - сравнительными. Абсолютными понятиями теории логических модальностей считается «логически необходимо», «логически возможно» и «логически невозможно», которым в качестве сравнительного понятия рассматривает понятие «…логически следует» Логики абсолютных модальных понятий несводимы к логическим теориям сравнительных понятий, и наоборот. Основное внимание в модальной логике отводится абсолютным модальностям.

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

не является необходимым; разрешено, если противоположное не обязательно и т.д. Сравнительные понятия разных групп определяются похожим способом: «первое раньше второго», «второе позже первого» и т.д.

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

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

36Основные формы развития знаний: проблема, гипотеза, теория.

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

После того, как проблема поставлена, начинается поиск ее разрешения. На этом этапе развития знаний центральное место принадлежит гипотезе.

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

Главное условие, которому должна удовлетворять гипотеза – е обоснованность. Этим свойством гипотеза должна обладать не в смысле своей доказанности. Доказанная гипотеза – это уже достоверный фрагмент некоторой теории.

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

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

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

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

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

37. Понятие парадокса в классической и неклассической логике.

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

Одним из самых известных парадоксов является «парадокс лжеца». Его открыл древнегреческий философ Эвбулид. В его изложении парадокс звучит так: «Критянин Эпименид сказал: «Все критяне лжецы» - Эпименид сам критянин – следовательно, он лжец».

Далее рассуждение ведется следующим образом: если Эпименид лгун, то его убеждение, гласящее, что «все критяне лжецы» - ложно; следовательно, критяне не лгуны. Эпименид сам критянин. Следовательно, он не лгун и его утверждение «все критяне лжецы» правильно.

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

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

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

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

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

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

38. Теоретическое и практическое значение логики.

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

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

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

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

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

активности человеческого сознания в познании и преобразовании явлений и процессов мира в интересах людей.