name: formal-logic-reasoner description: Skill for formal logical reasoning and argument validation allowed-tools:

• Bash
• Read
• Write metadata: specialization: scientific-discovery domain: science category: Hypothesis Development skill-id: SK-SCIDISC-009

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

1. Parse argument structure
2. Formalize propositions
3. Apply inference rules
4. Check validity
5. Identify issues
6. 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