non-enumerable set
101Completeness — In general, an object is complete if nothing needs to be added to it. This notion is made more specific in various fields. Contents 1 Logical completeness 2 Mathematical completeness 3 Computing 4 …
102Fact — For other uses, see Fact (disambiguation). A fact (derived from the Latin Factum, see below) is something that has really occurred or is actually the case. The usual test for a statement of fact is verifiability, that is whether it can be shown… …
103Proposition — This article is about the term in logic and philosophy. For other uses, see Proposition (disambiguation). In logic and philosophy, the term proposition refers to either (a) the content or meaning of a meaningful declarative sentence or (b) the… …
104Critical thinking — is the process or method of thinking that questions assumptions. It is a way of deciding whether a claim is true, false, or sometimes true and sometimes false, or partly true and partly false. The origins of critical thinking can be traced in… …
105Computability logic — Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of truth …
106Credibility — refers to the objective and subjective components of the believability of a source or message. Traditionally, modern, credibility has two key components: trustworthiness and expertise, which both have objective and subjective components.… …
107Combs method — The Combs method is a method of writing fuzzy logic rules described by William E. Combs in 1997. It is designed to prevent combinatorial explosion in fuzzy logic rules. The Combs method takes advantage of the logical equality . Contents 1… …
108Deontic logic — is the field of logic that is concerned with obligation, permission, and related concepts. Alternatively, a deontic logic is a formal system that attempts to capture the essential logical features of these concepts. Typically, a deontic logic… …
109Modal operator — In modal logic, a modal operator is an operator which forms propositions from propositions. In general, a modal operator has the formal property of being non truth functional, and is intuitively characterised by expressing a modal attitude (such… …
110Augustus De Morgan — (1806 1871) Born 27 June 1806( …
