Semantics and provability

Hypothesis 1: False formulas are unprovable.

Hypothesis 2: Formula A is unprovable.

3. If A is false then A is not-unprovable.

4. Then, by modus tollens H2 and 3.: A is true.

5. Ergo, when A is true it is unprovable.

We cannot define provability in semantical terms.
The concept of provability has only syntactical meaning, therefore is useless for life.

Comments

Limen et Continuum

Existence is Encounter. Meeting at the limen. In the limen, the masks disappear, that is, the basic intuitions of identities, such as the identity that I feel and think in relation to the tree that I see in front of me. The identity of the tree is a projection of mine: the unity of my process of perceiving the tree generates a mask in me, the ghost of a limited unity separated from everything else. The simplest form of intuitive understanding of masks and limen is given to us by numbers. Numbers intuitively express the liminal tension that is Existence. A little etymological note. Rythmos in Greek means flow. Arythmos (number) is what does not flow, what remains solidified. Numbers express the liminoid, and flow, rhythm, expresses the liminal. A rhythm becomes liminoid when we can trace patterns in it, that is, when we can construct masks of identities. Mathematics has spoken of flow using the Latin word “continuum”, the continuous. All modern science, since Leibni...

What is Mythopoetics?

The narrative grew in the process of being told, as myths always do. The Blog has become more labyrinthine over the years. It contains my Mythopoetics book and a few other things. For those who access these texts without knowing anything about Mythopoetics, I am going to post the introduction of the first part, so you can decide if you want to spend your precious time thinking about the identity narratives that we humans have developed over the years. throughout our eventful existence as a species. "Mythological narratives are the only intellectual activity that has been continuously practiced by human beings, a fact that makes them a unique tool for thinking synthetically our evolution as homo-sapiens. In this sense, they are the first valuation settings that humans have made about themselves and their environment, and as such, they have conditioned the ones that have come afterwards, both in form and content. Their communicative function places them at the basis o...

An Epistemological Perspective of Individuation

For the ancient Romans, "Terminus" was the god of boundaries, represented as large stones used to divide and delimit fields. Festivals were held, called Terminalia, in which the stones that "generated" human space were sanctified. Our word "term" is the heir of that god, or better, it is that god incorporated into an everyday space, in our Lebenswelt or world of life. A philosophical term, whatever its semantic content, is the conceptual mark that we make by establishing a referential sign, it is the action of determining, of generating a reference in a mental space, a reference with which we make a sign correspond, or if we deal with a physical space, the correspondence with an object, be it a milestone, a stone, or an indicator sign. Since its beginnings, philosophy has used binary semantic terms as thinking tools, something that analytical psychology has also made good use of. One of the longest-running binary semantic terms for psychology...

Mythopoetics

Search This Blog