Combining Texts

Ideas for 'works', 'Russell's Mathematical Logic' and 'Slaughterhouse Five'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

4 ideas

5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics

10035	Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel]
	Full Idea: 'Mathematical Logic' is a precise and complete formulation of formal logic, and is both a section of mathematics covering classes, relations, symbols etc, and also a science prior to all others, with ideas and principles underlying all sciences.
	From: Kurt Gödel (Russell's Mathematical Logic [1944], p.447)
	A reaction: He cites Leibniz as the ancestor. In this database it is referred to as 'theory of logic', as 'mathematical' seems to be simply misleading. The principles of the subject are standardly applied to mathematical themes.

5. Theory of Logic / E. Structures of Logic / 1. Logical Form

4730	For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady]
	Full Idea: Aristotle apparently believed that the subject-predicate structure of Greek reflected the substance-accident nature of reality.
	From: report of Aristotle (works [c.330 BCE]) by Paul O'Grady - Relativism Ch.4
	A reaction: We need not assume that Aristotle is wrong. It is a chicken-and-egg. There is something obvious about subject-predicate language, if one assumes that unified objects are part of nature, and not just conventional.

5. Theory of Logic / G. Quantification / 2. Domain of Quantification

10042	Reference to a totality need not refer to a conjunction of all its elements [Gödel]
	Full Idea: One may, on good grounds, deny that reference to a totality necessarily implies reference to all single elements of it or, in other words, that 'all' means the same as an infinite logical conjunction.
	From: Kurt Gödel (Russell's Mathematical Logic [1944], p.455)

5. Theory of Logic / K. Features of Logics / 8. Enumerability

10038	A logical system needs a syntactical survey of all possible expressions [Gödel]
	Full Idea: In order to be sure that new expression can be translated into expressions not containing them, it is necessary to have a survey of all possible expressions, and this can be furnished only by syntactical considerations.
	From: Kurt Gödel (Russell's Mathematical Logic [1944], p.448)
	A reaction: [compressed]