Archive for March, 2011

J.-Y. Girard’s Linear Logic

March 9, 2011

Linear logic is a substructural logic invented (or discovered, if you’re a Platonist) by logician Jean-Yves Girard. Many other logics can be embedded into it, including classical and intuitionistic logic, so in a sense it is a “logic behind logic”. Linear logic can be partially derived from the rejection of the structural rules of weakening and contraction, the first of which adds arbitrary propositions and the second reduces duplicated propositions to single occurrences. Due to these changes in the logical rules, logic is transformed from being transcendental (truth transcends its use) to pragmatic or materialistic (truth is restricted by use). Therefore linear logic can be given a “resource interpretation” that makes it a logic not of truth but of things: producing and consuming, giving and taking, pushing and pulling, like the desiring machines of Deleuze and Guattari (see Hjelmslev’s Net).

The fragment of linear logic I show here is called MALL, for Multiplicative-Additive Linear Logic. The two exponentials that interconvert additive and multiplicative operations are not shown, which also allow for the weakening and contraction rules to be reintroduced.

Note that the two additive operations allow for propositions to be created and destroyed and the two multiplicative operations contain exactly the same propositions. One could say the additive operations allow for change, and the multiplicative operations allow for bearing. In the resource interpretation, note that additive disjunction () is creative and additive conjunction (&) is destructive. Both additive conjunction (&) and multiplicative disjunction () are reversible, whereas additive disjunction () and multiplicative conjunction () are irreversible.

Linear logic was a major inspiration for naming this blog “Equivalent Exchange” (see Introduction), since it is a logic of production and consumption. Linear implication, written as A –o B (and equivalent to A B), can be thought of as exchanging A for B.

Linear logic has also been adopted as the logic for “radical anti-realism”. How can it have both a physicalistic interpretation, and yet describe an anti-realism more radical than ordinary anti-realism? I will need further study to understand these claims.

References:

http://en.wikipedia.org/wiki/Linear_logic

http://plato.stanford.edu/entries/logic-linear/

[*5.68-*5.70]

<>


Paleofuture

Every Fourth Thing

Simplicity

Derek Wise's blog: Mathematics, Physics, Computing and other fun stuff.

COMPLEMENTARY 4x

integrating 4 binary opposites in life, learning, art, science and architecture

INTEGRATED 4x

integrating 4 binary opposites in life, learning, art, science and architecture

Playful Bookbinding and Paper Works

Chasing the Paper Rabbit

Antinomia Imediata

experiments in a reaction from the left

Digital Minds

A blog about computers, evolution, complexity, cells, intelligence, brains, and minds.

Social Systems Theory

A blog inspired by Niklas Luhmann and other social theorists

nothingintherulebook

A collective of creatives bound by a single motto: There's nothing in the rulebook that says a giraffe can't play football!

you're always being judged

games and stories and things by Malcolm Sheppard

philosophy maps

mind maps, infographics, and expositions

Photon Stimulus

A Card Study of Sorts

hyde and rugg

neat ideas from unusual places

John Kutensky

The way you think it is may not be the way it is at all.

Visions of Four Notions

Introduction to a Quadralectic Epistomology

The Science Geek

Astronomy, space and space travel for the non scientist

Log24

Every Fourth Thing

The Immortal Jukebox

A Blog about Music and Popular Culture

at any streetcorner

Melanie Dorn. Boston.

Ideas Without End

A Serious Look at Trivial Things

Quadralectic Architecture

A Survey of Tetradic Testimonials in Architecture

Minds and Brains

Musings from a Naturalist

Lorna Phone

Visual essays for a digital world

Quadriformisratio

Four-fold thinking4you

Multisense Realism

Craig Weinberg's Cosmology of Sense

RABUJOI - An Anime Blog

Purveyors of Fine Anime Reviews and Ratings Since 2010

Maxwell's Demon

Vain attempts to construct order

Intra-Being

Between Subject and Object

The Woodring Monitor

Every Fourth Thing

FORM & FORMALISM

Every Fourth Thing

Log24

Every Fourth Thing

The n-Category Café

Every Fourth Thing

ECOLOGY WITHOUT NATURE

Every Fourth Thing

Every Fourth Thing

PHILOSOPHY IN A TIME OF ERROR

Sometimes those Sticking their Heads in the Sand are Looking for Something Deep

Networkologies

Online Home of Christopher Vitale, Associate Professor of Media Studies, The Graduate Program in Media Studies, Pratt Institute, Brooklyn, NY.

DEONTOLOGISTICS

Researching the Demands of Thought

Aberrant Monism

Spinozism and Life in the Chaosmos

Object-Oriented Philosophy

"The centaur of classical metaphysics shall be mated with the cheetah of actor-network theory."

Objects & Things

objects & things, design, art & technology

%d bloggers like this: