Archive for October, 2011

Linear Logic: the dualities

October 26, 2011

The meaning of the logical rules is to be found in the rules themselves.

J. Y. Girard in “On the Meaning of Logical Rules I: syntax vs. semantics”

There are two types of dualities in linear logic. Linear negation () carries the conjunctions to the disjunctions and back again, as equivalences (≡), like De Morgan’s laws in classical logic.

Additionally, the exponentials ? and ! link the additives and the multiplicatives, as linear biconditionals (o—o).

[*5.146, *7.8]

<>

 

Lucretius: On the Nature of Things

October 10, 2011

But, now again to weave the tale begun,
All nature, then, as self-sustained, consists
Of twain of things: of bodies and of void
In which they’re set, and where they’re moved around.
For common instinct of our race declares
That body of itself exists: unless
This primal faith, deep-founded, fail us not,
Naught will there be whereunto to appeal
On things occult when seeking aught to prove
By reasonings of mind. Again, without
That place and room, which we do call the inane,
Nowhere could bodies then be set, nor go
Hither or thither at all- as shown before.

—  From On the Nature of Things by Lucretius

A book on the  rediscovery of  the ancient Epicurean poem “On the Nature of Things” by Lucretius has recently been published. “The Swerve: how the world became modern” by Stephen Greenblatt looks quite interesting. The fourfold above was inspired by the previous fourfold Spacetime. A very nice NPR review can be found below.

References:

http://www.npr.org/books/titles/140464239/the-swerve-how-the-world-became-modern

http://classics.mit.edu/Carus/nature_things.1.i.html

[*7.18]

<>


  Bartosz Milewski's Programming Cafe

Category Theory, Haskell, Concurrency, C++

The Inquisitive Biologist

Reviewing fascinating science books since 2017

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

philosophy maps

mind maps, infographics, and expositions

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

Explaining Science

Astronomy, space and space travel for the non scientist

Log24

Every Fourth Thing

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

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

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

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: