What is logic?

Earlier I said that,

You rest at the outset of an expanding logical world. Or of worlds of worlds of worlds over and again.

Therein I have placed the core strains of this present search. Most obviously, we are caught between a world and worlds of worlds of worlds. The solitude of the One pit against the clamor of the Many reappears here, as it always has in human thought, the question of choosing either being our perennial friend and enemy. To choose today, if ever our choice, it was sought to clarify the fog around that thing which is called logical world. What space does it occupy, and wherein is it kept? In the head, on the page, or somewhere beyond our impoverished frame of perspective? And also—what are the logical worlds constituents? Who are its dwellers? I am asking really, or I think,

What is the logical world?
(and is there an answer or many?)

 

Dawn by Ei-Q. The National Museum of Modern Art, Tokyo.

 

 

I have said as well that this world(s) is expanding. How so, and what of it? Are we to be so impressed if there are more things but have yet gained nothing? That is for you to answer. I will insist only that its multifariousness, its explosive expansion destroys as it creates, and we gain precious much.

Returning to the world alone, what relation does the logical world bear on the world, or vice versa? Does the world define the logical? Does the logical speak of the world?

Can there ever be an outset to the logical world? Are there bounds, and if so, where do they lie? Or else, are we to think of it as all-encompassing and forever boundless?

At the end of the day, in magnificent reversal, what of yourself? What is your relation to the logical? How do you see it, how do you use it, and how can it so impress upon you the way it does?

 

And so you know that my excesses are not arbitrary,
even if my words hide my head and heart in plain sight.
In truth, I have no wish for you to understand me,
or any extension of myself in thought, easily.
I shall be read, but I shall not surrender and be freely possessed.

This is my oath against you.

 

dot

dot

dot

Monism & Pluralism

 

The One and the Many: what do I mean? Of what is there One or Many or? I mean only to ask the question

Could there be/one true logic/to rule them all?

Surely you understand the difference between a tyrant and many. But you must wonder at the curiosity that is true logic. If you were Frege or Russell, true logic might have been some kind of redundant redundancy. One kind of curious curiosity. To Frege and Russell the logical at its barest, in all its unadorned nakedness, is a body of truths.1The logical fundamentally structures and embodies itself around a particular class of truths, namely the laws of truths or even, the truths about truths.2So then logic cannot help if it is true. Truth is simply its reason for being.

But this is such an old conception of logic, and we have long left that frame.

 

do not mourn its obsolescence. everything goes that way in time. at least the frame still hangs on a wall somewhere and remains open for viewing like all venerated and displaced historical treasures.

 

Four frames of pictures

Reversed Frames by Mario Restife. MoMA.

 

But moving now to stand before the present, there are four things I should like to tell you.

Four things of consequence:

  1. We are currently situated in that frame where logics most fundamental core is consequence.3
  2. Consequencethat primordial, chaotic concept from which the logical world is forged and cools over.
  3. So, we are currently situated in that frame where logics most fundamental core is that primordial, chaotic concept from which the logical world is forged and cools over.
Within the fourth where the three are
strung together in linear union,
I make no singular assertion. In passing above over all three I have sought to speak to you of a hypothetical, a dream. And so in the fourth, I ceased to merely speak of consequence: I demonstrated it.

 

This last thing cannot be seen with simple blackened words. Be assured that it is there as I am here. I am eluding you, of course, but this frame eludes only because a frame becomes indiscernible when you yourself sit inside its room. Let me put it another way. Churning 1 and 2, which alone do nothing, and then to mingle them—to disturb their natural nothingness—to form 3: this is the creation of consequence. It is an inventive act and purely constructive as it builds new facts upon the old; or at least, it reveals the olds new faces.

Yet for all that it creates, we stand not amazed. For the drawing of consequence is to draw in midair. The process is unseen, though its product is seen, and there is little time to hold sacred forms we cannot even imagine. though little time has not kept some from trying. Conjoined with consequences invisibility is the fact of its inevitability. We are moved, pushed even, to find thoughts end, otherwise known as its conclusion, once we are on that road. Can you escape 3 were it the case 1 and 2? There is simply nowhere for you, this day or tomorrow.

Thus is the matter: so ordinary, so banal to us is consequence that we usually do not note its procession, and we leave its mark off the page.

But as I said, consequence is logics most fundamental core, and so it must mark consequences revered presence one way or another. Of course the logician cannot help doing so. She would have done this in many ways:

 

3. So, we are currently situated in that frame where logic’s most fundamental core is that primordial, chaotic concept from which the logical world is forged and cools over. (from 1 & 2)
OR
(MP 1, 2)
OR
Application of Modus Ponens using 1 and 2
OR what have you.

 

 

Here already is one thing you may learn. Logic seeks to make visible what was latent, ignored, and taken for granted. It seeks to clarify and uncover what was crouched and shrouded. No wonder the logician has few admirers though she helps many.

 

dot

 

WHY?
WHO SHOULD LIKE THAT THEY ARE EXACTLY CLEAR TO ALL?
That their thoughts, or that they themselves, are bare in daylight?
NOT ME AT LEAST.
YOU KNOW I HAVE ALREADY SWORE AGAINST YOU.
But clarity is the very design of logic: to know what follows from what and how so,
WHERE THIS HOW SO IS ANSWERED AND DETERMINED BY UNCOVERING THE PRECISE LOGICAL STRUCTURE OF OUR WORDS
OR OTHER SUCH MEANINGFUL CONTEXTS.

 

dot

 

(it leaves little room to hide, and this is undesirable to us, we people who like to hide, as i hide now within a bracket.)

 

dot

 

Why have I taken these pains to speak to you of consequence?

BECAUSE

It is the core concept of the logical: yes, how many times am I to convey this to you?

Consequently, this is what we mean when we say there is only one true logic, or there are many logics.

I mean that logical pluralism is a pluralism about consequence, and logical monism is the contrary thesis.4

Now in words that are more mine:

Logical worlds forged and defined
by their own unique cores of consequence.

 

It is
clear
to you
now,
at least
I hope,
or
maybe I
hope not,
what our
basic
conundrum
is.
You
are
waiting
for
my
verdict?
Pity
that
you
should
wait
for
nothing.
I
suppose
you
are
no
different
from
the
rest
of
us.
AGAINST


A logical world forged and defined
by a single core of consequence.


No
matter.
You
may
pursue
these
two
roads
alone
and
obtain
your
own
end
and
conclusion.
How
I
leave
you
something
still.

 

 

Dread is to choose between two roads that appear always to promise something when, in fact, they promise nothing. Here, two lines are monuments to fragility and limitation, as well as the hope we hold on the way. Can you see now what else may two lines become? You may imagine a form, a word, or a world. And when we are extraordinarily lucky, two begets three, an offspring set of points to tread:

In a yellow wood,
the gap where two roads diverge,
there waits another question.
Do you follow me there?

 

On Following

 

“What these logicians claimed to have done is to free our ordinary language from unclarities and ambiguities.”
— Jaakko Hintikka, “Which Logic is the Logic of Mathematics?” 3.

 

Thus, consequently, as such, therefore, and it follows that are all phrases that denote roughly the same thing: consequence.

It seems that concept of consequence is definite and precise, just as definite and precise its token is underlined there. However, this seeming does not coincide with reality (or at least what I think is reality, but I reserve for myself the thought that reality is just what I think).

After all, the concept of consequence is primordial and chaotic. Wherefore primordial?

Because though the concept has a formal use, it first lived in the domain of our ordinary and everyday intuitions.5These intuitions were given to us just as they were given to our forebears and they their forebears; no one can know just how old they are.

And why chaotic?

Because its foray into the formal domain was pushed on by people&people are such that they often make arbitrary choices. And besides, these are people who sought to reconcile the content of the everyday concept with the formal, precise one.6

dot

The concept of following is not distinguished from other concepts of everyday language by a clearer content or more precisely delimited denotation, the way it is used is unstable, the task of capturing and reconciling all the murky, sometimes contradictory intuitions connected with that concept has to be acknowledged a priori as unrealizable, and one has to reconcile oneself in advance to the fact that every precise definition of the concept under consideration will to a greater or lesser degree bear the mark of arbitrariness.7

dot

There. I have used the weight of another’s word: am I to be more or less trusted? For if I am helped and am more trustworthy to you, then that means my own word is not enough and should not be trusted at all.  Against arbitrariness and murk, the bedrock safety of a theory may give you short peace.

 

Tote Mutter I (Dead Mother I) by Egon Schiele. Leopold Museum.

 

A Theory of Following Logically

We say that the sentence follows logically from the sentences of the class if and only if every model of the class is at the same time a model of the sentence .8

 

dot

dot

dot

dot

 

We call such a theory semantical, the heads to the tails of syntax on the coin of meaning.

  1. HEADS: TAILS

    A) OBVERSE: REVERSE

    B) VERSO: RECTO

    C) CONTENT: FORM

    D) SEMANTICS: SYNTAX

Shall we flip our coin to make the choice?

Semantics  Syntax  Semantics  Syntax
Semantics  Syntax  Semantics  Syntax
Semantics  Syntax  Semantics  Syntax
Semantics  Syntax  Semantics  Syntax
Semantics  Syntax  Semantics  Syntax
Semantics  Syntax  Semantics  Syntax
Semantics  Syntax  Semantics  Syntax
Semantics  Syntax  Semantics  Syntax
Semantics  Syntax  Semantics  Syntax
Semantics  Syntax  Semantics  Syntax
Semantics  Syntax  Semantics  Syntax
Syntax  Semantics  Syntax  Semantics
Syntax  Semantics  Syntax  Semantics
Syntax  Semantics  Syntax  Semantics
Syntax  Semantics  Syntax  Semantics
Syntax  Semantics  Syntax  Semantics
Syntax  Semantics  Syntax  Semantics
Syntax  Semantics  Syntax  Semantics
Syntax  Semantics  Syntax  Semantics
Syntax  Semantics  Syntax  Semantics
Syntax  Semantics  Syntax  Semantics
Syntax  Semantics  Syntax  Semantics
Syntax  Semantics

 

ALL, and we proceed.

 

Cellule Auriculaire

Cellule Auriculaire by Odilon Redon. Museum of Fine Arts, Houston.

 

I mentioned peace? I am beside myself; it was a misstep. I did not mean it in sincerity even if peace were true. I could never give you such lightness of being or such heaviness of solace, so do not feel that you are my debtor. I give you my word, and this time, it is sincerely for you. That is, what I can give to you is what I express, and what I express—my meaning, my content and discontent—is held together by the bindings of form and ruled structure.9 If I have said something—something of meaning—it was carried to you across time and place in these wrappings and is your present BURDEN. No doubt, I am restlessly concerned that if I have said something, it is something much like nothing. It is a worry owing to our seat in time and place, WHICH IS NONE OF YOUR CONCERN. It will push against you, the weight of what I mean, and I pray you shall sink there. Such is my cruelty. though surely it is only human need.

It is not formless: believe me, meaning has its body too.
(how else could it have form? how else could it have weight?)
It is just that some bodies make themselves more known than others. But meaning must have it, for without body, there would be only abyss. Hold yourself over it now, look down, and do not fall.

 

dot

What if content and meaning is never without form and body? What if the gulf between them is actually one quiet, unidirectional continuous stream? This I think when staring into a little pond of reflection.
Then would evaporate our two-sided coin, SEMANTICS: SYNTAX.
Or maybe it sinks into our stream, SEMANTICS—SYNTAX.
But that is only my pond; I know not others.

Möbius strip
Möbius Strip I by M. C. Escher. The National Gallery of Art.

 

dot

 

Do you hear me? Stand if you are unhurt.

 

dot

dot

dot

dot

 

Before that semantical theory of following logically, there was a syntactical theory.10 It was thought that one thing follows some others if it could be derived from those others using the rules.11

BUT THE RULES DID NOT AND COULD NOT SUFFICE.

For, how could inference rules give us the means to derive Such and such holds for all humankind, from

Such and such holds for the first person &

the person after the first &

the person after the person after the first &

then the person after that one &

... &

... &

... &

it holds for the last person, who has just now joined us in life and cries over his gain and loss.12

Yet we feel that Such and such holds for all humankind, must follow were we able to tell it for every human whos fortune is to inhabit this Earth.

Even after adding structural rules such as induction, whose power is to obtain Such and such holds for all humankind, THE RULES STILL DO NOT SUFFICE.

For, if we abstract from certain theories with a very elementary structure, then always—no matter how we enrich the stock of rules of inference—we shall be able to construct sentences which follow in the everyday sense from the theorems of the deductive theory under consideration, but which cannot be proven in this theory on the basis of the accepted rules.13 See here, a serendipitous meeting with the mirror: the INCOMPLETENESS of the syntactical theory follows from a certain kind of INCOMPLETENESS of our basic formal languages.14

Thus, we leave the syntactical theory (of) following behind us. Though the semantical theory does not fall behind in this way, and though it agrees with our old intuitions

& though for the concept of following logically it makes necessary and insufficient the property that deliberate substitution of non-logical constant terms for other constant terms in and in the sentences of class preserves s truth so long as every sentence in is true,

we arrive at the yellow wood, and our question is here.15

 

how do we sift the logical from the non-logical?

 

The virtue of the semantical theory rests in making necessary but insufficient. Yet like all virtues, here too lies vice; they, of course, sleep in the same bed and warm each other by their closeness.

I do not exactly mean,
“I must be cruel, only to be kind.
Thus bad begins
and worse remains behind.”
I mean only that
my cruelty to you now
is also an act of self-kindness,
and it protects me.
May you have sufficient vice
to absolve my virtue.

 

The vice we currently face is that depends upon a division of all our languages terms into the logical and non-logical. However, the possibility of division is precisely our question, AND THE ANSWER IS THAT THERE IS NO SOLID LINE BETWEEN THEM.16

 

Your consideration with more care,
I ask for only a moment’s briefest time—
We are companions seeking to find an answer to the question of what is logic. But it is the case that NO ONE KNOWS THE LINE FROM THE LOGICAL AND THE NON-LOGICAL EXACTLY. Friend, I confess though it is already obvious: there is not one thing to find.

You are furious? I can see. You condemn me? That, I long knew you would. Your abuse is nothing to me. I will always guard against it.

You are acting like a brute: did I not warn you that there is no treasure to find? Yet you still become like an imperial man. It is not even my fault that there should be such a fundamental puzzle rooted within the core of logic itself.

Try to understand that looking for treasure will be your ruin and that it is not truly worth so much. What is worthier is wonder and joy in wonder: to seek without expecting to possess what you find and to ask without commanding an answer. You would not wish to disturb the world. You would wish that the world disturbs you by bringing awe and all that could be your beloved. And know that this is not “treasure.” It is past time we saw that the set of treasure and the set of the beloved are neither co-extensional nor intersecting. This was not our error; we are not to blame for what we inherit, which is a language that confuses the two when they should be disjoint. True, there is no definitive answer waiting for us. But consider it again. Is it not better to stay, just in case something should travel our way?

Come now, I will put silence to it and forget—

silence to forget.

 

Thus,
consequently,
as such,
therefore,
and it follows that

CONSEQUENCE,

that primordial, chaotic concept from which the logical world is forged and cools over,

is not merely primordial and chaotic:

it also makes us look far beyond a yellow wood

where we discover that our fundamental question will never yield itself.

Now we may face with awe the fog that surrounds

and try with the means we have to approach

even if we should always remain at its fringes.

dot

It is simply an astonishing inversion.

REMEMBER THAT IT WAS ONCE SOUGHT TO CLARIFY THE FOG THAT HANGS AROUND THE LOGICAL WORLD.

Though we have managed to utter some things, we have not said enough to dispel it completely. SO TODAY WE LET OURSELVES BE SUBSUMED BY IT.

Do not laugh. You think I am offering a false mountain mysticism.
I am not—you will never understand my aims.

I pity that you think to accept the surrounding fog is a humiliating defeat. I pity that you think our ending must be here.

And I pity most of all that you would rather stand helpless in trepidation when faced by expanding daze. Why have you thought that fog means there is nowhere to go?

Yours is the attitude of someone who must conquer or have nothing. If they are smarted once, they will always lie low and be the kind of meek one for whom no person could have sympathy. My friend, I am sorry for you; yours is the way of someone who will never know how to live.

Do not think that logicians have buried their tools and wept. No, they have kept working all this time, no matter how near ambiguity lay. In fact, clarity—the design of logic—and precision—the aim of logicians—gain their power from its nearness. You would see that they are connected if you would only LOOK. Were everything so precise, so clear to us there might have been little left for the logician to do. In the end, that would have been a much more disappointing world.

Fortunately, that world is not ours. Have heart, a possible world may present itself in time. In actuality, logicians have expanded the logical world to create logical worlds, and this they did despite surrounding fog, which is an accomplishment for any theoretical undertaking. From the great and once lone classical logic, they have multiplied not just how many logics there are but also how many notions of logic we may have. These two are bound together anyway, but sometimes we forget that what there is to see affects what we may understand.

 

LOOK:

Are you grasping that I draw concepts
together where many would not?
I have joined
clarity—ambiguity
as well as

one—many
creation—destruction
virtue—vice
logical—non-logical.
I have intersected
points with lines
visible with invisible
silence with saying
cruelty with kindness.
I have housed ideas in bodies
and traded a coin for a stream.
I have made my content
indivisible from its form,
and I have spoke of ‘You’ and ‘I’
without saying
these were always different.
With two words and a line between,
you may learn to see
discrete beside continuous,
or at least see how severing tears
may yet be binding sites.

 

We are ready to meet a few of the many that wait for us ahead. We will see their differences and their commons and respect all together. We will see how their lines create new understanding from destroying old assumptions, and how a view can shape our logical world. Finally, may we forswear any remaining instinct that suggests insurmountable opposition and singular domination. For that logic is an imperial logic.17

 

Logics views

 

Sometime ago, I presented to you a theory of following logically. I am sure you have since discarded it so I shall give it to you again:

We say that the sentence follows logically from the sentences of the class if and only if every model of the class is at the same time a model of the sentence .18

It is intimately related to a much wider theory, who sometimes inspires the view that the relation of a sentence to its models is the cornerstone of all semantics.19 This is model theory.

Model Theory is not so esoteric as you might think: it is the study of what you have done heretofore. All this time, and at every turn of the word, you have watched me and INTERPRETED what you saw. It is exasperating that I cannot control how you see so that you would need not interpret. And it is maddening that for what I can control, what there is to see, I may control it only negligibly.

After all, would you have elected to remain by me were it the case that all these words were so fundamentally unreadable & uninterpretable?

Think of sense—significance.
PH-303 by Clyfford Still
PH 303 by Clyfford Still. Clyfford Still Museum.
If you similarly understand ‘sense,’ you would agree that everything contained from ‘Think’ to now has its sense.

Using this sense of sense:
Imagine that every word of mine was much more SENSELESS.
Something more SENSELESS than a falling leaf in Spring or a drop falling into sand. That is, something so profoundly SENSELESS that I cannot even talk about it or tell you its name. It should be clear that I do not mean ‘something yet to be interpreted’ like a syntactical sign. I have not the words to describe something that is nothing to me. Of course, I am failing now too. I may as well be blathering, or aren’t I already? but my failure is necessary.

Were it so, there would be nothing there for you to interpret, and you would not have grasped that there was anything there to interpret in the first place. So do not pretend that you would have kept by me. You would only look foolish.

 

Sometimes you will interpret me as I intend. Other times, your interpretation will be far away. Yet no matter what it is, I will either be interpreted or reinterpreted. I, anyway, cannot prevent it.

To be clear, model theory is the mathematical study of the interpretations of any language. Here, its interest for us is that in the historical development of logic, it gave one SHAPE to our understanding of the logical. 20 There are, in fact, two ways that we have more-or-less SHAPED our conception of the logical since the time of Boole and Frege.21

ONE is logic as calculus, which is to understand logic in a model-theoretic fashion.

TWO is logic as language, which is nothing less than a universal medium.22

I have discussed FRAMES, and
I have discussed BOUNDLESSNESS.
Here is where I shall relate the two though they appear opposed. In sum, their common relation is that they SHAPE.

Cognizing logic as ONE—as calculus—requires that we have our frames. What would we have to frame? The logical world. By doing so, we would limit the height of all our logical flights by tying each to their own proper domain. Our frames would set a context—a universe of discourse—for each logical formula that we consider, and each context may be left to our imagination. Just as it is for us now: this text will appear in your frame, which shapes your interpretation of it. Or you may consider it in the context of the literature, which will also supply an interpretation. I have not kept my notes for no reason at all. Moreover, a logical formula may be placed in many different frames. Thus, our logical language becomes endlessly
REINTERPRETABLE.

REINTERPRETABILITY is not the only characteristic of ONE. When we are framing the logical, we make our universe of discourse bounded, but since we may step outside any bound and enter any other domain, a metatheory becomes possible. We now become able to ‘speak’ about those logical languages which we leave behind.

Cognizing logic as TWO—as language—differently shapes the logical world and what is possible within it. When TWO is the shape of our view, the logical language becomes a universal language. It has a context, but its context is the whole scope: it is boundless, and there is no alternative frame, universe of discourse, or language. Once our logical language is put in a frame with no bound, we will never suceed in stepping outside. A metatheory is impossible, nonsensical even, and though there is context, this context is the only one available, making reinterpretation similarly INCONCEIVABLE.

 

 

Frames of jumping over a boys back.

Jumping over boy’s back by Eadweard Muybridge. Kingston Museum and Heritage Service. 

 

For your eyes, I have placed two lenses so that you may understand how perception shapes a view.

Perception gives you your place in a room. But no matter how the matter really is, room or no room, your perception will shape how you move in what you perceive. The perceived world is driven by your perception, your perception determines how you move, how you move determines how your surroundings move in response and these together create your view. And then the process may proceed in reverse as your view alters what you see and how you move. This, in fact, it must do, for how could you have initially perceived a room without a view? And so the process goes, moving clockwise and counterclockwise.

These metaphors may not be true in our world, but they are true in the logical world.

Le Jour by Odilon Redon

Le Jour (Day) by Odilon Redon.
The Metropolitan Museum of Art.

 

A way of viewing shapes, and eventually becomes shaped by, activity and understanding: that much is clearly seen in those logicians who had divided themselves between ONE and TWO.23 But what do we see when we see with logic? Do we see our rock-collided, ocean-covered, and core-solidified physical world?

Or rather do we see something more like,

Picture of a Pointless Abstraction Framed Under Glass from a Hollywood Collection by David Hockney

Picture of a Pointless Abstraction Framed under Glass from A Hollywood Collection by David Hockney.
?

 

Whether logic helps us more clearly see the world or abstractions, and there is no reason to think that it could not be both all logics share the characteristic that they are principled, irrespective of whether those principles align with any liquid intuition. Moreover, we can make symbol-pieces and make them so that they are forced to move in accordance with those principles. These two things, principles and symbol-pieces, when combined with any domain of play, whether or not it is boundless determine every possible configuration. Here, I mean not just every possible formula or sentence. I mean as well every possible valid formula AND every possible valid sequence of moves that follow one after the other in succession. This is otherwise known as an argument or derivation.

 

I DESCRIBE A GAME
I DESCRIBE A GAME
I DESCRIBE A GAME
assimilating syntax—semantics.
needing each part for play.
showing logic as activity.

 

Thus to reconstruct what we see with logic and how so, we might walk in reverse and first ask what do we do?

We begin with principles.

Classical logic has its principles, and some of the most notable are

  1. LAW OF EXCLUDED MIDDLE
  2. BIVALENCE
  3. PRINCIPLE OF NON-CONTRADICTION
  4. PRINCIPLE OF EXTENSIONALITY.

All of its principles, along with the conventional symbol-pieces that accord to them, make valid

among others.

Despite their origin in choice and inheritance, these principles were lauded as the ultimate principles of thought and language sometimes even the world.24However, if language—or thought—is the ultimate activity, then there can be no other logical game that is, no other activity that goes against its principles. Today, we can see this for what it is: an old assumption. to uncover an assumption is to attempt to eliminate it. The world has changed many times over since then, and I include here the logical world. We made, and continue to make, new logics that do not always agree with classical principles.

CLASSICAL LOGIC IS ITS OWN GAME.
THERE ARE OTHERS THAT
HAVE THEIR OWN RIGHT
TO THE TITLE ‘LOGICAL GAME’.

 

The non-classical logics are, in fact, not so differently constructed to bar their addition to the concept of logic.

IT IS JUST THAT SOME USE CERTAIN PRINCIPLES WHERE OTHERS DO NOT. Our choice of principles, of course, affects our choice of symbol-pieces that must move in accordance to them. These together will then determine our possible configurations and, ultimately, who can follow whom in sequence. Here again appears consequence, another testament to its importance. Owing to this, you may think of each logic as having, in some measure, their own sense of following. IN OTHER WORDS, THEY ARE MADE IN THE SAME WAY ALBEIT OF DIFFERENT MATERIAL: THIS IS THE EXTENT OF THEIR DIFFERENCE.

 

Do not so quickly reject the others simply because you believe reason too has its principles and that those principles align exactly with classical ones. If you must renounce per your principles and believe all other logics to be false, keep your brutish scorn to yourself. There is still wonder in the others, even if they must be false. Or do you similarly detest images and poems?

 

dot

dot

dot

 

Shall we see for ourselves what these games look like?

Here is Łukasiewicz logic, and there is something I cannot yet make out. But it is too far, and I will not seek to disturb it.

Immediately before us:

PRINCIPLES
  1. LAW OF EXCLUDED MIDDLE
  2. BIVALENCE
  3. PRINCIPLE OF NON-CONTRADICTION
  4. PRINCIPLE OF EXTENSIONALITY.

Łukasiewicz logic, Ł, is a many-valued logic, and being a many-valued logic, it first and foremost ignores BIVALENCE.

BIVALENCE is
thinking that
there are
only TWO
values true
and false.

 

The idea that every meaningful sentence must be either true or false as a matter of general law is one that Łukasiewicz thought to be an unshakeable dogma of Western thought.25 Though, you may also see that the idea of a general logical law is itself dogmatic; there may only be principles for each logical world. 26

 

Yet why reject bivalence? Is it not totally impossible for a sentence to be neither true nor false? Either we have or haven’t died. Either we are or are not alive.

It is simple; it is never other than true or false.

So you say, but I ask you what of tomorrow?  Tomorrow, is it true now that we live? Or is it false?

I am not asking whether you know: I am asking whether it’s true.

There are those who think neither and consider the matter as strictly undetermined, irrespective of how we may protect ourselves.

Ł similarly ignores

THE LAW OF EXCLUDED MIDDLE:

Either it is the case or it is not the case holds for every formula. It is written formally as . this is  not the same as bivalence.

THE PRINCIPLE OF NON-CONTRADICTION:

It is not the case that it is and is not the case holds for every formula. It is written formally as .

 

SYMBOL-PIECES

Propositional constants and connectives27:

  1. for falsity &
  2. for negation &
  3. for conjunction &
  4. for disjunction &
  5. for conditional.

Łukasiewicz logic matrix28:

  1. The standard propositional language , including in particular formulas, with .

  2. The set of truth values .

  3. is the only designated value, i. e., .

  4. Truth functions are given by the following tables:

     

     

DOMAIN OF PLAY

Our domain of play will define for us how to interpret the notions of formula and matrix, and it will furnish the meanings of valuation and satisfaction for Ł.29

 

MOVEMENT

From these preceding sections alone, it will not be completely obvious how Ł moves. That is because logic is in part AN ACTIVITY. You will glimpse how it moves only after you have watched someone use the symbol-pieces within Łs domain of play. Once in movement, consequence will certainly make itself visible as you discover which consequence relations obtain in Ł, and by this process, you will gain a practical understanding of why consequence is the logical worlds core.

Watch my words carefully now friend. Do not let them glide away: I can point and prime so that you are in the best position to see. Nevertheless, regardless of which words I beg, I will never have the means to make you understand how a logic moves. It would be like describing a color: to really see it, you must try to see it for yourself.

 

VII Triennale, Disegno per ricamo, Mostra dei tessuti e dei ricami, Sezione dei merletti e dei ricami
by Piero Fornasetti.  Triennale Milano .

 

dot

dot

dot

 

You may be imagining now how else we may reject bivalence. Have I not, since the very beginning, taken an oath against you? So why do I speak? Why have I not simply kept silent?

You would accuse me of being a liar.

I will swear another thing then: this cannot be true. For if I admitted it, mumbling ‘I am a liar’, I would be expressing a truth and a falsity, which can never go together.

Yet is this not the trap I warned against? Failing to notice how lines may connect even true and false? And aren’t I accepting, without reason, bivalence for every circumstance? I should know well that the Logic of Paradox allows a sentence to be both true and false and admits ‘both’ as its third value.

I am in the wrong, so allow me to make amends as is my right: I will speak as I swear silence; my statement is both true and false, and thus I need not confess my ways to you.
nor will I ever.

 

It is too late to reject the possibility of a true contradiction only because I have used it against you.30 I will reject whatever case you make since I have long used contradictions that did not explode into triviality31 : I have said that we may create as we destroy, and I have talked of something that is nothing. But in all that time, you did not protest.

 

dot

dot

dot

 

What does it matter?
YOU TALK OF NOTHING WHEN YOU TALK OF POSSIBILITY.

 

I must reject your claim again. I know not whether possibilities are real in the way that we are real.

 

But my response is this:

What if  it does matter?
WOULD  WE STILL BE TALKING OF NOTHING?

 

And if it is not nothing, COULD  YOU STILL DENY POSSIBILITY?

 

You see, then, we often talk in terms of possibility. After all, we have considered many possibilities on our way here. Though I know you knew this: you simply wished to protest now before never.

I am not chiding you: yours was a good challenge, which I have not yet honestly met. It seems that if anything, possibility is at least real in concept. It is something that is one part of our view of the logical world since, as we saw in earlier steps, our view suggests what is possible in it.

Yet, as much as that possibility and impossibility readily imprint themselves on us, these are concepts that cannot be well-expressed using only classical principles.

 

Where are you now,
bonding reason to classical principle?
How—tell—your disdain?
Or would you omit
what tomorrow brings today?

 

THE LOGIC OF POSSIBILITY, A SPECIES OF MODAL LOGIC, IS AN INTENSIONAL LOGIC NOT AN EXTENSIONAL LOGIC. 

 

Every intensional logic involves concepts that intuitively cannot be reconciled with THE PRINCIPLE OF EXTENSIONALITY. This principle, and it is one on which classical logic depends, has that you may substitute an object for its identical in any sentence. 32

It cannot be so with possibility and impossibility. Think of me, for instance:

 

IT IS POSSIBLE THAT YOU KNOW I WROTE IT.
IT IS POSSIBLE YOU KNOW S—H—E WROTE IT.

 

There can be no guarantee that both sentences share the same fate in truth or falsity were S—H—E and I the same person. For even if S—H—E and I were the same, it may happen that you did not know it. Thus, you could know that I wrote it without knowing that S—H—E , whoever she is, wrote it too.

Having recognized such a problem, we know that a logic of possibility must reject the principle, and so again we must look for the appropriate symbol-pieces and domain of play.

 

dot

dot

dot

 

dot

dot

dot

 

dot

dot

dot

 

In our last steps taken together, we had tried to approach logical worlds, the motive force of our exploration. We saw their principles, noted their constructions, and enjoyed their passing views. We came nearest to logic as activity when we witnessed the parts constitutive of Ł. Though there, we still did not see fully what we do.

 

Turn left to me.

Straight ahead is the short way.

 

THE PRINCIPAL AIM OF

Proof.
LOGICAL ACTIVITY IS PROOF.

 

A proof is simply a complete demonstration that some sentence—some formulaic configuration—follows from others or from nothing. To follow from others means we prove from a beginning configuration, which are our assumptions. To follow from nothing means we prove using the symbolic-pieces and domain of play alone; we would begin with no configuration.

Do we understand now what we see in logic? At least for myself, it is not yet clear.

What if we instead had this?

This is not a proof

 Proof & Refutation.

 

Would that refutation be true?

I myself could not know how to respond, but we may attempt it together.

We would first need to ascertain the proper material of a proof. Is a logical proof a complete demonstration in abstraction? Or is it instead a complete demonstration in the physical world?

If we mark a logical proof by its physical existence, the refutation would be false, which is desirable. However, the two preceding proofs would be different proofs. It may well be that THIS IS WHAT SHOULD BE THE CASE given other facts and aims. Yet we know that this DOES NOT RESPECT OUR PRESENT INTUITIONS, LIQUID AS THEY ARE.

 

WE WOULD NOT SAY THAT
BLUE &BLUE
ARE TWO DIFFERENT WORDS.
WHY SHOULD IT BE DIFFERENT NOW?

 

This suggests that a proof is made of abstraction, which suggests that THE LOGICAL WORLD WE SEE IS ALSO AN ABSTRACTION.

Even though it would make the refutation true, this view of logic is not so unreasonable: we have, in some sense, constructed a language whose parts are made of logical forms that are structured and related immaterially.33

 

HOWEVER,
IT IS ULTIMATELY UNSATISFYING.
THIS VIEW DOES NOT REVEAL WHY
A PROOF MUST BE PRESENTED AS IT IS.

WE HAVE OTHER ABSTRACTIONS.
WHY MUST WE DRAW THESE AND NOT THEM?
MERELY TO COMMUNICATE?
THEN WHY AM I ABLE
TO SPEAK TO YOU OF
TRUTH
CONCEPT
MEANING
WITHOUT PICTURES,
WITHOUT VISIBLE FORM?

 

I have long suggested that form cannot be so easily pulled from content. Form, in fact, clarifies content just as it may distort: I once said, there is not one thing to find. Did you consider whether I meant,

 

there is not(one thing) to find
OR
there is not(one) thing to find
?

 

These are clearly two different meanings that form alone has brought to surface. The difference is not negligible: it would have changed your interpretation and understanding, which are changes that could have affected a part if not the whole.

If you believe this is still so little and so trite, I have a demonstration for you that is larger yet. Take everything here as your challenge: Copy my words, set them plainly elsewhere, remove spaces that divide paragraphs or even words! and black lines that obscure, eliminate dots, and eliminate precise positions. Does it still say as much? Order is a part of form so put paragraphs forget words into disarray and reorder the sequence of following in the proof. Does it still say as much? Should I still grant you punctuation and images? It remains disastrous even if I should grant them. But if I did not, DOES IT STILL SAY AS MUCH?

The logical world would suffer the same
if you dealt it with the same violence.
the possibility of its meaning for humans
depends much on its perceivable form.
Hence it cannot be only abstraction.

On our hands
have we proof as abstraction, or
have we proof as material,
to make the refutation true or false?

 

 

In walking on this road,
through an expanse of logical worlds,
we together saw that
between two,
a choice must always be made
is an old assumption.

 

 

We know then that it can be BOTH.
abstract—material and
true—false.
And thus, once again,
we draw the line between—

 

dot

 

O! How there has become here, even in fog and uncertainty! And how here reveals yet another there as a reminder of the wideness of our world and worlds. O my dear companion, you who remained, let me confess at last:

 

----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------were you searching for something?-------

---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

 

dot

dot

dot

Marble head of Athena: The so-called Athena Medici

Home References About A Spare Page


1 John Etchemendy quoted in J. C. Beall and Greg Restall, Logical Pluralism. (Oxford: Oxford University Press, Incorporated, 2006), 12—13.
2 To discover truths is the task of all sciences; it falls to logic to discern the laws of truth. [Gottlob Frege, 1918, Collected Papers, p. 351 as quoted in Hao Wang, “WHAT IS LOGIC?,” The Monist 77, no. 3 (1994): 261.]
3 J. C. Beall and Greg Restall, Logical Pluralism, 12.
4 J. C. Beall and Greg Restall, Logical Pluralism, 25.
5 Alfred Tarski, “On the Concept of Following Logically,” History and Philosophy of Logic 23, no. 3 (September 2002): 176, https://doi.org/10.1080/0144534021000036683.
6 Alfred Tarski, “On the Concept of Following Logically,” 176.
7 Alfred Tarski, “On the Concept of Following Logically,” 176.
8 Alfred Tarski, “On the Concept of Following Logically,” 155.
9 For Frege, the choice was as follows: either we are dealing with ink marks on paper or else these marks are signs of something, and what they represent is their meaning. That these alternatives are wrongly conceived is shown by the game of chess: here we are not dealing with the wooden pieces, and yet these pieces do not represent anything—in Freges sense they have no meaning. There is still a third possibility; the signs can be used as in a game. [Ludwig Wittgenstein on rule-based semantics as quoted in Jaroslav Peregrin, “Semantics as Based on Inference,” in The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today, ed. Johan van Benthem et al. (Dordrecht: Springer Netherlands, 2006), 27, https://doi.org/10.1007/978-1-4020-5012-7_3.]
10 Alfred Tarski, “On the Concept of Following Logically,” 176–177.
11 Alfred Tarski, “On the Concept of Following Logically,” 177.
12 Alfred Tarski, “On the Concept of Following Logically,” 178.
13 Alfred Tarski, “On the Concept of Following Logically,” 181
14 Alfred Tarski, “On the Concept of Following Logically,” 181.
15 Alfred Tarski, “On the Concept of Following Logically,” 186–187.
16 Alfred Tarski, “On the Concept of Following Logically,” 188.
17 Val Plumwood, “Dualism: The Logic of Colonisation.” In Feminism and the Mastery of Nature, 51–78. Routledge, 1993. https://doi.org/10.4324/9780203006757-8.
18 Alfred Tarski, “On the Concept of Following Logically,” 155.
19 Jaakko Hintikka, “On the Development of the Model-Theoretic Viewpoint in Logical Theory,” Synthese 77, no. 1 (1988): 4.
20 Jaakko Hintikka, “On the Development of the Model-Theoretic Viewpoint in Logical Theory,” 1.
21 Jean Van Heijenoort, “Logic as Calculus and Logic as Language,” Synthese 17, no. 3 (1967): 324–30.
22 Jean Van Heijenoort, “Logic as Calculus and Logic as Language,” Synthese 17, no. 3 (1967): 324–30; Hintikka, Jaakko. “On the Development of the Model-Theoretic Viewpoint in Logical Theory.” Synthese* 77, no. 1 (1988): 1–36.
23 Jean Van Heijenoort, “Logic as Calculus and Logic as Language,” 324–30.
24 G. H. Von Wright, The Tree of Knowledge and Other Essays (BRILL, 1993), 14–13.
25 Elena Ficara, Contradictions: Logic, History, Actuality (Berlin/Boston, GERMANY: De Gruyter, Inc., 2014), 59. http://ebookcentral.proquest.com/lib/ucalgary-ebooks/detail.action?docID=1346942.
26 Gillian Russell, “Logical Nihilism: Could There Be No Logic?*,” Philosophical Issues 28, no. 1 (2018): 308–24, https://doi.org/10.1111/phis.12127.
27 Audrey Yap and Richard Zach. What If? An Open Introduction to Non-Classical Logics. The Open Logic Project, Fall 2020, 44.
28 Audrey Yap and Richard Zach. What If? An Open Introduction to Non-Classical Logics, 53.
29 For details, see pages 45–48 in Audrey Yap and Richard Zach. What If? An Open Introduction to Non-Classical Logics.
30 Graham Priest, Francesco Berto, and Zach Weber, “Dialetheism,” in The Stanford Encyclopedia of Philosophy, ed. Edward N. Zalta, Fall 2018 (Metaphysics Research Lab, Stanford University, 2018), https://plato.stanford.edu/archives/fall2018/entries/dialetheism/.
31 Graham Priest, Koji Tanaka, and Zach Weber, “Paraconsistent Logic,” in The Stanford Encyclopedia of Philosophy, ed. Edward N. Zalta, Summer 2018 (Metaphysics Research Lab, Stanford University, 2018), https://plato.stanford.edu/archives/sum2018/entries/logic-paraconsistent/.
32 G. H. Von Wright, The Tree of Knowledge and Other Essays (BRILL, 1993), 20.
33 Susanne Katherina Knauth Langer, “The Study of Forms.” In An Introduction to Symbolic Logic., 2d ed. (rev.) (New York, 1953), http://hdl.handle.net/2027/mdp.39015048060035.