Davidson proposes a causal law for singular event causation. Here is one example of a backward-looking part of such a law (changed slightly for clarity and to avoid copyright infringement):

(e)(u)((Ge & (t(e) = u + ε)) -> (∃!q)(Fq & (t(q) = n) & C(q,e)))


  • e, q are event variables
  • G, F are event predicate variables
  • u is a time
  • let me know if anything else is unclear


What is "(∃!q)"? I wasn't able to find this notation on google, nor in an article on Davidson's theory of causation (e.g. Wirderker 1985).

My gut instinct is that this has to be simply (∃q). Then much of the formalism makes sense.

Yet obviously "!" is often used for negation. But in a law-denoting conditional, why would a universally quantified statement over events lead to the negation of a statement that an event exists that caused it?

Edit: answered.

  • 9
    ∃! means "exists and is unique", it is a standard notation, see Uniqueness quantification.
    – Conifold
    Mar 31, 2020 at 0:59
  • Answered, thank you.
    – user45910
    Mar 31, 2020 at 1:17
  • Welcome to SE Philosophy! Thanks for your contribution. Please take a quick moment to take the tour or find help. You can perform searches here or seek additional clarification at the meta site. Don't forget, when someone has answered your question, you can click on the checkmark to reward the contributor.
    – J D
    Mar 31, 2020 at 22:46

1 Answer 1


Stack Exchange user Conifold left their answer as a comment.

I will re-post Conifold's comment as an official answer to question:

∃! means "exists and is unique"

There is a Wikipedia page on Uniqueness Quantification for reference here:

  • It is really awesome that my answer keeps getting downv-oted even though the answer is correct. For most questions on this website, what the the correct answer is very uncertain. However, this time, it is not up for debate. in Davidson (1967) used ∃! x to say "there exists unique x" May 26, 2020 at 16:45

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .