The proposition that two and two are four follows by purely logical deduction from definitions: that means that its truth results, not from the properties of objects, but from the meanings of symbols.