Class AnalyticalPhilosophyEngine
java.lang.Object
org.episteme.social.philosophy.AnalyticalPhilosophyEngine
Provides analytical philosophy tools for truth condition analysis
and linguistic structure verification.
This engine implements various analytical frameworks, including correspondence truth (Tarski) and language game analysis (Wittgenstein).
- Version:
- 6.0, July 21, 2014
- Author:
- Silvere Martin-Michiellot, Gemini AI (Google DeepMind)
-
Method Summary
Modifier and TypeMethodDescriptionstatic booleanevaluateCorrespondenceTruth(String sentence, Map<String, Boolean> worldFacts) Evaluates truth based on Tarski's correspondence theory.static booleanisEmpiricallyVerifiable(String statement) Determines if a statement is empirically verifiable based on the Presence of metaphysical vs physical terminology.static doublelanguageGameSimilarity(Set<String> rules1, Set<String> rules2) Calculates the similarity between two "Language Games" based on their rule sets.
-
Method Details
-
evaluateCorrespondenceTruth
Evaluates truth based on Tarski's correspondence theory. A sentence "p" is true if and only if p (the fact exists in the world).- Parameters:
sentence- The statement to evaluateworldFacts- A map representing the current known facts of the world- Returns:
- true if the sentence corresponds to a fact in the world
-
languageGameSimilarity
Calculates the similarity between two "Language Games" based on their rule sets. Uses the Jaccard similarity coefficient to measure overlap between linguistic practices.- Parameters:
rules1- set of rules for the first gamerules2- set of rules for the second game- Returns:
- similarity score between 0.0 and 1.0
-
isEmpiricallyVerifiable
Determines if a statement is empirically verifiable based on the Presence of metaphysical vs physical terminology.- Parameters:
statement- the sentence to analyze- Returns:
- true if the statement appears empirical (non-metaphysical)
-