New Essays on Frege by Gisela Bengtsson Simo Säätelä & Alois Pichler

Author:Gisela Bengtsson, Simo Säätelä & Alois Pichler
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham

a theorem, a true proposition or judgment, and not a rule we follow in calculating. This appears to be connected with Frege’s claim that arithmetic is a science (in a sense with roots in Aristotle ), and a science must have a subject matter. This ontological conception of mathematics was abandoned by Vieta and his followers at the beginning of the seventeenth century. In Vieta’s symbolic mathematics , the notion of theorem is replaced by the notion of problem. Vieta’s attitude was that “We are concerned with solving problems, not with proving theorems (as Euclid).”

References

Carnap, R. (1937). The logical syntax of language. A. Smeaton (Trans.). London: K. Paul Trench.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.