negation, method of

negation, method of

Вестминстерский словарь теологических терминов. - М.: "Республика". . 2004.

Игры ⚽ Нужно сделать НИР?

Смотреть что такое "negation, method of" в других словарях:

  • Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

  • proof by negation — method of proving a claim as true by proving all other claims as false …   English contemporary dictionary

  • Socratic method — Part of a series on …   Wikipedia

  • Historical method — The historical method comprises the techniques and guidelines by which historians use primary sources and other evidence to research and then to write history. The question of the nature, and indeed the possibility, of sound historical method is… …   Wikipedia

  • Ramana Maharshi — Infobox Hindu leader name= Bhagavan Sri Ramana Maharshi birth date= 30 December 1879 birth place= Tiruchuzhi birth name= Venkataraman Iyer death date= 14 April 1950 (age 70) death place= Tiruvannamalai philosophy= Advaita Vedanta honors= quote=… …   Wikipedia

  • Отрицания метод —  ♦ (ENG negation, method of)    см. Via negativa …   Вестминстерский словарь теологических терминов

  • Dialectic — The School of Athens, by Raphael. Dialectic (also dialectics and the dialectical method) is a method of argument for resolving disagreement that has been central to Indic and European philosophy since antiquity. The word dialectic originated in… …   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

  • Existence (Philosophy of) 2 — Philosophy of existence 2 Sartre Thomas R.Flynn Born 21 June 1905, in Thiviers (Dordogne), Jean Paul Sartre was raised in the Parisian home of his widowed mother’s parents. After his mother’s remarriage, he spent several years with her and his… …   History of philosophy

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»