Formal scientists have attempted to combine formal logic (the science of deductively valid inferences or of logical truths) and dialectic (a form of reasoning based upon dialogue of arguments and counter-arguments) through formalisation of dialectic. These attempts include pre-formal and partially formal treatises on argument and dialectic, systems based on defeasible reasoning, and systems based on game semantics and dialogical logic.