Module fol 

First-Order Logic Verification

Implements NL→FOL translation and logical verification for LaserLogic.

Scientific Foundation

Based on NL2FOL framework research:

• 78-80% F1 on fallacy detection with FOL translation
• Structured logical forms enable mechanical verification
• Bridges natural language reasoning to formal proof

Approach

1. Parse natural language into logical structure
2. Translate to First-Order Logic
3. Check validity using satisfiability rules
4. Detect fallacies through logical patterns

Usage

use reasonkit::thinktool::fol::{FolVerifier, FolConfig};

let verifier = FolVerifier::new(FolConfig::default());
let result = verifier.verify(argument).await?;

Structs

DetectedFallacy

A detected fallacy with evidence

FolArgument

An argument structure for FOL verification

FolConfig

Configuration for FOL verification

FolPrompts

Prompt templates for FOL verification

FolResult

Complete FOL verification result

PremiseAssessment

Assessment of a single premise

Enums

Connective

Logical connectives

FolFallacy

Fallacy types detectable through FOL analysis

Formula

A formula in FOL

Quantifier

Quantifiers

SoundnessStatus

Soundness status (validity + true premises)

Term

A term in FOL (variable, constant, or function application)

ValidityStatus

Validity status