Cf: All Liar, No Paradox • Discussion 1
Re: Laws of Form
::: John Mingers
Several people have referred recently to the idea that Laws of Form,
and particularly Chapter 11 with imaginary logical values, provides
an answer to the problems Russell found in Principia Mathematica
leading to the Theory of Logical Types, which essentially banned
I am interested in this and wondered if anyone had done any work on it,
or seen any work on it, which actually formulates self-referential forms
such as “This sentence if false” into LoF notation?
If so I would be interested to work on it.
The problem with Russell, well, one of the problems with Russell,
is not his having or wanting a theory of types but his lacking a
theory of signs, or semiotics, which being afflicted with the isms
of logicism, nominalism, syntacticism, and their ilk, the need and
utility of which he lacked the sense to know. That is one of the
reasons why I take up Spencer Brown's calculus of indications and
his Laws of Form within the sign-theoretic environment of Peirce's
theory of triadic sign relations. I've written a few things about
how the simpler so-called paradoxes look in that framework so I'll
post a sample of those later.
On 8/1/2015 11:28 AM, Jon Awbrey wrote:
> Post : All Liar, No Paradox
> Date : August 1, 2015 at 10:30 am
> | A statement S_0 asserts that a statement S_1 is a statement that S_1 is false.
> | The statement S_0 violates an axiom of logic and it doesn't really
> | matter whether the ostensible statement S_1, the so-called “liar”,
> | really is a statement or has a truth value.
> When I endeavored some years ago to examine the so-called “liar paradox”
> from what I take to be a pragmatic, semiotic, sign relational standpoint,
> I arrived at a way of understanding it that dispelled, for me, every air
> of paradox about it. I wrote out an articulation of that analysis under
> the same title I'm using here and shared it in several discussion groups.
> The couplet above is a maximally trimmed down rendering of that analysis.
> The more rambling version can be found at these locations:
> • http://permalink.gmane.org/gmane.comp.misc.ontology.general/1094
> • http://forum.wolframscience.com/archive/topic/266.html