SKILL.md
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