- formal logic
- формальная логика формальная логика
Большой англо-русский и русско-английский словарь. 2001.
formal logic
Смотреть что такое "formal logic" в других словарях:
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 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 logic — formalioji logika statusas T sritis automatika atitikmenys: angl. formal logic vok. formale Logik, f rus. формальная логика, f pranc. logique formelle, f … Automatikos terminų žodynas
formal logic — noun any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity (Freq. 1) • Syn: ↑symbolic logic, ↑mathematical logic • Hypernyms: ↑logic, ↑logical system,… … Useful english dictionary
formal logic — noun a) Mathematical logic. b) A particular logical calculus … Wiktionary
formal logic — /fɔməl ˈlɒdʒɪk/ (say fawmuhl lojik) noun the branch of logic concerned exclusively with the principles of deductive reasoning and in consequence with the forms (as distinct from the content) of propositions …
Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic Logic … Catholic encyclopedia
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 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
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
