Source: wikibot/free-logic
= Free logic
{wiki=Free_logic}
Free logic is a type of logical system that is designed to handle the semantics of statements that may involve non-existent objects. Unlike classical logic, which typically assumes that every term in a statement refers to an existing object in the domain of discourse, free logic allows for the possibility that some terms may not refer to anything at all.