Posts Tagged ‘transcendental syntax’

J.-Y. Girard’s Transcendental Syntax, V2

March 11, 2015

sq_transcendental_syntaxMeaning is use.

– Ludwig Wittgenstein

If people never did silly things nothing intelligent would ever get done.

– Ludwig Wittgenstein

The latest two preprints by logician J.-Y. Girard continue his program for transcendental syntax, divided into deterministic and nondeterministic. He defines transcendental syntax as the study of the conditions of the possibility of language: to begin by discovering the preliminary suppositions in the creating of a logical sentence such as a proposition or deduction.

What are the presuppositions for using propositions? Girard claims the main one is the balance between the creation and the use of words, which is at the heart of meaning. But the notion that a proposition has a meaning that is well defined is prejudice, albeit one that allows us identify the terms of a sentence and thus to perform deductions.

Girard wants instead to find inner explanations of logical rules: explanations based on syntax instead of a semantics that correlates to a mandated “reality”. To emphasize this, he gives the term Derealism as another expression for transcendental syntax. Logical rules should have a normative aspect because of their utility, so his project appears to be one of pragmatism. Others have said that Linear Logic is the logic of the radical anti-realist.

Girard divides all of logical activity into four blocks that weave together: the Constat, the Performance (please forgive my shortening on the diagram above), L’usine (factory), and L’usage (use). These four blocks are partitioned by Kant’s analytic-synthetic and a priori-a posteriori distinctions. The analytic is said to have “no meaning”, that is, “locative”. The synthetic is said to have “meaning”, that is, “spiritual”. The a priori is said to be “implicit”, and the a posteriori is said to be “explicit”.
transcendental_syntax_tableCan we find all the explanations we need to create logic internally? If so, perhaps it is only because of how the brain works, like how John Bolender posits that social relations described by the Relational Models Theory are created out of symmetry breaking structures of our nervous systems, which are in turn generated by our DNA. A realist would certainly say that our understanding of logical rules is enabled but also limited by our brains, whereas an idealist would say that our minds could “transcend” those limits. But it seems pragmatic to say that the mind is what the brain does.

I believe a closer analogy for the fourfold of Transcendental Syntax is to Hjelmslev’s Net than to Kant’s Analytic-Synthetic Distinction. If so, then Performance and L’usage are Content (Implicit), whereas Constat and L’usine are Expression (Explicit). Performance and Constat are Substance (Locative), and L’usine and L’usage are Form (Spiritual). Hjelmslev was a linguist that developed a theory of language as consisting of only internal rules.

Or even to analogy with Aristotle’s Four Causes, which is how I’ve arranged the first diagram: the Constat is the Material cause, the Performance is the Efficient cause, L’usine is the Formal cause, and L’usage is the Final cause. Material and Efficient causes are often considered mere matter in motion, which could be Locative, or meaningless (physical). Formal and Final could be Spiritual, or meaningful, as patterns of matter and motion, respectively.

Notes:

How can we know that a given named term is the same as another one in a different part of our formula? Rather than using names, or linking them through semantics or a well-defined meaning, we can tie terms together by their locations in our sentences and deductions.

References:

J.-Y. Girard / Transcendental syntax 1: deterministic case (January 2015 Preprint)

J.-Y. Girard / Transcendental syntax 2: non deterministic case (February 2015 Preprint)

http://iml.univ-mrs.fr/~girard/Articles.html

V. Michele Abrusci, Paolo Pistone / On Transcendental Syntax: a Kantian Program for Logic?

https://www.academia.edu/10495057/On_Trascendental_syntax_a_Kantian_program_for_logic

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

[*8.122, *8.123]

<>


  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

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

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: