Of all the risks we face in life, ranging from unemployment to old age, early death is among the most tragic and yet most neglected by modern states. Liberal egalitarians might find it easy to dismiss social insurance against early death, but I argue they should not. Early in this paper, I explain why social insurance should include the risk of premature death by replying to four common criticisms. What follows is a case for a novel form of insurance that (...) is more liberal and egalitarian across ages than the status quo. More specifically, I show that granting storable pensions in all life stages - youth, middle and old age - promotes liberty and reduces lifetime inequality. Writers on age group and longevity justice often overlook the extent to which liberal lifetime equality can supply insightful arguments against inequality across ages. These call for a policy that gives each age group the freedom to draw a storable pension. I call that policy "freetirement". (shrink)

Universal basic income proposes providing instalments of constant magnitude to all. One problem with a stable basic income across life is that it seems unfair to shorter-lived persons, who are worst-off due to premature death and receive less over their whole lives. Basic capital solves this problem by providing a one-off grant to the young, but I argue that it mistreats long-lived persons, as it does not guarantee their real freedom across life. There is a dilemma between these proposals regarding (...) their respective unfairness to the short- and long-lived. The solution I propose is a net basic income of decreasing magnitude until a specific age, after which the income is constant. This solution is compatible with constant income benefits across life, and it offers a fair answer to the problem of unequal longevity, a widely neglected but essential challenge in debates about basic income. (shrink)

In this paper, it is presented a historical account of the formulation of the quantum relativistic wave equation of an electron – the Dirac equation, issues regarding its interpretation that arose from the very beginning, and the later formulation of this equation in relation to a quantized electron-positron field, which implies a new interpretation. The way in which solutions obtained under each interpretation of the equation relate to one another is also considered for the simple case of hydrogen-like problems.

With special relativity, we seem to be facing a conundrum. It is a very well-tested theory; in this way, the Minkowski spacetime must be “capturing” essential features of space and time. However, its geometry seems to be incompatible with any sort of global notion of time. We might only have local notions of now (present moment) and time flow, at best. In this note, we will explore the possibility that a pretty much global notion of now (and time flow) might (...) be hiding in plain sight in the geometry of the Minkowski spacetime. (shrink)

When modeling informal proofs like that of Euclid’s Elements using a sound logical system, we go from proofs seen as somewhat unrigorous – even having gaps to be filled – to rigorous proofs. However, metalogic grounds the soundness of our logical system, and proofs in metalogic are not like formal proofs and look suspiciously like the informal proofs. This brings about what I am calling here the groundedness problem: how can we decide with certainty that our metalogical proofs are rigorous (...) and sustain our logical system? In this paper, I will expose this problem. I will not try to solve it here. (shrink)

There is a constructive method to define a structure of simple k-cyclic Post algebra of order p, L p,κ, on a given finite field F, and conversely. There exists an interpretation Ф₁ of the variety V generated by L p,κ into the variety V) generated by F and an interpretation Ф₂ of V) into V such that Ф₂Ф₁ = B for every B ϵ V and Ф₁₂ = R for every R ϵ V). In this paper we show how we (...) can solve an algebraic system of equations over an arbitrary cyclic Post algebra of order p, p prime, using the above interpretation, Gröbner bases and algorithms programmed in Maple. (shrink)

We present an approach in which ancient Greek mathematical proofs by Hippocrates of Chios and Euclid are addressed as a form of (guided) intentional reasoning. Schematically, in a proof, we start with a sentence that works as a premise; this sentence is followed by another, the conclusion of what we might take to be an inferential step. That goes on until the last conclusion is reached. Guided by the text, we go through small inferential steps; in each one, we go (...) through an autonomous reasoning process linking the premise to the conclusion. The reasoning process is accompanied by a metareasoning process. Metareasoning gives rise to a feeling-knowing of correctness. In each step/cycle of the proof, we have a feeling-knowing of correctness. Overall, we reach a feeling of correctness for the whole proof. We suggest that this approach allows us to address the issues of how a proof functions, for us, as an enabler to ascertain the correctness of its argument and how we ascertain this correctness. (shrink)

The cognitive basis of geometry is still poorly understood, even the ‘simpler’ issue of what kind of representation of geometric objects we have. In this work, we set forward a tentative model of the neural representation of geometric objects for the case of the pure geometry of Euclid. To arrive at a coherent model, we found it necessary to consider earlier forms of geometry. We start by developing models of the neural representation of the geometric figures of ancient Greek practical (...) geometry. Then, we propose a related model for the earliest form of pure geometry – that of Hippocrates of Chios. Finally, we develop the model of the neural representation of the geometric objects of Euclidean geometry. The models are based on the hub-and-spoke theory. In our view, the existence of specific models opens the possibility of addressing the relationship between geometric figures and geometric objects, in a novel way, in terms of their neural representation. (shrink)