- Formal logical apparatus(describing the tools used in logic)
- A structured system of rules and symbols used to test whether arguments are valid and conclusions follow from their starting points.
- Hansen and Graham(contemporary experts cited as authorities on the topic)
- Modern scholars who study ancient Chinese philosophy and have written extensively about Mohist logic and reasoning.
- Inferential grounds(the foundation of what makes logical reasoning work)
- The reasons or evidence that support drawing a conclusion from something you already know.
- Mohist(describing the school of thought being discussed)
- Related to Mohism, an ancient Chinese philosophical tradition that valued logical reasoning, universal love, and opposing aggressive warfare.
- Propositional structures(what Mohist rules actually operate on, as opposed to just word similarities)
- Statements or claims that can be true or false, and how they connect to and relate to each other logically.
- Semantic resemblances(contrasted with real logical reasoning—the statement argues Mohists avoided this trick)
- Similarities in meaning or word choice that might make arguments *sound* good even if they're not logically valid.
- inference rules(As used in the DIRT system by Lin and Pantel)
- Rules expressing approximate equivalence between relational phrases, such as 'X finds a solution to Y ≈ X solves Y', derived statistically from text corpora.
- knowledge(Distinguished from mere true belief, which may be the product of indoctrination and need not exercise deliberative capacities.)
- Justified true belief — true belief that has been arrived at through the exercise of deliberative capacities, including comparison of and deliberation among alternatives.
- taxonomy(as used in cognitive science)
- A system for organizing and classifying things into categories—like how biologists organize living creatures into species and families.