1 |
Thirty-three Dialectics on a Theme: Hegelian Philosophy Vis-à-vis Beethoven's "Diabelli" Variations, Op. 120 ...
|
|
|
|
BASE
|
|
Show details
|
|
2 |
The Problem of Universal Salvation in the Theology of Emil Brunner ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Sed Contra, Ergo, Responsio: Honoring the Legacy of Christopher Morse as a Teacher of Christian Theology ...
|
|
|
|
BASE
|
|
Show details
|
|
4 |
Language death and diversity: philosophical and linguistic implications ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
Meaningfulness, rules, and use-conditional semantics ...
|
|
Reiland, Indrek. - : University of Southern California Digital Library (USC.DL), 2014
|
|
BASE
|
|
Show details
|
|
6 |
From Eros to Eschaton: Herbert Marcuse’s Liberation of Time ...
|
|
|
|
BASE
|
|
Show details
|
|
7 |
Socrates and the Politics of Music: Preludes of the Republic ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Geometrical First Principles in Proclus’ Commentary on the First Book of Euclid’s Elements ...
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Transreal Arithmetic as a Consistent Basis For Paraconsistent Logics ...
|
|
|
|
Abstract:
Paraconsistent logics are non-classical logics which allow non-trivial and consistent reasoning about inconsistent axioms. They have been proposed as a formal basis for handling inconsistent data, as commonly arise in human enterprises, and as methods for fuzzy reasoning, with applications in Artificial Intelligence and the control of complex systems. Formalisations of paraconsistent logics usually require heroic mathematical efforts to provide a consistent axiomatisation of an inconsistent system. Here we use transreal arithmetic, which is known to be consistent, to arithmetise a paraconsistent logic. This is theoretically simple and should lead to efficient computer implementations. We introduce the metalogical principle of monotonicity which is a very simple way of making logics paraconsistent. Our logic has dialetheaic truth values which are both False and True. It allows contradictory propositions, allows variable contradictions, but blocks literal contradictions. Thus literal reasoning, in this logic, ...
|
|
Keyword:
Artificial Intelligence and Image Processing; Computation Theory and Mathematics; FOS Computer and information sciences; FOS Philosophy, ethics and religion; Philosophy
|
|
URL: https://dx.doi.org/10.6084/m9.figshare.1096222.v2 https://figshare.com/articles/journal_contribution/Transreal_Arithmetic_as_a_Consistent_Basis_For_Paraconsistent_Logics/1096222/2
|
|
BASE
|
|
Hide details
|
|
14 |
Transreal Arithmetic as a Consistent Basis For Paraconsistent Logics ...
|
|
|
|
BASE
|
|
Show details
|
|
15 |
Collation of Formal Dialectical Games from the literature ...
|
|
|
|
BASE
|
|
Show details
|
|
16 |
Transreal Arithmetic as a Consistent Basis For Paraconsistent Logics ...
|
|
|
|
BASE
|
|
Show details
|
|
17 |
Collation of Formal Dialectical Games from the literature ...
|
|
|
|
BASE
|
|
Show details
|
|
18 |
What Does It Mean to Make-Up the Mind (οὕτω διανοεῖσθε)? ...
|
|
|
|
BASE
|
|
Show details
|
|
19 |
What Does It Mean to Make-Up the Mind (οὕτω διανοεῖσθε)? ...
|
|
|
|
BASE
|
|
Show details
|
|
20 |
Beyond the Static Phoneme Boundary: The Nonlinear Dynamics of Emerging Literacy ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|