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