The Antinomy of the Variable: A Tarskian Resolution

Journal of Philosophy 113 (3):137-170 (2016)
Download Edit this record How to cite View on PhilPapers
Abstract
Kit Fine has reawakened a puzzle about variables with a long history in analytic philosophy, labeling it “the antinomy of the variable”. Fine suggests that the antinomy demands a reconceptualization of the role of variables in mathematics, natural language semantics, and first-order logic. The difficulty arises because: (i) the variables ‘x’ and ‘y’ cannot be synonymous, since they make different contributions when they jointly occur within a sentence, but (ii) there is a strong temptation to say that distinct variables ‘x’ and ‘y’ are synonymous, since sentences differing by the total, proper substitution of ‘x’ for ‘y’ always agree in meaning. We offer a precise interpretation of the challenge posed by (i) and (ii). We then develop some neglected passages of Tarski to show that his semantics for variables has the resources to resolve the antinomy without abandoning standard compositional semantics.
PhilPapers/Archive ID
PICTAO-7
Revision history
First archival date: 2015-11-21
Latest version: 1 (2016-09-27)
View upload history
References found in this work BETA
Does Semantic Relationism Solve Frege’s Puzzle?Bryan Pickel & Brian Rabern - 2017 - Journal of Philosophical Logic 46 (1):97-118.

Add more references

Citations of this work BETA
Does Semantic Relationism Solve Frege’s Puzzle?Bryan Pickel & Brian Rabern - 2017 - Journal of Philosophical Logic 46 (1):97-118.

Add more citations

Added to PP index
2015-08-18

Total views
648 ( #2,871 of 37,286 )

Recent downloads (6 months)
65 ( #5,258 of 37,286 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.