Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Diagonal Lemma Fails in Aristotelian Logic   In the 1950-ies P. F. Strawson proposed the Logic of Presuppositions. In this
system sentences with empty subject are considered neither true nor false.
Strawson considered only simple sentences with two predicate letters. But the
concept can be extended to arbitrary monadic, even polyadic sentences utilizing
truth-relevant logic developed by Richard Diaz. It can be shown that
self-referential G\"odel's sentence in fact has an empty subject, and can thus
be classified by the Logic of Presuppositions as neither true nor false.

8
The categories of this paper are: hep-ex
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
5
The categories of this paper are: gr-qc
7
The categories of this paper are: hep-th
26
The categories of this paper are: bayes-an
22
The categories of this paper are: chao-dyn
28
The categories of this paper are: alg-geom
16
The categories of this paper are: stat
0
The categories of this paper are: hep-ph
9
The categories of this paper are: nlin
20
The categories of this paper are: acc-phys
34
The categories of this paper are: chem-ph
3
The categories of this paper are: physics
35
The categories of this paper are: mtrl-th
2
The categories of this paper are: math