Branch Mathematics and Statistics Faculty and Staff Publications
Document Type
Book
Publication Date
2007
Abstract
ThisbookwrittenbyA. Schumann &F. Smarandache isdevotedtoadvances of non-Archimedean multiple-validity idea and its applications to logical reasoning. Leibnitz was the first who proposed Archimedes’ axiom to be rejected. He postulated infinitesimals (infinitely small numbers) of the unit interval [0,1] which are larger than zero, but smaller than each positive real number. Robinson applied this idea into modern mathematics in [117] and developed so-called non-standard analysis. In the framework of non-standard analysis there were obtained many interesting results examined in [37], [38], [74], [117].
There exists also a different version of mathematical analysis in that Archimedes’ axiom is rejected, namely, p-adic analysis (e.g., see: [20], [86], [91], [116]).
...
Let us remember that the first logical multiple-valued system is proposed by the Polish logician Jan L ukasiewicz in [90]. For the first time he spoke about the idea of logical many-validity at Warsaw University on 7 March 1918 (Wyk lad poz˙egnalny wyg loszony w auli Uniwersytetu Warszawskiego w dniu 7 marca 1918 r., page 2). However L ukasiewicz thought already about such a logic and rejection of the Aristotelian principle of contradiction in 1910 (O zasadzie sprzeczno`sci u Arystotelesa, Krak´ow 1910). Creating many-valued logic, L ukasiewicz was inspired philosophically. In the meantime, Post designed his many-valued logic in 1921 in [105] independently and for combinatorial reasons as a generalization of Boolean algebra.
Publisher
American Research Press
ISSN
978-1-59973-026-4
Language (ISO)
English
Keywords
neutrality, many-valued logic, Jan Lukasiewicz
Recommended Citation
Smarandache, Florentin and Andrew Schumann. "Neutrality and Many-Valued Logics." (2007). https://digitalrepository.unm.edu/math_fsp/295
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.