not derivable
Смотреть что такое "not derivable" в других словарях:
non-derivable — adjective Not derivable; uncapable of being derived. Ant: derivable … Wiktionary
Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … Wikipedia
Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… … Wikipedia
Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Ockham’s world and future — Arthur Gibson PHILOSOPHICAL BIOGRAPHY Ockham was born in about 1285, certainly before 1290, probably in the village of Ockham, Surrey, near London. If his epitaph is accurate, he died on 10 April 1347. Yet Conrad of Megenberg, when writing to… … History of philosophy
Diaphoneme — In linguistics, a diaphoneme or diaphone is a phoneme viewed through its dialectal variants, called diaphonic variants or diaphonic allophones.[1] For example, the vowel that constitutes the English word eye /aɪ/ is pronounced d … Wikipedia
gestalt — A perceived entity so integrated as to constitute a functional unit with properties not derivable from its parts. See gestaltism. [Ger. shape] * * * ge·stalt gə s(h)tält, s(h)tȯlt n, pl ge·stalt·en ən or … Medical dictionary
Stoicism — Stoicism1 Brad Inwood 1 FROM SOCRATES TO ZENO More than eighty years passed between the death of Socrates in 399 BC and the arrival in Athens of Zeno in 312. Athenian society had undergone enormous upheavals, both political and social. The Greek… … History of philosophy
PaX — In computer security, PaX is a patch for the Linux kernel that implements least privilege protections for memory pages. The least privilege approach allows computer programs to do only what they have to do in order to be able to execute properly … Wikipedia
Nordström's theory of gravitation — In theoretical physics, Nordström s theory of gravitation was a predecessor of general relativity. Strictly speaking, there were actually two distinct theories proposed by the Finnish theoretical physicist Gunnar Nordström, in 1912 and 1913… … Wikipedia