formal theory
Смотреть что такое "formal theory" в других словарях:
formal theory — formal theory, an aesthetic theory which holds that a thing is beautiful if it has a well knit internal unity, an orderly arrangement of parts, and a capacity for manifesting its pattern … Useful english dictionary
formal theory — fenomenologinė teorija statusas T sritis fizika atitikmenys: angl. formal theory; phenomenological theory vok. phänomenologische Theorie, f rus. феноменологическая теория, f pranc. théorie phénoménologique, f … Fizikos terminų žodynas
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
Theory of conjoint measurement — The theory of conjoint measurement (also known as conjoint measurement or additive conjoint measurement) is a general, formal theory of continuous quantity. It was independently discovered by the French economist Gerard Debreu (1960) and by the… … Wikipedia
Formal epistemology — is a subdiscipline of epistemology that utilizes formal methods from logic, probability theory and computability theory to elucidate traditional epistemic problems. TopicsSome of the topics that come under the heading of formal epistemology… … Wikipedia
theory — theo‧ry [ˈθɪəri ǁ ˈθiːəri] noun theories PLURALFORM 1. [countable] an idea or set of ideas that is intended to explain why something happens or how it works: theory of • The book is called An Evolutionary Theory of Economic Change . • The theory… … Financial and business terms
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
Formal ethics — is a formal logical system for describing and evaluating the form as opposed to the content of ethical principles. Formal ethics was introduced by Harry J. Gensler, in part in his 1990 logic textbook Symbolic Logic: Classical and Advanced Systems … Wikipedia
Formal organization — is a fixed set of rules of intra organization procedures and structures. As such, it is usually set out in writing, with a language of rules that ostensibly leave little discretion for interpretation. In some societies and in some organization,… … Wikipedia
Theory of Deep Democracy — Theory of Deep DemocracyThe theory of deep democracy makes a distinction between merely formal and deeper forms of democracy. Formal democracy is an important part of deep democracy, but it is merely a beginning or a necessary condition. In order … Wikipedia
Formal concept analysis — is a principled way of automatically deriving an ontology from a collection of objects and their properties. The term was introduced by Rudolf Wille in 1984, and builds on applied lattice and order theory that was developed by Birkhoff and others … Wikipedia