8. Язык логики, его основные символы.

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

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

л — конъюнкция (союз «и»);

V — ДИЗЪЮНКЦИЯ (СОЮЗ «ИЛИ»);

—> — импликация (союз «если..., то...»);

•= — эквиваленция, или двойная импликация (союз «если и только если..., то...»);

"1 — отрицание («неверно, что...»). Технические знаки языка: (,) — левая и правая скобки.

9.Именна и пропозициональная функции в логике.

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

10. Понятие как форма мышления.

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

10. Понятие как форма мышления

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

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

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

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

11. Основные логические приемы формирования понятий.

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

Выделение признаков связано с мысленным расчленением предмета на составляющие его части, стороны, элементы. Мысленное расчленение предмета на части называется анализом.

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

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

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

13. Виды понятий по содержанию и объему.

По объему они бывают единичными (в объем понятия входит только один объект, например: «Солнце», «город Москва»), общими (в объем понятия входит много объектов, например: «небесное тело», «город») и нулевыми (в объем понятия не входит ни одного объекта, например: «Баба Яга», «Кащей Бессмертный).

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

По содержанию понятия также бывают собирательными (понятие обозначает объект, который состоит, собирается из какого-то ограниченного набора элементов, делится, распадается на какие-то составные части, например: «10 класс “А”», «рота солдат») и несобирательными (понятие обозначает объект, который не состоит, не собирается из какого-то ограниченного набора элементов, не делится, не распадается на какие-то составные части, являясь чем-то единым, целым, например: «человек», «растение», «звезда»).

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

14. Отношения между понятиями.

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

Сравнимые понятия делятся по объему на совместимые (объемы этих понятий совпадают полностью или частично) и несовместимые (их объемы не имеют общих элементов).

Типы совместимости:

равнозначность (тождество),

перекрещивание,

подчинение (отношение рода и вида)

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

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

Понятия, объемы которых совпадают частично, т. е. содер­жат общие элементы, находятся в отношении перекрещивания. Примерами их являются следующие пары: “горожанин” и “садовод”; “студент” и “нумизмат”; “спортсмен” и “учащийся педаго­гического колледжа”. Они изображаются пересекающимися кру­гами.

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

Типы несовместимости: соподчинение, противоположность, противоречие

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

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

В отношении противоречия (контрадикторности) находят­ся такие два понятия, которые являются видами одного и того же рода, и при этом одно понятие указывает на некоторые признаки, а другое эти признаки отрицает, исключает, не заменяя их никаки­ми другими признаками. Если одно понятие обозначить А (напри­мер, “глубокое озеро”), то другое понятие, находящееся с ним в отношении противоречия, следует обозначить не-А (т. е. “неглу­бокое озеро”). Круг Эйлера, выражающий объем таких понятий, делится на две части (А и не-А), и между ними не существует третьего понятия.

15. Дефиниция. Виды определений.

Логическая операция, раскрывающая содержание понятия, на­зывается определением.

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

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

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

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

2.1. Явные —определения через род и видовое отличие.

2.2. Неявные — определение через отношение предмета к своей противоположности.

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

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

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

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

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

17. Неявные определения. Приемы, заменяющие определение

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

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

18. Классификация, ее виды.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ограничение - логическая операция перехода от родового понятия к видовому (например, “поэт”, “великий поэт”, “вели­кий английский поэт”, “великий английский поэт Джордж Ноэл Гордон Байрон”). При ограничении мы переходим от понятия с большим объемом к понятию с меньшим объемом. Пределом ограничения является единичное понятие (в данном примере это “великий английский поэт Джордж Ноэл Гордон Байрон”).

Обобщение — логическая операция, обратная ограничению, когда осуществляется переход от видового понятия к родовому путем отбрасывания от первого его видообразующего признака или признаков. Пример обобщения: “Опера П. И. Чайковского “Евгений Онегин”, “опера П. И. Чайковского”, “опера русского композитора XIX в.”, “опера русского композитора”, “опера”, “произведение музыкального искусства”, “произведение искус­ства”. При обобщении мы переходим от понятия с меньшим объ­емом к понятию с большим объемом. Обобщение применяется во всех определениях понятий, которые даются через род и ви­довое отличие. Пределом обобщения являются категории (фи­лософские, общенаучные, категории конкретных наук).

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

21.мн-оження, віднімання. Множення понять — операція з поняттями, яка полягає в утворенні нового поняття, обсягом якого є елементи, загальні для всіх вихідних понять.

Віднімання (заперечення) понять — операція з поняттями, з допомогою якої шляхом заперечення поняття «а» утворюють нове поняття «не-а», обсяг якого в сумі з обсягом поняття «а» становить множину тієї предметної сфери, яка нами мислиться.

22.Загальна характеристика судження. Судження — форма мислення, в якій засобами ствердження чи заперечення розкриваються зв'язки предметів з їх ознаками або відношення між предметами.

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

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

24.Просте судження, види і структура. Прості судження, залежно від того, що вони відображають — властивість чи відношення, поділяються на атрибутивні судження та судження із відношенням.Атрибутивним судженням називається таке судження, у якому стверджується або заперечується належність предмету визначеної властивості чи ознаки. Структура атрибутивних суджень, у яких стверджується належність предмету певної властивості, виражається формулою S є Р. Атрибутивні судження, у яких заперечується належність предмету певної властивості, мають формулу S не є Р.Судження із відношенням — це судження, що відображає відношення між окремими предметами або їхніми ознаками.Судження відношення виражають найрізноманітніші відношення між предметами і явищами: часові, просторові, відношення за якістю, кількістю, формою, тотожності, протилежності тощо. Тому у практиці мислення ми стикаємося із найрізноманітнішими судженнями відношення.Структура суджень із відношеннями може бути виражена формулою a Rb. Тут а і b позначають поняття про предмети, a R — відношення між ними. Читається ця формула так: "Між предметами а і 6 існують відношення Я". Якщо відношення існують не між двома, а між трьома предметами, то структуру судження записують так: "(а, Ь, с)R".

25.Категоричні судження та їх види за якістю і кількістю. Категоричним судженням є судження, в якому щось стверджується чи заперечується у безумовній формі. Категоричне судження є судження атрибутивне, в ньому стверджується чи заперечується належність предмету певної властивості або ознаки. Категоричні судження поділяються на види за якістю та кількістю.За якістю судження бувають ствердні і заперечні.Ствердним називається судження, яке відбиває наявність у предмета якоїсь ознаки. Наприклад: "Злочин є діяння суспільно небезпечне", "Норми права мають примусовий характер" і т. д. Ствердне судження має таку формулу: в є Р.Заперечним називається судження, в якому йдеться про відсутність у предмета якоїсь ознаки.За кількістю судження бувають одиничні, часткові та загальні.Одиничним судженням називається судження, в якому щось стверджується чи заперечується про один предмет. Наприклад: "Київ — столиця України". Одиничне судження має формулуS є Р, S не є Р.Частковим судженням називається судження, в якому щось стверджується або заперечується про частину предметів класу.

26.Расподіленість термінів у судженнях. Знання правил розподіленості термінів у судженнях необхідне при аналізі умовиводів.1. Якщо термін судження повністю включається до обсягу іншого терміна або повністю виключається з нього, то він розподілений.2. Якщо термін судження частково включається до обсягу іншого терміна або частково виключається з нього, то він не розподілений.При розподіленості терміна в судженні говориться про всі предмети, про увесь клас. Якщо ж термін у судженні не розподілений, то це означає, що у судженні йдеться не про всі, а лише про деякі предмети класу, виражені цим терміном, про деяку частину цього класу.

27.Складні судження, їх види. Вираз логічних зв'язків складних суджень в природній мові. Простим називають таке судження у якому жодна логічна частина не є окремим судженням. Або простим називається судження, яке не має самостійних частин.

Складним називається таке судження, яке складається із двох або більше простих суджень, що пов'язані логічними сполучниками, а кожна із його правильних частин буде окремим судженням За характером ознаки, яка представлена предикатом судження, розрізняють такі види суджень:а) атрибутивні;б) судження з відношеннями, або судження про відношення;в) судження існування.Атрибутивним називається таке просте судження, предикат якого представляє таку ознаку, як властивість. Можна ще й так визначити атрибутивне судження: «Атрибутивним судженням називається такий вид простих суджень, в яких йдеться про притаманність предметам якихось властивостей, або про їх відсутність у предмета». Судженням з відношеннями називається такий вид простих суджень, у яких предикат представляє таку ознаку, як відношення між предметами.

Судженням існування називається вид простих суджень, у яких предикат виражає наявність (буття) предмета.

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

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

32. Закон мышление – это внутренное, необходимое, существенное, устойчивое связь между мыслями. Закон тождества «Всякая мысль в процессе рассуждения должна быть тождественная самому себе» Закон непротиворечия «Никакое высказывание не может быть истинным одновременно из своим отрицанием» Закон исключенного третьего « Из 2 противоречащих суждений одно истинное, другое –ложное, а 3 не дано Закон достаточного основания «Всякая мысль является истинной если она имеет достаточное основание» 33. Закон тождества «Всякая мысль в процессе рассуждения должна быть тождественная самому себе» А – любая мысль , А=А 34. Закон непротиворечия «Никакое высказывание не может быть истинным одновременно из своим отрицанием»A^a 35. Закон исключенного третьего « Из 2 противоречащих суждений одно истинное, другое –ложное, а 3 не дано Аva 36. Закон достаточного основания «Всякая мысль является истинной если она имеет достаточное основание» Обоснованность –важнейшее свойство логики мышления, необходимое условие принятие того или иного.

37. Умозаключение- это форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода получается новое суждение. Струкутура всякого умозакл. Имеет посылки, заключение, логическую связь между ними. Посылки – исходные сужд, Заключение – новое суждение, Вывод – лог.переход от посылок к заключению 38. Непосредственные умозакл. – делаются из 1 посылки. К ним относятся : превращение, обращение, противопоставление предикату. Превращение – это умозакл., при котором изменяется качество посылки без изменения ее количества, пр этом предикат заключения является отрицанием предиката посылки Обращение – умозакл., в котором в заключении субъектом явл. Предикат, а предикатом субъект исходного суждения, т.е. происходит перемена мест субъекта и предиката, при сохранении качества сужд. Протипоставление п. – такое, при котором в заключении предикатом явл. Субъект, а субъектом явл. Понятие, противоречащее предикату исходного суждения и связка меняется на противоположную. 39. Простой категорический силлогизм – это вид дедуктивного умозакл., в котором из 2 истинных суждений, где субъект и предикат связанны средним термином, при соблюдении правил следует заключение. Аксиома силлогизма – это положение, обосновывающее правомерность его вывода, т.е. лог переход от посылки к заключению. 40. Фигуры категорического силлогизма –это формы силлогизма, различаемые по положении. Среднего термина(М) в посылках. М-Р P-M M-P P-M 1)AAA . EAE. AII. EIO 3) AAI. EAO. IAI. OAO. AII. EIO S-M S-M M-S M-S 2)AEE. AOO. EAE. EIO 4) AAI. AEE. IAI. EAO. EIO S- P S-P S-P S-P Модусы – это разновидности силлогизмов, которые отличаются друг от друга качественной и количественной характеристикой. 41. правила фигур 1.Большая посылка должна быть общей, меньшая-утвердительной 2. Большая- общая, одна из посылок –отрицательной 3.Меньшая- утвердительной, заключение – частное суждение 4. Общеутвердительных заключений эта фигура не дает правила терминов 1. В каждом силлогизме должно быть 3 термина СПМ 2. Средний термин М должен быть распределен хотя бы в одной из посылок 3. Термин, распределен в заключении, если и только если он распределен в посылке правила посылок 1. Из 2 отр посылок нельзя сделать несколько закл 2. Из 2 частных посылок нельзя сделать закл 3. Если одна из посылок отрицат, то закл будет отрицательным 4. Если одна из посылок частная, то и вторая – частная/ 42. Энтимема – это сокращенный категорический силлогизм, в котором пропущена одна из посылок или заключений.

43. Полисилогизм- 2 или несколько простых категор силлогизмов, связанных друг с другом таки м образом, что заключение одного из них становится посылкой для другого. Они бывают – прогрессивные и регрессивные. В прогр – заключение предшествующего силлогизма становится большей посылкой следуемого, в регр – заключение предшествующего силгозма становится меньшой посылкой следующего. 44. Сорит – полисиллогизм, в котором пропущены некоторые посылки. Прогр- получается из прогр полисиллогизма путем выбрасывания заключение предшеств. Силлогизмов и большей посылок последующих. регр- получается из регрессивного полисиллогизма путем выбрасывания заключений предшеств силлогизмов и менших посылок последующих 45. Эпихейрема - сложно-сокращ силлогизм, обе посылки которого явл энтимемами ( так как) 46. Чисто условное умозаключение – это такое, обе посылки и заключения которого явл условными сужд (если, то) 47. Условно-катеорическое умозаключение – это такое, в котором одна из посылок – условное суждение, а другая посылка и заключение – категорические. -правильный модус (утв) (отриц) -неправильный модус 48. Разделительно-категорическое умозакл – в нем одна посылка разделительное сужд, а другая и заключение простое категорическое сужд. 2 модуса(утв и отриц) 49. Условно-разделительное умозакл – это такое, в отором одна посылка состоит из 2 или более условных сужд, а другая явл разделительным сужд. Простая конструктивная дилемма – в ней условная посылка содержит 2 основания, из которых вытекает одно и тоже следствие. Разделительная посылка утв оба возможных основания, заключение утв следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий. Сложна конструктивная дилемма – в ней условная посылка содержит 2 основания и 2 следствия. Раздел посылка в ней утв оба возможных оснований, заключения утв оба возможных следствия. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий. 50. Простая деструктивная дилемма – в ней условная посылка содержит одно сонование из которго вытекает 2 возможных следствия, раздел посылка отрицает оба следствия. Заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований. Сложная деструктивная дилемма – в ней условная посылка содержит 2 основание и 2 следствия. Рездел посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований. 51. Трилемма – сложный силлогизм, который содержит три умозакл. 52. Индуктивное умозакл. индукция – умозакл, от знании меньшой степени общности к новому знанию -полная индукция – умозакл, в котором общее заключение от всех элементов класса предметов, делается на основании рассмотрения каждого элемента этого класса. -неполная- умозакл, в котором на основе повторяемости признака у некоторых явлений определенного класса заключают о вероятной принадлежности этого признака всему классу явлений. 53. Методы установления причинной связи -метод сходства – если наблюдаемые случаи какого-либо явления имеют общим лишь одно обстоятельство, то очевидно они и есть причиной данного явления. -метод различая – если случай при которых явление наступает, различаются только в одно м предшествующем обстоятельстве, то это обстоятельство и есть причина данного явления -соединительный метод сходства и различая – комбинация первых 2 случаев, когда путем анализа множества случаев обнаруживают как сходное в различном, так и наоборот. -м.сопутствующих изменений – всякое явление, изменяющееся определенным образом всякий раз, когда некоторым особенным образом измеряется другое явление, есть либо причинно, лиюо следствие этого явления, либо соединено с ним какою-либо причинной связью -м.остатков- если известно, что причиной явления не служат необходимые для него обстоятельства, кроме одного, то это одно обстоятельство и есть вероятно причиной явления. 54. Умозакл. По аналоги – это такое умозакл, где от сходства предметов нескольки признаков делается заключение о сходстве этих предметов в других признаках -строгая -нестрогая ( дает вероятное заключение) 55. Доказательство – совокупность лог приемов, истинности выдвинутого тэзиса Структура:тэзис, аргументы, демонстрация. 56. Прямые- это, те в которых тэзис обосновывается аргументами без использования дополнительных предположений, допущений. Косвенные – это то, в котором истинности тэзиса обоснована при помощи введения дополнительных суждений, допущений, несовместимых с тэзисом. Оно бывает: апогогической, разделительное. 57. Опровержение- лог операция направленная на доказательство ложности или необоснованности какого-либо суждения. Структура: тэзис, аргумент, демонстрация. 58. Правило доказательство и опровержения к тэзису 1. Тэзис является центральным пунктом рассуждения, обоснованию которого подчинен весь процесс аргументации. доказательство рассуждения должно иметь 2 правила: -тэзис лдолжен быть лог определенным, ясным, точным и не двусмысленным -тэзис должен оставаться тождественным, т.е одним и тем же на протяжении всего доказательства или опровержения Ошибки(тэзис) : подмена тэзиса или переход в другой род 2. Правила и ошибки(аргумент) аргументы это истина, аргументы должны быть достаточным обоснованием для доказ. Тэзиса арг это сужд истинность которых доказана самостоятельно, независимо от тэзиса аргументы не должнеы противоречить друг другу. Ошибки: ложнгость оснований, предвосхищение оснований, круг в доказательстве, противоречие в аргументах 60. Гіпотеза - це загальна і необхідна для будь-якого пізнавальногопроцесу форма розвитку знань. Там, де є пошук нових ідей або фактів,закономірних зв'язків або причинних залежностей, там завжди присутнягіпотеза. Вона виступає сполучною ланкою між раніше досягнутим знанням іновими істинами і одночасно пізнавальним засобом, що регулює логічний перехід від колишнього неповного і неточного знання до нового, більшповного і більш точному. Таким чином, внутрішньо властиве процесу пізнання розвитокзумовлює функціонування в мисленні гіпотези в якості необхідноїі загальної форми такого розвитку. Види гіпотез:1. Загальна гіпотеза 2. Часткова гіпотеза 3. Одинична гіпотеза 4. Описова гіпотеза 5. Пояснююча гіпотеза

61. 1. Гіпотеза має бути несуперечливою. 2. Вона має бути принципово провіряючою, а що стосується судової версії, то і допускати перевірку фактами. 3. Гіпотеза вважається складеною правильно, якщо вона основана емпірично та теоретично. 4. Евристична функція гіпотези оприділяється її інформативністю.Опровержение гипотез: Опровержение гипотез осуществляется путем опровержения их следствий.

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

63.Формі научного знания:

1.научные факты 2.научная гіпотеза 3.научные законы 4.н. концепции 5.н. проблемы 6.категории науки 7.н. принципы 8.нютеория 9.н. картины мира

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

Виды спора: 1.в зависимости от числа сторон:односторонние, двухсторонние; 2.писменные ,устные; 3.в зависимости от цели:спор ради истины, ради убеждения,ради победы,спор ради спора,спор ради зрителя