Note: Towards a Formalization of Guessing

Abstract

A possible way towards the formalization and use of the conjecture concept, in such a way that logical consequences, hypotheses, and speculations, do be particular types of conjectures, is presented. It is shown that conjectures and hypotheses are anti-monotonic, but speculations are neither monotonic, nor anti-monotonic, that is, they are the only purely non-monotonic conjectures.