The Folie of Existence:  Hilbert, Husserl, Heidegger, Syntax and Semantics

For the esoterically adventurous in the ontology project only, read on for a disquisition on the question of ontology without reference to existence involving Hilbert, Husserl and Heidegger leading to a syntactic and semantic approach for rigorous philosophical method.

In pursuit of a rigorous philosophical method that purges the folie of existence from ontology, I’d like to present a few thoughts that, to mix metaphors, may draw from my Rosetta Stone a sword that cuts through the semantic underbrush:

The syntactical development of the predicate calculus by the Hilbert ε-operator has resisted so far all attempts at semantic interpretation.  Briefly, the Hilbert ε-operator is a successful syntactic formalization of the notion “the individual variable x such that F(x) is true, if any,” where F(x) is a predicate.  One replaces the sentence (∃x)F(x) by the proposition F(ε(F(x))).  Likewise, before the work of Kripke and others, the semantics of intuitionistic and modal logics were not known.

Gian-Carlo Rota, section “Syntax and Semantics”, chapter “Syntax, Semantics and Identity of Mathematical Items”, part “II. Philosophy: A Minority View” of his book “Indiscrete Thoughts”.

See the Stanford Encyclopedia of Philosophy’s article for more background on Hilbert’s so-called “Epsilon Calculus”.

Notice that although Hilbert manages to eliminate the folie of the existential quantifier; his syntax “has resisted so far all attempts at semantic interpretation”.

Let me now return to my Rosetta Stone to introduce Husserl’s notion of Fundierung to this problem:

Husserl’s Third Logical Investigation, ostensibly dealing with the phenomenology of whole and parts, is meant to introduce the notion of FundierungFundierung is frequently used in phenomenological literature, although little has been written about it since Husserl introduced it.  Husserl himself, while using Fundierung extensively, never felt the need to reopen the discussion…

...The queen of hearts as (emphasis JAB) an item in a bridge game is a function related by a Fundierung relation to the queen of hearts as (emphasis JAB) a card pure and simple.  The other term of a Fundierung relation is called the facticity:...the queen of hearts as (emphasis JAB) a card in the deck…

...Like all facticities, they are indispensible in a pen’s function; this indispensability of facticities leads to the mistaken “identification” (emphasis JAB) of facticities with the function of pens.  The absurdity of this reduction can be realized by eidetic variations:  no amount of staring at this object as (emphasis JAB) an assemblage of plastic, metal, and ink will reveal that the object we are staring at “is” a pen, unless my previous familiarity lets me view the pen through the facticities upon which it is founded.

We consider next the controversial Fundierung relation between viewing and seeing.  This Fundierung relation is on par with those of the preceding examples; however, this time we find it hard to admit that we are dealing with the same kind of relation.  My viewing the pen is founded upon my seeing something;  my reading the content of a printed page is founded upon my seeing it.  I may see the printed page without viewing it as (emphasis JAB) reading material…

...Viewing, in manifold modes, is a function; seeing is the facticity that founds viewing.  Pretending to reduce “reading” to a series of psychological or physical processes, as Wittgenstein mockingly pretends to do, is to commit the same reductionist error a child makes when he dismantles a clock to investigate the nature of time.  The Fundierung relation separates seeing from viewing by an abyss, all the more insurmountable because it is a logical abyss.  Seeing may be a process taking place in time, one that founds my view.  But viewing has the same standing as the rules of the game of bridge, the third declension, or the cohomology of sheaves.  None of these items may be said to “exist .” (emphasis JAB)

Gian-Carlo Rota, chapter “Fundierung as a Logical Concept”, part “II. Philosophy: A Minority View” of his book “Indiscrete Thoughts”.

My view is that Rota, himself, missed the significance of Hilbert’s elimination of the existential quantifier in his pursuit of introducing Fundierung as a logical concept.  But I’m getting ahead of myself…

Bringing now Heideggar to the table, you might want to, at your leisure, read my ancient post here at MR titled “The Primordial “As”: Gian-Carlo Rota” but let me reiterate simply this part:

From “Indiscrete Thoughts” by the late Gian-Carlo Rota, Chapter XVII “Three Senses of ‘A is B’ in Heidegger”:

The tradition of philosophy constrains us to use words like “problems,”  “solutions,” “arguments,” and “relationship.”  There is at present no alternative to this language.  Heidegger attempted to develop a language which he considered more appropriate, and time will tell whether his lead can be followed.

and

Heidegger shows that the condition of possibility of Fundierung can be found only if Fundierung is viewed as a special (ontic) (emphasis JAB) instance of some universal (ontological) (emphasis JAB) problem.  The Zusammenhang between A and B is a problem only when the phenomena of Fundierung and “A is B” are taken in isolation.  The problem is made to disappear by uncovering a universal notion of which both Fundierung as well as the “is” in “A is B” will be special instances.  Where shall we find the betokening of such universality?  We will find it when we place Fundierung and the “is” in parallel with other phenomena which will all be seen as instances of one and the same universal concept.

Descarte had seen the problem of the is in “A is B” as an impenetrable mystery.  Heidegger does not attempt to dispel the mystery.  Instead, he shows that Descartes’ mystery is “the same” mystery as several others, for example, the mystery of Fundierung.  He shows that “the same” mystery is found in all speech whatsoever.  You see the mystery in the is of “A is B,” you see another mystery in Fundierung, because of the prejudice that the two mysteries of the is and of the “Fundierungszusammenhang” are of a different kind.  But what if we realized that the same mystery is the condition of possibility of all “relationships?”  Then the mysteries would reduce to one single mystery, namely, the condition of possibility of “relationships.”  But a universal mystery is no different from a universal law.  Heidegger concludes with the discovery of the universal law of the as.

The universal as is given various names in Heidegger’s writings:  It will be the primordial Nicht between beings and Being, the ontological (emphasis JAB) difference, the Beyond, the primordial es gibt, the Ereignis.

The discovery of the universal “as” is Heidegger’s contribution to philosophy.

Heidegger’s later thought in no way alters this discovery.  He came to believe that the language of phenomenology, in which his middle writings are couched, was inadequate to his discovery.  The later Heidegger wanted to recast his discovery in a non-objectivistic language, since the universal as lies beyond objectivity.  The universal “as” is the surgence of sense in Man, the shepherd of Being.

The disclosure of the primordial “as” is the end of a search that began with Plato, followed a long route through Descartes, Leibniz, Kant, Vico, Hegel, Dilthey and Husserl.  This search comes to its conclusion with Heidegger.

IMHO, Rota did not exaggerate the significance of Heidegger’s discovery here.

Now let me try to unify the Epsilon Calculus and the universal “as” in an approach to a rigorous philosophical method for ontology without reference to the folie of “existence”, via this esoteric syntax and semantics.

We will interpret the syntax:

x(y=z)

to mean:

“y and z are identical as an x”

or, equivalently (in our first foray into this semantic minefield where knowledge of the positions of the mines are “imprecise”):

“y and z are identical as it matters to x”

For the time being, I’ll choose the later meaning for reasons that may become obvious presently:

Now let’s interpret the syntax:

x(y≠z)

Which is the same as the logical negation of the prior expression:

~x(y=z)

to mean:

“y differs from z as it matters to x”

Now we may define:

Existence: x(x≠y)

That is to say:

“x differs from y as it matters to x” or, in the, hopefully, now, obsolete language of the predicate calculus:

∃y

Where did “x” go? 

That is precisely the mystery!

Now, we proceed to drag Hilbert, kicking and screaming, into our semantic minefield by defining his Epsilon Calculus’s ε operator via its predicate calculus form:

(∃x)F(x)

in our new syntax:

i(i≠x)F(x)

The choice of “i” as the variable hints at a closure of identity within this new syntax and semantics.

Posted by James Bowery on Wednesday, December 12, 2012 at 01:29 PM in The Ontology Project
Comments (3) | Tell a friend

Comments:

1

Posted by robert on December 12, 2012, 07:07 PM | #

James - or anyone who understands this,

Could you give a non-technical summary or explanation of this post?

2

Posted by James Bowery on December 12, 2012, 07:44 PM | #

I’m not expecting much understanding of the implications for the Epsilon Calculus from anyone anytime soon—especially as I, myself, don’t yet fathom its implications.  I provided that as a link to a rigorous body work that may be in a sense brought to life through this semantics.

As for the rest, my hope is that some of the folks dwelling in the language of phenomenology will be able to breath life into the syntax and semantics I’ve set forth as an answer to Rota’s challenge to bring Heidegger’s “as” into the status of a logical connective that subsumes Husserl’s Fundierung..

3

Posted by Captainchaos on December 12, 2012, 11:00 PM | #

I, myself, don’t yet fathom its implications.

Philosophy is for fags.  Real men settle their differences with single deadly combat.

Post a Comment:

Name: (required)

Email: (required but not displayed)

URL: (optional)

Smileys

You must prefix http://anonym.to/? to gnxp.com links...
e.g., http://anonym.to/?http://www.gnxp.com/...

Copy your comment to the clipboard or paste it somewhere before submitting
it just in case the software loses it because the session time has been exceeded.

Remember my personal information

Next entry: Introduction to Phenomenology

Previous entry: Ethnicity and the 2011 Census in England and Wales

image of the day

Existential Issues

White Genocide Project

Of note

Majority Radio

Recent Comments

Also see trash folder.

Lurker commented in entry 'Robert Ransdell: With Jews We Lose' on 10/24/14, 12:15 AM. (go) (view)

DanielS commented in entry 'Apollo&Dionysus: Were Hippies Protesting the Moon Landing, Ayn?' on 10/23/14, 11:12 PM. (go) (view)

REIKS TERVINGIVISOGOTH commented in entry 'Mexicans versus Blacks.' on 10/23/14, 01:22 AM. (go) (view)

DanielS commented in entry 'Apollo&Dionysus: Were Hippies Protesting the Moon Landing, Ayn?' on 10/22/14, 09:50 PM. (go) (view)

Jimmy Marr commented in entry 'Robert Ransdell: With Jews We Lose' on 10/22/14, 09:00 PM. (go) (view)

Tom commented in entry 'Apollo&Dionysus: Were Hippies Protesting the Moon Landing, Ayn?' on 10/22/14, 08:22 PM. (go) (view)

VanSpyke commented in entry 'Robert Ransdell: With Jews We Lose' on 10/22/14, 12:17 PM. (go) (view)

David Dupe commented in entry 'Self Assertion vs Self Transcendence of European People's Defense' on 10/22/14, 11:37 AM. (go) (view)

Fuher-Blower commented in entry 'Robert Ransdell: With Jews We Lose' on 10/22/14, 08:43 AM. (go) (view)

FB commented in entry 'Robert Ransdell: With Jews We Lose' on 10/22/14, 08:34 AM. (go) (view)

DanielS commented in entry 'Robert Ransdell: With Jews We Lose' on 10/22/14, 12:58 AM. (go) (view)

voznich commented in entry 'Robert Ransdell: With Jews We Lose' on 10/21/14, 08:29 PM. (go) (view)

HeyHeyWe'reThe commented in entry 'Ebola remiss an alarm for border control as even most objective standards of human ecology ignored' on 10/21/14, 12:12 PM. (go) (view)

Ebolatalia commented in entry 'Ebola remiss an alarm for border control as even most objective standards of human ecology ignored' on 10/21/14, 12:00 PM. (go) (view)

neil vodavzny commented in entry 'Self Assertion vs Self Transcendence of European People's Defense' on 10/21/14, 08:24 AM. (go) (view)

Graham_Lister commented in entry 'Self Assertion vs Self Transcendence of European People's Defense' on 10/20/14, 08:01 PM. (go) (view)

Graham_Lister commented in entry 'Self Assertion vs Self Transcendence of European People's Defense' on 10/20/14, 07:48 PM. (go) (view)

Guessedworker commented in entry 'Self Assertion vs Self Transcendence of European People's Defense' on 10/20/14, 07:19 PM. (go) (view)

jamesUK commented in entry 'A Fight at the Highest Level' on 10/20/14, 11:46 AM. (go) (view)

Norman Lowell commented in entry 'A Fight at the Highest Level' on 10/20/14, 02:52 AM. (go) (view)

Thorntroll commented in entry 'Robert Ransdell: With Jews We Lose' on 10/19/14, 07:40 PM. (go) (view)

Graham_Lister commented in entry 'Robert Ransdell: With Jews We Lose' on 10/19/14, 09:45 AM. (go) (view)

DanielS commented in entry 'Robert Ransdell: With Jews We Lose' on 10/19/14, 12:21 AM. (go) (view)

voznich commented in entry 'Robert Ransdell: With Jews We Lose' on 10/18/14, 09:48 PM. (go) (view)

Graham_Lister commented in entry 'Robert Ransdell: With Jews We Lose' on 10/18/14, 09:07 PM. (go) (view)

Graham_Lister commented in entry 'Robert Ransdell: With Jews We Lose' on 10/18/14, 08:59 PM. (go) (view)

TD commented in entry 'Robert Ransdell: With Jews We Lose' on 10/18/14, 08:18 PM. (go) (view)

Carolyn Yeager commented in entry 'Robert Ransdell: With Jews We Lose' on 10/18/14, 05:51 PM. (go) (view)

DanielS commented in entry 'Robert Ransdell: With Jews We Lose' on 10/18/14, 04:01 PM. (go) (view)

Carolyn Yeager commented in entry 'Robert Ransdell: With Jews We Lose' on 10/18/14, 03:50 PM. (go) (view)

Carolyn Yeager commented in entry 'Robert Ransdell: With Jews We Lose' on 10/18/14, 03:20 PM. (go) (view)

Guessedworker commented in entry 'Robert Ransdell: With Jews We Lose' on 10/18/14, 02:58 PM. (go) (view)

DanielS commented in entry 'Robert Ransdell: With Jews We Lose' on 10/18/14, 01:19 PM. (go) (view)

Carolyn Yeager commented in entry 'Robert Ransdell: With Jews We Lose' on 10/18/14, 01:09 PM. (go) (view)

Carolyn Yeager commented in entry 'Robert Ransdell: With Jews We Lose' on 10/18/14, 12:46 PM. (go) (view)

General News

Science News

All Categories

The Writers

Each author's name links to a list of all articles posted by the writer; the hashes link to authors' homepages.

Links

Endorsement not implied.

Anti-White Media

Audio/Video

Controlled Opposition

Crime

Economics

Education

General

Historical Re-Evaluation

Immigration

Islam

Jews

Nationalist Political Parties

Science

Whites in Africa

affection-tone