| slovo | definícia |
logic
(mass) | logic
- logika |
logic
(encz) | logic,logika n: Ritchie |
Logic
(gcide) | Logic \Log"ic\, n. [OE. logike, F. logique, L. logica, logice,
Gr. logikh` (sc. te`chnh), fr. logiko`s belonging to speaking
or reason, fr. lo`gos speech, reason, le`gein to say, speak.
See Legend.]
1. The science or art of exact reasoning, or of pure and
formal thought, or of the laws according to which the
processes of pure thinking should be conducted; the
science of the formation and application of general
notions; the science of generalization, judgment,
classification, reasoning, and systematic arrangement; the
science of correct reasoning.
[1913 Webster]
Logic is the science of the laws of thought, as
thought; that is, of the necessary conditions to
which thought, considered in itself, is subject.
--Sir W.
Hamilton.
[1913 Webster]
Note: Logic is distinguished as pure and applied. "Pure logic
is a science of the form, or of the formal laws, of
thinking, and not of the matter. Applied logic teaches
the application of the forms of thinking to those
objects about which men do think." --Abp. Thomson.
[1913 Webster]
2. A treatise on logic; as, Mill's Logic.
[1913 Webster]
3. correct reasoning; as, I can't see any logic in his
argument; also, sound judgment; as, the logic of surrender
was uncontestable.
[PJC]
4. The path of reasoning used in any specific argument; as,
his logic was irrefutable.
[PJC]
5. (Electronics, Computers) A function of an electrical
circuit (called a gate) that mimics certain elementary
binary logical operations on electrical signals, such as
AND, OR, or NOT; as, a logic circuit; the arithmetic and
logic unit.
[PJC] |
logic
(wn) | logic
n 1: the branch of philosophy that analyzes inference
2: reasoned and reasonable judgment; "it made a certain kind of
logic"
3: the principles that guide reasoning within a given field or
situation; "economic logic requires it"; "by the logic of
war"
4: the system of operations performed by a computer that
underlies the machine's representation of logical operations
5: a system of reasoning [syn: logic, logical system,
system of logic] |
logic
(foldoc) | logic
1. A branch of philosophy and mathematics
that deals with the formal principles, methods and criteria of
validity of inference, reasoning and knowledge.
Logic is concerned with what is true and how we can know
whether something is true. This involves the formalisation of
logical arguments and proofs in terms of symbols
representing propositions and logical connectives. The
meanings of these logical connectives are expressed by a set
of rules which are assumed to be self-evident.
Boolean algebra deals with the basic operations of truth
values: AND, OR, NOT and combinations thereof. {Predicate
logic} extends this with existential and universal
quantifiers and symbols standing for predicates which may
depend on variables. The rules of natural deduction
describe how we may proceed from valid premises to valid
conclusions, where the premises and conclusions are
expressions in predicate logic.
Symbolic logic uses a meta-language concerned with truth,
which may or may not have a corresponding expression in the
world of objects called existance. In symbolic logic,
arguments and proofs are made in terms of symbols
representing propositions and logical connectives. The
meanings of these begin with a set of rules or primitives
which are assumed to be self-evident. Fortunately, even from
vague primitives, functions can be defined with precise
meaning.
Boolean logic deals with the basic operations of {truth
values}: AND, OR, NOT and combinations thereof. {Predicate
logic} extends this with existential quantifiers and
universal quantifiers which introduce bound variables
ranging over finite sets; the predicate itself takes on
only the values true and false. Deduction describes how we
may proceed from valid premises to valid conclusions, where
these are expressions in predicate logic.
Carnap used the phrase "rational reconstruction" to describe
the logical analysis of thought. Thus logic is less concerned
with how thought does proceed, which is considered the realm
of psychology, and more with how it should proceed to discover
truth. It is the touchstone of the results of thinking, but
neither its regulator nor a motive for its practice.
See also fuzzy logic, logic programming, arithmetic and logic unit,
first-order logic,
See also Boolean logic, fuzzy logic, logic programming,
first-order logic, logic bomb, combinatory logic,
higher-order logic, intuitionistic logic, {equational
logic}, modal logic, linear logic, paradox.
2. Boolean logic circuits.
See also arithmetic and logic unit, asynchronous logic,
TTL.
(1995-03-17)
|
logic
(devil) | LOGIC, n. The art of thinking and reasoning in strict accordance with
the limitations and incapacities of the human misunderstanding. The
basic of logic is the syllogism, consisting of a major and a minor
premise and a conclusion -- thus:
_Major Premise_: Sixty men can do a piece of work sixty times as
quickly as one man.
_Minor Premise_: One man can dig a posthole in sixty seconds;
therefore --
_Conclusion_: Sixty men can dig a posthole in one second.
This may be called the syllogism arithmetical, in which, by
combining logic and mathematics, we obtain a double certainty and are
twice blessed.
|
| | podobné slovo | definícia |
astrological
(mass) | astrological
- astrologický |
chronological
(mass) | chronological
- chronologický |
psychological
(mass) | psychological
- duševný |
terminological
(mass) | terminological
- názvoslovný, terminologický |
analogický
(msas) | analogický
- analogous, parallel |
astrologický
(msas) | astrologický
- astrological |
chronologický
(msas) | chronologický
- chronological |
logická hodnota
(msas) | logická hodnota
- boolean |
terminologický
(msas) | terminologický
- terminological |
analogicky
(msasasci) | analogicky
- analogous, parallel |
astrologicky
(msasasci) | astrologicky
- astrological |
chronologicky
(msasasci) | chronologicky
- chronological |
logicka hodnota
(msasasci) | logicka hodnota
- boolean |
terminologicky
(msasasci) | terminologicky
- terminological |
adaptive logic
(encz) | adaptive logic,adaptivní logika n: [tech.] |
algebra of logic
(encz) | algebra of logic,algebra logiky algebra of logic,boolovská algebra |
analogical
(encz) | analogical,analogický adj: |
analogically
(encz) | analogically,analogicky adv: Ritchie |
anthropoecological system
(encz) | anthropoecological system,antropoekologický systém [eko.] RNDr. Pavel
Piskač |
anthropological
(encz) | anthropological,antropologický adj: Zdeněk Brož |
archaeologic
(encz) | archaeologic,archeologický adj: Zdeněk Brož |
archaeological
(encz) | archaeological,archeologický adj: Zdeněk Brož |
archaeological monument
(encz) | archaeological monument,archeologická památka [eko.] RNDr. Pavel Piskač |
archaeologically
(encz) | archaeologically,archeologicky adv: Zdeněk Brož |
archeologic
(encz) | archeologic,archeologický adj: Zdeněk Brož |
archeological
(encz) | archeological,archeologický adj: |
astrological
(encz) | astrological,astrologický adj: Zdeněk Brož |
bacteriologic
(encz) | bacteriologic,bakteriologický luke |
bacteriological
(encz) | bacteriological,bakteriologický adj: Zdeněk Brož |
biologic
(encz) | biologic,biologický |
biological
(encz) | biological,biologicky |
biological activity
(encz) | biological activity,biologická aktivita [eko.] RNDr. Pavel Piskač |
biological activity of pesticide application
(encz) | biological activity of pesticide application,biologická účinnost
použitého pesticidu [eko.] RNDr. Pavel Piskač |
biological amplification
(encz) | biological amplification,bioamplifikace [eko.] RNDr. Pavel Piskač |
biological blanket
(encz) | biological blanket,biologická blána [eko.] RNDr. Pavel Piskač |
biological chemistry
(encz) | biological chemistry,biologická chemie [eko.] RNDr. Pavel Piskač |
biological clock
(encz) | biological clock,biologické hodiny |
biological component
(encz) | biological component,biologická složka (systému) [eko.] RNDr. Pavel
Piskač |
biological composition
(encz) | biological composition,biologické složení (systému) [eko.] RNDr. Pavel
Piskač |
biological concentration
(encz) | biological concentration,biologická koncentrace [eko.] RNDr. Pavel
Piskač |
biological control
(encz) | biological control,biologický boj [eko.] RNDr. Pavel Piskač |
biological curve
(encz) | biological curve,biologická křivka (závlahy) [eko.] RNDr. Pavel Piskač |
biological decomposition
(encz) | biological decomposition,biologická rozložitelnost [eko.] RNDr. Pavel
Piskač |
biological diversity
(encz) | biological diversity,biologická diverzita [eko.] RNDr. Pavel Piskač |
biological drainage
(encz) | biological drainage,biologické odvodnění [eko.] RNDr. Pavel Piskač |
biological entomophage activity
(encz) | biological entomophage activity,biologická aktivita
entomofága [eko.] RNDr. Pavel Piskač |
biological film
(encz) | biological film,biologický povlak [eko.] RNDr. Pavel Piskač |
biological filter
(encz) | biological filter,biologický filtr [eko.] RNDr. Pavel Piskač |
biological indicator
(encz) | biological indicator,bioindikátor [eko.] RNDr. Pavel Piskač |
biological magnification
(encz) | biological magnification,biomagnifikace [eko.] RNDr. Pavel Piskač |
biological method of waste disposal
(encz) | biological method of waste disposal,biologická metoda zneškodňování
odpadu [eko.] RNDr. Pavel Piskač |
biological plant protection preparation
(encz) | biological plant protection preparation,biologický přípravek na ochranu
rostlin [eko.] RNDr. Pavel Piskač |
biological qualitative analysis
(encz) | biological qualitative analysis,biologický kvalitativní rozbor
(hydrobiologie) [eko.] RNDr. Pavel Piskač |
biological quantitative analysis
(encz) | biological quantitative analysis,biologický kvantitativní rozbor
(hydrobiologie) [eko.] RNDr. Pavel Piskač |
biological rhythm
(encz) | biological rhythm,biologický rytmus [eko.] RNDr. Pavel Piskač |
biological system
(encz) | biological system,biologický systém [eko.] RNDr. Pavel Piskač |
biological test
(encz) | biological test,biologický test [eko.] RNDr. Pavel Piskačbiological test,biologický test (hydrobiologie) [eko.] RNDr. Pavel
Piskačbiological test,biotest (hydrobiologie) [eko.] RNDr. Pavel Piskač |
biological warfare
(encz) | biological warfare,biologické vedení války [eko.] RNDr. Pavel Piskačbiological warfare,biologické zbraně |
biological water charakteristic
(encz) | biological water charakteristic,biologická charakteristika
vody [eko.] RNDr. Pavel Piskač |
biological weapon
(encz) | biological weapon,biologická zbraň [eko.] RNDr. Pavel Piskač |
biologically
(encz) | biologically,biologicky |
biotechnologic macrosystem
(encz) | biotechnologic macrosystem,biotechnologický makrosystém [eko.] RNDr.
Pavel Piskač |
biotechnological
(encz) | biotechnological,biotechnologický adj: Zdeněk Brož |
campanological
(encz) | campanological,týkající se zvonařství n: Zdeněk Brož |
cardiologic
(encz) | cardiologic, adj: |
christological
(encz) | Christological, adj: |
chronologic
(encz) | chronologic,chronologický adj: Zdeněk Brož |
chronologic sampling
(encz) | chronologic sampling,časový odběr vzorku (vody) [eko.] RNDr. Pavel
Piskač |
chronological
(encz) | chronological,chronologický adj: Zdeněk Brož |
chronological age
(encz) | chronological age, n: |
chronological record
(encz) | chronological record, n: |
chronological sequence
(encz) | chronological sequence, n: |
chronological succession
(encz) | chronological succession, n: |
chronologically
(encz) | chronologically,chronologicky adv: Zdeněk Brož |
climatological
(encz) | climatological,klimatologický adj: Zdeněk Brož |
cosmologic
(encz) | cosmologic, adj: |
cosmological
(encz) | cosmological,kosmologický adj: Zdeněk Brož |
|