Korkman – Yrjönsuuri (toim) : Filosofian historian kehityslinjoja

Forma.

Latinan sanaan "forma" (suom. muoto) pohjautuvia sanoja on filosofian historiassa käytetty hyvin monissa erilaisissa merkityksissä. Seuraava luettelo antaa joukon merkityksiä, mutta ei ole tyhjentävä. Siihen on kuitenkin pyritty poimimaan historiallisesti keskeisimmät toisistaan oleellisesti poikkeavat käsitteen tekniset käyttötavat.

1. Aristoteleen metafysiikassa kaikki todelliset eli -> aktuaaliset oliot koostuvat muodosta (formasta) ja aineesta. Tällöin aine on mahdollisuuden eli -> potentiaalisuuden periaate ja muoto aktuaalisuuden. Muoto siis määrittää mikä tai millainen olio on.

2. Duns Scotuksen mukaan kunkin olion yksilöllinen olemus eroaa formaalisesti tuosta oliosta itsestään reaalisesti olemassa olevana yksilönä. Sanomalla eroa formaaliseksi Scotus tarkoitti sitä, että ero perustuu siihen, että yksilöllinen olemus on aristoteelinen forma eli muoto. Kyse ei hänen mukaansa kuitenkaan ole reaalisesta erosta, koska esimerkiksi Sokrates ja hänen yksilöllinen "Sokrateutensa" eivät ole eri olioita. Ero ei ole myöskään vain rationaalinen, koska se ei perustu yksinomaan järjen toimintaan. C. S. Peirce katsoi Scotuksen formaalisen erottelun käsitteen tarjoavan hyvän mallin siitä, miten tieteellinen tieto kuvaa todellisuutta ja on siitä riippuvainen, vaikkei se suoraan vastaakaan reaalisesti olemassa olevia rakenteita.

3. Kantin filosofiassa kokemuksen muoto eli forma tarkoittaa niitä ennakkoehtoja, jotka ymmärryksen rakenne sille asettaa. Siten kokemuksen muodollinen aines (ajallisuus, tilaan eli avaruuteen sijoittuminen) pätee kaikkeen mahdolliseen kokemukseen ja antaa maailmalle -> apriorisen muodon (olla ajallinen, avaruudellinen jne.). Vastaavalla tavalla kategorisen imperatiivin perusta on sen muodollisuudessa eli formaalisuudessa. Se ei koske tahdon sisällöllistä kohteita (esim. haluamaani lopputulosta), vaan vain tahdon muotoa eli sen sisäistä ristiriidattomuutta. Myös esteettinen kauneuden kokemus oli Kantin mukaan luonteeltaan muodollis-subjektiivinen. Kantin tapa käyttää muodon eli forman käsitettä periytyi saksalaiseen idealismiin varsin laajalti.

4. Logiikassa erotetaan väitteen tai muun kielellisen rakenteen muoto eli forma sen sisällöstä. Tällöin sisältö tarkoittaa päättelyn tai väitteen niitä osia, jotka viittaavat todellisuudessa oleviin olioihin tai rakenteisiin. Vastaavasti muut lauseen osat kuvaavat väitteen tai päättelyn muotoa. Niinpä esimerkiksi väitteen "kaikki kissat ovat sattumalta raidallisia" muotoa sanotaan universaaliksi eli yleiseksi (vrt. sana "kaikki") -> kontingentiksi (vrt. sana "sattumalta") predikaatioksi (vrt. sana 'ovat"), ja väitteen "Liisa rakastaa Markkua" muotoa sanotaan relatiiviseksi eli suhdetta ilmaisevaksi. Sellaista kieltä, jonka lauseiden kaikki sisältöä ilmaisevat osat on eristetty (ja voidaan mahdollisesti korvata muuttujina), sanotaan formaaliksi kieleksi. Siinä lauseiden looginen muoto on eksplisiittisesti ilmaistavissa ilman virhetulkintojen mahdollisuutta. Esimerkiksi formalisoitu lause $ xR(a,x) väittää tietyllä oliolla olevan tietty relaatio johonkin olioon. Se, mikä olio ja mikä relaatio on kyseessä, edellyttää lauseen tulkintaa, jossa vakiotermit "a" ja "R" saavat merkityksen. Formaalinen logiikka tutkii niitä päättelyitä, jotka perustuvat pelkästään lauseiden muotoon.