The Unmentionable

Informal notes on improving The First Order Predicate Calculus

The limitations of First Order Predicate Calculus have been explored and extensions thereof suggested and incorporated to varying degrees and with varying success, for the purposes of defining if-then-else functions, the definition of categories/types, and other new functions proposed within the constraints of first order operations to limit the necessity of second order logic, especially as pertains to the needs of logic automation. My extensive research has revealed an overlooked condition which need be applied to the entire body of FOPC theory. For illustration, I will apply this condition to the commonly recognized Zermelo–Fraenkel set theory.

ZFC consists of "a single primitive ontological notion, that of set, and a single ontological assumption, namely that all individuals in the universe of discourse (i.e., all mathematical objects) are sets. There is a single primitive binary relation, set membership; that set a is a member of set b is written a \in b (usually read "a is an element of b" or "a is in b")."*

These axioms are proposed to govern how sets behave and interact. What has been until today overlooked is the qualitative nature of existence (the universe) in which said elements/sets are assembled. The a priori concept of a set in general practice does fulfill the needs of predicting general behavior. However, I propose that we need to assess the obvious effect of wide-scale mental retardation as a universal condition before proceeding with any quantitative analysis or utilization of this or any FOPC theorem. The problem lies in considering accepted metaverse theory. It follows, (within the logical confines of our non-retarded universe), that there must also exists a universe wholly comprised of mental retards. The problem with the a priori concepts of individuals and sets is self-evident in such a universe. It will be argued that the application of the First Order Predicate Calculus has no application in other universes, and that current physical theory has no bearing on the utility or purpose of FOPC. Here I will simply propose to such critics that they present me with any retard who has mastered Zermelo–Fraenkel set theory in its current form.

*Jean van Heijenoort, 1967. From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931. Harvard Univ. Press.

He Shot Me, And It Felt Like A Kiss

Phil Spector should be pardoned. We are talking about Phil Spector. Do you have his Christmas Album? What would that kitchen scene in Goodfellas have been like with Muskrat Love playing instead? So, he shot some bitch in the head. Why was he even charged? Are these people out of their minds? But now that it's too late, a pardon should be granted. It wouldn't be without precedent; Leadbelly was pardoned based on his talent and style. And he had merely attempted homicide.

The powers that be are ignoring this whole travesty out of embarrassment. There will be another trial. I propose that the defense should come in with a boombox, or better yet insist on a high tech built-in courtroom stereo system and broadcast Be My Baby to the court. That would be the opening argument. Then I imagine the prosecution will come out and say 'well he shot her in the head, he told his driver he killed her, he has pulled guns on a bunch of women', etc. Maybe they get Johnny Ramone up there too. Blah blah blah. Then, one witness for the defense: Brian Wilson, talking about Be My Baby a little. Then they play it again for the closing argument. End of the show. Jury doesn't even have to leave their box. It could be wrapped up in a day or two, as long as Brian is lucid.

Can a jury suggest that upon acquittal he be allowed to shoot up to a dozen more inconsequential people without penalty?