#import "@preview/unequivocal-ams:0.1.1": ams-article, theorem, proof
#import "@preview/wordometer:0.1.3": word-count, total-words

#import "prelude.typ": indented-argument

#show: ams-article.with(
  title: [On the Argument Against Fearing Death],
  bibliography: bibliography("refs.bib"),
)

#show: word-count.with(exclude: (
  heading,
  <wordcount-exclude>,
  table,
  figure,
  footnote,
))

#set cite(style: "institute-of-electrical-and-electronics-engineers")
#set text(fractions: true)
#set table(inset: 8pt, align: center)


#align(
  center,
  pad(
    x: 20%,
    table(
      columns: (1fr, 1fr),
      [
        Perm: A2V4847
      ],
      [
        Word Count: #total-words
        #footnote[
          Figure computed programmatically during document compilation. Discounts
          content in tables and the AI contribution statement.
        ]
      ],
    ),
  ),
)

= Introduction

The argument Against Fearing Death proposes the surprising thesis that you
should not fear being dead because it is not bad for you. The author states it
as follows on #cite(<Korman2022-KORLFA>, supplement: [p. 74]):

#indented-argument(
  title: "Against Fearing Death",
  abbreviation: "FD",
  [ You cease to be conscious when you die ],
  [ If you cease to be conscious when you die, then being dead is not bad for you ],
  [ So, being dead is not bad for you ],
  [ If being dead is not bad for you, then you should not fear death ],
  [ So, you should not fear death ],
)

To support premise FD2, the author argues

= Don't kill yourself

#indented-argument(
  title: "Argument for Killing Yourself",
  abbreviation: "KYS",
  [You are conscious when you are alive],
  [Something is bad for you if and only if it results in more pain than you otherwise would have had],
  [If you are conscious, you experience more pain than you otherwise would have if you were unconscious],
  [So, being alive is bad for you],
  [If you are unconscious when you are dead, then being dead isn't bad for you],
  [If being alive is bad for you, then: if being dead isn't bad for you, you should kill yourself],
  [So, you should kill yourself],
)

#pagebreak()

#[
  = AI Contribution Statement

  #quote[I did not use AI whatsoever in the writing of this paper.]
]<wordcount-exclude>