What are the Formulas of a Logic?

Erkenntnis 90:1-16 (2025)
  Copy   BIBTEX

Abstract

What is the ontology of formal languages? What actually *are* well-formed formulas such as 'Fx' or 'p'? This issue has not been squarely addressed in the literature, still less has it been resolved. The paper does four things. First, it describes the standard view that formulas are symbol types. Second, it shows that the standard view is untenable. Third, it puts forward an alternative, structuralist view. Finally, it considers what, if anything, changes when we move from the standard to the structuralist view of the ontology of formal languages.

Author's Profile

A. C. Paseau
University of Oxford

Analytics

Added to PP
2025-03-31

Downloads
192 (#94,927)

6 months
192 (#20,477)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?