| podobné slovo | definícia |
existential operator
(encz) | existential operator, n: |
existential quantifier
(encz) | existential quantifier, n: |
existentialism
(encz) | existentialism,existencialismus n: lukeexistentialism,existencionalismus Zdeněk Brož |
existentialist
(encz) | existentialist,existencialistický adj: lukeexistentialist,exitencionalistický adj: Zdeněk Brož |
existentialist philosophy
(encz) | existentialist philosophy, n: |
existentialistic
(encz) | existentialistic, |
existentially
(encz) | existentially,existenčně adv: Zdeněk Brož |
Existential
(gcide) | Existential \Ex`is*ten"tial\, a.
1. Having existence. [Archaic] --Bp. Barlow.
[1913 Webster]
2. of or pertaining to, or having the character of,
existentialism.
[PJC]
3. (Logic) specifying actual existence, rather than only
possibility; as, the existential operator.
[PJC] --Ex`is*ten"tial*ly, adv. [Archaic]
[1913 Webster]
Existentially as well as essentially intelligent.
--Colerige.
[1913 Webster] |
existentialism
(gcide) | existentialism \ex`is*ten"tial*ism\, n. (Philosophy)
a philosophical theory or attitude having various
interpretations, generally emphasising the existence of the
individual as a unique agent with free will and
responsibility for his or her own acts, though living in a
universe devoid of any certain knowledge of right and wrong;
from one's plight as a free agent with uncertain guidelines
may arise feelings of anguish. Existentialism is concerned
more with concrete existence rather than abstract theories of
essences; is contrasted with rationalism and empiricism;
and is associated with Kierkegaard, Heidegger and Sartre, as
well as others.
[PJC] |
Existentially
(gcide) | Existential \Ex`is*ten"tial\, a.
1. Having existence. [Archaic] --Bp. Barlow.
[1913 Webster]
2. of or pertaining to, or having the character of,
existentialism.
[PJC]
3. (Logic) specifying actual existence, rather than only
possibility; as, the existential operator.
[PJC] --Ex`is*ten"tial*ly, adv. [Archaic]
[1913 Webster]
Existentially as well as essentially intelligent.
--Colerige.
[1913 Webster] |
existential operator
(wn) | existential operator
n 1: a logical quantifier of a proposition that asserts the
existence of at least one thing for which the proposition
is true [syn: existential quantifier, {existential
operator}] |
existential philosopher
(wn) | existential philosopher
n 1: a philosopher who emphasizes freedom of choice and personal
responsibility but who regards human existence in a hostile
universe as unexplainable [syn: existentialist,
existentialist philosopher, existential philosopher] |
existential philosophy
(wn) | existential philosophy
n 1: (philosophy) a 20th-century philosophical movement chiefly
in Europe; assumes that people are entirely free and thus
responsible for what they make of themselves [syn:
existentialism, existential philosophy, {existentialist
philosophy}] |
existential quantifier
(wn) | existential quantifier
n 1: a logical quantifier of a proposition that asserts the
existence of at least one thing for which the proposition
is true [syn: existential quantifier, {existential
operator}] |
existentialism
(wn) | existentialism
n 1: (philosophy) a 20th-century philosophical movement chiefly
in Europe; assumes that people are entirely free and thus
responsible for what they make of themselves [syn:
existentialism, existential philosophy, {existentialist
philosophy}] |
existentialist
(wn) | existentialist
adj 1: relating to or involving existentialism; "existentialist
movement"; "existentialist philosophy"; "the
existentialist character of his ideas"
n 1: a philosopher who emphasizes freedom of choice and personal
responsibility but who regards human existence in a hostile
universe as unexplainable [syn: existentialist,
existentialist philosopher, existential philosopher] |
existentialist philosopher
(wn) | existentialist philosopher
n 1: a philosopher who emphasizes freedom of choice and personal
responsibility but who regards human existence in a hostile
universe as unexplainable [syn: existentialist,
existentialist philosopher, existential philosopher] |
existentialist philosophy
(wn) | existentialist philosophy
n 1: (philosophy) a 20th-century philosophical movement chiefly
in Europe; assumes that people are entirely free and thus
responsible for what they make of themselves [syn:
existentialism, existential philosophy, {existentialist
philosophy}] |
existential quantifier
(foldoc) | quantifier
existential quantifier
universal quantifier
An operator in predicate logic specifying for which
values of a variable a formula is true. Universally
quantified means "for all values" (written with an inverted A,
LaTeX \forall) and existentially quantified means "there
exists some value" (written with a reversed E, LaTeX
\exists). To be unambiguous, the set to which the values of
the variable belong should be specified, though this is often
omitted when it is clear from the context (the "universe of
discourse"). E.g.
Forall x . P(x) not (Exists x . not P(x))
meaning that any x (in some unspecified set) has property P
which is equivalent to saying that there does not exist any x
which does not have the property.
If a variable is not quantified then it is a free variable.
In logic programming this usually means that it is actually
universally quantified.
See also first order logic.
(2002-05-21)
|