В данном разделе представлены словари и энциклопедии по философии и
смежным отраслям знания, отражающие лучшие традиции энциклопедического дела в России и за рубежом. Вы также можете включиться в это дело,
став одним из авторов Открытой философской энциклопедии.
[Помощь]
логика Исследование умозаключений и доказательств. Умозаключение – это совершаемый по определенным правилам переход от одного или нескольких суждений, называемых посылками, к другому суждению, называемому заключением. Дедуктивное умозаключение – это умозаключение, претендующее на обоснованность, причем обоснованным умозаключением будет такое, в котором заключение должно быть истинным, если истинны посылки (дедукция; обоснованность). Все другие умозаключения называются индуктивными (индукция). В узком смысле под логикой понимают науку о дедуктивных умозаключениях. В еще более узком смысле, логика – это исследование умозаключений, которые зависят от понятий, выражаемых «логическими константами», включая: (1) пропозициональные связки типа «не» (обозначается Ø), «и» (обозначается Ù), «или» (обозначается Ú) и «если- то» (обозначается É), (2) кванторы общности ("x) и кванторы существования ($x), которые в русском языке обычно передаются выражениями типа: «Для всякого (любой) x, …» и «Существует x, такой что …» соответственно, (3) понятие тождества (выражаемое знаком «=») и (4) определенное понятие предикации. Изучение логических констант (1) само по себе известно под названием исчисления высказываний; изучение (1) через (4) называется исчислением предикатов первого порядка с тождеством. Логическая форма суждения – это выражение, получаемое путем замены всех нелогических понятий в суждении на переменные. Изучение отношений между подобными не интерпретируемыми формулами называется формальной логикой. деонтическая логика; модальная логика.
