---
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
