Logic Reasoning Skills — Development skill for Claude Code
Three Claude skills for logical analysis: argument-analyst, fallacy-detector, formal-logic-solver.
How to install Logic Reasoning Skills
This entry records only its repository, not the path inside it, so there is no
exact command to give. Open Halfofthesky/logic-reasoning-skills and copy the folder into
~/.claude/skills/, or the file into ~/.claude/agents/.
What Logic Reasoning Skills does
Three Claude skills for logical analysis: argument-analyst, fallacy-detector, formal-logic-solver. Built from open-access logic textbooks. CC BY-NC-SA 4.0.
Alternatives in Development
- PaperSpine — PaperSpine is a motivation-driven skill for learning from strong academic papers, building a paper’s central a 5k ★
- Academic Pptx Skill — A Claude Skill for creating academic presentations (conference talks, seminar slides, thesis defenses, grant b 811 ★
- Chiasmus — Chiasmus is an MCP server that gives language models access to formal verification 208 ★
README
Logic & Reasoning Skills
Three skills for Claude that bring formal and informal logic into your workflow. Built by synthesizing four open-access logic textbooks into operational instructions Claude can follow.
Each skill is a self-contained `SKILL.md` file — no scripts, no dependencies, no external references. Claude reads the file and gains the relevant analytical capability.
The three skills
argument-analyst
Systematic six-phase analysis of any argumentative text.
**What it does:**
- Argument detection — identifies which parts of a text are arguments (reasons given for a conclusion) vs. explanations, descriptions, or bare assertions.
- Reconstruction in standard form — extracts premises and conclusions, numbers them, marks their logical relationships, and resolves enthymemes (arguments with an unstated premise) through a five-step procedure: detect the gap, identify the addressee, generate competing candidate premises rather than one, tag each supplied premise by provenance (
TEXTUAL/CONVENTIONAL/ANALYST), and stop at the charity ceiling rather than repairing an argument into one the arguer never made. The is-ought gap is handled as one case of this procedure. - Validity and soundness assessment — applies the informal test of validity (can you imagine a scenario where the premises are true and the conclusion false?) for deductive arguments; assesses inductive strength for statistical generalizations, analogies, causal claims, and inferences to the best explanation.
- Fallacy detection — scans for 24+ named fallacies organized in four families.
- Explanation quality — evaluates inference-to-best-explanation arguments against seven explanatory virtues (explanatoriness, depth, power, falsifiability, modesty, simplicity, conservativeness).
- Verdict — overall assessment on a six-point scale from Sound/Cogent to Fallacious, plus Incomplete as stated for arguments that cannot be judged without a premise the text n
Related Skills
Pbi Comment
Add inline // comments and a structured description property to a single DAX measure. Comments explain busines
Ba
Business Analyst - Solution Claude Code Config Manager features using ultrathink reasoning and specialized sub
My Amazing Claude Skills
Deliverability & reporting toolkit for Claude Skills; mailbox health monitoring, sender swaps, campaign rescue
String Setup
Check that String Web Access is connected and all three tools respond. Usage: /string-setup
Glass
Run Claude Code inside Obsidian with an interactive terminal, quick-ask modal, and a built-in MCP server for s
Tg CLI
Agent-first Telegram CLI client built on MTProto. Designed for Claude Code agents and power users who need str
Related Agents
Logic Reviewer
Reviews logical flow, argument structure, transitions between sections, and narrative coherence
Theorist Critic
Theory critic. Reviews formal theoretical content -- assumptions, definitions, lemmas, theorems, proofs -- for
Counter Argument
Stress-test proposals: find counter-arguments, logical leaps, and hidden risks