ЛОГИКА (ЗАЧЕТ,ОТВЕТЫ НА ВОПРОСЫ)

ЛОГИКА (ЗАЧЕТ,ОТВЕТЫ НА ВОПРОСЫ)

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

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

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

4 и 5 )Теоретических методов исследования много. Основными являются:

· Анализ. Разложение целого на части, выделение отдельных признаков, свойств, качеств предметов/явлений.

· Синтез. Объединение частей в целое на основе смысловых связей предметов/явлений между собой.

· Сравнение. Сопоставление предметов/явлений друг с другом, нахождение сходств и различий между ними.

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

· Конкретизация. Наполнение какой-то обобщенной схемы частным смыслом (признаками, свойствами).

· Аналогия. Перенос знаний об одном предмете/явлении на другой (менее изученный или недоступный для изучения).

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

7) Логическое познание, его формы.

Логическое познание – познание сущности вещей, явлений, процессов.

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

3 формы логического познания:

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

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

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

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

9)Зако́н то́ждества — принцип постоянства или принцип сохранности предметного и смыслового значений суждений (высказываний) в некотором заведомо известном или подразумеваемом контексте (в выводе, доказательстве, теории). Является одним из законов классической логики. Требования передаваемые законом: нельзя отождествлять различные мысли , нельзя тождественные мысли принимать за не тождественные.

10) Зако́н доста́точного основа́ния — принцип, согласно которому каждое осмысленное выражение (понятие, суждение) может считаться достоверным только в том случае, если оно было доказано, то есть были приведены достаточные основания, в силу которых его можно считать истинным.

Допустим, что учащийся, слушая рассказ учителя, встречается с рядом неизвестных ему положений. Например, он узнаёт, что древние египтяне имели совершенные музыкальные инструменты, что некоторые ультразвуки убивают простейшие живые организмы, что если в Средней Азии произойдёт землетрясение, то образовавшиеся при этом волны достигнут Москвы через несколько минут. Учащийся вправе сомневаться в истинности этих положений до тех пор, пока они не будут доказаны, объяснены, обоснованы. Как только они будут доказаны, как только будут приведены достаточные основания, подтверждающие их истинность, сомневаться в них уже нельзя. Другими словами: всякое доказанное положение непременно истинно.

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

11)Закон противоречия (закон непротиворечия) — закон логики, который гласит, что два несовместимых (противоположных) суждения не могут быть одновременно истинными. По крайней мере одно из них ложно. Закон непротиворечия – A ∧ A;

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

Намного «знаменитей», чем предыдущие два закона Аристотеля, в широких кругах, благодаря значительной распространенности сентенции «tertium non datur», что в переводе значит «третьего не дано» и отображает суть закона. Закон исключенного третьего – требование к мыслительному процессу, согласно с которым если в одном из двух выражений что-либо о предмете утверждается, а во втором отрицается – одно из них обязательно истинно.

Аристотель в Книге 3 «Метафизики» писал: «…ничего не может быть посредине между двумя противоречивыми суждениями об одном, каждый отдельный предикат необходимо либо утверждать, либо отрицать». Древнегреческий мудрец отмечал, что закон исключенного третьего применим лишь в случае высказываний, употребленных в прошедшем или настоящем времени и не работает с будущим временем, ведь нельзя сказать с достаточной долей уверенности произойдет или не произойдет что-либо.

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

Закон исключенного третьего применим к таким формам суждений:

· «А есть В», «А не есть В».

Одно суждение утверждает что-либо о предмете в одном и том же отношении в одно время, а второе – то же самое отрицает. Например: «Страусы – птицы» и «Страусы – не птицы».

· «Все А есть В», «Некоторые А не есть В».

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

· «Ни одно А не есть В», «Некоторые А есть В».

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

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

13)Понятие, его сущность и структура.

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

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

Логический приём - это операции мысленные:

1. Анализ

2. Синтез - это соединение частей предмета, разделённых анализом.

3. Сравнение - сопоставление одного предмета с другим, выявление признаков сходства или различия.

4. Абстрагирование - выделение свойств предмета

5. Обобщение - объединение однородных предметов и получение множества похожих.

В понятии различаются содержание и объём.

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

Содержание:

а) Положительное или отрицательное

б) Конкретное или абстрактное

в) Собирательное или несобирательное

г) Соотносительное или абстрактное

Объемом понятия называется множество предметов, которое мыслится в понятии.

Объём:

а) Универсальный - в нём больше чем один предмет

б) Единичный - в нём один предмет

в) Нулевой - в нём нет реальных предметов.

Объём увеличивается, содержание уменьшается (закон обратного отношения)

6. Виды понятий

Понятия можно классифицировать по объему и содержанию.

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

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

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

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

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

По содержанию понятия делятся на четыре группы.

14)Структура закона. Закон имеет особую структуру, которую составляют следующие элементы. Во-первых, закон имеет название, указывающее на предмет правового регулирования, т. е. на круг регулируемых общественных отношений. Во-вторых, закон должен содержать наименование органа, принявшего данный нормативно-правовой акт. Внутренним законом структуры понятия является закон обратного отношения объема и содержания понятия. Увеличение объема понятия влечет за собой сокращение его содержания, а увеличение содержания — уменьшение объема, и наоборот. Так, добавление к перечню существенных признаков общего понятия «стол» еще и признака «квадратность» (а это определенно увеличивает содержание) сразу же сокращает объем исходного понятия до нового — «квадратный стол».

15)Понятие – это мысленное обозначение объекта (мысль о нем), а слово – это лишь языковое выражение этой мысли. Иными словами, понятие – это форма мышления, а слово – форма языка.

16)Формальная логика.‎ > ‎ Виды понятий. Понятия можно классифицировать по объему и по содержанию. По объему понятия делятся на единичные, общие и пустые. Объем единичного понятия составляет одноэлементный класс (например, «великий американский писатель Теодор Драйзер»; «река Кама»).

17)Виды понятий по содержанию: конкретные и абстрактные, абсолютные и относительные, положительные и отрицательные, собирательными и несобирательными. Конкретные - это понятия, в которых мыслится предмет или совокупность предметов как нечто самостоятельно существующее: "академия", "студент", "романс", "дом", "поэма А. Блока "Двенадцать" и др.

45.Структура простого категорического силлогизма.

Категорический силлогизм (или просто: силлогизм) – это дедуктивное умозаключение, в котором из двух категорических высказываний выводится новое категорическое высказывание.

Логическая теория такого рода умозаключений называется силлогистикой. Она была создана еще Аристотелем и долгое время служила образцом логической теории вообще. В силлогистике выражения "Все S есть P" , "Некоторые S есть P" , "Все S не есть P" , "Некоторые S не есть P" рассматриваются как логические постоянные, т.е. берутся как единое целое. Это не высказывания, а определенные логические формы, из которых получаются высказывания путем подстановки вместо переменных каких-то имен. Подставляемые имена называются терминами силлогизма.

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

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

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

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

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

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

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

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

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

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

46.Правила посылок и терминов простого категорического силлогизма.

Общие правила:

1. по крайней мере одна из посылок должна быть общим суждением;

2. по крайней мере одна из посылок должна быть утвердительной;

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

4. при одной отрицательной посылке заключение должно быть отрицательным;

5. при обеих утвердительных посылках заключение должно быть утвердительным;

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

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

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

а) В каждом силлогизме должны быть только три термина (S,P, М).

Иначе возникает ошибка - учетверение терминов

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

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

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

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

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

в) Из двух частных посылок нельзя сделать заключение.

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

47.Фигуры категорического силлогизма, их особые правила

Фигуры силлогизма – это его разновидности, различающиеся положением среднего термина (М) в посылках.

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

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

В 1-й фигуре средний термин занимает место субъекта в первой посылке и место предиката во второй.

Например:

Все студенты юрфака (М) изучают логику (Р).

Вы (S) – студенты юрфака (М).

Вы (S) изучаете логику (Р).

Правила второй фигуры:

1. Большая посылка должна быть общим суждением.

2. Одна из посылок должна быть отрицательным суждением.

Правило третьей фигуры:

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

Правила четвертой фигуры:

1. Если одна из посылок — отрицательное, то большая посылка — общее суждение.'

2. Если большая посылка — утвердительное суждение. то меньшая — общее суждение.

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

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

!!48. Правильные и неправильные модусы фигур категорического силлогизма.

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

Фиг. I Фиг. II Фиг. III Фиг. IV

AAA (Barbara) EAE (Cesare) AAI (Darapti) AAI (Bramantip)

EAE (Celarent) AEE (Camestres) IAI (Disamis) AEE (Camenes)

AII (Darii) EIO (Festino) AII (Datisi) IAI (Dimaris)

EIO (Ferio) AOO (Baroco) EAO (Felapton) EAO (Fesapo)

OAO (Bocardo) EIO (Fresison)

EIO (Ferison)

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

49. Сокращённый силлогизм (энтимема).

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

Сокращенный силлогизм или энтимема (с гр. «в уме») - это силлогизм с пропущенной посылкой или заключением.

Пропущенные части силлогизма подразумеваются.

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

Виды энтимемы в зависимости от пропущенной части:

1. с пропущенной большей посылкой;

2. с пропущенной меньшей посылкой;

3. с пропущенным заключением.

Умозаключение в форме энтимемы может быть построено и по 2-й фигуре; по 3-й фигуре оно строится редко.

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

Наиболее распространенные виды энтимем

1.Условно-категорический силлогизм с пропущенной большей посылкой

2.Разделительно-категорический силлогизм с пропущенной большей посылкой

3.Разделительно-категорический силлогизм с пропущенным заключением

50. Сложные и сложносокращённые силлогизмы (полисиллогизм, сорит, эпихейрема).

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

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

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

2. Прогрессивный и регрессивный полисиллогизмы в мышлении чаще всего применяются в сокращенной форме - в виде соритов. Существует два вида соритов: прогрессивный и регрессивный.

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

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

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

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

51. Чисто условный и условно-категорический силлогизмы

) Чисто условными умозаключения называются такие умозаключения, в которых обе посылки и заключение представляют собой условные высказывания, т.е. сложные высказывания, составленные из простых высказываний с помощью логического союза «если…, то…», который в логике часто обозначается символом →. С учетом этого обозначения и замены простых высказываний прописными буквами латинского алфавита схема условного умозаключения выглядит следующим образом:

«Если студент хорошо занимается в течение семестра, то он хорошо сдает сессию. Если студент хорошо сдает сессию, то он получает стипендию. Следовательно, если студент хорошо занимается в течение семестра, то он получает стипендию»

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

52. Чисто разделительный и разделительно-категорический силлогизм.

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

2. Разделительно-категорический силлогизм– это умозаключение из двух и более посылок, из которых, по крайней мере, одна –разделительное (дизъюнктивное) суждение, а остальные – категорические. Разделительно-категорический силлогизмимеет два модуса: утверждающе-отрицающий (modus ponendo tollens) и отрицающее-утверждающий (modus tollendo ponens).

• Схема утверждающе-отрицающего модуса (modus ponendo tollens):

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

Правило modus ponendo tоllens – разделительная посылкадолжна быть строгой (исключающей) дизъюнкцией.

• Схема отрицающе-утверждающего модуса (modus tоllendo ponens):

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

Правило modus tоllendo ponens – в разделительной посылке должны быть перечислены все возможные альтернативы.

53. Условно-разделительный силлогизм

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

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

От населённого пункта А до населённого пункта Б можно добраться либо поездом, либо автобусом.

Если гражданин К. поедет на поезде, то он будет в пункте Б не раньше воскресенья.

Если гражданин К. поедет на автобусе, то он будет в пункте Б не раньше воскресенья.

Гражданин К. будет в пункте Б не раньше воскресенья.

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

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

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

54. Структура индуктивного умозаключения

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

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

3. Заключение – новое суждение, содержащее информацию обо всех предметах или частях множества (класса).

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

S1 суть Р

S2 суть Р

Sn суть Р

S1 ... Sn - весь класс предметов

Все S суть Р.

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

S1 суть Р

S2 суть Р

Sn суть Р

S1 ... Sn - элементы класса

Все S суть Р - этот вывод представляет собой вероятное

55.

1.Метод сходства.

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

2. Метод различия.

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

3. Объединенный метод сходства и различия.

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

4. Метод сопутствующих изменений.

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

5. Метод остатков.

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

56.

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

Элементы

В любом доказательстве имеется три компонента:

тезис – положение, которое собираются доказать;

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

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

Правила

1). Правила тезиса

а) тезис формулируется четко и ясно. Поскольку тезис представляет собой суждение, то его понятия, входящие в субъект и предикат не должны быть двусмысленными, неясными и бессвязными. Формулирование тезиса предполагает его количественные и качественные характеристики (то, что относится к некоторым, не относится ко всем: «Некоторые студенты не выполнили домашнее задание, следовательно, вся группа остается после занятий для его выполнения»);

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

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

а) аргументы должны быть истинными и доказанными основаниями. Из истинности основания всегда следует истинность тезиса

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

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

3). Правила демонстрации

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

57.

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

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

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

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

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

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

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

• высказывание, несостоятельность которого обосновывается, — тезис;

• суждения, с помощью которых опровергается тезис, — аргументы опровержения;

• способ связи аргумента опровержения и тезиса опровержения — демонстрация.

58.

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

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

1. По функциям в познавательном процессе различают гипотезы: (1)описательные и (2)объяснительные.

Описательная гипотеза — это предположение о присущих исследуемому объекту свойствах

Объяснительная гипотеза — это предположение о причинах возникновения объекта исследований.

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

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

Частная гипотеза — это обоснованное предположение о происхождении и свойствах единичных фактов, конкретных событий и явлений

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

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

Структура

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

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

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

59.

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

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

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

Выделяют следующие функции теории:

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

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

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

4) объяснение как функция теории.

Структура и виды научных теорий.

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

Структура любой теории должна включать следующие элементы:

1) предшествие теории, ее основные факты;

2) первоначальный теоретический базис;

3) логический аппарат теории;

4) всевозможные следствия или выводы теории. Естественно, что в различных теория