| podobné slovo | definícia |
coexistent
(encz) | coexistent,koexistentní adj: Zdeněk Brož |
existential
(encz) | existential,existenciální adj: luke |
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ž |
non-existent
(encz) | non-existent,neexistující adj: Zdeněk Brož |
nonexistent
(encz) | nonexistent,neexistující adj: Zdeněk Brož |
pre-existent
(encz) | pre-existent, adj: |
preexistent
(encz) | preexistent, adj: |
koexistentní
(czen) | koexistentní,coexistentadj: Zdeněk Brož |
Coexistent
(gcide) | Coexistent \Co`ex*ist"ent\, a.
Existing at the same time with another. -- n. That which
coexists with another.
[1913 Webster]
The law of coexistent vibrations. --Whewell.
[1913 Webster] |
Existent
(gcide) | Existent \Ex*ist"ent\, a. [L. existens, -entis, p. pr. of
existere. See Exist.]
Having being or existence; existing; being; occurring now;
taking place.
[1913 Webster]
The eyes and mind are fastened on objects which have no
real being, as if they were truly existent. --Dryden.
[1913 Webster] |
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] |
Inexistent
(gcide) | Inexistent \In`ex*ist"ent\, a. [Pref. in- in + existent: cf. F.
inexistant.]
Not having being; not existing.
[1913 Webster]Inexistent \In`ex*ist"ent\, a. [Pref. in- in + existent.]
Inherent; innate; indwelling. --Boyle.
[1913 Webster] |
Nonexistent
(gcide) | Nonexistent \Non`ex*ist"ent\, a.
Not having existence.
[1913 Webster] |
Postexistent
(gcide) | Postexistent \Post`ex*ist"ent\, a.
Existing or living after. [R.] "Postexistent atoms."
--Cudworth.
[1913 Webster] |
Preexistent
(gcide) | Preexistent \Pre`["e]x*ist"ent\, a.
Existing previously; preceding existence; as, a
pre["e]xistent state. --Pope.
[1913 Webster] |
Preexistentism
(gcide) | Preexistentism \Pre`["e]x*ist"ent*ism\, n. (Philos.)
The theory of a pre["e]xistence of souls before their
association with human bodies. --Emerson.
[1913 Webster] |
Self-existent
(gcide) | Self-existent \Self`-ex*ist"ent\, a.
Existing of or by himself, independent of any other being or
cause; -- as, God is the only self-existent being.
[1913 Webster] |
Unexistent
(gcide) | Unexistent \Unexistent\
See existent. |
coexistent
(wn) | coexistent
adj 1: existing at the same time [syn: coexistent,
coexisting] |
existential
(wn) | existential
adj 1: derived from experience or the experience of existence;
"the rich experiential content of the teachings of the
older philosophers"- Benjamin Farrington; "formal
logicians are not concerned with existential matters"-
John Dewey [syn: experiential, existential]
2: of or as conceived by existentialism; "an existential moment
of choice"
3: relating to or dealing with existence (especially with human
existence) |
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}] |
nonexistent
(wn) | nonexistent
adj 1: not having existence or being or actuality; "chimeras are
nonexistent" [ant: existent, existing] |
pre-existent
(wn) | pre-existent
adj 1: existing previously or before something; "variations on
pre-existent musical themes" [syn: preexistent, {pre-
existent}, preexisting, pre-existing] |
preexistent
(wn) | preexistent
adj 1: existing previously or before something; "variations on
pre-existent musical themes" [syn: preexistent, {pre-
existent}, preexisting, pre-existing] |
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)
|