Definition of "derivability" []

• The condition of being derivable (noun)

Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License

• "Recall that a translation from a logic L into a logic L² is a mapping f between the respective sets of formulas which preserves derivability, that is:"
• "Also, (6), together with (4), implies that the notion of derivability is complete with respect to logical truth (the second implication in (5)) and hence offers an extensionally correct characterization of this notion."
• "In short, because considerable logical complexity can lie undiscovered in the thoughts expressed by relatively-simple sentences, non-derivability is no guarantee of independence, in the Fregean scheme of things."