𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Translatability in non-Fregean theories

✍ Scribed by Mieczysŀaw Omyŀa


Publisher
Springer Netherlands
Year
1976
Tongue
English
Weight
557 KB
Volume
35
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Fregean Extensions of First-Order Theori
✍ John L. Bell 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 205 KB

## Abstract It is shown by Parsons [2] that the first‐order fragment of Frege's (inconsistent) logical system in the __Grundgesetze der Arithmetic__ is consistent. In this note we formulate and prove a stronger version of this result for arbitrary first‐order theories. We also show that a natural a

Fregean logics
✍ J. Czelakowski; D. Pigozzi 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 636 KB