Re: SUO: Re: Logic & Programming Languages

[Chris Menzel <cmenzel@philebus.tamu.edu>]

I wrote:
> ...the basic principles of
> propositional and predicate logic are no more "made up" than the speed
> of light, and we have no more choice about whether or not to obey them
> than does a photon about how fast it can go.)

That's false, of course, as we can (at least to some degree) choose not
obey them if we wish -- though at the cost of rationality.  What we have
no choice about is whether or not the principles in question are *valid*.

-chris