Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Logic for Aristotle's Modal Syllogistic   We propose a new system of modal logic to interpret Aristotle's theory of the
modal syllogism which while being inspired by standard propositional modal
logic is also a logic of terms and which admits a (sound) extensional semantics
involving possible worlds. Although this logic does not allow a fully faithful
formalisation of the entirety of Aristotle's syllogistic as found in the Prior
Analytics it sheds light on various fine-grained distinctions which when made
allow us to recover a fair portion of Aristotle's results. This logic allows us
also to make a connection with the various axioms of modern propositional logic
and to perceive to what extent these are implicit in Aristotle's reasoning.
Further work wil involve addressing the question of the completeness of this
logic (or variants thereof) together with the extension of the logic to include
a calculus of relations, some instances of which are found, as Slomkowsky has
shown, in the Topics..

21
The categories of this paper are: adap-org
8
The categories of this paper are: hep-ex
17
The categories of this paper are: q-fin
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
31
The categories of this paper are: ao-sci
27
The categories of this paper are: comp-gas
16
The categories of this paper are: stat
13
The categories of this paper are: quant-ph
34
The categories of this paper are: chem-ph
36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
24
The categories of this paper are: dg-ga
32
The categories of this paper are: atom-ph
33
The categories of this paper are: plasm-ph