8 ideas
9288 | The magic of Asclepius enters Renaissance thought mixed into Ficino's neo-platonism [Yates] |
Full Idea: The magic of Asclepius, reinterpreted through Plotinus, enters with Ficino's De Vita into the neo-platonic philosophy of the Renaissance, and, moreover, into Ficino's Christian Platonism. | |
From: Frances A. Yates (Giordano Bruno and Hermetic Tradition [1964], Ch.4) | |
A reaction: Asclepius is the source of 'Hermetic' philosophy. This move seems to be what gives the Renaissance period its rather quirky and distinctive character. Montaigne was not a typical figure. Most of them wanted to become gods and control the stars! |
9291 | The dating, in 1614, of the Hermetic writings as post-Christian is the end of the Renaissance [Yates] |
Full Idea: The dating by Isaac Casaubon in 1614 of the Hermetic writings as not the work of a very ancient Egyptian priest but written in post-Christian times, is a watershed separating the Renaissance world from the modern world. | |
From: Frances A. Yates (Giordano Bruno and Hermetic Tradition [1964], Ch.21) | |
A reaction: I tend to place the end of the Renaissance with the arrival of the telescope in 1610, so the two dates coincide. Simply, magic was replaced by science. Religion ran alongside, gasping for breath. Mathematics was freed from numerology. |
17879 | Axiomatising set theory makes it all relative [Skolem] |
Full Idea: Axiomatising set theory leads to a relativity of set-theoretic notions, and this relativity is inseparably bound up with every thoroughgoing axiomatisation. | |
From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.296) |
13536 | Skolem did not believe in the existence of uncountable sets [Skolem] |
Full Idea: Skolem did not believe in the existence of uncountable sets. | |
From: Thoralf Skolem (works [1920], 5.3) | |
A reaction: Kit Fine refers somewhere to 'unrepentent Skolemites' who still hold this view. |
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
Full Idea: Löwenheim's theorem reads as follows: If a first-order proposition is satisfied in any domain at all, it is already satisfied in a denumerably infinite domain. | |
From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.293) |
17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
Full Idea: The initial foundations should be immediately clear, natural and not open to question. This is satisfied by the notion of integer and by inductive inference, by it is not satisfied by the axioms of Zermelo, or anything else of that kind. | |
From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.299) | |
A reaction: This is a plea (endorsed by Almog) that the integers themselves should be taken as primitive and foundational. I would say that the idea of successor is more primitive than the integers. |
17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
Full Idea: Most mathematicians want mathematics to deal, ultimately, with performable computing operations, and not to consist of formal propositions about objects called this or that. | |
From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.300) |
3029 | Stilpo said if Athena is a daughter of Zeus, then a statue is only the child of a sculptor, and so is not a god [Stilpo, by Diog. Laertius] |
Full Idea: Stilpo asked a man whether Athena is the daughter of Zeus, and when he said yes, said,"But this statue of Athena by Phidias is the child of Phidias, so it is not a god." | |
From: report of Stilpo (fragments/reports [c.330 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.10.5 |