Semantical Mutation, Algorithms and Programs

Dissertatio (S1):44-76 (2015)
  Copy   BIBTEX

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.

Author's Profile

André Porto
Universidade Federal de Goiás

Analytics

Added to PP
2015-07-01

Downloads
664 (#21,010)

6 months
77 (#49,182)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?