structure for 'Theory of Logic'    |     alphabetical list of themes    |     expand these ideas

5. Theory of Logic / K. Features of Logics / 9. Expressibility

[limits of what can be said in a logical language]

2 ideas
Being 'expressible' depends on language; being 'capture/represented' depends on axioms and proof system [Smith,P]
A language is 'semantically effective' if its logical truths are recursively enumerable [Shapiro]