раздел современной дедуктивной логики, опирающаяся на принцип двузначности, в соответствии с которым всякое высказывание является или истинным, или ложным. Подразделяется на классическую логику высказываний и классическую логику предикатов.
Понятие классическойлогики
Определение 1
Классическаялогика – это раздел символической логики... Ключевые принципы классическойлогики:
Двузначность.... Основными разделами классическойлогики являются:
классическаялогика высказываний,
классическаялогика... предикатов первого порядка;
классическаялогика предикатов высших порядков;
классическаялогика предикатов... Применимость классическойлогики
В истории европейской рациональности роль классическойлогики на протяжении
The article discusses the problem of argumentation modelling in the context of uncertainty by means of the classical first-order logics of predicates. It shows the existence of formulae that exclude the appearance of uncertainty situation.
выходит за пределы (или, напротив, сужает сферу исследования) классическихлогик высказываний и предикатов... Льюис (американский логик) построил вместо теории классической (материальной) импликации новую теорию... классической (аристотелевской) логики, и в итоге напрашивался вывод, что логика не основывается ни на... Таким образом, действуют два подхода к формированию неклассической логики:
сужение классическойлогики... В классическойлогике нормальные формы хорошо определены и широко изучены.
Three-valued isomorph of the classic propositional logic C2 is a set of three-valued connectives that verifies all classic axioms based on corresponding binary connectives and modus ponens. This paper deals with the implicative-negative case of such sets. An essential theorem concerning properties of three-valued isomorphs of C2 is proven. In every isomorph, implication is only false (i.e. takes a non-designated value) iff an antecedent is true (i.e. takes a designated value) and a consequent is false. And the negation is only false iff a corresponding propositional variable takes a designated value. Once we have proved such a theorem we are able to show that every three-valued C2 isomorph is consistent, count the total amount of three-valued C2 isomorphs and devise a minimal condition for a three-valued logic to contain an isomorph of C2.
один из наиболее известных логических парадоксов. В простейшем его варианте человек произносит одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно». Если высказывание ложно, то говорящий сказал правду и, значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.
принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем англ. философа Д. Юма (1711-1776), указавшего, что этика постоянно совершает грубую ошибку, полагая, что из описания того, что имеет место, можно вывести какие-то утверждения о моральном добре и долге. С начала XX в. «Ю. п.» привлекает пристальное внимание этиков, теоретиков права и др. Нередко ему отводится главная роль в методологии наук, стремящихся обосновать определенные ценности и требования. Иногда даже утверждается, что в силу «Ю. п.» этика не способна перейти от наблюдения моральной жизни к ее кодификации, так что все системы (нормативной) этики в равной мере не опираются на факты и в этом смысле автономны и равноценны.
