How to express Kant's notion of existence on first-order logic according to Ayer?



In Language, Truth, and Logic, Ayer writes:

[As] Kant pointed out, existence is not an attribute. For, when we ascribe an attribute to a thing, we covertly assert that it exists.

However, I can't see how it can hold in first-order logic, for example. In particular, the formula P(x) is different from ∃x P(x).

Did I misunderstand what Ayer meant?

Alexei Averchenko

Posted 2013-04-22T17:57:37.880

Reputation: 173

I'm not familiar with the notation P(x) and Ex P(x). Can you explain these to make your question better understandable? – None – 2013-04-22T17:59:34.807

@Keelan, I used E for the existential quantifier. Does this stack support LaTeX, by the way? – Alexei Averchenko – 2013-04-22T18:02:18.340

1I tried to put the main question into the headline, hope you agree, if not, feel free to rollback. – iphigenie – 2013-04-22T19:09:55.600



In first order logic: P(x) is has a free variable - x. ∃x P(x) has no free variables, x is bound by the existential operator. This is what is normally called a closed formula or a sentence.

Sentences are a key concept in model theory as they allow for well-defined truth values. A set of sentences is called a theory; any individual sentence is a theorem. Model Theory resolves traditional logic into two separate pieces - a syntactic form with rules of deduction (so formal proofs can be established) together with an interpretation that establishes truth. (This Setup can then be generalised to an arbitrary logic/grammar/theory with an interpretation).

Kant is NOT talking about formal mathematical logic. Existence and attribute is much more than the syntax embodied by a formal language. Generally speaking truth values are asserted in a model that interprets this formal language. This is where perhaps where ideas of existence and attributes may fit in with classical model theory. In your example you're implicitly interpreting the formal language into the English language. You still have the problem of extracting what is exactly meant by attribute and existence. Phrasing it in formal logic doesn't change matters.

IN FACT, even in traditional model theory this act of interpretation still occurs outside of the model-theoretic framework elaborated above. That is phrasing the debate in first order logic or model theory is a red herring. It adds nothing essential to the debate. Mathematical logic and model theory are interesting for altogether different reasons.

I'm by no means an expert in this area - but it seems that Kant is referring to substance theory. Note in particular this

One natural response to the question of what distinguishes substances from properties is that properties depend for their existence on substances, for they are properties of objects (that is, of individual substances), but that substances do not similarly depend on properties for their existence.

The idea of Substance goes back to Aristotle. In his Categories he says:

A substance—that which is called a substance most strictly, primarily, and most of all—is that which is neither said of a subject nor in a subject, e.g. the individual man or the individual horse.

Additionally, in his Physics he argues that material change is accidental, it is varying form - there is an underlying substance (that must be thought together with form). Today we would call that matter-energy.

It is starting from here that one begins to think about attributes - that is predicates, and existence. Is a substance defined by all of its attributes? Is there a bare substance devoid of any attributes? Etc. There is a long development that then goes through both Western Philosophy/Christian Theology.

Spinoza for example said that God was the only Substance with an infinite number of modes - one being mental the other extension. This reconciles Descartes dualism, and asserts that existence of the mental & extension is contingent - that is on God. This has many parallels with Occasionalism a doctrine of the Ash'arite school of Islamic Philosophy/Theology, particularly developed by Al-Ghazali.

Hume being a radical empiricist denied the reality of substances - it cannot be perceived.

For an alternative understanding of this long development, one could turn towards Buddhism, especially in Nagarjunas formulation. Here the idea of substance as begun by Aristotle is rejected in its entirety. Existence, in the Western sense, they would argue has no meaning - 'the essenceless of no essence'.

So, In SHORT, I think you've misunderstood Ayer. His 'thing' should be substance. Kant is pointing this distinction out because he is contra Hume who explicitly denies the existence of substances but believes in attributes.

I think one should note that in the short extract that you've given Ayer shortcuts Kants reasoning - assenting to Kants 'existence is not an attribute' does not mean that one covertly assigns an existence to a substance once one asserts an attribute. Looking over The SEPs entry on Substance one sees that:

Kant drops the empirical psychology [of Hume] and makes it a matter of a priori psychology, that only by employing certain categories could we have experience as of a physical world. It is only by understanding the world as possessing enduring spatio-temporal objects, which enter into causal relations with each other (that is, it is only by applying the categories of substance and causation) that we can have intelligible experience. Substances—that is, a framework of stable, enduring objects—are essential, but the source of this necessity lies not how the world is in itself, but in the framework which we are obliged to impose.

That is he believes existence of substances to be phenomenal rather than noumenal.

Mozibur Ullah

Posted 2013-04-22T17:57:37.880

Reputation: 1

Ayer dismisses substance as nonsense shortly before the sentence that I've quoted, so I don't think it should be used to explain it. – Alexei Averchenko – 2013-04-23T03:38:26.937

@Averchenko: Well, he's going along with Humes position. Kant resurrected it as the SEP entry above I quoted above shows by placing it in the phenomenal realm and not in the noumenal. I'm not using it to explain it - but to give the question some context. – Mozibur Ullah – 2013-04-23T03:47:34.823

I don't understand your motivation for bringing formal logic into this question - does Ayer explicitly invoke it? – Mozibur Ullah – 2013-04-23T03:48:57.780

no, he doesn't, but if a claim fails in one well-established interpretation, doesn't it mean that it fails in general? – Alexei Averchenko – 2013-04-23T05:07:17.883

@Averchenko: I'm not sure I understand what you mean. If a claim fails - you can challenge the claim which is what Kant did. Hume was a radical sceptic. He not only threw doubt on substance but also causality. In effect his arguments didn't even allow basic science to happen. Kant was provoked enough by his challenge to argue a position against it. When you think of Substance as matter, as in Aristotles Physics, or think of how important causality is in explanations of science you can see why it was important for Kant, who had an interest in science to defend substance and causality. – Mozibur Ullah – 2013-04-23T05:21:23.013

Please, call me Alexei :) I meant only the specific claim that ascribing an attribute implies existence. I'm probably thinking about it wrong. What does it mean to ascribe an attribute? For example, if we say that some entity is red, clearly we're assuming that we've observed this entity, which for all practical purposes is equivalent to assuming that it exists. But we can also say that horses have ears, and this doesn't imply that at least one horse exists! – Alexei Averchenko – 2013-04-23T05:48:14.590

@Alexei: I think thats more the approach you should be going for. Yes, you're right. The usual example I think is unicorns. This gets into the realm of fictional worlds. It's an approach also to the philosophy of mathematics - fictionalism! I'm being asked by whether I want to go to chat, but I don't think I have much more to add to the discussion, unfortunately. You're now going into the details I think of what this means... – Mozibur Ullah – 2013-04-23T06:08:02.823

So how do I parse Kant's claim in context of Ayer's book? Is it just wrong, or should I restrict it to the case of concrete entities as opposed to abstractions? – Alexei Averchenko – 2013-04-23T06:12:13.523

To answer that I'd have to read Ayers book first :). My guess from the quote above is that he's going along with Kant but skipping pretty much all the theoretical framework that Kant builds to establish this. – Mozibur Ullah – 2013-04-23T06:49:13.873