Formulaic Extraction

Approx. Age: ~123 years, 1 mo old • Born: Jun 22 - 28, 1903

Curriculum Level

Level 12

Level Progress

2305/ 4096

Current Age

~123 years, 1 mo old

Cohort

Jun 22 - 28, 1903

🚧 Content Planning

Initial research phase. Tools and protocols are being defined.

Status: Planning

Planning

Selected

Ordered

Received

Active

Current Stage: Planning

Rationale & Protocol

Shelf justification and protocol are being finalized.

Primary Tool Tier 1 Selection

Primary tools are being selected for this week.

DIY / No-Tool Project (Tier 0)

A "No-Tool" project for this week is currently being designed.

Origin Path

1
From: "Human Potential & Development."
Split Justification: Development fundamentally involves both our inner landscape (**Internal World**) and our interaction with everything outside us (**External World**). (Ref: Subject-Object Distinction)..
➔ "Internal World (The Self)" (W1)
"External World (Interaction)" (W2)
2
From: "Internal World (The Self)"
Split Justification: The Internal World involves both mental processes (**Cognitive Sphere**) and physical experiences (**Somatic Sphere**). (Ref: Mind-Body Distinction)
➔ "Cognitive Sphere" (W3)
"Somatic Sphere" (W5)
3
From: "Cognitive Sphere"
Split Justification: Cognition operates via deliberate, logical steps (**Analytical Processing**) and faster, intuitive pattern-matching (**Intuitive/Associative Processing**). (Ref: Dual Process Theory)
➔ "Analytical Processing" (W7)
"Intuitive/Associative Processing" (W11)
4
From: "Analytical Processing"
Split Justification: Analytical thought engages distinct symbolic systems: abstract logic and mathematics (**Quantitative/Logical Reasoning**) versus structured language (**Linguistic/Verbal Reasoning**).
➔ "Quantitative/Logical Reasoning" (W15)
"Linguistic/Verbal Reasoning" (W23)
5
From: "Quantitative/Logical Reasoning"
Split Justification: Logical reasoning can be strictly formal following rules of inference (**Deductive Proof**) or drawing general conclusions from specific examples (**Inductive Reasoning Case Study**). (L5 Split)
➔ "Deductive Proof." (W31)
"Inductive Reasoning Case Study" (W47)
6
From: "Deductive Proof."
Split Justification: Deductive systems can be analyzed based on the relationship between whole statements (**Propositional Logic**) or the properties of objects and their relations (**Predicate Logic**). (L6 Split)
➔ "Propositional Logic" (W63)
"Predicate Logic" (W95)
7
From: "Propositional Logic"
Split Justification: Propositional logic involves determining the validity of arguments (**Truth Table Construction**) and applying rules of inference (**Using Modus Ponens/Tollens**).
➔ "Truth Table Construction" (W127)
"Using Modus Ponens/Tollens" (W191)
8
From: "Truth Table Construction"
Split Justification: The process is divided into defining the table's structural framework (Table Structuring) and the subsequent, row-by-row calculation of truth values based on logical operators (Truth Value Computation).
➔ "Table Structuring" (W255)
"Truth Value Computation" (W383)
9
From: "Table Structuring"
Split Justification: This split separates the setup of the table's vertical axis (Column Definition), which identifies all propositional variables and operators, from the setup of its horizontal axis (Row Enumeration), which systematically lists every possible combination of truth values.
"Column Definition" (W511)
➔ "Row Enumeration" (W767)
10
From: "Row Enumeration"
Split Justification: Row enumeration involves two distinct steps: first, calculating the total number of required rows via Row Quantity Determination (2^n), and second, systematically generating the unique combinations of truth values through Truth Value Permutation.
➔ "Row Quantity Determination" (W1279)
"Truth Value Permutation" (W1791)
11
From: "Row Quantity Determination"
Split Justification: This split divides the process into Variable Set Identification, which involves counting the unique propositional variables (n), and the Power of Two Calculation, which computes the required number of rows using the formula 2^n.
➔ "Variable Set Identification" (W2303)
"Power of Two Calculation" (W3327)
12
From: "Variable Set Identification"
Split Justification: The set of variables is determined either by an Explicit Declaration provided with the problem or through Formulaic Extraction by parsing the logical proposition itself.
"Explicit Declaration" (W4351)
➔ "Formulaic Extraction" (W6399)
✓
Topic: "Formulaic Extraction" (W6399)

Research & Datasheets

No research files available.

What's Next? (Child Topics)

Final Topic Level

This topic does not split further in the current curriculum model.