formal-logic-reasoner
// Skill for formal logical reasoning and argument validation
$ git log --oneline --stat
stars:384
forks:73
updated:March 4, 2026
SKILL.mdreadonly
SKILL.md Frontmatter
nameformal-logic-reasoner
descriptionSkill for formal logical reasoning and argument validation
allowed-toolsBash,Read,Write
metadata[object Object]
Formal Logic Reasoner Skill
Purpose
Apply formal logic for argument validation, logical consistency checking, and deductive reasoning in scientific contexts.
Capabilities
- Formalize arguments
- Check logical validity
- Identify fallacies
- Perform deductive reasoning
- Validate proof structures
- Generate logical conclusions
Usage Guidelines
- Parse argument structure
- Formalize propositions
- Apply inference rules
- Check validity
- Identify issues
- Report conclusions
Process Integration
Works within scientific discovery workflows for:
- Argument validation
- Theory consistency checking
- Logical analysis
- Proof verification
Configuration
- Logic system selection
- Formalization rules
- Validation criteria
- Output formatting
Output Artifacts
- Formalized arguments
- Validity assessments
- Fallacy reports
- Logical analyses