- metalinguistic variable
-
металингвистическая переменная
Англо-русский словарь технических терминов. 2005.
Англо-русский словарь технических терминов. 2005.
Predicate variable — In first order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first order logic (FOL) they can be more… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
Metalanguage — For the programming language, see ML (programming language). Broadly, any metalanguage is language or symbols used when language itself is being discussed or examined.[1] In logic and linguistics, a metalanguage is a language used to make… … Wikipedia
Metavariable — For the term as used in computer science, see Metasyntactic variable. In logic, a metavariable (also metalinguistic variable[1] or syntactical variable[2]) is a symbol or symbol string which belongs to a metalanguage and stands for elements of… … Wikipedia
Axiom schema — In mathematical logic, an axiom schema generalizes the notion of axiom.An axiom schema is a formula in the language of an axiomatic system, in which one or more schematic variables appear. These variables, which are metalinguistic constructs,… … Wikipedia
Domain-specific language — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Second language learning — (SLL) is the process by which people consciously learn a second language. According to the linguist Stephen Krashen, there is a difference in language learning and language acquisition.Explaining Second Language LearningThe linguist Stephen… … Wikipedia
Shm-reduplication — is a form of reduplication in which the original word or its first syllable (the base) is repeated with the copy (the reduplicant) beginning with shm , IPA IPA| [ʃm] . The construction is generally used to indicate irony, derision or scepticism… … Wikipedia
positivism — positivist, adj., n. positivistic, adj. positivistically, adv. /poz i teuh viz euhm/, n. 1. the state or quality of being positive; definiteness; assurance. 2. a philosophical system founded by Auguste Comte, concerned with positive facts and… … Universalium
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium