- Metalogical
- Metalogical Met`a*log"ic*al, a. Beyond the scope or province of logic. [1913 Webster]

*The Collaborative International Dictionary of English.
2000.*

- Metalogical
- Metalogical Met`a*log"ic*al, a. Beyond the scope or province of logic. [1913 Webster]

*The Collaborative International Dictionary of English.
2000.*

**metalogical**— adjective Of or pertaining to metalogic … Wiktionary**metalogical**— meta·log·i·cal … English syllables**metalogical**— … Useful english dictionary**First-order logic**— is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia**logic, history of**— Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium**Second-order logic**— In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia**Metalogic**— is the study of the metatheory of logic. While logic is the study of the manner in which logical systems can be used to decide the correctness of arguments, metalogic studies the properties of the logical systems themselves.[1] According to… … Wikipedia**formal logic**— the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium**Truth**— For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality … Wikipedia**Functional predicate**— In formal logic and related branches of mathematics, a functional predicate, or function symbol, is a logical symbol that may be applied to an object term to produce another object term.Functional predicates are also sometimes called mappings ,… … Wikipedia