It is argued that Brouwer’s philosophy of mathematics makes perfect sense if viewed from an Eastern philosophical perspective, as a mathematics in what Erich Fromm called “the being mode of existence.” The difficulty Western philosophers have accepting its validity under Brouwer’s own justifications is that mathematics is one of the highest prized treasures of Western philosophy (those footnotes to Plato’s dialogues).

We show that plane hyperbolic geometry, expressed in terms of points and the ternary relation of collinearity alone, cannot be expressed by means of axioms of complexity at most ∀∃∀, but that there is an axiom system, all of whose axioms are ∀∃∀∃ sentences. This remains true for Klingenberg's generalized hyperbolic planes, with arbitrary ordered fields as coordinate fields.

We provide a quantifier-free axiom system for plane hyperbolic geometry in a language containing only absolute geometrically meaningful ternary operations (in the sense that they have the same interpretation in Euclidean geometry as well). Each axiom contains at most 4 variables. It is known that there is no axiom system for plane hyperbolic consisting of only prenex 3-variable axioms. Changing one of the axioms, one obtains an axiom system for plane Euclidean geometry, expressed in the same language, all of whose (...) axioms are also at most 4-variable universal sentences. We also provide an axiom system for plane hyperbolic geometry in Tarski's language L B which might be the simplest possible one in that language. (shrink)

Problem 2 at the 56th International Mathematical Olympiad asks for all triples of positive integers for which ab−c, bc−a, and ca−b are all powers of 2. We show that this problem requires only a primitive form of arithmetic, going back to the Pythagoreans, which is the arithmetic of the even and the odd.

Reverse analyses of three proofs of the Sylvester-Gallai theorem lead to three different and incompatible axiom systems. In particular, we show that proofs respecting the purity of the method, using only notions considered to be part of the statement of the theorem to be proved, are not always the simplest, as they may require axioms which proofs using extraneous predicates do not rely upon.

We show that the first-order theory of a large class of plane geometries and the first-order theory of their groups of motions, understood both as groups with a unary predicate singling out line-reflections, and as groups acting on sets, are mutually inter-pretable.

Using the axiom system provided by Carsten Augat in [1], it is shown that the only 6-variable statement among the axioms of the axiom system for plane hyperbolic geometry (in Tarski's language L B =), we had provided in [3], is superfluous. The resulting axiom system is the simplest possible one, in the sense that each axiom is a statement in prenex form about at most 5 points, and there is no axiom system consisting entirely of at most 4-variable statements.

Hyperbolic geometry can be axiomatized using the notions of order andcongruence (as in Euclidean geometry) or using the notion of incidencealone (as in projective geometry). Although the incidence-based axiomatizationmay be considered simpler because it uses the single binary point-linerelation of incidence as a primitive notion, we show that it issyntactically more complex. The incidence-based formulation requires some axioms of the quantifier-type forallexistsforall, while the axiom system based on congruence and order can beformulated using only forallexists-axioms.

In this paper we provide quantifier-free, constructive axiomatizations for 2-dimensional absolute, Euclidean, and hyperbolic geometry. The main novelty consists in the first-order languages in which the axiom systems are formulated.

In this paper we provide a quantifier-free, constructive axiomatization of metric-Euclidean and of rectangular planes . The languages in which the axiom systems are expressed contain three individual constants and two ternary operations. We also provide an axiom system in algorithmic logic for finite Euclidean planes, and for several minimal metric-Euclidean planes. The axiom systems proposed will be used in a sequel to this paper to provide ‘the simplest possible’ axiom systems for several fragments of plane Euclidean geometry.

We prove that, in the framework of ordered geometry, the inner form of the Pasch axiom does not imply its outer form . We also show that OP can be properly split into IP and the weak Pasch axiom.

This paper provides a definitive answer, based on considerations derived from first-order logic, to the question regarding the status of elementary geometry, whether elementary geometry can be reduced to algebra. The answer we arrive at is negative, and is based on a series of structural questions that can be asked only inside the geometric formal theory, as well as the consideration of reverse geometry, which is the art of finding minimal axiom systems strong enough to prove certain geometrical theorems, given (...) that there are no algebraic structures that one could associate with those minimal axiom systems. (shrink)

Hyperbolic geometry can be axiomatized using the notions of order andcongruence (as in Euclidean geometry) or using the notion of incidencealone (as in projective geometry). Although the incidence-based axiomatizationmay be considered simpler because it uses the single binary point-linerelation of incidence as a primitive notion, we show that it issyntactically more complex. The incidence-based formulation requires some axioms of the quantifier-type \forall\exists\forall, while the axiom system based on congruence and order can beformulated using only \forall\exists-axioms.

As with the development of several logical notions, it is shown that the concept of resource-consciousness, i. e. the concern over the number of times that a given sentence is used in the proof of another sentence, has its origin in the foundations of geometry, pre-dating its appearence in logical circles as BCK-logic or affine logic.

In this paper we provide quantifier-free, constructive axiomatizations for several fragments of plane Euclidean geometry over Euclidean fields, such that each axiom contains at most 4 variables. The languages in which they are expressed contain only at most ternary operations. In some precisely defined sense these axiomatizations are the simplest possible.

In this paper we provide a quantifier-free constructive axiomatization for Euclidean planes in a first-order language with only ternary operation symbols and three constant symbols . We also determine the algorithmic theories of some ‘naturally occurring’ plane geometries.

H. Tietze has proved algebraically that the geometry of uniquely determined ruler and compass constructions coincides with the geometry of ruler and set square constructions. We provide a new proof of this result via new universal axiom systems for Euclidean planes of characteristic ≠ 2 in languages containing only operation symbols.

We provide a universal axiom system for plane hyperbolic geometry in a firstorder language with two sorts of individual variables, ‘points’ and ‘lines’ , containing three individual constants, A0, A1, A2, standing for three non-collinear points, two binary operation symbols, φ and ι, with φ = l to be interpreted as ‘[MATHEMATICAL SCRIPT SMALL L] is the line joining A and B’ , and ι = P to be interpreted as [MATHEMATICAL SCRIPT SMALL L]P is the point of intersection of (...) g and h , and two binary operation symbols, π1 and —2, with πi = g to be interpreted as ‘g is one of the two limiting paralle lines from P to [MATHEMATICAL SCRIPT SMALL L]. (shrink)

By rephrasing quantifier-free axioms as rules of derivation in sequent calculus, we show that the generalized Steiner–Lehmus theorem admits a direct proof in classical logic. This provides a partial answer to a question raised by Sylvester in 1852. We also present some comments on possible intuitionistic approaches.

We provide the syntactic equivalent for the theorem stating that all epimorphisms of finite projective planes are isomorphisms. The definition of the inequality relation that we provide adds little to our understanding of the theorem, since its very validity can be discerned only from the validity of the model-theoretic theorem regarding epimorphisms.

In 1893, Schatunowsky showed that 30 is the largest number all of whose totatives are primes; we show that this result cannot be proved, in any form, in Chebyshev's theorem (Bertrand's postulate), even if all irreducibles are primes. Bonse's inequality is shown to be indeed weaker than Chebyshev's theorem. Schatunowsky's theorem holds in together with Bonse's inequality, the existence of the greatest prime dividing certain types of numbers, and the condition that all irreducibles be prime.

We proved in the first part [1] that plane geometry over Pythagorean fields is axiomatizable by quantifier-free axioms in a language with three individual constants, one binary and three ternary operation symbols. In this paper we prove that two of these operation symbols are superfluous.

This paper continues the investigations begun in [6] and continued in [7] about quantifier-free axiomatizations of plane Euclidean geometry using ternary operations. We show that plane Euclidean geometry over Archimedean ordered Euclidean fields can be axiomatized using only two ternary operations if one allows axioms that are not first-order but universal Lw1,w sentences. The operations are: the transport of a segment on a halfline that starts at one of the endpoints of the given segment, and the operation which produces one (...) of the intersection points of a perpendicular on a diameter of a circle with that circle. MSC: 03F65, 51M05, 51M15. (shrink)

Two results of elementary number theory, going back to Kürschák and Nagell, stating that the sums $\sum_{i=1}^k \frac{m_i}{n+i}$ (with $k\geq 1$, $(m_i, n+i)=1$, $m_i\lessthan n+i$) and $\sum_{i=0}^k \frac{1}{m+in}$ (with $n, m, k$ positive integers) are never integers, are shown to hold in $\mathrm{PA}^{-}$, a very weak arithmetic, whose axiom system has no induction axiom.

We study the class of Sperner spaces, a generalized version of affine spaces, as defined in the language of pointline incidence and line parallelity. We show that, although the class of Sperner spaces is a pseudo-elementary class, it is not elementary nor even ℒ∞ω-axiomatizable. We also axiomatize the first-order theory of this class.

Humans are moral creatures. Among all life on Earth, we alone experience rich moral emotions, follow complex rules governing how we treat one another, and engage in moral dialogue. But how did human morality evolve? And can humans become morally evolved? -/- In A Better Ape, Victor Kumar and Richmond Campbell draw on the latest research in the biological and social sciences to explain the key role that morality has played in human evolution. They explore the moral traits that (...) humans share with chimpanzees; how a more complex moral mind enabled Homo sapiens to arise and out-compete other human species; and the place of morality alongside historic revolutions in technology and social organization. Throughout the book, Kumar and Campbell argue that morality co-evolved with intelligence and complex sociality. Morality prevents societal collapse and enables complex knowledge. -/- After unearthing the ancient origins of human morality, Kumar and Campbell use evolutionary theory to deliver profound insights about how to advance moral progress and resist moral regress, such as reducing animal suffering on industrial farms; capitalizing on the recent revolution in gay rights to foster a nascent revolution in transgender rights; opposing intersectional inequality that impacts women and people of color in lower socioeconomic classes; and addressing major problems of global inequality, especially impending crises of injustice caused by anthropogenic climate change. Understanding how we evolved--and how we continue to evolve--can help us become a better ape. (shrink)

El texto combina una mirada sobre algunos elementos filosóficos y aspectos anecdóticos que ligan a Heidegger, el ser, el pensar y la pregunta por la metafísica con un eventual curso de “Lógica” dictado en 1934 y cuyo contenido es la relación ética entre el hombre y el Estado. Al final aparece la figura del Führer, sus manos y el destino de la humanidad.

The present article delves into the extension of Knuth’s fundamental Boolean logic table to accommodate the complexities of indeterminate truth values through the integration of neutrosophic logic (Smarandache & Christianto, 2008). Neutrosophic logic, rooted in Florentin Smarandache’s groundbreaking work on Neutrosophic Logic (cf. Smarandache, 2005, and his other works), introduces an additional truth value, ‘indeterminate,’ enabling a more comprehensive framework to analyze uncertainties inherent in computational systems. By bridging the gap between traditional boolean operations and the indeterminacy present in various (...) real-world scenarios, this extension redefines logic tables, introducing neutrosophic operators that capture nuances beyond the binary realm. Through a thorough exploration of neutrosophic logic's principles and its implications in computational paradigms, this study proposes a novel approach to logic design that accommodates uncertain, imprecise, and incomplete information. This paradigm shift in logic tables not only broadens the spectrum of computing methodologies but also holds promise in fields such as decision-making systems and data analytics. This article amalgamates insights from over twelve key references encompassing seminal works in boolean logic, neutrosophic logic, and their applications in diverse scientific and computational domains, aiming to pave the way for a more robust and adaptable logic framework in computation. (shrink)

For long time, especially in the West, there is old paradigm that is strong separation between science and theology/religion matters. Especially, such a diverging path started from Galileo persecution, and also other patterns where religious authority seem to hold the last word on scientific issues. Other area of this World, seems to not hold such a diverging path, for instance it can be read in the works of physicist turned to religious philosopher, for instance Pavel Florensky and Nesteruk. That is (...) why we also discuss shortly about those scientists in this book. In the last chapter, we discuss about eureka, an experience which for a long time was attributed to divine spark or “God’s favor to an artist or to a scientist, such luminaries like Newton, Pascal, Leibniz etc.” Nonetheless, new methodology appears to be able to be generated once we accept balanced brain approach, where left brain and right brain hemispheres of humans can work together. (shrink)

In some recent papers (G. ‘t Hooft and others), it has been argued that quantum mechanics can arise from classical cellular automata. Nonetheless, G. Shpenkov has proved that the classical wave equation makes it possible to derive a periodic table of elements, which is very close to Mendeleyev’s one, and describe also other phenomena related to the structure of molecules. Hence the classical wave equation complements Schrödinger’s equation, which implies the appearance of a cellular automaton molecular model starting from classical (...) wave equation. The other studies show that the microworld is constituted as a tessellation of primary topological balls. The tessellattice becomes the origin of a submicrospic mechanics in which a quantum system is subdivided to two subsystems: the particle and its inerton cloud, which appears due to the interaction of the moving particle with oncoming cells of the tessellattice. The particle and its inerton cloud periodically change the momentum and hence move like a wave. The new approach allows us to correlate the Klein-Gordon equation with the deformation coat that is formed in the tessellatice around the particle. The submicroscopic approach shows that the source of any type of wave movements including the Klein-Gordon, Schrödinger, and classical wave equations is hidden in the tessellattice and its basic exciations – inertons, carriers of mass and inert properies of matter. We also discuss possible correspondence with Konrad Zuse’s calculating space. (shrink)

This book examines the thought of scholasticism’s Doctor eximius in its entirety: both philosophically and theologically. Many of the most distinctive features of Suárez’s thought are identified and evaluated in light of his immediate historical context. What emerges from the studies contained in this volume is the picture of a thinker who is profoundly steeped in the riches of divergent schools of thought and yet who manages to find his own unique voice to add to the chorus of scholasticism.

As such "Essay on Exoticism" is essential reading for both cultural theorists or those with an interest in the politics of difference and diversity.

In recent years, it becomes clear that ITER project in France, as one of the largest experimental fusion reactors underway, is far away from achieving net energy production. In this review article, we presented a short communication this week with Robert Neil Boyd, a senior physicist who happens to have his own working design of fusion reactor in the past. We hope that this transcript of our communication with him (as per 15-17th Nov. 2021) may be found useful for younger (...) scientists. (shrink)

Collective apologies on behalf of governments to historically mistreated minorities have become more common. It is unclear, however, how we should respond to these apologies and other practices that invoke collective responsibility for oppression (chapter 1). I review the current literature on collective responsibility to better understand the obstacles facing an account of collective responsibility for oppression (chapter 2). I then argue that we can make sense of these practices by holding powerful organized collectives (chapter 3) and privileged disorganized collectives (...) (chapter 4) responsible for oppression. These practices then can be what I call “morally legitimate” if they are confessions of self-blame, and this self-blame contains an element of collective-self protest (chapter 5). (shrink)

Contributed articles presented at a National seminar.

Contributed articles presented at a National Seminar on "Teaching Philosophy in India: a Vision for the Twenty-First Century Education", held at Andhra University, during 9-11 March 1998 and sponsered by Indian Council of Philosophical Research, New Delhi.