logic
Part of speech: adj
noun
verb
Morphological type: simple
Topics: human-sciences
logic
mathematics
philosophy
sciences
social-science
sociology
Etymology: From Middle English logike, from Old French and Latin logicus, from Ancient Greek λογῐκός (logĭkós). Displaced native Old English flitcræftlīċ.
Inflected forms:
form: logick
pos: adj
tags: alternative
form: logics
pos: noun
tags: plural
form: logick
pos: noun
tags: alternative
form: logics
pos: verb
tags: present
singular
third-person
form: logicking
pos: verb
tags: participle
present
form: logicked
pos: verb
tags: participle
past
form: logicked
pos: verb
tags: past
form: logick
pos: verb
tags: alternative
Senses:
gloss: Logical.
pos: adj
gloss: A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method.
pos: noun
tags: uncountable
gloss: The study of the principles and criteria of valid inference and demonstration.
pos: noun
tags: countable
uncountable
examples: An old tradition has it that there are two branches of logic: deductive logic and inductive logic. More recently, the differences between these disciplines have become so marked that most people nowadays use "logic" to mean deductive logic, reserving terms like "confirmation theory" for at least some of what used to be called inductive logic. I shall follow the more recent practice, and shall construe "philosophy of logic" as "philosophy of deductive logic".
gloss: The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
pos: noun
tags: uncountable
gloss: A formal or informal language together with a deductive system or a model-theoretic semantics.
pos: noun
tags: countable
gloss: Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
pos: noun
tags: countable
examples: It's hard to work out his system of logic.
This hypothesis goes by many names, including group resistence, the threshold effect, and the gender paradox. Because the hypothesis holds such wide appeal, it is worth revisiting the logic behind it. The hypothesis is built on the factual observation that fewer females than males act antisocially.
"It's not a matter of opinion that she wasn't anywhere near her husband when somebody shoved a needle in him," I said, miffed. "I would have seen her."
"By that logic, nobody did it because you didn't see anybody."
gloss: The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
pos: noun
tags: uncountable
examples: Fred is designing the logic for the new controller.
gloss: A system of thought or collection of rhetoric, especially one associated with a social practice.
pos: noun
tags: countable
examples: "We identify four logics of empowerment (political, economic, social, and security) and apply these to understanding empowerment’s historical and contemporary meanings-in-use."
gloss: To engage in excessive or inappropriate application of logic.
pos: verb
tags: derogatory
intransitive
examples: Nay, is not the author himself "logicking" against logic, from the beginning of his book to the end ?
gloss: To apply logical reasoning to.
pos: verb
tags: transitive
examples: He logicked that one out. He snuck into Haiti and scored herbs to rev him and calm him.
gloss: To overcome by logical argument.
pos: verb
tags: transitive
examples: If things had gone as usual this night, if Kit had not logicked her into agreement, then she probably would have opened the door tonight.
Synonyms: study
predicate logic
logic
Related words: logician
logical
inference
argument
fallacy
premise
conclusion
validity
proposition
atomic proposition
predicate
relation
inference rule
syllogism
modus ponens
modus tollens
definition
axiom
theorem
proof
derivation
antecedent
consequent
necessity
possible world
formula
sentence
variable
free variable
bound variable
tautology
contradiction
Boolean algebra
truth value
interpretation
model
set
conjunction
disjunction
negation
implication
material implication
equivalence
quantifier
and
or
not
if
when
unless
thus
therefore
it follows
for each
exists
¬
~
∧
&
∨
→
↛
⇒
⇏
⊃
↔
⇔
≡
Aristotle
Frege
Russell
Gödel
Appendix:Glossary of logic
Derived words: antilogic
application logic
Aristotelian logic
arithmetic logic unit
Boolean logic
Brazilian logic
business logic
cacologic
choplogic
chop-logic
chop logic
chopped logic
classical logic
combinational logic
combinatory logic
computability logic
computation tree logic
constructive logic
deontic logic
description logic
diode logic
diode-transistor logic
domain logic
doxastic logic
emitter-coupled logic
epistemic logic
erasable programmable logic device
fat logic
first-order logic
Floyd-Hoare logic
formal logic
Frege-Russell logic
fridge logic
fuzzy logic
Gunning transceiver logic
Hoare logic
horologic
hyperlogic
illogic
informal logic
intensional logic
interpretability logic
intuitionistic logic
kettle logic
ladder logic
linear logic
logic analyzer
logicaster
logic board
logic bomb
logic-chopper
logic chopper
logic diagram
logic error
logic fallacy
logic form
logic high
logicism
logicist
logicize
logicker
logicless
logic level
logic low
logic maze
logic programming
magnetologic
many-sorted logic
many-valued logic
material logic
mathematical logic
metalogic
modal logic
modern logic
monadic predicate logic
monadic second-order logic
moon logic
multi-valued logic
musicologic
mytho-logic
negative logic
nigger logic
non-Aristotelian logic
non-classical logic
nonlogic
paraconsistent logic
paralogic
philosophical logic
positive logic
predicate logic
prelogic
presentation logic
programmable logic array
programmable logic controller
propositional logic
provability logic
pseudologic
quantificational logic
quantum logic
quantum logic gate
relevance logic
resistor-transistor logic
second-order logic
sentential logic
sequential logic
sublogic
symbolic logic
temporal logic
term logic
ternary logic
time-loop logic
t-norm fuzzy logic
traditional logic
transistor-transistor logic
uncommitted logic array
unlogic
zero-order logic
Translations: