Phrase Hound found 37 phrases and 11 compound words that contain logics. The most common are listed below. Open logics in the live search for definitions, filters, and the full list.
Phrases 37
- classical logicsplural of classical logic: A kind of logic based on the principles that each proposition has a truth value of either "true" or "false", but not both, and that if a proposition were to be both true and false or neither true nor false then a …
- description logicsplural of description logic: One of a family of knowledge representation languages which can be used to represent the concept definitions of an application domain (known as terminological knowledge) in a structured and formally …
- formal logicsplural of formal logic: Mathematical logic.
- fuzzy logicsplural of fuzzy logic: A form of reasoning, derived from fuzzy set theory, whereby a truth value need not be exactly zero (false) or one (true), but rather can be zero, one, or any value in between.
- intensional logicsplural of intensional logic: A formal deductive system able to represent the distinction between intension and extension of a term.
- t-norm fuzzy logicsplural of t-norm fuzzy logic: Any kind of fuzzy logic whose semantics valuates conjunctions by means of t-norms.
- paraconsistent logicsplural of paraconsistent logic: A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold.
- Boolean logicsplural of Boolean logic: A system of symbolic logic that is the basis of Boolean algebra
- Brazilian logicsplural of Brazilian logic: A form of paracomplete logic that is the dual of intuitionistic logic.
- business logicsplural of business logic: Algorithms in a software system that model real-life business objects and their interactions.
- chop logicsplural of chop logic: Characterized by equivocation or by overly complex or specious argumentation; improperly reasoned.
- circular logicsplural of circular logic: A term often conflated with begging the question in philosophy.
- constructive logicsplural of constructive logic: Any kind of logic in which any proof of existence can be converted into an algorithm that constructs the mathematical object which it claims to exist.
- domain logicsplural of domain logic: A more general business logic that might run in an organization that is not a business.
- informal logicsplural of informal logic: That branch of logic whose task is to develop non-formal standards, criteria, procedures for the analysis, interpretation, evaluation, criticism and construction of argumentation in everyday discourse.
- linear logicsplural of linear logic: A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" …
- mathematical logicsplural of mathematical logic: A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of …
- modal logicsplural of modal logic: Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission.
- predicate logicsplural of predicate logic: The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
- quantum logicsplural of quantum logic: A form of non-classical logic which has been abstracted out of quantum mechanics.
- relevance logicsplural of relevance logic: A kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related, and aiming to capture aspects of implication that are ignored by the "material implication" operator …
- symbolic logicsplural of symbolic logic: A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols.
- temporal logicsplural of temporal logic: A form of symbolic logic used to reason about properties of statements related to order and duration.
- term logicsplural of term logic: An approach to logic that splits propositions into two terms—subject and predicate.
- propositional logicsplural of propositional logic: A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
Compound words 11
- biologicsplural of biologic: Biological; pertaining to biology or to a living organism.
- paralogicsThe study of paralogic rhetoric; the study of understanding language by successive approximation.
- theologicstheology
- choplogicsplural of choplogic: Characterized by equivocation or by overly complex or specious argumentation; improperly reasoned.
- dialogicsdialogic writing and interactions generally
- hyperlogicsplural of hyperlogic: According to Jean Baudrillard, the excessive and formalized practice of an established system, used as a liberating strategy to disrupt the system.
- metalogicsplural of metalogic: The metatheory of logic; the study of properties of logical systems.
- mimologicsphonetic symbolism
- pseudologicsplural of pseudologic: False logic. A logical argument that deliberately omits an outcome so that a false conclusion is reached.
- sublogicsplural of sublogic: A subset of a system of logic