Single Idea 13661

[catalogued under 5. Theory of Logic / K. Features of Logics / 9. Expressibility]

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]