vacuous type
Смотреть что такое "vacuous type" в других словарях:
Vacuous truth — A vacuous truth is a truth that is devoid of content because it asserts something about all members of a class that is empty or because it says If A then B when in fact A is false. For example, the statement all cell phones in the room are turned … Wikipedia
List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… … Wikipedia
Empty set — ∅ redirects here. For similar looking symbols, see Ø (disambiguation). The empty set is the set containing no elements. In mathematics, and more specifically set theory, the empty set is the unique set having no elements; its size or cardinality… … Wikipedia
Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; … Universalium
Western sculpture — ▪ art Introduction three dimensional artistic forms produced in what is now Europe and later in non European areas dominated by European culture (such as North America) from the Metal Ages (Europe, history of) to the present. Like… … Universalium
metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… … Universalium
Categorial grammar — is a term used for a family of formalisms in natural language syntax motivated by the principle of compositionality and organized according to the view that syntactic constituents should generally combine as functions or according to a function… … Wikipedia
Zaphod Beeblebrox — Infobox character colour = red name = Zaphod Beeblebrox caption = Mark Wing Davey as Zaphod Beeblebrox, from the TV adaptation. first = Fit the Second (radio) last = cause = nickname = alias = species = Betelgeusian gender = Male age = born =… … Wikipedia
Mahmoud Khatami — محمود خاتمی Full name Mahmoud Khatami محمود خاتمی Born January 4, 1963(1963 01 04) Tehran, Iran … Wikipedia
pump — pump1 pumpable, adj. pumpless, adj. pumplike, adj. /pump/, n. 1. an apparatus or machine for raising, driving, exhausting, or compressing fluids or gases by means of a piston, plunger, or set of rotating vanes. 2. Engin., Building Trades. a shore … Universalium
Missing You (The Saturdays song) — Missing You … Wikipedia