A model-theoretic reconstruction of Frege's permutation argument
The ``identifiability thesis (credited to Frege) is the assertion that any two (distinct) courses-of-values can be identified with the truth values. It is discussed here whether this thesis is to follow from the so-called ``permutation argument as Frege indicated in the ``Grundgesetze der Arithmetik. The author argues, by introducing a suitable formal language and a relevant semantics, that two possible versions of the permutation argument, once made into formal arguments, are not tenable as foundations for the identifiability thesis.
- Frege's permutation argument
- Frege, Boolos, and logical objects
- Frege on referentiality and Julius Caesar in \textit{Grundgesetze} Section 10
- A Version of the Frege - Quine Argument
- The semantics of value-range names and Frege's proof of referentiality
- The status of value-ranges in the argument of \textit{Basic laws of arithmetic} I {\S}10
- scientific article; zbMATH DE number 3895032 (Why is no real title available?)
- What is Neologicism?
- Proof-theoretic semantics: an autobiographical survey
- \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem
- Frege's Platonism and mathematical creation: some new perspectives
- Frege's permutation argument revisited
This page was built for publication: A model-theoretic reconstruction of Frege's permutation argument
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1101098)
