Earthling Logic – A Benchmark-Based Perspective of Truth

Reasoning under uncertainty, vagueness, and incomplete information remains a central challenge across artificial intelligence, philosophy, and decision science. While classical logic guarantees deductive rigor through binary abstractions, probabilistic models and fuzzy systems handle randomness and vagueness in isolation—frequently compromising classical deductive laws or leaving truth values ungrounded.This paper presents Earthling Logic (EL), a formal framework that establishes a benchmark-based perspective of truth to unify deterministic, vague, and stochastic reasoning within a single semantic architecture. By replacing abstract truth tables and ungrounded model-theoretic assignments with explicit operational reference points—a truth benchmark and a falsehood benchmark—EL grounds logical connectives and statemental operations in empirical credibility. This benchmark-driven semanticsenables continuous, graded, and probabilistic assessments while preserving the full deductive power of classical logic.Through Statemental Credibility Logic (SCL) and Predicate Credibility Logic (PCL), EL provides an axiomatic foundation that connects epistemological theories of truth with computational requirements. The framework offers a transparent, interpretable substrate for hybrid AI architectures, neurosymbolic integration, and automated decision-making under heterogeneous evidence.

Authors

Institutions

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-09-16
DOI
https://doi.org/10.5281/zenodo.22802577
Primary Topic
Logic, Reasoning, and Knowledge
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
article

Earthling Logic – A Benchmark-Based Perspective of Truth

Xinjia Chen
Zenodo (CERN European Organization for Nuclear Research)
Logic, Reasoning, and Knowledge
article

Earthling Logic – A Benchmark-Based Perspective of Truth

Xinjia Chen
article en

Abstract

Reasoning under uncertainty, vagueness, and incomplete information remains a central challenge across artificial intelligence, philosophy, and decision science. While classical logic guarantees deductive rigor through binary abstractions, probabilistic models and fuzzy systems handle randomness and vagueness in isolation—frequently compromising classical deductive laws or leaving truth values ungrounded.This paper presents Earthling Logic (EL), a formal framework that establishes a benchmark-based perspective of truth to unify deterministic, vague, and stochastic reasoning within a single semantic architecture. By replacing abstract truth tables and ungrounded model-theoretic assignments with explicit operational reference points—a truth benchmark and a falsehood benchmark—EL grounds logical connectives and statemental operations in empirical credibility. This benchmark-driven semanticsenables continuous, graded, and probabilistic assessments while preserving the full deductive power of classical logic.Through Statemental Credibility Logic (SCL) and Predicate Credibility Logic (PCL), EL provides an axiomatic foundation that connects epistemological theories of truth with computational requirements. The framework offers a transparent, interpretable substrate for hybrid AI architectures, neurosymbolic integration, and automated decision-making under heterogeneous evidence.

Zenodo (CERN European Organization for Nuclear Research)
Northwestern State University (US)
Peace, Justice and strong institutions
Openalex Percentile: Top 8%
Logic, Reasoning, and Knowledge
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.