first-order language

first-order language
A language in which the quantifiers contain only variables ranging over individuals (not, in particular, ranging over properties of those individuals), and the functions have as their arguments only individual variables or constants. In a second-order language the variables of the quantifiers may range over functions and properties, and in yet higher-order languages over properties of properties.

Philosophy dictionary. . 2011.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • first-order languages — first order language …   Philosophy 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

  • List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… …   Wikipedia

  • Order of Preachers —     Order of Preachers     † Catholic Encyclopedia ► Order of Preachers     As the Order of the Friars Preachers is the principal part of the entire Order of St. Dominic, we shall include under this title the two other parts of the order: the… …   Catholic encyclopedia

  • Order & Chaos Online — Developer(s) In house Publisher(s) Gameloft Platform(s) iOS, WebOS, Android …   Wikipedia

  • Order of the Dannebrog — Dannebrogordenen Order of the Dannebrog, Breast Star with Grand Cross, unofficial model Awarded by Denm …   Wikipedia

  • language — /lang gwij/, n. 1. a body of words and the systems for their use common to a people who are of the same community or nation, the same geographical area, or the same cultural tradition: the two languages of Belgium; a Bantu language; the French… …   Universalium

  • Language teaching methods — Main article: Language education Language education may take place as a general school subject or in a specialized language school. There are many methods of teaching languages. Some have fallen into relative obscurity and others are widely used; …   Wikipedia

  • Language Integrated Query — LINQ redirects here. For the card game, see Linq (card game). Language Integrated Query Influenced by SQL, Haskell Language Integrated Query (LINQ, pronounced link ) is a Microsoft .NET Framework component that adds native data querying… …   Wikipedia

  • Language demographics of Quebec — This article presents the current language demographics of the Canadian province of Quebec. Contents 1 Demographic terms 2 Current demographics 2.1 Cities 2.2 Montreal …   Wikipedia

Share the article and excerpts

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