We show that we in ways related to the classical Square of Opposition may define a Cube of Opposition for some useful statements, and we as a by-product isolate a distinct directive of being inviolable which deserves attention; a second central purpose is to show that we may extend our construction to isolate hypercubes of opposition of any finite cardinality when given enough independent modalities. The cube of opposition for obligations was first introduced publically in a lecture for the Square (...) of Opposition Conference in the Vatican in May 2014. -/- A COLORFUL ERRATUM: The article Cubes and Hypercubes of Opposition, with Ethical Ruminations on Inviolability, suffered a couple of mishaps when it was published in Logica Universalis, ISSN 1661-8297, 10(2-3), p. 373–376. The worst of them was that the colorful cube was printed in shades of grey, instead of decorating the sides with two transparent sides, and then a red, a yellow, a blue and a green side. The text of the article is not quite understandable because of this mishap, so I avail a colorfully updated version of the original article here. -/- . (shrink)

A three dimensional hypercube representing all of the 4,096 dyadic computations in a standard bivalent system has been created. It has been constructed from the 16 functions arrayed in a table of functional completeness that can compute a dyadic relationship. Each component of the dyad is an operator as well as a function, such as “implication” being a result, as well as an operation. Every function in the hypercube has been color keyed to enhance the display of emerging (...) patterns. At the minimum, the hypercube is a “multiplication table” of dyadic computations and produces values in a way that shortens the time to do operations that normally would take longer using conventional truth table methods. It also can serve as a theorem prover and creator. With the hypercube comes a deductive system without the need for axioms. The main significance of the 3-D hypercube at this point is that it is the most fundamental way of displaying all dyadic computations in binary space, thus serving as a way of normalizing the rendition of uninterpreted, or raw, binary space. The hypercube is a dimensionless entity, a standard by which in binary spaces can be measured and classified, analogous to a meter stick. (shrink)

The widely accepted two-dimensional circumplex model of emotions posits that most instances of human emotional experience can be understood within the two general dimensions of valence and activation. Currently, this model is facing some criticism, because complex emotions in particular are hard to define within only these two general dimensions. The present theory-driven study introduces an innovative analytical approach working in a way other than the conventional, two-dimensional paradigm. The main goal was to map and project semantic emotion space in (...) terms of mutual positions of various emotion prototypical categories. Participants (N = 187; 54.5% females) judged 16 discrete emotions in terms of valence, intensity, controllability and utility. The results revealed that these four dimensional input measures were uncorrelated. This implies that valence, intensity, controllability and utility represented clearly different qualities of discrete emotions in the judgments of the participants. Based on this data, we constructed a 3D hypercube-projection and compared it with various two-dimensional projections. This contrasting enabled us to detect several sources of bias when working with the traditional, two-dimensional analytical approach. Contrasting two-dimensional and three-dimensional projections revealed that the 2D models provided biased insights about how emotions are conceptually related to one another along multiple dimensions. The results of the present study point out the reductionist nature of the two-dimensional paradigm in the psychological theory of emotions and challenge the widely accepted circumplex model. (shrink)

The mind-body problem is intuitively familiar, as mental and physical entities mysteriously interact. However, difficulties arise when intertwining concepts of the self with mental and physical traits. To avoid confusion, I propose instead focusing on three categories, with the mental matching the mind and physical the body with respect to raw inputs and outputs. The third category, the self, will experience and measure the others. With this new classification, we can see difficulties clearly, specifically five questions covering interaction and correlation. (...) We break down the problem using both existing theories and a hypercube topology representing the solution. We show any satisfactory theory must explain both spatial interaction and content correlation, and that we cannot escape our topology, whatever our preferred fundamental substance and mind-body movement permutation. We conclude by looking outside the hypercube, noting how solutions such as existential monism, priority monism, and will-based cosmic-idealism avoid the dangers involved. (shrink)

This paper explores the relationship between the image and the time in which we live. In the first part, we critically engage with the image as a concept. The second part introduces the concept of imagotron, a conceptual symbiosis that defines the relationship between the image and electronics. This is illustrated by two manifestations of the imagotron: the hypercube and the hologram. The final part recapitulates the significance of the image in relation to technological developments and virtual reality.

The central aim of this paper is to present a Boolean algebraic approach to the classical Aristotelian Relations of Opposition, namely Contradiction and (Sub)contrariety, and to provide a 3D visualisation of those relations based on the geometrical properties of Platonic and Archimedean solids. In the first part we start from the standard Generalized Quantifier analysis of expressions for comparative quantification to build the Comparative Quantifier Algebra CQA. The underlying scalar structure allows us to define the Aristotelian relations in Boolean terms (...) and to propose a 3D visualisation by transforming a cube into an octahedron. In part two, the architecture of the CQA is shown to carry over, both to the classical quantifiers of Predicate Calculus and to the modal operators—which are given a Generalized Quantifier style re-interpretation. In this way we provide an algebraic foundation for Blanché’s Aristotelian hexagon as well as a 3D alternative to his 2D star-like visualisation. In a final part, a richer scalar structure is argued to underly the realm of Modality, thus generalizing the 3D algebra with eight (2 3 ) operators to a 4D algebra with sixteen (2 4 ) operators. The visual representation of the latter structure involves a transformation of the hypercube to a rhombic dodecahedron. The resulting 3D visualisation allows a straightforward embedding, not only of the classical Blanché star of Aristotelian relations or the paracomplete and paraconsistent stars of Béziau (Log Investig 10, 218–232, 2003) but also of three additional isomorphic Aristotelian constellations. (shrink)

Pixelism is the combination of three metaphysical thesis, namely a radical form of exdurantism, mereological nihilism and counterpart theory. Pixelism is a theory that evaluates all the metaphysical phenomena of persistence, composition and modality in a homogeneous and consistent manner. In a pixel world, there is no identity over time and over possible worlds and nothing persists over more than an instant or a world. Entities can be univocally identified by a five-coordinates system (the three spatial dimensions, the temporal one (...) and the possible worlds), and their relation is a counterpart relation both in different worlds and at different times or different regions of space. In this paper I will provide two models for pixelism: the first one takes pixels to be hypercubes, i. e. four-dimensional cubes, the acceptance of which is conditional on the acceptance of extended simples. The second one considers pixels as points in a four-dimensional space. (shrink)

The resistance between two arbitrary nodes in an infinite square lattice of identical resistors is calculated. The method is generalized to infinite triangular and hexagonal lattices in two dimensions, and also to infinite cubic and hypercubic lattices in three and more dimensions. © 1999..

Formulas of n variables of Łukasiewicz sentential calculus can be represented, via McNaughton’s theorem, by piecewise linear functions, with integer coefficients, from hypercube [0,1] n to [0,1], called McNaughton functions. As a consequence of the McNaughton representation of a formula it is obtained a canonical form of a formula. Indeed, up to logical equivalence, any formula can be written as an infimum of finite suprema of formulas associated to McNaughton functions which are truncated functions to $[0,1]$ of the restriction (...) to [0,1] n of single hyperplanes, for short, called simple McNaughton functions. In the present paper we will concern with the problem of presenting formulas of Lukasiewicz sentential calculus in normal form. Here we list the main results we obtained: a) we give an axiomatic description of some classes of formulas having the property to be canonically mapped one-to-one onto the class of simple Mc Naughton functions; b) we provide normal forms for Lukasiewicz sentential calculus, making use of formulas defined in a); c) we prove the polynomial complexity of formulas, in normal form, coming from a certain class described as in a); d) we extend the results described in a), b) and c) to Rational Lukasiewicz logic. (shrink)

To mitigate the spread of schistosomiasis, a deterministic human-bovine mathematical model of its transmission dynamics accounting for contaminated water reservoirs, including treatment of bovines and humans and mollusciciding is formulated and theoretically analyzed. The disease-free equilibrium is locally and globally asymptotically stable whenever the basic reproduction number R0<1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$R_0<1$$\end{document}, while global stability of the endemic equilibrium is investigated by constructing a suitable Lyapunov function. To support the analytical results, parameter values from published (...) literature are used for numerical simulations and where applicable, uncertainty analysis on the non-dimensional system parameters is performed using the Latin Hypercube Sampling and Partial Rank Correlation Coefficient techniques. Sensitivity analysis to determine the relative importance of model parameters to disease transmission shows that the environment-related parameters namely, εs\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varepsilon _s$$\end{document} (snails shedding rate of cercariae), ps\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p_s$$\end{document} (probability that cercariae shed by snails survive), c (fraction of the contaminated environment sprayed by molluscicides) and μc\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu _c$$\end{document} (mortality rate of cercariae) are the most significant to mitigate the spread of schistosomiasis. Mollusciciding, which directly impacts the contaminated environment as a single control strategy is more effective compared to treatment. However, concurrently applying mollusciciding and treatment will yield a better outcome. (shrink)

Arithmetic optimization algorithm (AOA) is one of the recently proposed population-based metaheuristic algorithms. The algorithmic design concept of the AOA is based on the distributive behavior of arithmetic operators, namely, multiplication (M), division (D), subtraction (S), and addition (A). Being a new metaheuristic algorithm, the need for a performance evaluation of AOA is significant to the global optimization research community and specifically to nature-inspired metaheuristic enthusiasts. This article aims to evaluate the influence of the algorithm control parameters, namely, population size (...) and the number of iterations, on the performance of the newly proposed AOA. In addition, we also investigated and validated the influence of different initialization schemes available in the literature on the performance of the AOA. Experiments were conducted using different initialization scenarios and the first is where the population size is large and the number of iterations is low. The second scenario is when the number of iterations is high, and the population size is small. Finally, when the population size and the number of iterations are similar. The numerical results from the conducted experiments showed that AOA is sensitive to the population size and requires a large population size for optimal performance. Afterward, we initialized AOA with six initialization schemes, and their performances were tested on the classical functions and the functions defined in the CEC 2020 suite. The results were presented, and their implications were discussed. Our results showed that the performance of AOA could be influenced when the solution is initialized with schemes other than default random numbers. The Beta distribution outperformed the random number distribution in all cases for both the classical and CEC 2020 functions. The performance of uniform distribution, Rayleigh distribution, Latin hypercube sampling, and Sobol low discrepancy sequence are relatively competitive with the Random number. On the basis of our experiments’ results, we recommend that a solution size of 6,000, the number of iterations of 100, and initializing the solutions with Beta distribution will lead to AOA performing optimally for scenarios considered in our experiments. (shrink)

Hinton’s methodology of perceiving four-dimensional space is based on the application in higher dimensions of the geometric properties of objects that exist in our familiar three-dimensional space and on colouring all the points of these objects according to their movement through these four dimensions. Hinton applied his methodology on coloured cubes, thus leading to a mental perception of the hypercube. In this article, we evolve Hinton’s methodology aiming at the mental perception of the hypersphere, based on tracing and colouring (...) the hypersphere’s points according to their four coordinates. Finally, we describe an interactive application that we developed for visualizing the hypersphere. (shrink)

A framework is presented in which the role ofdevelopmental rules in phenotypic evolution canbe studied for some simple situations. Usingtwo different implicit models of development,characterized by different developmental mapsfrom genotypes to phenotypes, it is shown bysimulation that developmental rules and driftcan result in directional phenotypic evolutionwithout selection. For both models thesimulations show that the critical parameterthat drives the final phenotypic distributionis the cardinality of the set of genotypes thatmap to each phenotype. Details of thedevelopmental map do not matter. If phenotypesare (...) randomly assigned to genotypes, the lastresult can also be proved analytically. (shrink)