Classical logic identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well. They are characterised by a number of properties:

While not entailed by the preceding conditions, contemporary discussions of classical logic normally only include propositional and first-order logics.