Class LogicSolver

java.lang.Object

org.episteme.social.philosophy.LogicSolver

public final class LogicSolver
extends Object

A logic engine for evaluating formal logical structures within philosophical discourse.

This class provides high-level Aristotelian logic utilities (categorical syllogisms) and serves as a bridge to the more rigorous mathematical proof systems in org.episteme.core.mathematics.logic.proof.

Version:

6.0, July 21, 2014

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	LogicSolver.Proposition	Represents a categorical proposition (e.g., "All humans are mortal").

Method Summary

Modifier and Type	Method	Description
static boolean	hasContradiction(List<Belief> beliefs)	Checks for explicit logical contradictions within a system of beliefs.
static boolean	isValidSyllogism(LogicSolver.Proposition major, LogicSolver.Proposition minor, LogicSolver.Proposition conclusion)	Checks if a categorical syllogism is valid based on classical Aristotelian rules.
static Map<String,Boolean>	truthTableAnd(boolean p, boolean q)	Calculates the truth table result for a logical AND operation.
static boolean	verifyFormalProof(Proof proof)	Integrates with the mathematical proof system to verify a complex argument.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

isValidSyllogism

public static boolean isValidSyllogism(LogicSolver.Proposition major,
 LogicSolver.Proposition minor,
 LogicSolver.Proposition conclusion)

Checks if a categorical syllogism is valid based on classical Aristotelian rules. Currently supports standard forms like Barbara (AAA-1) and Celarent (EAE-1).

For more advanced formal proof analysis involving predicate or propositional logic, see the ProofVerifier in the core mathematics module.

Parameters:

major - Major proposition (contains predicate of conclusion)

minor - Minor proposition (contains subject of conclusion)

conclusion - The conclusion to test

Returns:

true if the syllogism is formally valid

verifyFormalProof

public static boolean verifyFormalProof(Proof proof)

Integrates with the mathematical proof system to verify a complex argument.

Parameters:

proof - the formal mathematical proof to verify

Returns:

true if the proof is valid according to mathematical inference rules

truthTableAnd

public static Map<String,Boolean> truthTableAnd(boolean p,
 boolean q)

Calculates the truth table result for a logical AND operation.

Parameters:

p - First belief variable

q - Second belief variable

Returns:

Map containing representation and result

hasContradiction

public static boolean hasContradiction(List<Belief> beliefs)

Checks for explicit logical contradictions within a system of beliefs.

Parameters:

beliefs - List of beliefs to check

Returns:

true if a contradiction is found