abstract:In natural languages, an indicative conditionalStalnaker, R, Philosophia (1975)Ellis, B, Australasian Journal of Philosophy (1984) is the logical operation given by statements of the form "If A then B". Unlike the material conditional, an indicative conditional does not have a stipulated definition.