Suggestions(1)
Exact(60)
No axiomatisation of these predicates is given.
Such predicates Goodman called projectible.
Consider predicates \(P\) and \(Q\).
Sentence letters are 0-place predicates.
Subjects and predicates of assertions are terms.
This terminology is also applied to predicates.
General terms are predicates.
(4) Multi-criterial predicates.
Similarly for (P.4d), which may be further weakened or strengthened by tampering with the parthood predicates occurring in the antecedent and in the consequent.
Philosophers tend to agree about how these predicates apply in particular cases, and they tend to agree that one of these predicates should be taken as primitive and used to define the other.
At best this is a suggestion that some of the sentences in question the ones that do not contain "collective" predicates like 'extinct' are logically equivalent to generic claims e.g.g
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com