Semantical Mutation, Algorithms and Programs

Dissertatio (S1):44-76 (2015)
Download Edit this record How to cite View on PhilPapers
Abstract
This article offers an explanation of perhaps Wittgenstein’s strangest and least intuitive thesis – the semantical mutation thesis – according to which one can never answer a mathematical conjecture because the new proof alters the very meanings of the terms involved in the original question. Instead of basing our justification on the distinction between mere calculation and proofs of isolated propositions, characteristic of Wittgenstein’s intermediary period, we generalize it to include conjectures involving effective procedures as well.
ISBN(s)
PhilPapers/Archive ID
ANDSMA-4
Upload history
Archival date: 2015-07-01
View other versions
Added to PP index
2015-07-01

Total views
383 ( #12,183 of 52,754 )

Recent downloads (6 months)
32 ( #20,097 of 52,754 )

How can I increase my downloads?

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