When we say some data is a member of a set or class we can mean many different things depending on the logical assumptions we are making. If we plan to make reliable model, computations, or data sets we should be clear about the variations in membership. Let us take a closer look at three forms of logic and their implied membership. Starting with classical logic which is great for initial models and science to get started we shift to the realities of computer algorithms using intuitionistic logic before swinging over to the needs of work with big data efficiently and how we can be over zealous in our summaries of membership requiring reasoning with things like modal logic.
