Paraconsistent - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция, определение
Paraconsistent A paraconsistent logic is an attempt at a logical system to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing "inconsistency-tolerant" systems of logic which reject the principle of explosion.
Dynamic logic is related mainly because, like paraconsistent logic, the reordering of premises can change the set of justified conclusions. |
Динамическая логика связана главным образом потому, что, подобно параконсистентной логике, переупорядочение посылок может изменить набор обоснованных выводов. |
Other kinds of non-demonstrative reasoning are probabilistic reasoning, inductive reasoning, statistical reasoning, abductive reasoning, and paraconsistent reasoning. |
К другим видам недоказательных рассуждений относятся вероятностные рассуждения, индуктивные рассуждения, статистические рассуждения, похищающие рассуждения и параконсистентные рассуждения. |
Логики, которые отвергают его называют паранепротиворечивой. |
|
Theoretical arguments and anecdotes have been offered for trivialism to contrast it with theories such as modal realism, dialetheism and paraconsistent logics. |
Теоретические аргументы и анекдоты были предложены для тривиализма, чтобы противопоставить его таким теориям, как модальный реализм, диалетеизм и параконсистентная логика. |
Graham Priest, the main proponent of dialetheism, has argued for paraconsistency on the grounds that there are in fact, true contradictions. |
Грэм Прист, главный сторонник диалетеизма, отстаивал параконсистентность на том основании, что на самом деле существуют истинные противоречия. |