[Arisbe] SUO: Re: Pro Forma Remarks On Logical Formalization & Mechanization

[Jon Awbrey]

¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

| A proper theory of judgment must make it impossible to judge nonsense.
|
| Ludwig Witgenstein, 'Notebooks, 1914-1916',
| Edited by G.H. von Wright & G.E.M. Anscombe,
| With English translation by G.E.M. Anscombe,
| Harper & Row, New York, NY, 1969.  Page 97.

| The correct explanation of the form of the proposition "A judges p" must
| show that it is impossible to judge a nonsense.  (Russell's theory does
| not satisfy this condition.)
|
| Ludwig Wittgenstein, 'Tractatus Logico-Philosophicus',
| Routledge, London, UK, 1922.  Paragraph 5.5422.

Josiane,

I cannot find the other texts from Russell and Wittgenstein
that I was looking for in this connection, so I will have
to pick it up again another time, after I locate them.
It may not be until after I go on vacation next week.

Regards,

Jon

¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤