- semantic formalism
- мат. семантический формализм
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Scientific formalism — is a broad term for a family of approaches to the presentation of science. It is viewed as an important part of the scientific method, especially in the physical sciences.Levels of formalismThere are multiple levels of scientific formalism… … Wikipedia
Noncommutative logic — is an extension of linear logic which combines the commutative connectives of linear logic with the noncommutative multiplicative connectives of the Lambek calculus (see External links below). Its sequent calculus relies on the structure of order … Wikipedia
mathematics, philosophy of — Branch of philosophy concerned with the epistemology and ontology of mathematics. Early in the 20th century, three main schools of thought called logicism, formalism, and intuitionism arose to account for and resolve the crisis in the foundations … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
analytic philosophy — n. a 20th cent. philosophic movement characterized by its method of analyzing concepts and statements in the light of common experience and ordinary language so as to eliminate confusions of thought and resolve many traditional philosophical… … Universalium
Adaptive grammar — An adaptive grammar is a formal grammar that explicitly provides mechanisms within the formalism to allow its own production rules to be manipulated. Contents 1 Overview 1.1 Early history 1.2 Collaborative efforts … Wikipedia
Formal semantics of programming languages — In theoretical computer science, formal semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages and models of computation. The formal semantics of a language is given by a mathematical model… … Wikipedia
Linguistic competence — Linguistics … Wikipedia
Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on … Wikipedia
Deconstruction — For the approach to post modern architecture, see Deconstructivism; for other uses, see Deconstruction (disambiguation). Deconstruction is a term introduced by French philosopher Jacques Derrida in his 1967 book Of Grammatology. Although he… … Wikipedia
Linguistic meaning — See also Meaning (linguistics). Linguistic meaning is the content carried by the words or signs exchanged by people when communicating through language. Restated, the communication of meaning is the purpose and function of language. A… … Wikipedia