PhilosophyIdeas
.com Database
|
Current Total Ideas:
21,988
|
home
|
back
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
10600
Being 'expressible' depends on language; being 'capture/represented' depends on axioms and proof system
[Smith,P]
13661
A language is 'semantically effective' if its logical truths are recursively enumerable
[Shapiro]