Skip to content

An Artificial Reasoning System Dealing with Thales of Miletus’ Theory of the Soul

Sep 2026 · Sats: northern european journal of philosophy · 0 citations · 11 references

TL;DR

This paper tries to show that problems with the theory of the soul attributed to Thales of Miletus do not exist in Non-Axiomatic Logic, because extensional difference allows building compound terms that can be related to simple terms that are inconsistent with them.

Abstract

Abstract The theory of the soul attributed to Thales of Miletus presents a complexity. It seems to imply a contradiction. Thales appears to state that the beings devoid of a soul possess a soul. This claim causes problems with its logical consideration. At least, it reveals problems if it is addressed within the framework of classical logic. In this paper, I try to show that those problems do not exist in Non-Axiomatic Logic. Due to its concept of extensional difference, the latter logic can deal with seemly contradictory theses such as that ascribed to Thales of Miletus. This is because extensional difference allows building compound terms that can be related to simple terms that, in principle, are inconsistent with them.

View source

Similar papers

Open access 2026

CICERO’S INFERENCE FROM A NON-AXIOMATIC SYSTEM

Cicero posed a controversial claim. He proposed that the Stoics admitted an inference hard to accept. That inference is also incorrect in propositional calculus. It consists of two premises and a conclusion. The first premise is the negation of a conjunction. The second premise is the negation of one of the conjuncts o...

Miguel López-Astorga · 0 citations
Preprint Sep 2026

Possibilistic Logic over a Logic of Formal Inconsistency

In this article, we have introduced a new possibilistic logic on a logic of formal inconsistency with the aim of developing a possibility theoretic framework to deal with uncertainty and inconsistency meaningfully without leading to a system collapse. We have discussed the syntax and semantics for this logic and have p...

E. Jain, Sankha S. Basu · 0 citations
Open access Aug 2026

A Material Theory of Abduction

(Aizawa, 2025) proposed that scientists sometimes confirm hypotheses using abductive reasoning. That is, they presuppose that some H’s explaining some E provides some reason to believe H. As an example, Alan Hodgkin and Andrew Huxley used abductive reasoning to support their hypothesis that an influx of sodium ions int...

K. Aizawa · 0 citations
Open access Sep 2026

ALGORITMOS QUE PENSAM, HOMENS QUE DUVIDAM

This paper reflects on the tension between the Cartesian conception of thought as doubt and the attribution of “thought” to Artificial Intelligence, drawing on Descartes’s methodical doubt and cogito, read through Gilson and commentators such as Nascimento and Braga e Chaves, including the Cartesian criterion of langua...

Ana Pinheiro · 0 citations
Book Sep 2026

Explaining Knowledge

The book presents a novel, abductivist theory of knowledge and argues for it over its two main rivals: safety theory and causal explanationism. According to abductivism, a belief constitutes knowledge when, given the way it is formed or maintained, the best explanation of its being true rather than false lies in the...

Sven Bernecker · 0 citations
Open access Sep 2026

Model-Theoretic Inferentialism and Paraconsistency in Multiple-valued Structures

Carnap [5] in 1943 noticed that there exist some non-normal valuations that do not respect the usual truth conditions of classical connectives, yet are sound. This finding reveals an asymmetry between the syntax and semantics of classical logic and might be counted as a challenge to the inferentialist program. While se...

J. Jafari, Davood Hosseini · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.