formation rules

formation rules
The formation rules of a logical calculus or formal language lay down which sequences of expressions are to count as well-formed . Typically these rules are recursive in character, and contain three kinds of clauses. There will be rules defining a class of basic or atomic well-formed formulae; then rules allowing that well-formed formulae may be made out of others by specific operations. Finally there is a closure condition, or rule saying that anything not generated by the first two kinds of rule is disallowed.

Philosophy dictionary. . 2011.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Formation dance — is a style of ballroom dancing. It is pattern or shadow team dancing by couples in a formation team. The choreography may be based on a particular dance or a medley of dances. Formation dancing may be done for exhibition or for competition… …   Wikipedia

  • Formation (American football) — A formation in American football refers to the position players line up in before the start of a down. There are both offensive and defensive formations and there are many formations in both categories. Contents 1 Offense 1.1 Offensive positions… …   Wikipedia

  • Rules of language — Language is typically said to be governed by a group of unspoken rules: phonological, semantic, syntactic, pragmatic, prosodic, and idiosyncratic. These rules shape the way language is written, spoken, and interpreted. Phonological Phonological… …   Wikipedia

  • formation flying — ▪ aviation       two or more aircraft traveling and maneuvering together in a disciplined, synchronized, predetermined manner. In a tight formation, such as is typically seen at an air show, aircraft may fly less than three feet (one metre) apart …   Universalium

  • American football rules — The Tennessee Titans and the Houston Texans in formation before a play Game play in American football consists of a series of downs, individual plays of short duration, outside of which the ball is dead or not in play. These can be plays from… …   Wikipedia

  • concept formation — Process of developing abstract rules or mental constructs based on sensory experience. Concept formation figures prominently in cognitive development and was a subject of great importance to Jean Piaget, who argued that learning entails an… …   Universalium

  • Origins of Australian rules football — See also: Marn Grook and List of Australian rules football clubs by date of establishment A statue next to the Melbourne Cricket Ground on the approximate site of the 1858 foot ball match between Melbourne Grammar and Scotch College. Tom… …   Wikipedia

  • Australian rules football in Europe — each nation having a number of clubs and organised junior programs. These three and Spain are currently the only who have thus far sent national teams to the Australian Football International Cup, although Sweden and Finland will join them in… …   Wikipedia

  • Sheffield Rules — The Sheffield Rules was a code of football devised and played in the English city of Sheffield between 1857 and 1877. They were devised by Nathaniel Creswick and William Prest for use by the newly founded Sheffield Football Club. The rules were… …   Wikipedia

  • Australian rules football in Asia — Hong Kong Dragons after winning the 2007 Asian Australian Football Championships Australian rules football in Asia describes the minority sport of Australian rules football as it is watched and played in the Asia region. Australian rules football …   Wikipedia

Share the article and excerpts

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