Full Idea
A logical language is 'semantically effective' if the collection of logically true sentences is a recursively enumerable set of strings.
Gist of Idea
A language is 'semantically effective' if its logical truths are recursively enumerable
Source
Stewart Shapiro (Foundations without Foundationalism [1991], 6.5)
Book Reference
Shapiro,Stewart: 'Foundations without Foundationalism' [OUP 1991], p.158
Related Idea
Idea 13660 Maybe compactness, semantic effectiveness, and the Löwenheim-Skolem properties are desirable [Shapiro]