One of my parents had to wait three years after their retirement just start receiving what they were due <| sep |> Who said context does not matter ? I ' m not arguing for Kant ' s categorical imperative . I am not arguing that people are rational and able to make perfectly informed decisions . Logic is framework . We can use it to construct models . We can then explore these models in two ways . In the first we check for selfconsistency . That is to say we see if the model follows its own rules without paradox . Then , and this is the switch from theoretical to applied , we can test for predictability . We ask if the prediction is true . Repeat , ad nauseam . This is the difference between a sound and valid argument . The real question is what axioms we have to make . What is the statement which cannot be proved within the system itself ? Every system has one .