АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

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

Читайте также:
  1. B3.4. Правила оформления графиков
  2. I. Понятие и значение охраны труда
  3. I. Понятие общества.
  4. I. Правила терминов
  5. II. ОСНОВНОЕ ПОНЯТИЕ ИНФОРМАТИКИ – ИНФОРМАЦИЯ
  6. II. Понятие социального действования
  7. Авторское право: понятие, объекты и субъекты
  8. Активные операции коммерческих банков: понятие, значение, характеристика видов
  9. Акты официального толкования: понятие и виды
  10. Акты применения права: понятие, признаки, виды
  11. Анализ различных критериев периодизации психического развития. Понятие ведущей деятельности
  12. Арбитражное соглашение - понятие, виды, применимое право.

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

«о», то можно перейти к суждению вида «b». Это можно путем преобразований по правилу в виде формулы записать так: Данная формула является законом логики.

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

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

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

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

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

Эти типы выводов и предстоит нам рассмотреть.

Рассмотрим выводы, основанные на субъектно-предикатной структуре суждений.

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

 


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 | 78 | 79 | 80 | 81 | 82 | 83 | 84 | 85 | 86 | 87 | 88 | 89 | 90 | 91 | 92 | 93 | 94 | 95 | 96 | 97 | 98 | 99 | 100 |

Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.003 сек.)