- synthetic deduction
- мат. синтетическая дедукция
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Deduction — • An argument or reasoning process, that kind of mediate inference by which from truths already known we advance to a knowledge of other truths necessarily implied in the former; the mental product or result of that process. Also a method, the… … Catholic encyclopedia
induction, deduction — The common methods of thinking are deduction and induction. The former method tries to establish a specific and limited conclusion by showing that it is allied with, or conforms to, a general truth or principle. In deduction, thought moves from… … Dictionary of problem words and expressions
Critique of Pure Reason — Part of a series on Immanuel … Wikipedia
Kant’s Copernican revolution — Daniel Bonevac Immanuel Kant’s Critique of Pure Reason was to transform the philosophical world, at once bringing the Enlightenment to its highest intellectual development and establishing a new set of problems that would dominate philosophy in… … History of philosophy
Descartes: methodology — Stephen Gaukroger INTRODUCTION The seventeenth century is often referred to as the century of the Scientific Revolution, a time of fundamental scientific change in which traditional theories were either replaced by new ones or radically… … History of philosophy
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
A priori and a posteriori (philosophy) — A priori redirects here. For other uses, see A priori. : A posteriori redirects here. For the Enigma album, see A Posteriori. The terms a priori and a posteriori are used in philosophy primarily to distinguish between two different types of… … Wikipedia
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … Wikipedia
Curry-Howard correspondence — The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… … Wikipedia
Empiricism — John Locke, a leading philosopher of British empiricism This article is about the field of philosophy. For the album by Borknagar, see Empiricism (album). Empiricism is a theory of knowledge that asserts that knowledge comes only or primarily via … Wikipedia
epistemology — epistemological /i pis teuh meuh loj i keuhl/, adj. epistemologically, adv. epistemologist, n. /i pis teuh mol euh jee/, n. a branch of philosophy that investigates the origin, nature, methods, and limits of human knowledge. [1855 60; < Gk… … Universalium