Class ParaconsistentLogic

java.lang.Object

org.episteme.core.mathematics.logic.multivalued.ParaconsistentLogic

All Implemented Interfaces:

Logic<ParaconsistentLogic.TruthValue>

public class ParaconsistentLogic
extends Object
implements Logic<ParaconsistentLogic.TruthValue>

Paraconsistent logic.

Paraconsistent logic tolerates contradictions without trivializing (principle of explosion does NOT hold). Uses 4 truth values: True, False, Both, Neither.

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	ParaconsistentLogic.TruthValue

Method Summary

Modifier and Type	Method	Description
ParaconsistentLogic.TruthValue	and(ParaconsistentLogic.TruthValue a, ParaconsistentLogic.TruthValue b)	Logical AND (Conjunction).
ParaconsistentLogic.TruthValue	falseValue()	Returns the truth value representing "False" (contradiction).
static ParaconsistentLogic	getInstance()
ParaconsistentLogic.TruthValue	implies(ParaconsistentLogic.TruthValue a, ParaconsistentLogic.TruthValue b)	Logical Implication (a -> b).
boolean	isContradiction(ParaconsistentLogic.TruthValue value)	Checks if a value represents a contradiction.
boolean	isUndetermined(ParaconsistentLogic.TruthValue value)	Checks if a value is undetermined.
ParaconsistentLogic.TruthValue	not(ParaconsistentLogic.TruthValue a)	Logical NOT (Negation).
ParaconsistentLogic.TruthValue	or(ParaconsistentLogic.TruthValue a, ParaconsistentLogic.TruthValue b)	Logical OR (Disjunction).
String	toString()
ParaconsistentLogic.TruthValue	trueValue()	Returns the truth value representing "True" (tautology).

Methods inherited from class Object

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

Methods inherited from interface Logic

equivalent

Method Details

getInstance

public static ParaconsistentLogic getInstance()

trueValue

public ParaconsistentLogic.TruthValue trueValue()

Description copied from interface: Logic

Returns the truth value representing "True" (tautology).

Specified by:

trueValue in interface Logic<ParaconsistentLogic.TruthValue>

Returns:

the true value

falseValue

public ParaconsistentLogic.TruthValue falseValue()

Description copied from interface: Logic

Returns the truth value representing "False" (contradiction).

Specified by:

falseValue in interface Logic<ParaconsistentLogic.TruthValue>

Returns:

the false value

and

public ParaconsistentLogic.TruthValue and(ParaconsistentLogic.TruthValue a,
 ParaconsistentLogic.TruthValue b)

Description copied from interface: Logic

Logical AND (Conjunction).

Specified by:

and in interface Logic<ParaconsistentLogic.TruthValue>

Parameters:

a - first operand

b - second operand

Returns:

a AND b

or

public ParaconsistentLogic.TruthValue or(ParaconsistentLogic.TruthValue a,
 ParaconsistentLogic.TruthValue b)

Description copied from interface: Logic

Logical OR (Disjunction).

Specified by:

or in interface Logic<ParaconsistentLogic.TruthValue>

Parameters:

a - first operand

b - second operand

Returns:

a OR b

not

public ParaconsistentLogic.TruthValue not(ParaconsistentLogic.TruthValue a)

Description copied from interface: Logic

Logical NOT (Negation).

Specified by:

not in interface Logic<ParaconsistentLogic.TruthValue>

Parameters:

a - operand

Returns:

NOT a

implies

public ParaconsistentLogic.TruthValue implies(ParaconsistentLogic.TruthValue a,
 ParaconsistentLogic.TruthValue b)

Description copied from interface: Logic

Logical Implication (a -> b).

Specified by:

implies in interface Logic<ParaconsistentLogic.TruthValue>

Parameters:

a - antecedent

b - consequent

Returns:

a IMPLIES b

isContradiction

public boolean isContradiction(ParaconsistentLogic.TruthValue value)

Checks if a value represents a contradiction.

Parameters:

value - the truth value

Returns:

true if BOTH

isUndetermined

public boolean isUndetermined(ParaconsistentLogic.TruthValue value)

Checks if a value is undetermined.

Parameters:

value - the truth value

Returns:

true if NEITHER

toString

public String toString()

Overrides:

toString in class Object