Rigorous Reasoning

Definitions And Concepts

Definitions and Conceptual Precision

How to construct, classify, and evaluate definitions rigorously

Students learn what definitions do, how different kinds of definitions serve different purposes, and how to assess definitions for scope, circularity, vagueness, and practical usefulness. The unit equips learners to both build better definitions and critique sloppy ones.

FoundationsIntermediate260 minutes0/4 lessons started

Study Flow

How to work through this unit without overwhelm

1. Read the model first

Each lesson opens with a guided explanation so the learner sees what the core move is before any saved response is required.

2. Study an example on purpose

The examples are there to show what strong reasoning looks like and where the structure becomes clearer than ordinary language.

3. Practice with a target in mind

Activities work best when the learner already knows what the answer needs to show, what rule applies, and what mistake would make the response weak.

Lesson Sequence

What you will work through

Open lesson 1
Lesson 1

What Definitions Are For

Introduces the purposes of definitions and why not every context calls for the same kind of definition, establishing the habit of asking 'what is this definition trying to do?' before evaluating it.

Start with a short reading sequence, study 1 worked example, then use 15 practice activitys to test whether the distinction is actually clear.

Guided reading1 worked example15 practice activitys
Concept15 activities1 example
Lesson 2

Kinds of Definitions and When to Use Them

Breaks down the major kinds of definitions (lexical, stipulative, precising, theoretical, persuasive) and connects each one to the contexts where it is most appropriate.

Read for structure first, inspect how the example turns ordinary language into cleaner form, then complete 15 formalization exercises yourself.

Guided reading1 worked example15 practice activitystranslation support
Formalization15 activities1 example
Lesson 3

Constructing and Evaluating Definitions

Shows how to build definitions and test them for circularity, scope, obscurity, and usefulness, with a focus on the genus-and-differentia structure and necessary/sufficient conditions.

Use the reading and examples to learn what the standards demand, then practice applying those standards explicitly in 15 activitys.

Guided reading2 worked examples15 practice activitysstandards focus
Rules15 activities2 examples
Lesson 4

Capstone: Building, Testing, and Defending a Definition

An integrative lesson that asks students to take a contested term in ordinary language, construct a definition, stress-test it against counterexamples, and revise it when the tests expose weaknesses.

Each lesson now opens with guided reading, then moves through examples and 2 practice activitys so you are not dropped into the task cold.

Guided reading1 worked example2 practice activitys
Capstone2 activities1 example

Rules And Standards

What counts as good reasoning here

Fit the Definition to Its Purpose

A good definition should be judged in light of whether it is lexical, stipulative, precising, theoretical, or persuasive, and whether that type fits the context.

Common failures

  • A persuasive definition is used where neutral clarification is needed.
  • A lexical definition is demanded where technical precision is required.

Avoid Circularity and Obscurity

A definition should clarify rather than merely repeat or obscure the target concept.

Common failures

  • The definition uses the target term or a near-synonym without explanation.
  • The wording is more obscure than the term being defined.

Check Scope and Border Cases

A definition should be tested against clear cases, excluded cases, and borderline cases to check for overbreadth and narrowness.

Common failures

  • The definition is too broad and includes non-instances.
  • The definition is too narrow and leaves out genuine instances.

Aim for Necessary and Sufficient Conditions

A rigorous definition should state conditions that are both necessary (every instance has them) and jointly sufficient (anything having them is an instance).

Common failures

  • The definition states only a necessary condition, leaving some cases unclassified.
  • The definition states only a sufficient condition, letting other instances slip through.

Formalization Patterns

How arguments get translated into structure

Definition Analysis Schema

Input form

proposed_definition

Output form

definition_evaluation

Steps

  • Identify the target term (definiendum).
  • Identify the kind of definition being used.
  • State the intended purpose or context.
  • Check for circularity, overbreadth, narrowness, obscurity, and misuse.
  • Test the definition against clear cases, excluded cases, and border cases.
  • Revise the definition if needed.

Common errors

  • Evaluating all definitions as if they had the same purpose.
  • Ignoring whether the definition fits the intended scope.

Genus-and-Differentia Builder

Input form

target_concept

Output form

structured_definition

Steps

  • Identify the broader class to which the thing belongs.
  • Identify the distinguishing feature that sets it apart from other members of that class.
  • Draft the definition in one sentence of the form 'An X is a Y that Z.'
  • Test the definition against clear cases and borderline cases.
  • Revise for scope and clarity.

Common errors

  • Naming a differentia that is too broad to distinguish the target.
  • Choosing a genus that is too remote or too narrow.

Concept Map

Key ideas in the unit

Definiendum

The term being defined — the word or phrase whose meaning the definition is trying to clarify.

Definiens

The part of the definition that does the defining — the explanation or account that supplies meaning to the definiendum.

Function of a Definition

The job a definition is intended to perform in a specific context, such as reporting usage, sharpening a concept, or fixing a technical meaning.

Circularity

A defect in which the definiens depends on the very concept it is supposed to explain — directly or through near-synonyms.

Scope

The range of cases a definition includes or excludes — neither so broad that it admits non-instances, nor so narrow that it excludes real ones.

Genus and Differentia

A classical pattern that defines a term by naming a broader class (genus) and the distinguishing feature (differentia) that sets the target apart from other members of that class.

Kinds of Definitions

Different categories of definitions such as lexical, stipulative, precising, theoretical, and persuasive, each suited to different tasks.

Necessary and Sufficient Conditions

A necessary condition is one that must hold for the term to apply; a sufficient condition is one whose holding guarantees the term applies. A good definition typically states conditions that are both.

Assessment

How to judge your own work

Assessment advice

  • What is this definition trying to accomplish?
  • Would a different type of definition better fit this context?
  • Is the wording doing real work or just stating a label?
  • Assuming that every good definition must be purely lexical.
  • Evaluating function before identifying the definiendum.
  • Is this definition trying to report use, fix use, sharpen use, explain use, or influence attitude?
  • Does that goal fit the context?
  • If it's persuasive, what would a neutral version look like?
  • Treating persuasive language as if it were conceptual clarification.
  • Forcing a definition into a single type when it blends two (e.g., theoretical and precising).
  • Does the definition include only the right cases?
  • Does it exclude clear non-cases?
  • Does it explain the term without circularity?
  • Is the definiens simpler than the definiendum?
  • Confusing rhetorical force with conceptual precision.
  • Testing only with easy clear cases and skipping borderline cases.
  • Is my definiens free of the definiendum?
  • Have I tested my definition against specific counterexamples?
  • Does my final definition match the purpose of the use case?
  • Accepting the first draft without a stress test.
  • Treating edge cases as unimportant.

Mastery requirements

  • Classify Definition TypesSuccessful Classifications · 8_successful_classifications
  • Evaluate Scope And CircularityPercent Consistent · 80_percent_consistent
  • Construct Clear DefinitionsSuccessful Revisions · 4_successful_revisions
  • Test With Case TypesSuccessful Test Runs · 3_successful_test_runs

History Links

How earlier logicians shaped modern tools

Socrates

In Plato's dialogues, pressed interlocutors to move from examples to precise accounts of what a thing is — the paradigm of the 'What is X?' question that drives rigorous definition.

Concept clarification, boundary testing, and definitional scrutiny.

Aristotle

In the Posterior Analytics and Topics, developed influential ideas about definition, classification, genus, and differentia. Argued that a proper definition should state the essence of a thing through its genus and specific difference.

Structured definitions and disciplined scope analysis.

Rudolf Carnap

Developed the notion of 'explication' — replacing a vague pre-theoretical concept with a more precise, scientifically useful one. His criteria were similarity, exactness, fruitfulness, and simplicity.

The modern practice of precising definitions in science and philosophy.