Rhymes with analogic
an·a·log·i·cal
A a Two-syllable rhymes
Three-syllable rhymes
Four-or-more syllable rhymes
- biologic — pertaining to biology.
- demagogic — If you say that someone such as a politician is demagogic, you are criticizing them because you think they try to win people's support by appealing to their emotions rather than using reasonable arguments.
- formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions.
- fuzzy logic — A superset of Boolean logic dealing with the concept of partial truth -- truth values between "completely true" and "completely false". It was introduced by Dr. Lotfi Zadeh of UCB in the 1960's as a means to model the uncertainty of natural language. Any specific theory may be generalised from a discrete (or "crisp") form to a continuous (fuzzy) form, e.g. "fuzzy calculus", "fuzzy differential equations" etc. Fuzzy logic replaces Boolean truth values with degrees of truth which are very similar to probabilities except that they need not sum to one. Instead of an assertion pred(X), meaning that X definitely has the property associated with predicate "pred", we have a truth function truth(pred(X)) which gives the degree of truth that X has that property. We can combine such values using the standard definitions of fuzzy logic: truth(not x) = 1.0 - truth(x) truth(x and y) = minimum (truth(x), truth(y)) truth(x or y) = maximum (truth(x), truth(y)) (There are other possible definitions for "and" and "or", e.g. using sum and product). If truth values are restricted to 0 and 1 then these functions behave just like their Boolean counterparts. This is known as the "extension principle". Just as a Boolean predicate asserts that its argument definitely belongs to some subset of all objects, a fuzzy predicate gives the degree of truth with which its argument belongs to a fuzzy subset. E-mail servers: <[email protected]>, <[email protected]>, <[email protected]>.
- geologic — of, relating to, or based on geology.
- modal logic — (logic) An extension of propositional calculus with operators that express various "modes" of truth. Examples of modes are: necessarily A, possibly A, probably A, it has always been true that A, it is permissible that A, it is believed that A. "It is necessarily true that A" means that things being as they are, A must be true, e.g. "It is necessarily true that x=x" is TRUE while "It is necessarily true that x=y" is FALSE even though "x=y" might be TRUE. Adding modal operators [F] and [P], meaning, respectively, henceforth and hitherto leads to a "temporal logic". Flavours of modal logics include: Propositional Dynamic Logic (PDL), Propositional Linear Temporal Logic (PLTL), Linear Temporal Logic (LTL), Computational Tree Logic (CTL), Hennessy-Milner Logic, S1-S5, T. C.I. Lewis, "A Survey of Symbolic Logic", 1918, initiated the modern analysis of modality. He developed the logical systems S1-S5. JCC McKinsey used algebraic methods (Boolean algebras with operators) to prove the decidability of Lewis' S2 and S4 in 1941. Saul Kripke developed the relational semantics for modal logics (1959, 1963). Vaughan Pratt introduced dynamic logic in 1976. Amir Pnuelli proposed the use of temporal logic to formalise the behaviour of continually operating concurrent programs in 1977.
- technologic — of or relating to technology; relating to science and industry.
Four-or-more syllable rhymes
- gynecologic — the branch of medical science that deals with the health maintenance and diseases of women, especially of the reproductive organs. Abbreviation: GYN, gyn.
- symbolic logic — a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules.
Four-or-more syllable rhymes
- mathematical logic — symbolic logic.