many-sorted logic

A logic in which the variables range over different domains. In classical predicate calculus a proposition like ‘All Fs are G’ is represented as saying: take anything; if it is F, it is G. In a many-sorted logic the representation will be: take any F; it is G. This may accord better with natural language, and it matches traditional syllogistic forms better than the predicate calculus does.

Philosophy dictionary. . 2011.

Look at other dictionaries:

  • Many-sorted logic — can reflect formally our intention, not to handle the universe as a homogeneous collection of objects, but to partition it in a way that is similar to types in typeful programming. Both functional and assertive parts of speech in the language of… …   Wikipedia

  • many-sorted logic — noun A logic that directly supports classification of entities into disjunct sorts …   Wiktionary

  • Logic — For other uses, see Logic (disambiguation). Philosophy …   Wikipedia

  • Logic simulation — is the use of a computer program to simulate the operation of a digital circuit. Logic simulation is the primary tool used for verifying the logical correctness of a hardware design. In many cases logic simulation is the first activity performed… …   Wikipedia

  • 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

  • Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… …   Wikipedia

  • Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until …   Wikipedia

  • Signature (logic) — In logic, especially mathematical logic, a signature lists and describes the non logical symbols of a formal language. In universal algebra, a signature lists the operations that characterize an algebraic structure. In model theory, signatures… …   Wikipedia

  • Higher-order logic — In mathematics, higher order logic is distinguished from first order logic in a number of ways.One of these is the type of variables appearing in quantifications; in first order logic, roughly speaking, it is forbidden to quantify over predicates …   Wikipedia

  • List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.