Class Syllogism

java.lang.Object

org.episteme.social.philosophy.Syllogism

All Implemented Interfaces:

Serializable

public class Syllogism
extends Object
implements Serializable

Represents a formal logical argument where a conclusion is inferred from two premises.

A classic syllogism consists of a Major Premise, a Minor Premise, and a Conclusion, following Aristotelian logical structures.

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
Syllogism(Premise majorPremise, Premise minorPremise, Premise conclusion)	Constructs a Syllogism.

Method Summary

Modifier and Type	Method	Description
Premise	getConclusion()
Premise	getMajorPremise()
Premise	getMinorPremise()
boolean	isSound()	Checks if the argument is "sound".
String	toString()

Methods inherited from class Object

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

Constructor Details

Syllogism

public Syllogism(Premise majorPremise,
 Premise minorPremise,
 Premise conclusion)

Constructs a Syllogism.

Parameters:

majorPremise - the major premise (containing the major term)

minorPremise - the minor premise (containing the minor term)

conclusion - the inferred conclusion

Throws:

NullPointerException - if any premise is null

Method Details

getMajorPremise

public Premise getMajorPremise()

getMinorPremise

public Premise getMinorPremise()

getConclusion

public Premise getConclusion()

isSound

public boolean isSound()

Checks if the argument is "sound". A sound argument is one that is both valid (logical structure) and has true premises. Note: This method only checks the truth values of the components as defined; it does not validate the logical inference form itself (Use LogicSolver for formal validity).

Returns:

true if all premises and the conclusion are marked as true

toString

public String toString()

Overrides:

toString in class Object