Defining the Imports

[Ichthus77 (Ichthus77 (formerly She™))]

Existential import needs more defining/translating into the various logics (may need a new way of doing it).

Above is a start. Until finished… best I can do on this right now:

Resolving existential import/fallacy

Subalternation (done wrong) commits the existential fallacy when the terms are empty (the premises aren’t true), because existential import (at at least one time, t, which has essential/thetic import now if that time, t, is not now) is required (empty terms are forbidden, true universals/superalterns are required) in order for subalternation (not to mention affirmation) to “go through”. **now means: present to the evaluator Resolves this conundrum: [image] [image] existential import: Exis…