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 |
12887 | A whole must have one characteristic, an internal relation, and a structure [Rescher/Oppenheim] |
Full Idea: A whole must possess an attribute peculiar to and characteristic of it as a whole; there must be a characteristic relation of dependence between the parts; and the whole must have some structure which gives it characteristics. | |
From: Rescher,N/Oppenheim,P (Logical Analysis of Gestalt Concepts [1955], p.90), quoted by Peter Simons - Parts 9.2 | |
A reaction: Simons says these are basically sensible conditions, and tries to fill them out. They seem a pretty good start, and I must resist the temptation to rush to borderline cases. |
20992 | Right and wrong concerns what other people cannot reasonably reject [Scanlon] |
Full Idea: Thinking about right and wrong is, at the most basic level, thinking about what could be justified to others on grounds that they, if appropriately motivated, could not reasonably reject. | |
From: Thomas M. Scanlon (What We Owe to Each Other [1998], Intro) | |
A reaction: The tricky bit is that the acceptance by others must be 'reasonable', so we need a reasonably objective view of rationality. Don't picture your neighbours, picture the locals when you are on holiday in a very different culture. Other Nazis? |