deductive justification
- мат. дедуктивное обоснование
Большой англо-русский и русско-английский словарь. 2001.
Смотреть что такое "deductive justification" в других словарях:
Deductive system — A deductive system (also called a deductive apparatus of a formal system) consists of the axioms (or axiom schemata) and rules of inference that can be used to derive the theorems of the system.[1] Such a deductive system is intended to preserve… … Wikipedia
Deductive closure — For other uses, see Closure (disambiguation). Peter D. Klein, in the second edition of The Cambridge Dictionary of Philosophy, defines closure as follows: A set of objects, O, is said to exhibit closure or to be closed under a given operation, R … Wikipedia
List of philosophy topics (D-H) — DDaDai Zhen Pierre d Ailly Jean Le Rond d Alembert John Damascene Damascius John of Damascus Peter Damian Danish philosophy Dante Alighieri Arthur Danto Arthur C. Danto Arthur Coleman Danto dao Daodejing Daoism Daoist philosophy Charles Darwin… … Wikipedia
Biblical inerrancy — is the conservative evangelical doctrinal position [ [http://www.dts.edu/about/doctrinalstatement/ Doctrinal Statement Dallas Theological Seminary (DTS) ] ] that in its original form, the Bible is totally without error, and free from all… … Wikipedia
Ferdinand Canning Scott Schiller — Infobox Philosopher region = Western Philosophy era = 19th/20th century philosophy color = #B0C4DE image caption = Ferdinand Canning Scott Schiller name = F.C.S. Schiller birth = August 16 1864 death = August 9 1937 school tradition = Pragmatism… … Wikipedia
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
science, philosophy of — Branch of philosophy that attempts to elucidate the nature of scientific inquiry observational procedures, patterns of argument, methods of representation and calculation, metaphysical presuppositions and evaluate the grounds of their validity… … Universalium
Démarche expérimentale — Méthode scientifique Pour les articles homonymes, voir Méthode. La Science et les Sciences Généralités Connaissance · Théorie · Savoir Classification des sciences … Wikipédia en Français
Démarche scientifique — Méthode scientifique Pour les articles homonymes, voir Méthode. La Science et les Sciences Généralités Connaissance · Théorie · Savoir Classification des sciences … Wikipédia en Français
Enquête scientifique — Méthode scientifique Pour les articles homonymes, voir Méthode. La Science et les Sciences Généralités Connaissance · Théorie · Savoir Classification des sciences … Wikipédia en Français
Methode scientifique — Méthode scientifique Pour les articles homonymes, voir Méthode. La Science et les Sciences Généralités Connaissance · Théorie · Savoir Classification des sciences … Wikipédia en Français
Книги
- Mechanical linkages, interactive geometry software, and argumentation, Jill Vincent, It is proof which sets mathematics apart from the empirical sciences, and forms the foundation of our mathematical knowledge, yet students often fail to understand the purpose of proof, they… Категория: Геометрия Издатель: LAP Lambert Academic Publishing, Подробнее Купить за 8036 руб
- Logics of Proofs and Justifications, Roman Kuznets, Thomas Studer, Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly… Категория: Научная литература Подробнее Купить за 2502 руб
- Fathoming Formal Logic. Vol II: Semantics and Proof Theory for Predicate Logic, Odysseus Makridis, This text, volume II of a two-volume work, examines in depth the so-called “standard” predicate logic. Including a foundational lexicon of terms and a detour through the classical… Категория: Научная литература Подробнее Купить за 2339 руб