Combining Texts

Ideas for 'works', 'Intuitionism and Formalism' and 'De formis'

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

display all the ideas for this combination of texts


2 ideas

19. Language / A. Nature of Meaning / 5. Meaning as Verification
Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman]
     Full Idea: The concern of mathematical intuitionists was that the use of certain forms of inference generates, not contradiction, but unjustified assertions.
     From: report of Luitzen E.J. Brouwer (Intuitionism and Formalism [1912]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6
     A reaction: This seems to be the real origin of the verificationist idea in the theory of meaning. It is a hugely revolutionary idea - that ideas are not only ruled out of court by contradiction, but that there are other criteria which should also be met.
19. Language / E. Analyticity / 2. Analytic Truths
The notion of analytic truth is absent in Aristotle [Aristotle, by Politis]
     Full Idea: The notion of analytic truth is conspicuously absent in Aristotle.
     From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.5
     A reaction: Cf. Idea 11239.