skills.rest
human-avatar
human-avatarOFFICIAL
Explore all skills by this author →
GitHub

logic

Diagnose flawed reasoning and apply structured logical methods to validate or repair arguments.

212|23|Updated May 23, 2026
Search Tags:#logic#consistency checking#fallacy detection#constraint mapping#argument validation#causality mapping#reasoning repair
One-click install
npx skills add https://github.com/human-avatar/skills-for-humanity --skill logic-human-avatar
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: logic
Source: https://github.com/human-avatar/skills-for-humanity/tree/main/skills/logic
Command: npx skills add https://github.com/human-avatar/skills-for-humanity --skill logic-human-avatar

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

It solves the problem of unclear or flawed reasoning by diagnosing what logical work is needed (validation, contradiction finding, dependency mapping, constraint analysis, or repair) and then applying the right structured method.

Core Features & Use Cases

  • Routing and guided tool selection: Choose the correct logic workflow for tasks like validating premises, checking soundness, or repairing arguments.
  • Deep logical diagnostics: Identify hidden assumptions, contradictions, fallacies, causal dependencies, and constraint conflicts.
  • Repair, not just critique: When reasoning fails, produce a corrected version with premises and inferences that actually work.

Use case examples: validating whether a proposal’s conclusion follows from its premises, reviewing a spec for internal contradictions, mapping causal prerequisites for a plan, or identifying negotiable versus fixed constraints in a decision.

Quick Start

Use the logic skill to pressure-test and repair an argument about your plan by pasting the argument text and stating the conclusion you want to verify.

Frequently Asked Questions about logic

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I validate if a conclusion actually follows from its premises?▼

Argument validation checks if a conclusion logically follows from its premises by diagnosing hidden assumptions, identifying fallacies, and testing soundness. It applies structured methods to stress-test reasoning and confirm logical consistency.

What is the best way to check a specification for internal contradictions?▼

Consistency checking identifies internal contradictions and hidden conflicts within specifications by mapping constraints and dependencies. It produces structured logic reports that highlight conflicting requirements and assess underlying assumptions.

How do I map causal dependencies and constraints for a complex plan?▼

Causality and constraint mapping identifies prerequisites and dependencies by analyzing logical relationships within a plan. It maps fixed versus negotiable constraints, producing a structured overview of causal requirements for decision-making.

Can reasoning repair fix broken arguments instead of just pointing out flaws?▼

Reasoning repair corrects broken arguments by diagnosing logical failures and producing a corrected version. It fixes invalid inferences and flawed premises, generating a repaired argument with sound logic instead of merely critiquing.

What logical method should I use to pressure-test a decision?▼

Pressure-testing a decision requires routing to the correct logical workflow based on the situation, such as consistency review or fallacy detection. It applies deep diagnostics to assess premises, contradictions, and constraints.

When do I need comprehensive logic reporting for a proposal?▼

Comprehensive logic reporting is needed when validating proposals, plans, or decisions to ensure soundness. It assesses premises, inferences, and assumptions, producing structured outputs that identify fallacies and map constraints.

Related Skills

Explore More Education & Research Skills→
sandraschisandraschi
18

logic-and-argumentation-specialist

Evaluate logical arguments for validity, soundness, and fallacies.

Community
Advanced
unicorn-pluginsunicorn-plugins
21

generate-spec

Generate Markdown declarative specifications from code analysis reports.

Official
Advanced
iani-kuliiani-kuli

prompt-optimizer

Optimize AI prompts through iterative evaluation and refinement loops.

Community
Advanced
toilahuonggtoilahuongg
10

rigorous-reasoning

Analyze arguments, detect fallacies, and evaluate claims using structured reasoning frameworks.

Community
Advanced