formal-logic-reasoner

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"}
graph	{"domains":["domain:scientific-discovery"],"specializations":["specialization:scientific-research-methods"],"skillAreas":["skill-area:data-analysis","skill-area:statistical-analysis","skill-area:deep-web-research"],"workflows":["workflow:experiment-design","workflow:peer-review-cycle"],"roles":["role:research-engineer","role:computational-scientist"]}

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