Naisen logiikka

NAISEN LOGIIKKA
===============

Formalisoinut Tuukka Virtaperko Helsingissä 30.7.2017.



KOORDINAATISTO
--------------

╭─╮                                                                                                       ╭─╮
│♣┕━━━━━━━━━━┳━━━━━━━━━━┯━━━━━━━━━━━┯━━━━━━━━━━━┳━━━━━━━━┳━━━━━━━━━━━━┯━━━━━━━━━━━┯━━━━━━━━━━━┯━━━━━━━━━━━┙♠│
╰┒BEAUTY     ┃APATHY░░░░│CONFUSION▒▒│VIOLATE▓▓▓▓┃INTUIT4 ┃CONDEMN▓▓▓▓▓│DECEIVE▒▒▒▒│WITHHOLD░░░┃WISDOM      ┎╯
 ┃Teemme     ┃Emme░░░░░░│Emme▒tie-▒▒│Teemme▓▓▓▓▓┃        ┃Sinä▓olet▓▓▓│Suhtaudu▒▒▒│Sinä░tai░se┃Sinä tai    ┃
 ┃jotain     ┃tahdo░░░░░│dä▒mitä▒▒▒▒│jotain▓▓▓▓▓┃        ┃tai▓se▓on▓▓▓│totuuden▒▒▒│vahingoit-░┃se on       ┃
 ┃hyvää      ┃mitään░░░░│tahdomme▒▒▒│huonoa▓▓▓▓▓┃        ┃huono▓▓▓▓▓▓▓│vastaisesti│taisi░tätä░┃hyvä        ┃
 ┣━━━━━━━━━━━╋━━━━━━━━━━╅───────────┼───────────╊━━━━━━━━╉────────────┼───────────╆━━━━━━━━━━━╋━━━━━━━━━━━━┫
 ┃EVENT      ┃FREEDOM   ┃AVOID░░░░░░│HATE▒▒▒▒▒▒▒┃INTUIT3 ┃IMPOSE▒▒▒▒▒▒│REJECT░░░░░┃METALEVEL  ┃ACCEPT      ┃
 ┃Kiinnitämme┃Annamme   ┃Emme░halu-░│Emme▒▒▒▒▒▒▒┃        ┃Et▒ole▒tai▒▒│Sinä░tai░se┃Sinä tai se┃Sinä tai se ┃
 ┃huomiota   ┃sen       ┃a░tehdä░si-│halua▒▒▒▒▒▒┃        ┃se▒ei▒ole▒▒▒│ei░ymmärrä░┃ymmärtää   ┃edistäisi   ┃
 ┃siihen     ┃tapahtua  ┃tä░yhdessä░│niitä▒▒▒▒▒▒┃        ┃tällainen▒▒▒│tätä░░░░░░░┃tämän      ┃tätä        ┃
 ┠───────────╄━━━━━━━━━━╋━━━━━━━━━━━╅───────────╊━━━━━━━━╉────────────╆━━━━━━━━━━━╋━━━━━━━━━━━╃────────────┨
 ┃MIGHT      │JOIN      ┃CULTURE    ┃GREED░░░░░░┃INTUIT2 ┃REFUSE░░░░░░┃PURPOSE    ┃USE        │WOULD       ┃
 ┃Valmistau- │Teemme    ┃Haluamme.  ┃Emme░░░░░░░┃        ┃Et░voi░tai░░┃Suhtaudut  ┃Sinä tai se│Sinä tai se ┃
 ┃dumme      │sen       ┃toimia.    ┃halua░░░░░░┃        ┃se░ei░voi░░░┃tällä      ┃suhtautuu  │se suhtau-  ┃
 ┃siihen     │yhdessä   ┃näin       ┃sitä░░░░░░░┃        ┃olla░tämä░░░┃tavalla    ┃tähän      │tuisi tähän ┃
 ┠───────────┼──────────╄━━━━━━━━━━━╋━━━━━━━━━━━╋━━━━━━━━╋━━━━━━━━━━━━╋━━━━━━━━━━━╃───────────┼────────────┨
 ┃INNOCENCE  │IDENTITY  │WANT       ┃NORM       ┃INTUIT1 ┃FORM        ┃MEAN       │KIND       │REASON      ┃
 ┃Kuka tekee │Me olemme │Me         ┃Me         ┃        ┃Sinä olet   ┃Sinä tai se│Sinä olet  │Miksi olet  ┃
 ┃sen, missä │nämä      │haluamme   ┃teemme     ┃        ┃tai se on   ┃voi olla   │tai se on  │tai se on   ┃
 ┃ja milloin?│ihmiset   │sitä       ┃sitä       ┃        ┃tämä        ┃tämä       │tällainen  │tällainen?  ┃
 ┣━━━━━━━━━━━╈━━━━━━━━━━╈━━━━━━━━━━━╋━━━━━━━━━━━╋━━━━━━━━╋━━━━━━━━━━━━╋━━━━━━━━━━━╈━━━━━━━━━━━╈━━━━━━━━━━━━┫
 ┃FEEL1      ┃FEEL2     ┃FEEL3      ┃FEEL1      ┃NOTHING ┃THINK1      ┃THINK2     ┃THINK3     ┃THINK4      ┃
 ┃           ┃          ┃           ┃           ┃Naisen  ┃            ┃           ┃           ┃            ┃
 ┃           ┃          ┃           ┃           ┃logiikan┃            ┃           ┃           ┃            ┃
 ┃           ┃          ┃           ┃           ┃origo   ┃            ┃           ┃           ┃            ┃
 ┣━━━━━━━━━━━╇━━━━━━━━━━╇━━━━━━━━━━━╋━━━━━━━━━━━╋━━━━━━━━╋━━━━━━━━━━━━╋━━━━━━━━━━━╇━━━━━━━━━━━╇━━━━━━━━━━━━┫
 ┃PEACE      │MOTIVE    │LIKE       ┃BELIEF     ┃SENSE1  ┃BODY        ┃NEED       │TOOL       │METHOD      ┃
 ┃Mitä       │Tämä      │Meille     ┃Tällä on   ┃        ┃Minä        ┃Se         │Se tekee   │Miten       ┃
 ┃meille     │yhdistää  │tulee hyvä ┃väliä      ┃        ┃havaitsen   ┃tyydyttää  │minusta    │teen        ┃
 ┃tapahtuu?  │meitä     │olo tästä  ┃meille     ┃        ┃sen         ┃minut      │itsenäisen │sen?        ┃
 ┠───────────┼──────────╆━━━━━━━━━━━╋━━━━━━━━━━━╋━━━━━━━━╋━━━━━━━━━━━━╋━━━━━━━━━━━╅───────────┼────────────┨
 ┃COULD      │STYLE     ┃LOVE       ┃WORRY░░░░░░┃SENSE2  ┃PAIN░░░░░░░░┃LIFE       ┃ORDER      │SHOULD      ┃
 ┃Tämä on    │Meidät    ┃Tämä tuo   ┃Meille░tu-░┃        ┃Olen░░░░░░░░┃Minä       ┃Sen        │Se tekee    ┃
 ┃mahdollista│tunnistaa ┃meidät     ┃lee░huono░░┃        ┃tyytymätön░░┃varjelen   ┃avulla     │minusta     ┃
 ┃meille     │tästä     ┃yhteen     ┃olo░tästä░░┃        ┃siihen░░░░░░┃sitä       ┃hallitsen  │vastuullisen┃
 ┠───────────╆━━━━━━━━━━╋━━━━━━━━━━━╃───────────╊━━━━━━━━╉────────────╄━━━━━━━━━━━╋━━━━━━━━━━━╅────────────┨
 ┃FUN        ┃HAPPINESS ┃BURDEN░░░░░│DETACH▒▒▒▒▒┃SENSE3  ┃SHAME▒▒▒▒▒▒▒│PROBLEM░░░░┃SOCIAL     ┃RIGHT       ┃
 ┃Tämä tekee ┃Tämä pitää┃Emme░pidä░░│Tämä▒▒▒▒▒▒▒┃        ┃Muut▒tarvit-│Tarvitsen░░┃Teen       ┃Se tekee    ┃
 ┃meistä     ┃meitä.    ┃tästä░░░░░░│erottaa▒▒▒▒┃        ┃sevat▒apua▒▒│apua░░░░░░░┃yhteis-    ┃minusta     ┃
 ┃viehättäviä┃yhdessä.  ┃itsessämme░│meitä▒▒▒▒▒▒┃        ┃vuokseni▒▒▒▒│siinä░░░░░░┃työtä      ┃tärkeän     ┃
 ┣━━━━━━━━━━━╋━━━━━━━━━━╃───────────┼───────────╊━━━━━━━━╉────────────┼───────────╄━━━━━━━━━━━╋━━━━━━━━━━━━┫
 ┃EUPHORIA   ┃FAKE░░░░░░│DEFEAT▒▒▒▒▒│DYSPHORIA▓▓┃SENSE4  ┃FAILURE▓▓▓▓▓│LOSS▒▒▒▒▒▒▒│WRONG░░░░░░┃SUCCESS     ┃
 ┃Meille ta- ┃Tämä░tekee│Tämä▒on▒▒▒▒│Meille▓ta-▓┃        ┃Teen▓▓▓▓▓▓▓▓│Tarvitsin▒▒│Vahingoitan┃Teen        ┃
 ┃pahtuu jo- ┃meistä░░░░│mahdotonta▒│pahtuu▓jo-▓┃        ┃jotain▓▓▓▓▓▓│mutten▒▒▒▒▒│ilman░░░░░░┃jotain      ┃
╭┚tain hyvää ┃teennäisiä│meille▒▒▒▒▒│tain▓huonoa┃        ┃huonoa▓▓▓▓▓▓│varjellut▒▒│syytä░░░░░░┃hyvää       ┖╮
│♥┍━━━━━━━━━━┻━━━━━━━━━━┷━━━━━━━━━━━┷━━━━━━━━━━━┻━━━━━━━━┻━━━━━━━━━━━━┷━━━━━━━━━━━┷━━━━━━━━━━━┻━━━━━━━━━━━┑♦│
╰─╯                                                                                                       ╰─╯

Sääntöjen havainnollistaminen alkaa aina niin että ensimmäisen esimerkkiproposition sijainti on (-2,1), mutta se voisi olla mikä tahansa määritelty sijainti.



VAIHDOTTOMAT MERKKISÄÄNNÖT
--------------------------

(X,Y) XNOR (X,Y)
(X,Y) AND (X,-Y)
(X,Y) OR (-X,Y)
(X,Y) BCOS (-X,-Y)

....│....	XNOR
....│....
....│....	(X,Y) XNOR (X,Y) olettaa relaation a ↔ b.
..c.│....	Propositiot a ja b ovat samassa sijainnissa c.
────┼────   c + c on merkityksetön sijainti jos |X| > 2 tai |Y| > 2.
....│....
....│....
....│....
....│....

....│....	AND
....│....
....│....	(X,Y) AND (X,-Y) olettaa relaation a ∧ b.
..a.│....	Propositioiden Y-koordinaatin merkki on eri.
────┼────   a + b on merkityksetön sijainti.
..b.│....   Esim. WANT AND LIKE
....│....   GREED AND WORRY
....│....   MEAN AND NEED
....│....   REFUSE AND PAIN.

....│....	OR
....│....
....│....	(X,Y) OR (-X,Y) olettaa relaation a ∨ b.
..a.│.b..	Propositioiden X-koordinaatin merkki on eri.
────┼────   a + b on merkityksetön sijainti.
....│....   Esim. WANT OR MEAN
....│....   GREED OR REFUSE
....│....   LIKE OR NEED
....│....   WORRY OR PAIN.

....│....	BCOS
....│....
....│....	(X,Y) BCOS (-X,-Y) olettaa relaation a ← b.
..a.│....	Propositioiden X- ja Y-koordinaatin merkki on eri.
────┼────   a + b on origo, joka on merkityksetön sijainti.
....│.b..   Esim. WANT BCOS NEED ("Haluamme sitä" ← "Se tyydyttää minut"),
....│....   MEAN BCOS LIKE
....│....   PAIN BCOS GREED
....│....   WORRY BCOS REFUSE

Ainoa vaihdoton merkkisääntö, jossa a + b on merkityksellinen, on XNOR-sääntö, jossa yhtäkään merkkiä ei vaihdeta.
Kaikille vaihdottomille merkkisäännöille pätee, että a ja b ovat samanarvoisia sijainteja.

Esimerkki: AND-säännön mukaan jos proposition a koordinaatit ovat (X,Y) niin nainen etsii propositiota b relaatiossa a ∧ b koordinaateista (X,-Y). Vaihdottomat merkkisäännöt koskevat sitä miten sijainnin (X,Y) koordinaattien merkkien mahdollinen muuttaminen vaikuttaa relaatioon, jonka nainen olettaa sijainnin (X,Y) propositioiden ja muuttuneen sijainnin propositioiden välille.



VAIHDOLLISET MERKKISÄÄNNÖT
--------------------------

Nämä säännöt koskevat sitä miten sijainnin (X,Y) koordinaattien vaihtaminen keskenään tai niiden merkkien mahdollinen muuttaminen vaikuttaa relaatioon, jonka nainen olettaa sijainnin (X,Y) propositioiden ja muuttuneen sijainnin propositioiden välille.

(X,Y) XOR (Y,X)
(X,Y) NOR (Y,-X)
(X,Y) NAND (-Y,X)
(X,Y) CAUS (-Y,-X)

Oheiset kuvat on tehty niin että jokaiselle naisen logiikan akseleiden rajaamalle alueelle on sijoitettu yksi propositio, joka on a, b, c tai d. Jokaisella näistä propositioista on säännön mukainen vastine A, B, C tai D niin että a:n vastine on A, b:n vastine on B ja niin edelleen. Pienellä kirjaimellä merkittyihin propositioihin viittaa p ja isolla kirjaimella merkittyihin viittaa P.

....│....	XOR
....│....
...C│B...	(X,Y) XOR (Y,X) olettaa relaatiot p ⊻ P. p + P on erinomainen.
..a.│.b..	a + A on b:n alueella ja c + C on d:n alueella. b + B ja d + D ovat samalla alueella.
────┼────   ||a + A|| = √2, ||b + B|| = 2√2, ||c + C|| = √2, ||d + D|| = 2√2
..d.│.c..   a ⊻ A: WANT XOR PAIN ("Me haluamme sitä" ⊻ "Olen tyytymätön tähän")
...D│A...   b ⊻ B: MEAN XOR REFUSE ("Se voi olla niin" ⊻ "Se ei voi olla niin")
....│....   c ⊻ C: NEED XOR GREED ("Se tyydyttää minut" ⊻ "Emme halua tätä")
....│....   d ⊻ D: LIKE XOR WORRY ("Pidämme tästä ⊻ Emme pidä tästä")

....│....	NOR
....│....
...D│A...	(X,Y) NOR (Y,-X) olettaa relaatiot p ↑ P. a + A ja c + C ovat huonoja, b + B ja d + D ovat hyviä.
..a.│.b..   a + A ja c + C ovat p:n alueella. b + B ja d + D ovat P:n alueella.
────┼────
..d.│.c..   a ↑ A: WANT NOR REFUSE
...C│B...   b ↑ B: MEAN NOR PAIN
....│....   c ↑ C: NEED NOR WORRY
....│....   d ↑ D: LIKE NOR GREED

....│....	NAND
....│....
...B│C...	(X,Y) NAND (-Y,X) olettaa relaatiot p ↓ P.
..a.│.b..	p + P on P:n alueella.
────┼────
..d.│.c..   a ↓ A: WANT NAND WORRY
...A│D...   b ↓ B: MEAN NAND GREED
....│....   c ↓ C: NEED NAND REFUSE
....│....   d ↓ D: LIKE NAND PAIN

....│....	CAUS
....│....
...A│D...	(X,Y) CAUS (-Y,-X) olettaa relaatiot p → P. p + P on erinomainen.
..a.│.b..	a + A ja c + C ovat samalla alueella, b + B on c:n alueella ja d + D on a:n alueella.
────┼────   ||a + A|| = 2√2, ||b + B|| = √2, ||c + C|| = 2√2, ||d + D|| = √2
..d.│.c..   a → A: WANT CAUS GREED ("Me haluamme sitä" → "Emme halua tätä")
...B│C...   b → B: MEAN CAUS WORRY ("Sinä voit olla hän" → "Meille tulee huono olo tästä")
....│....   c → C: NEED CAUS PAIN ("Se tyydyttää minut" → "Olen tyytymätön tähän")
....│....   d → D: LIKE CAUS REFUSE ("Meille tulee hyvä olo tästä" → "Et voi olla hän")



ESIMERKKI
---------

Nainen on jättänyt lasipurkin liian lähelle pöydän reunaa. Naiselta kysytään: "Jätitkö lasipurkin pöydän reunalle siksi että toivoit sen tippuvan lattialle?"

Nainen päättelee kysyjän mainitseman motiivin kuuluvan sijaintiin nimeltä GREED siitä syystä että jos naisella olisi ollut tällainen motiivi, motiivi olisi suuntautunut lasipurkkia vastaan. Toisin sanoen nainen tässä esimerkissä tulkitsee kysymyksen vihjaavan, ettei nainen yleisesti ottaen pidä lasipurkeista - syystä tai toisesta.

Nainen ei halua vastata kysymykseen myöntävästi, koska hänen mielestään lasipurkkien vastustamisessa ei yleisesti ottaen ole järkeä. Nainen ymmärtää kuitenkin myös, että sen käytöksen perusteella olisi loogista päätellä sen vastustavan lasipurkkeja, joten kysymys on perusteltu. Naisen motiivi kysyjää kohtaan on sovinnollinen, joten nainen haluaa samanaikaisesti ilmaista, että kysyjän epäilys on perusteltu, sekä tarjota epäilyksen tilalle moraalisesti vähemmän kyseenalainen tulkintatapa, joka poissulkee sen tulkinnan, josta nainen ei pidä, vaikka se on sinänsä perusteltu tulkinta.

Nainen voi käyttää moralyysitasoa hakeakseen tulkintoja pyrkimyksenä esittää kaksi toisensa poissulkevaa tulkintaa. Tämä tapahtuu tiettyihin sääntöihin nojaten. Tämän esimerkin tapauksessa nainen toimisi sen säännön mukaan, että (X,Y) XOR (Y,X).

Sijainnin GREED koordinaatit ovat (-1,2) joten säännön (X,Y) XOR (Y,X) mukaan nainen etsii GREED:n kanssa eksklusiivisessa disjunktiossa olevia propositioita sijainnista (2,-1), jonka nimi on NEED. Tästä sijainnista voisi löytyä esimerkiksi sellainen syy kuin: "Jätin lasipurkin pöydän reunalle, jotta huomaisit varmasti, että se on siinä." Löydettyään tämän syyn nainen muotoilee vastauksensa: "Ehkä halusin purkin tippuvan tai sitten jätin sen pöydän reunalle, jotta huomaisit varmasti, että se on siinä."

Muodostettuaan vastauksensa, jonka sisältö on a ⊻ b, nainen voisi spekuloida, mitä vastauksesta seuraa, ennen kuin hän päättäisi lausua vastauksen. Nainen voisi jopa muodostaa useita vastauksia muotoa a ⊻ b, spekuloida jokaisen vastauksen todennäköisimmän seurauksen ja lausua sen vastauksen, jonka seurauksen hän ennustaa parhaaksi.

Vastauksen seurausten spekulointi tapahtuu laskemalla propositiot yhteen vektoreina. a = (-1,2) ja b = (2,-1), joten a + b = (1,1). Tämän sijainnin nimi on FORM. Sijainnista FORM voisi löytyä propositio: "Kysyjän tarvitsee tietää, missä lasipurkki on." Nainen ei kuitenkaan muodosta tätä propositiota vastatakseen sen kysyjälle vaan ainoastaan muodostaakseen käsityksen siitä, mitä vastauksen esittämisestä seuraa. Toisin sanoen, vaikka nainen ajattelee että a + b = c, naisen lausuma vastaus on silti muotoa a ⊻ b eikä muotoa a + b = c. c on ikään kuin implisiittisesti läsnä tilanteessa siinä tapauksessa että naisen ennuste sanomisen seurauksista osuu oikeaan.

Yleisesti ottaen, propositioiden yhteenlasku vektoreina on aivan eri asia kuin propositioiden väliset loogiset relaatiot. Vastauksen a ⊻ b seurausten ennustaminen tehdään kaavalla a + b = c. Mutta samalla kaavalla a + b = c voidaan ennustaa myös vastauksen a ∧ b seuraus, vastauksen a ↑ b seuraus ja ylipäätään minkä tahansa vastauksen seuraus joka koostuu propositioista a ja b sekä niiden välisestä binäärisestä konnektiivista.