- formal reasoning
- формальные рассуждения;
рассуждения на формальном уровне
Большой англо-русский и русско-английский словарь. 2001.
formal reasoning
Смотреть что такое "formal reasoning" в других словарях:
Reasoning — is the cognitive process of looking for reasons for beliefs, conclusions, actions or feelings. [ Kirwin, Christopher. 1995. Reasoning . In Ted Honderich (ed.), The Oxford Companion to Philosophy . Oxford: Oxford University Press: p. 748] Humans… … 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
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 logic — n. the branch of logic that examines patterns of reasoning to determine which ones necessarily result in valid, or formally correct, conclusions … English World dictionary
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
reasoning — noun ADJECTIVE ▪ careful, sound ▪ circular, faulty, flawed, specious (formal) ▪ underlying ▪ … Collocations dictionary
Formal fallacy — In philosophy, a formal fallacy or a logical fallacy is a pattern of reasoning which is always wrong. This is due to a flaw in the structure of the argument which renders the argument invalid. A formal fallacy is contrasted with an informal… … Wikipedia
reasoning — Any process of drawing a conclusion from a set of premises may be called a process of reasoning. If the conclusion concerns what to do, the process is called practical reasoning, otherwise pure or theoretical reasoning. Evidently such processes… … Philosophy dictionary
Formal science — A formal science is a theoretical study that is concerned with theoretical formal systems, for instance, logic, mathematics, systems theory and the theoretical branches of computer science, information theory, economics, statistics, and… … Wikipedia
