Philosophy Of Logic

← Back to Domain-Specific Abstractions by Domain

2 domain-specific abstractions whose origin domain is Philosophy Of Logic.

• Descriptive interpretation — A Carnapian interpretation of a formal system in which at least one primitive symbol denotes an empirical object or observable property.
• Semantic theory of truth — A formal account defining truth for an object language in a suitably stronger metalanguage through recursive satisfaction and T-schema instances.