3 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
Full Idea: The first clear proof of the consistency of the first order predicate logic is found in the 1928 book of Hilbert and Ackermann. | |
From: report of Hilbert,D/Ackermann,W (Principles of Theoretical Logic [1928]) by Michal Walicki - Introduction to Mathematical Logic History E.2.1 |
21342 | A relation is internal if two things possessing the relation could not fail to be related [Moore,GE, by Heil] |
Full Idea: Moore characterises internal relations modally, as those essential to their relata. If a and b are related R-wise, and R is an internal relation, a and b could not fail to be so related; otherwise R is external. | |
From: report of G.E. Moore (External and Internal Relations [1919]) by John Heil - Relations 'Internal' | |
A reaction: I don't think of Moore as an essentialist, but this fits the essentialist picture nicely, and is probably best paraphrased in terms of powers. Integers are the standard example of internal relations. |
20716 | False prophets will perform wonders to deceive even the elect [Mark] |
Full Idea: For false messiahs and false prophets will appear and perform signs and wonders to deceive, if possible, even the elect. | |
From: St Mark (02: Gospel of St Mark [c.66], 13:22), quoted by Brian Davies - Introduction to the Philosophy of Religion | |
A reaction: This casts a rather different light on the miracles of Jesus, since they were performed in a context in which even Jesus believed that lots of people (and not just the son of God) could perform miracles. Undermines any Argument from Miracles. |