logic
Language: English
Part of speech: noun
Pronunciation: enpr: lŏj'ĭk
ipa: /ˈlɒd͡ʒ.ɪk/
enpr: lŏ'jĭk
ipa: /ˈlɑ.d͡ʒɪk/
enpr: lŏj'ĭk
ipa: /ˈlɔd͡ʒ.ɪk/
rhymes: -ɒdʒɪk
Forms: form: logics
form: logick
Etymology: From Middle English logik, from Old French logike, from Latin logica, from Ancient Greek λογική (logikḗ, “logic”), from feminine of λογικός (logikós, “of or pertaining to speech or reason or reasoning, rational, reasonable”), from λόγος (lógos, “speech, reason”). Displaced native Old English flitcræft (literally “art of arguing”).
Senses: glosses: 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.
examples: text: 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".
ref: 2001, Mark Sainsbury, Logical Forms - An Introduction to Philosophical Logic, Second Edition, Blackwell Publishing, page 9:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: The study of the principles and criteria of valid inference and demonstration.
topics: mathematics
sciences
glosses: The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
topics: mathematics
sciences
glosses: A formal or informal language together with a deductive system or a model-theoretic semantics.
examples: text: It's hard to work out his system of logic.
text: 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.
ref: 2001 September 27, Terrie E. Moffitt, Avshalom Caspi, Michael Rutter, Phil A. Silva, Sex Differences in Antisocial Behaviour: Conduct Disorder, Delinquency, and Violence in the Dunedin Longitudinal Study, Cambridge University Press, →ISBN, page 151:
text: "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."
ref: 2020, Dan Andriacco, Murderers' Row:
glosses: Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
examples: text: Fred is designing the logic for the new controller.
glosses: The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
examples: text: "We identify four logics of empowerment (political, economic, social, and security) and apply these to understanding empowerment’s historical and contemporary meanings-in-use."
ref: 2023, Alba Rosa Boer Cueva et al., Logics of empowerment in the women, peace and security agenda:
topics: human-sciences
sciences
social-science
sociology
glosses: A system of thought or collection of rhetoric, especially one associated with a social practice.
Synonyms: topics: mathematics
sciences
logic
mathematics
philosophy
human-sciences
sciences
logic
mathematics
philosophy
human-sciences
sciences
word: study
topics: mathematics
sciences
sense: system
word: formal system
topics: philosophy
human-sciences
sciences
word: predicate logic
word: logic
Meronyms: word: formal logic
word: Aristotelian logic
word: classical logic
word: symbolic logic
word: propositional logic
word: predicate logic
word: first-order logic
word: second-order logic
word: modal logic
word: temporal logic
word: fuzzy logic
word: intuitionistic logic
word: deductive logic
word: inductive logic
word: logical calculus
word: propositional calculus
word: predicate calculus
Derived terms: antilogic
application logic
Aristotelian logic
arithmetic logic unit
Boolean logic
Brazilian logic
business logic
cacologic
chop logic
choplogic
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
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 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
Related terms: word: logician
word: logical
word: inference
word: argument
word: fallacy
word: premise
word: conclusion
word: validity
word: proposition
word: atomic proposition
word: predicate
word: relation
word: inference rule
word: syllogism
word: modus ponens
word: modus tollens
word: definition
word: axiom
word: theorem
word: proof
word: derivation
word: antecedent
word: consequent
word: necessity
word: possible world
word: formula
word: sentence
word: variable
word: free variable
word: bound variable
word: tautology
word: contradiction
word: Boolean algebra
word: truth value
word: interpretation
word: model
word: set
word: conjunction
word: disjunction
word: negation
word: implication
word: material implication
word: equivalence
word: quantifier
word: and
word: or
word: not
word: if
word: when
word: unless
word: thus
word: therefore
word: it follows
word: for each
word: exists
word: ¬
word: ~
word: ∧
word: &
word: ∨
word: →
word: ↛
word: ⇒
word: ⇏
word: ⊃
word: ↔
word: ⇔
word: ≡
word: Aristotle
word: Frege
word: Russell
word: Gödel
word: Appendix:Glossary of logic