synthetic+deduction

См. также в других словарях:

• 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