Itseviittaus

itseviittaus ( itseviittaus ) on ilmiö, joka esiintyy lausejärjestelmissä, kun käsite viittaa itseensä. Toisin sanoen, jos jokin lauseke on sekä itse funktio että tämän funktion argumentti .

Itseviittaus matematiikassa ja logiikassa tarkoittaa aina predikatiivisuuden rikkomista ja aiheuttaa yleensä loogisia paradokseja . Syynä on se, että objekti (subjekti), joka osoittaa itseensä joukossa (järjestelmä, teoria) ja kantaa itselleen arviota (toimintaa), johtaa itsensä ansiosta loogiseen paradoksiin. Kaikki induktiiviset loogiset johtopäätökset vahvistavat ennemmin tai myöhemmin sen joukon (järjestelmän, teorian) arvon , jossa ne sijaitsevat, tai joukko itse vahvistaa niiden arvon. Kaikki induktiiviset johtopäätökset, joiden perusteista seuraavat itseensä osoittavien järjestelmien arvoa (toimintaa) heidän itsensä ansiosta, ovat loogisia paradokseja.

Esimerkkejä

Parturin paradoksi :

Valehtelijan paradoksi :

Grellingin paradoksi [1]

Grellingin paradoksi on nimetty sen keksineen saksalaisen matemaatikon Kurt Grellingin mukaan.

Jaetaan kaikki adjektiivit kahteen ryhmään: itsekuvaaviin, joilla on niiden ilmaisema ominaisuus, ja ei-itsekuvaaviin. Adjektiivit, kuten "monitavuinen", "venäläinen" ja "vaikea ääntää", ovat itsekuvaavia. Ja kuten "saksalainen", "yksijuurinen" ja "näkymätön" kuuluvat ei-itsekuvaaviin. Mihin kahdesta joukosta adjektiivi "ei-itsekuvaava" kuuluu?

Muistiinpanot

  1. Gardner M. Arvaa!: Per. englannista. = Ah! sainpahan. Paradokseja arvoitukselle ja ilolle. - M .: Mir , 1984. - S. 24. - 213 s.

Katso myös