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
Upload history
First archival date: 2015-11-21
Latest version: 1 (2016-09-27)
View other versions
Added to PP index
2015-08-18

Total views
896 ( #4,066 of 54,352 )

Recent downloads (6 months)
47 ( #14,666 of 54,352 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.