раздел современной дедуктивной логики, опирающаяся на принцип двузначности, в соответствии с которым всякое высказывание является или истинным, или ложным. Подразделяется на классическую логику высказываний и классическую логику предикатов.
Понятие классическойлогики
Определение 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.
методологический принцип, сформулированный англ, философом и логиком У. Оккамом и требующий устранения из науки всех понятий, не являющихся интуитивно очевидными и не поддающихся проверке в опыте: «Сущности не следует умножать без необходимости». У. Оккам, средневековый англ. философ и логик, направлял этот принцип против распространенных в то время попыток объяснить новые явления введением разного рода «скрытых качеств», ненаблюдаемых «сущностей», таинственных «сил» и т. п. «Б. О.» может рассматриваться как одна из первых ясных формулировок принципа простоты, требующего использовать при объяснении определенного круга эмпирических фактов возможно меньшее количество независимых теоретических допущений. Принцип простоты проходит через всю историю естественных наук. Многие крупнейшие естествоиспытатели указывали, что он неоднократно играл руководящую роль в их исследованиях. В частности, Ньютон выдвигал особое методологическое требование «не излишествовать» в причинах при объяснении явлений.
(от фр. absurde – нелепица) – нелепость, бессмыслица. В логике под абсурдом обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицается одновременно. «Сведение к абсурду» - один из способов опровержения, заключающийся в установлении ложности (или противоречивости) следствий, вытекающих из тезиса.
