Frege's permutation argument revisited

DOI10.1007/S11229-004-6206-6MaRDI QIDQ813414zbMATH OpenOpenAlexFDO

Authors Kai Frederick Wehmeier, Peter Schroeder-Heister

Publication date 8 February 2006

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-004-6206-6

zbMATH Keywords

Fregetruth valuesvalue-ranges

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Review text

Frege's \textit{Basic Laws of Arithmetic} contains a controversial argument, known as the permutation argument, relating Frege's value-ranges to his truth values, the True and the False. Wehmeier and Schroeder-Heister consider two reconstructions of this argument, which they dub the metalogical reading and the mathematical reading. The metalogical reading takes the permutation in Frege's argument to depend on reinterpreting the symbols of his language, while the mathematical approach views the permutation as applied to the objects of some domain. The authors attack the metalogical reading based on the assumption that an adequate interpretation of the argument should make it valid, or at least not obviously invalid, when considered in ``a reasonable consistent reconstruction of the original Fregean setting. The mathematical reading is then defended by considering just such a setting, namely the language \(L_W\) previously articulated and discussed by \textit{K. F. Wehmeier} [Synthese 121, 309--328 (1999; Zbl 0952.03068)] and by \textit{F. Ferreira} nad \textit{K. F. Wehmeier} [J. Philos. Log. 31, 301--311 (2002; Zbl 1012.03059)].

Recommendations

• Frege's permutation argument
• A model-theoretic reconstruction of Frege's permutation argument
• scientific article; zbMATH DE number 3895032
• scientific article; zbMATH DE number 6111395
• Frege's introduction of value-ranges: a reading of \textit{Grundgesetze} \S\S29--31

Cites work

• A model-theoretic reconstruction of Frege's permutation argument
• Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
• Frege's permutation argument
• Grundgesetze der Arithmetic I §10
• On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
• On the consistency of the first-order portion of Frege's logical system
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik

Cited in

(10)

• Frege's permutation argument
• A model-theoretic reconstruction of Frege's permutation argument
• The Alperin argument revisited
• 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?)
• Identity and the cognitive value of logical equations in Frege's foundational project
• 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

This page was built for publication: Frege's permutation argument revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q813414)