A model-theoretic reconstruction of Frege's permutation argument
type: Item
instance of: scholarly article
title: A model-theoretic reconstruction of Frege's permutation argument
zbMATH Open document ID: 0642.03004
author: Peter Schroeder-Heister
published in: Notre Dame Journal of Formal Logic
publication date: 1987-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 4045705
zbMATH Keywords: identifiability thesis
zbMATH Keywords: permutation argument
zbMATH Keywords: Frege
zbMATH Keywords: relevant semantics
reviewed by: Aldo Ursini
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093636847
OpenAlex ID: W2021086284
DOI: 10.1305/NDJFL/1093636847
description: scientific article; zbMATH DE number 4045705