15. Geometry no more speaks about cubes than logic does about negation.
It looks as if one could infer from
the meaning of negation that “~ ~p” means p.
is there an inference with ‘~ ~ p’ – to p?
this is a question of logic –
and your answer to this question depends on your theory of inference –
the question of inference –
as with any other concept of logic is open to question –
open to doubt – uncertain
yes we play the logic game – as we do the grammar and geometry games –
we live in a culture that finds these games useful –
and codifies them
and we play these games as
prescribed
however these games – with all their concepts and operations –
never have been – and are not –
beyond question
© greg t. charlton.
2014.
