Скачать или смотреть The Universal Translator for Logic

The source provides an overview of the non-Fregean framework, a concept in logic designed to act as a universal translator between various logical systems. This framework challenges Frege's principle, the traditional assumption that a sentence's meaning is solely its truth value (true or false). Instead, the non-Fregean perspective asserts that a sentence possesses a richer semantic reference, allowing for a vast, potentially infinite, universe of meanings called semantic correlates. By rejecting the classical two-value system and introducing a new connective to discuss meaning itself, the framework successfully unifies diverse logics like modal and intuitionistic systems. While this approach offers incredible expressive power and serves as a philosophical tool, the most powerful versions are undecidable, representing a trade-off between expressive capability and computational simplicity.