first principle (redirected fromFirst principles) Thesaurus n(usually plural) 1.(Logic) one of the fundamental assumptions on which a particular theory or procedure is thought to be based 2.(Logic) an axiom of a mathematical or scientific theory ...
弗雷格“意义与指称”与费廷的谓词抽象 关于意义( Sinn )与指称(Bedeutung)的译文有很多,其中指称一词的德译英相对来说比较稳定,大多翻译为reference或referent;而意义一词的德译英则更多元,其中最普遍的是meaning和sense,而这两种翻译中我更倾向于sense。作为同时修语言学的人,总会觉得meaning是个更敏感的词,语言...
We also formalize those three forms (of "continuous induction") in\nfirst-order logic and prove that two of them are equivalent and sufficiently\nstrong to completely axiomatize the first-order theory of the real closed\n(ordered) fields. We show that the third weaker form of continuous ...
Extensions of First-Order Logic 2024 pdf epub mobi 电子书 图书描述 Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many...
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherence-based a... V Biazzo,A Gilio,T Lukasiewicz,... - Spring...
We have seen that the structure n of natural numbers cannot be characterized in the first-order language corresponding to n. The same situation holds for the field of real numbers and the class of torsion groups. As we showed in Chapter VII, one can, at least in principle, overcome this ...
Learning sets of first-order rules has a long tradition in machine learning and inductive logic programming. While most traditional systems follow a separate-and-conquer approach, many modern systems are based on statistical considerations, such as ensemble theory, large margin classification or graphica...
You go home the rest"[translate] a无论你做什么工作,我都会帮助你的 正在翻译,请等待...[translate] aThis article HDB3 encoding, decoding the principle of first use of logic expression, 这个文章HDB3内码,解码对逻辑表示的第一个用途的原则,[translate]...
In this paper we consider the intensional First OrderLogic (IFOL) as a symbolic architecture of modern robots, able to use naturallanguages to communicate with humans and to reason about their own knowledgewith self-reference and abstraction language property. We intend to obtain thegrounding of ...
Studies in paraconsistent logic I: The dialectical principle of the unity of opposites The study of paraconsistent logics is the study of those logics which formalize nontrivial inconsistent theories; we note that such theories arise in many ... NCAD Costa,RG Wolf - 《Philosophia》 被引量: ...