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

Posted by James Bowery on Wednesday, 12 December 2012 13:29.

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.



Comments:


1

Posted by robert on Wed, 12 Dec 2012 19:07 | #

James - or anyone who understands this,

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


2

Posted by James Bowery on Wed, 12 Dec 2012 19:44 | #

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 Wed, 12 Dec 2012 23:00 | #

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)

Note: You should copy your comment to the clipboard or paste it somewhere before submitting it, so that it will not be lost if the session times out.

Remember me


Next entry: Introduction to Phenomenology
Previous entry: Ethnicity and the 2011 Census in England and Wales

image of the day

Existential Issues

DNA Nations

Establishment Problem

Categories

Links

Endorsement not implied.

Immigration

Islamist Threat

Anti-white Media Networks

Audio/Video

Crime

Economics

Education

General

Historical Re-Evaluation

Controlled Opposition

Nationalist Political Parties

Science

Europeans in Africa

Of Note

Comments

Henry commented in entry 'TRS founder Michael ‘Enoch’ Peinovich was exposed as being a Russian Jew.' on Mon, 16 Jan 2017 13:31. (View)

(((Weev))) commented in entry 'TRS founder Michael ‘Enoch’ Peinovich was exposed as being a Russian Jew.' on Mon, 16 Jan 2017 07:47. (View)

(((MikeEnoch Peinovich))) commented in entry 'TRS founder Michael ‘Enoch’ Peinovich was exposed as being a Russian Jew.' on Mon, 16 Jan 2017 07:41. (View)

fuller list: Trump's (((cabal))) courtesy (((JP))) commented in entry 'Trump's Jewish Cabal' on Sun, 15 Jan 2017 08:40. (View)

Trump's stance on Russia & China commented in entry 'The CIA has concluded that Russia intervened in 2016 election to help Trump win the White House' on Sun, 15 Jan 2017 03:00. (View)

Some churches aligned 2return 2natural religion commented in entry 'Solstice in the Deep of European Rebirth' on Sun, 15 Jan 2017 00:08. (View)

Fund the destruction of my family line commented in entry 'WHITE WOMEN FOR SALE!' on Sat, 14 Jan 2017 15:24. (View)

James Bowery commented in entry 'Being in kind – part 1' on Sat, 14 Jan 2017 15:24. (View)

Completion of the Post commented in entry 'Being-Of: Group Identity’s Ontology' on Sat, 14 Jan 2017 10:56. (View)

Ruby advised to keep quiet commented in entry 'We Told You So: Prediction Of Trump's Victory Comes True - By A Hair-Line' on Sat, 14 Jan 2017 04:24. (View)

DanielS commented in entry 'We can no longer allow liberals and brackets to co-opt issues of environment and species diversity' on Sat, 14 Jan 2017 02:32. (View)

Meimou commented in entry 'We can no longer allow liberals and brackets to co-opt issues of environment and species diversity' on Fri, 13 Jan 2017 17:27. (View)

Trump: global warming concept created by Chinese commented in entry 'We can no longer allow liberals and brackets to co-opt issues of environment and species diversity' on Fri, 13 Jan 2017 10:36. (View)

James Bowery commented in entry 'Being in kind – part 1' on Fri, 13 Jan 2017 09:33. (View)

Mair inflamed by his mother's miscegenation commented in entry 'Hate-Crimes: affirmative action for Whites to compensate for over-representation of black crime' on Fri, 13 Jan 2017 05:12. (View)

China Sold High-Speed Trains to Czech commented in entry 'Intermarium Update: 16+1 Summit - China is betting on Central Europe' on Fri, 13 Jan 2017 04:46. (View)

Orban targeting foreign backed NGO's commented in entry 'NGOs are smuggling immigrants into Europe on an industrial scale' on Fri, 13 Jan 2017 04:31. (View)

Captainchaos commented in entry 'Being in kind – part 1' on Fri, 13 Jan 2017 01:54. (View)

James Bowery commented in entry 'Being in kind – part 1' on Thu, 12 Jan 2017 11:51. (View)

Trump's tautologies commented in entry 'Donald Trump wastes 77 minutes of everyone's time.' on Thu, 12 Jan 2017 08:53. (View)

(((Jared Kushner))) Senior Adviser to President commented in entry 'Trump's Cabinet Appointments - The List Updated Until Complete' on Wed, 11 Jan 2017 23:29. (View)

(((David Shulkin))), Secretary of Veterans Affairs commented in entry 'Trump's Cabinet Appointments - The List Updated Until Complete' on Wed, 11 Jan 2017 23:05. (View)

6/12/70 Dock Ellis pitches no-hitter on L.S.D. commented in entry 'It Ain't So, Joe, And Sports Statistics Didn't Stay Objective Despite Your Unjust Banishment' on Wed, 11 Jan 2017 11:50. (View)

Clock Boy Loses in Court commented in entry 'Now Introducing: The Islamic Clock Boy' on Tue, 10 Jan 2017 22:25. (View)

Dylan Roof sentenced to death commented in entry 'Hate-Crimes: affirmative action for Whites to compensate for over-representation of black crime' on Tue, 10 Jan 2017 21:44. (View)

2016 Invasion as Big as 2015 commented in entry 'German Council of Economic Experts: The 5 "wise men" of mass migrant integration' on Tue, 10 Jan 2017 21:13. (View)

(((Ike Perlmutter))) commented in entry 'Trump's Cabinet Appointments - The List Updated Until Complete' on Tue, 10 Jan 2017 09:41. (View)

Guessedworker commented in entry 'Millennial Woes Doxed' on Tue, 10 Jan 2017 05:07. (View)

K commented in entry 'The Indian/Chinese IQ puzzle continued for comments after 1000' on Tue, 10 Jan 2017 03:05. (View)

Millennial Woes doxed commented in entry 'Solstice in the Deep of European Rebirth' on Tue, 10 Jan 2017 01:32. (View)

John Ziegler commented in entry 'Hate-Crimes: affirmative action for Whites to compensate for over-representation of black crime' on Mon, 09 Jan 2017 16:45. (View)

Small Faces coming from the East End commented in entry 'Pursuit of Authentic "Soul" Takes Wrong Turn From White Soul: Eat It - Humble Pie & Black Coffee' on Mon, 09 Jan 2017 11:17. (View)

Captainchaos commented in entry 'Being in kind – part 1' on Sun, 08 Jan 2017 13:33. (View)

DanielS commented in entry 'Being in kind – part 1' on Sun, 08 Jan 2017 12:40. (View)

James Bowery commented in entry 'Being in kind – part 1' on Sun, 08 Jan 2017 11:29. (View)

affection-tone