Totuudentekijä
Totuudentekijä on filosofiassa se entiteetti, jonka ansiosta totuudenkantaja (kuten väittämä) on tosi. Väittämän epätotuudentekijä on se ulkoisen todellisuuden puoli, jonka ansiosta väittämä on epätosi (mikäli se on epätosi).
D. M. Armstrongin mukaan ajatus totuudentekijästä voidaan johtaa jo Aristoteleehen. Tämä kirjoitti "Kategorioissaan":
Tämän jälkeen ajatus on esiintynyt joillakin skolastikoilla, ja myöhemmin laajemmin vasta Bertrand Russellilla, joka käytti termiä "verifier". Myöhemmin ajatusta ovat käsitelleet Armstrongin lisäksi muun muassa C. B. Martin, Kevin Mulligan, Peter Simons ja Barry Smith.
Filosofit ovat olleet erimielisiä siitä, tarvitsevatko kaikki totuudenkantajat totuudentekijän. Parmenideen klassinen väite oli, että sitä mikä ei ole ei voida ajatella. Tämä on ymmärretty näkemykseksi, jonka mukaan jokaisella totuudenkantajalla tulee olla totuudentekijä, koska muutoin totuudenkantaja ei koske mitään.
Armstrongin mukaan jokaisella totuudella on totuudentekijä. Armstrong itse on maltillinen realisti, joka kannattaa totuuden korrespondenssiteoriaa. Hänen realisminsa mukaan totuudessa on kyse siitä, että väittämä tai joku muu intentionaalinen entiteetti vastaa jotakin todellisuuden entiteettiä. Muodollisesti esitettynä:
Ajatus totuudentekijöistä tarkoittaa käytännössä sitä, että totuus riippuu siitä, mitä on olemassa (”totuus supervenioi olevaa”). Näin todellisuus, oleva, kokonaisuudessaan muodostaa maksimaalisen totuudentekijän kaikelle totuudelle. Niiden totuudentekijöiden joukko, joiden olemassaolon filosofi myöntää, muodostaa hänen myöntämänsä ontologian.
Väite, jonka mukaan jokaisella totuudenkantajalla on totuudentekijä, johtaa kuitenkin filosofisiin ongelmiin, kuten esimerkiksi kysymykseen siitä, mitkä asiat ovat eettisten, modaalisten ja matemaattisten totuudenkantajien totuudentekijöitä. Toinen ongelma koskee negatiivisia olemassaoloa koskevia väittämiä ja universaaleja väittämiä. Mikä entiteetti tekee totta väittämästä ”yksisarvisia ei ole olemassa”? Eräs Richard M. Galen esittämä ratkaisuehdotus jälkimmäiseen ongelmaan on kaikkien asioiden kokonaisuus: jos todellisuus koostuu entiteeteistä "x1", "x2", jne., totuudentekijä olisi tällöin se asiaintila, että "x1" ei ole yksisarvinen, "x2" ei ole yksisarvinen, jne.
David Lewis on ehdottanut maltillisempaa teoriaa totuudentekijöistä. Sen mukaan totuudentekijöitä vaaditaan vain positiivisille väittämille. Näin sellainen väittämä kuin ”hevosia on olemassa” vaatii totuudentekijän, mutta sellainen väittämä kuin ”yksisarvisia ei ole olemassa” ei vaadi. Negatiivinen väittämä "p" on tosi sillä perusteella, ettei sillä ole epätotuudentekijää, eli "p":n negaatiolla ei ole totuudentekijää. Näin se, mikä tekee väittämästä ”yksisarvisia ei ole olemassa” totta, on se, ettei väittämällä ”yksisarvisia on olemassa” ole totuudentekijää, eli se, että yksisarvisia ei ole todellisuudessa olemassa.
Totuudentekijöistä puhuvat filosofit ovat eri mieltä myös siitä, mitkä entiteetit ovat totuudentekijöitä erilaisille totuudenkantajille. Jotkut ovat sitä mieltä, että väittämän ”Sokrates istuu” totuudentekijä on se, että "Sokrates on istuutunut", mitä tämä tarkoittaakaan oikeassa ontologiassa. Yleisesti, lauseen "s" ilmaiseman totuudenkantajan totuudentekijä voidaan ilmaista "s":n partisiippimuotoisena lauseena. Jotkut taas ovat sitä mieltä, että lauseen ”Sokrates istuu” totuudentekijä on "Sokrates" itse. Joka tapauksessa totuudentekijän oletetaan olevan jotakin konkreettista. Ensimmäisessä tapauksessa se on se, jonka olemassaolosta totuudenkantaja kertoo, ja jälkimmäisessä tapauksessa se, jota totuudenkantaja koskee.
Erilaisten metaeettisten suuntausten erimielisyydet ovat osittain erimielisyyksiä siitä, millaisia totuudentekijöitä eettisillä lauseilla olisi, jos nämä lauseet olisivat tosia, ja ovatko nämä totuudentekijät olemassa. J. L. Mackien mukaan eettisten väittämien totuudenkantajat olisivat ”outoja entiteettejä” ("queer entities"), liian erikoisia ollakseen olemassa, ja siksi kaikki eettiset väittämät ovat epätosia. Metaeetikko, joka uskoo jumalallisen ilmoituksen teoriaan, voisi katsoa, että eräs mahdollisuus eettisten lauseiden totuudentekijäksi olisi käsky täydelliseltä Jumalalta, ja siksi jos eettiset väittämät ovat tosia ja totuudentekijäteoria pätee, tällöin Jumala olisi olemassa.
Väittämän "minimaalinen totuudentekijä" on totuudentekijä, josta ei voida poistaa mitään niin, että se olisi edelleen totuudentekijä kyseiselle väittämälle.
Minimaalisiin totuudentekijöihin liittyy seuraavia puolia: