Шпора по Логике
Вывод основывается на правиле: следствие следствия есть следствие основания. Умозак., в кот. закляч. получ. из двух усл. посыл., относ. к простым. Однако заключ. может след. и из большего числа посыл., кот. образ. цепь усл. сужд
36. Условно-категор умозак, их правильные модусы и роль в суд.-следств. практике.
Форма мышления- спрособ связи элементов мысли, её строение, благодаря кот. содержание существует и отражает действительность.
Умозаключени- ф.м., посредством кот. из одного или нескольких сужд. выводится новое. Сост. из посылок (исходн. сужд. из кот .выводится нов. сужд.), заключения (нов. сужд.) и вывода (лог. переход от посылок. к зак.). «судья ен может чуч. в рассмотр. дела, если он потерпевш./ судья Иванов-потерпевш.| (следоват., зеначит, поэтому) Судья Иванов не может уч. в рассмотр. дела». Необход. связь по содерж. между сужд., если связи нет, значит вывод из них невозможен.мЧтобы получ. ирст. заключ.: посулки должны быть ист.и должны быть соблюд. правила вывода, лог. законы.
1. В зависю от строгости правил вывода умозак. бывают демонстративные (необходимые)- заключ. с необходимостью след. из посылок, лог. следование предст. собой лог. зак., и недемонстр. (правдоподоб.)- вероятностное следование.
2. По направленности лог. следования: дедуктивные (от общ. к частн.), индуктивные (от частн. к общ.), умозак. по аналогие (от частн. к частн.)
Дедуктивными наз. умозак. ,в кот. переход от общ. к частн. яв. лог. необход Првавила дедукт. вывода опред. характ. посылок, кот могут быть прост. (категорич.) или сложными сужд В завис. от колич. посылок дедукт. выводы из категор. сужд. дялятся на непосредств. (заключ. вывод. из одной посыл.) и опосред. (заключ. вывод из двух посылок)
Модусами усл.-укатегор. умозак. наз. разновид. этих умозак., различ. качеств. и колич. характ. посылок (A, E, I, O).
Условно-категор. наз. умозак., в кот. одна из посылок-условное сужд.(если, то), а другая- категорическое(однозначное).
Это умозак. имеет два правилных модуса.
1.) В утверждающ. модусе посылка, выраж. категор. сужд., утверждает истинность основания условеной посылки, а заключ. утвержд. истинность следствия. Т.е. рассужд. направленно на от утв. ист. основания к утв. истинности следствия. (Если взойдёт солнце(p), значит наступит утро(q); наступ. утро(q)|Солнце взошло(p)) Первая посылка- усл. сужд., выраж. связь основания (p) и следствия (q). Вторая посыл.-категор. сужд., в кот. утвержд. ист. основания (p). Признавая ист. основания (p), мы признаём ист. следствия (q). Схема модуса: p→q,p|q
2.) В отр. модусе посылка, выраж. категор. сужд., отрицает ист. следствия условной посылки, а заключ. отр. истинность основания. Рассужд. направленноот отрицания ист. следствия к отрицанию истинности основания. (Если взошло солнце, значит наступ. утро; утро не наступило| неверно, что взошло солнце) Схема модуса: p→q,не-q|не-q.
Но есть ещё две разновидности усл.-категор. силог.: от отрецания ист. основания к отрецанею ист. следствия, и от утверждения ист. следст., к утвержд. ист. основания. Схемы: p→q,не-p| не-q; p→q,q|p. Однако заключ. по этим модусам не будет достоверным. Это неправильные модусы.
Везде может пребавлятся не!!!
Усл.категор. сужд. имеют очень большую ценность в суд.-следств. практике. С помощью него решаются задачи про анализу улик, показанею свидетелей, сопоставленею фактов.
Услов.-категор. умозак. несомненно нужны квалифицированному юристу: следователю, прокурору, судье, адвокате и др
Исп. этой формы познания помогает принять единственноправильное обьективное решение по делу при сравнение факта с нормой права, устранить все возможные сомнения в решение опред. вопросов, научиться обосновывать правильность свих утверждений, решений и действий, приводить необходимы доказательства, отличить истинное от ложного. Необходимо тчательно анализироват все абстаятельства по делу, что бы окончательное решение основывалось на достоверных, непротиворечивых фактах, применённых в нужном случие. Не надо забывать, что от нас, в некотором роде, зависят судьбы людей. (!!!)
37. Раздел-категор. умозак, его модусы и роль в суд.-следств. практике.
Форма мышления- спрособ связи элементов мысли, её строение, благодаря кот. содержание существует и отражает действительность.
Умозаключени- ф.м., посредством кот. из одного или нескольких сужд. выводится новое. Сост. из посылок (исходн. сужд. из кот .выводится нов. сужд.), заключения (нов. сужд.) и вывода (лог. переход от посылок. к зак.). «судья ен может чуч. в рассмотр. дела, если он потерпевш./ судья Иванов-потерпевш.| (следоват., зеначит, поэтому) Судья Иванов не может уч. в рассмотр. дела». Необход. связь по содерж. между сужд., если связи нет, значит вывод из них невозможен.мЧтобы получ. ирст. заключ.: посулки должны быть ист.и должны быть соблюд. правила вывода, лог. законы.
1. В зависю от строгости правил вывода умозак. бывают демонстративные (необходимые)- заключ. с необходимостью след. из посылок, лог. следование предст. собой лог. зак., и недемонстр. (правдоподоб.)- вероятностное следование.
2. По направленности лог. следования: дедуктивные (от общ. к частн.), индуктивные (от частн. к общ.), умозак. по аналогие (от частн. к частн.)
Дедуктивными наз. умозак. ,в кот. переход от общ. к частн. яв. лог. необход Првавила дедукт. вывода опред. характ. посылок, кот могут быть прост. (категорич.) или сложными сужд В завис. от колич. посылок дедукт. выводы из категор. сужд. дялятся на непосредств. (заключ. вывод. из одной посыл.) и опосред. (заключ. вывод из двух посылок)
Модусам ираздел.-категор.. умозак. наз. разновид. этих умозак., различ. качеств. и колич. характ. посылок (A, E, I, O).
Раздел.-категор. умозак. наз. умозак., в кот. одна из посылок- раздел. сужд, а друг. посылка и заключ.- категор. сужд
Простые сужд., из кот. сост.разделительное (дизьюнктивное сужд.) наз. дизьюнктами, отрицая один из кот. мы должны обязательно утверждать другой, и отрицая один из них, утверждать другой. По этому критерию различают:
1.) утвержд.отрец. модус- меьшая посыл. (категор. сужд.) утвержд. один член дизьюнкции, заключение (также категор. сужд.) отрицает другой член. (Чел. рука может бть правой или левой; эта рука левая| эта рука на яв. правой) Схема: pvvq,p|не-q, vv-строга ядизьюнкция. Заключение по этому модусу всегда достоверно, если соблюд. правило: большая посылка должна быть исключ.-раздел. сужд., или сужд. строгой дизьюнкции.
2.) отрец.-утвержд. модус- меньшая посылка отрец. один дизбюнкт., заключ. утверждает другой. (Чел. рука может быть правой иил левой; эта рука не правая| это левая рука) Схема: <p^q>,не-p|q, <>- символ закрыт. дизьюнкц Заключ. по этому модусу всегда достоверно если соблюд. правило: в большей посылке должны быть перечисленны все возможные сужд. (дизьюнкты), т.е. большая посылка должна быть полным (закрытым) дизьюнктивным высказыванием.