Paradoksien tyypit

On paradokseja, jotka syntyvät tietyllä alueella tieteellinen tietämys tieteen historiallisen kehityksen prosessissa, kun löydetään ristiriita tietyn vakiintuneen tietojärjestelmän ja uusien tosiasioiden välillä, tiettyihin paradigmoihin kiinnittyneiden tutkimussuuntien ja uusien löytöjen välillä, jotka eivät sovi näihin paradigmoihin. Näin ollen 1900-luvulla tehdyt kosmologian, kvanttifysiikan ja biologian tieteelliset löydöt ovat ristiriidassa näiden tieteenalojen klassisten teorioiden kanssa ja tulkitaan klassisten teorioiden kannalta paradoksaalisiksi.

Jokaisella toimialalla tieteellinen tietämys esiintyy erityisiä paradokseja - fyysisiä, kemiallisia, biologisia, matemaattisia jne.

Tietyn tieteellisen teorian puitteissa nousevat paradoksit paljastavat tieteen tutkimien aineellisten esineiden liikkeen epäjohdonmukaisuuden, itse tutkimuskohteen luonteen "kaksinaisuuden", mikä määrää ennalta perusperiaatteiden ja paradigmojen uudelleenajattelun. tiettyä tiedettä. Esimerkiksi kvanttikemian teoriassa havaitaan, että ytimen ympärillä oleva elektroni on millä tahansa hetkellä avaruuden jokaisessa alkeispisteessä, vaikka elektroni on alkuainehiukkanen.

Paradoksien tyypit

Logiikkatyyppien mukaan paradoksit luokiteltiin semanttisiin ja loogisiin.

Päättelyssä syntyy semanttisia paradokseja:

Yhdistetään kielen ilmaisuja niiden objektiiviseen merkitykseen eli denotaatioon;

Kun pohdinnan kohteiden symbolisen esityksen kaksi tasoa sekoitetaan, nimittäin objektikielen ja metaelokuvien taso;

Käytettäessä abstraktia määrittelemätön aikajana, jonka alle voit tuoda minkä tahansa esineen;

Kun väittämien totuuden tai valheellisuuden määrittämisessä on ongelma tietyssä kontekstissa.

Semanttisia paradokseja ovat: "valehtelu" paradoksi, heterologinen paradoksi, nimiteorian paradoksi, nimeämissuhteen paradoksi (antinomia).

Logiikan "valehtelu" paradoksi luokitellaan antinomiaksi. Sen muotoili ensimmäisenä muinainen kreikkalainen filosofi Eubulides Miletosta, ja siinä on kaksi ilmaisuvaihtoehtoa: 1. Joku sanoo "valehtelen"; 2. Kreetalaiset Epimenides sanoivat: "Kaikki kreetalaiset ovat valehtelijoita."

"Valehtelijan" paradoksin merkitys piilee siinä tosiasiassa, että on mahdotonta yksiselitteisesti määrittää totuutta tai valhetta väittämän "valehtelen". Joten jos Epimenides ei valehtele, hänen väitteensä on totta, ja siksi Epimenides on valehtelija; jos Epimenides valehtelee, hänen lausuntonsa ovat vääriä, joten Epimenides ei ole valehtelija. Saamme antinomian - "Epimenides valehtelee eikä valehtele" tai "Väite "valehtelen" on totta, koska se on väärä, ja väärä, koska se on totta.

Englantilainen logiikka P. Jourdain muotoili toisen muunnelman "valehtelijan" paradoksista: "Tämän kortin ensimmäiselle puolelle kirjoitettu lausunto on totta; ja saman kortin toiselle puolelle on kirjoitettu: tämän kortin toinen puoli on väärä." Jos ensimmäinen väite on tosi, niin myös toinen väite on tosi, koska ensimmäinen väite väittää, että toinen väite on tosi. Mutta jos toinen väite on tosi, niin "ensimmäinen väite on epätosi" on väärä. Joten näiden kahden lausunnon kahdesta mahdollisesta totuutta koskevasta oletuksesta syntyy ristiriita.

Tutkijat ovat ehdottaneet monia tapoja ratkaista valehtelijoiden paradoksi. Esimerkiksi puolalainen logiikka A. Tarski ehdotti selkeää eroa kielen tasojen - objektin ja metaelokuvan - välillä. Juuri lausunnot "valehtelen" on muotoiltu objektikieli, ja sen paradoksaalisuus määräytyy sen metalogisen analyysin tasolla metaelokuvien avulla. Tätä varten on tarpeen luoda formalisoitu kieli, joka sisältää lauseet A, totuuspredikaatti G. Kaava P1 (A) g A (lause A on tosi jos ja vain jos A). Tämä tarkoittaa: lause A on tosi, jos ja vain jos lause A on tosi, eli se korjaa (heijastaa) lauseessa tarkoitetun objektin olemassaolon.

Kreetalaisen Epimenidesin lausunto "Kaikki kreetalaiset ovat valehtelijoita" ilmaistaan ​​myös objektikielellä. Metalologisen analyysin mukaan Epimenides on myös valehtelija, koska hän kreetalaisena kuuluu Kreetan saaren asukkaiden luokkaan. Jos Epimenides ei olisi kreetalainen, väite "Kaikki kreetalaiset ovat valehtelijoita" ei olisi paradoksaalista.

Heterologisen paradoksin muotoili K. Grelling (1886 - 1941). Tämä on paradoksi, joka syntyy, kun korostetaan sellaisia ​​​​puheen ilmauksia kuin adjektiiveja, joiden merkitys on ominaisuuksia, esimerkiksi "punainen", "uusi", "vanha", "ukrainalainen". Sanaa, jolla on ominaisuus P, jonka nimi se on, kutsutaan autologiseksi. Sanaa, joka ei ole autologinen, kutsutaan heterologiseksi. Jos sana (adjektiivi) tarkoittaa itsessään olevaa ominaisuutta, sitä kutsutaan autologiseksi. Tämä on esimerkiksi sana "ukrainalainen", ja sanat "valkoinen", "musta" eivät ole autologisia sanoja, joten ne ovat heterologisia. Mihin sanoihin - autologisiin vai heterologisiin - sana "heterologinen" kuuluu? Saamme antinomian: "Jos sana "heterologinen" on heterologinen, se ei ole heterologinen, ja jos se ei ole heterologinen, niin se on heterologinen."

Nimiteorian paradoksi on semanttinen paradoksi, joka syntyi loogisen semantiikan teorian puitteissa, jonka kehittivät G. Frege, B. Russell, G. Carnap ja muut logiikot korvaten etunimi kuvaus ja päinvastoin erisnimikuvaus (katso 2.2.4). Erityisnimi on yksinkertainen merkki, joka ilmaisee yksittäistä (yksittäistä) objektia. Kuvaus - monimutkainen merkki, joka määrittää objektin ominaisuudet tai luokkien väliset suhteet. Jos jossain kontekstissa oma nimensä korvataan kuvauksella, syntyy semanttinen paradoksi. Esimerkiksi By:lle. Russell, oikea nimi "Walter Scott" ja kuvaus "Waverleyn kirjoittaja" viittaavat yhteen aiheeseen, vastaavasti väite. "Kuningas Henry IV haluaa tietää, onko Walter Scott Waverleyn kirjoittaja" ei sisällä paradoksia, mutta jos oikea nimi korvataan "Walter Scott" -kuvauksella "Waverleyn kirjoittajasta", saamme lausunnon: "Kuningas Henry IV haluaa tietää, onko Walter Scott Walter Scott", mikä on paradoksaalista.

Loogiset paradoksit ovat paradokseja, jotka ovat syntyneet tietyn loogisen teorian sisällä logiikan tieteen kehitysprosessissa. Loogisiin paradokseihin kuuluvat aineellisten implikaatioiden paradoksit, tiukan implikation paradoksit, episteemisen logiikan paradoksit, olemassaolon logiikan paradoksit jne. (näiden paradoksien sisältö määritetään tietyn loogisen teorian analyysin yhteydessä, jossa nämä paradoksit ovat nousi).

Luokkien (joukkojen) teorian paradoksi. Englantilainen loogikko ja matemaatikko B. Russell löysi luokkien (joukkojen) logiikas-matemaattisessa teoriassa loogisen epäjohdonmukaisuuden, jota kutsuttiin luokkien (joukkojen) paradoksiksi (antinomiaksi). Kaikki sarjat voidaan jakaa seuraavat tyypit: 1. Joukot, jotka eivät ole itse elementtejä. Tällaisia ​​joukkoja kutsutaan oikeiksi. Esimerkiksi kaikkien tilojen joukko, kaikki luonnolliset luvut, kaikki kirjat tieteellinen kirjasto N:n kaupungin yliopisto jne. 2. Joukkoja, jotka ovat itsensä elementtejä. Tällaisia ​​sarjoja kutsutaan sopimattomiksi. Ensimmäinen sarjatyyppi on merkitty symbolilla M. ja toinen - symbolilla M2. Lisäksi oletetaan, että on mahdollista muodostaa joukko M niistä ja vain niistä joukoista, jotka ovat varsinaisia, eli kaikista niistä joukoista, jotka eivät sisällä itseään elementteinä. Tämä on monikko- - on ristiriitainen, koska määritelmän mukaan se kuuluu elementtiensä määrään silloin ja vain, jos se ei kuulu niiden lukumäärään.

Joukkoteorian paradoksien ratkaisemiseksi By. Russell kehitti tyyppiteorian, jonka ydin on tämä. Kaikki joukot voidaan jakaa tyyppeihin, joista jokainen erottaa elementit, jotka kuuluvat vain yhteen tyyppiin ja eivät kuulu toiseen. Näin luodaan joukkotyyppien hierarkia: nollatyyppi sisältää vain elementit, joilla on ominaisuus P, ensimmäinen tyyppi sisältää elementit, joilla on ominaisuudet G.; toinen tyyppi - on ominaisuuksia P2 ja alle. Kukin tyyppi tarkoittaa tiettyä joukkojen abstraktion ja yleistyksen tasoa: a) tavallinen joukko; b) epätavallinen joukko (kaikkien joukkojen joukko), ts. joukko, joka sisältää itsensä elementtinä. Mihin joukkoon kaikkien tavallisten joukkojen joukko kuuluu? B. Russellin mukaan tyyppiteoria mahdollistaa myös joukkojen hierarkian erottamisen ja siten joukkoteorian paradoksien voittamisen.

Suosittuja versioita joukkoteorian paradokseista ovat paradoksit "Kunnan pormestari" ja "Kampaaja".

Amerikkalainen loogikko S. Kleene (1909-1994) muotoili "Kuntien pormestarin" paradoksin suosituksi muunnelmaksi joukkoteoriaparadoksista. "Jokaisella Hollannin kunnassa on oltava pormestari, eikä kahdella eri kunnassa voi olla samaa pormestaria. Joskus käy ilmi, että pormestari ei asu kunnassaan. Oletetaan, että on annettu laki, jonka mukaan tietty alue jaetaan vain sellaisille kaupunginjohtajille jotka eivät asu kunnissaan ja hän velvoittaa kaikki pormestarit asettumaan tälle alueelle. Oletetaan myös että pormestareita on niin paljon, että tämä alue N. muodostaa kunnan. Missä kunnan pormestarin Y. elää?"

Parturi-paradoksi on joukkoteoriaparadoksin toinen suosittu muunnos. "Parturi ajelee ne ja vain ne yhden kylän miehet, jotka eivät ajele itseään. Vai ajeleeko parturi itsensä?"

Aristoteles. Teokset: 4 nidettä - M., 1978. Belnap N., Steele T. Kysymysten ja vastausten logiikka. - M., 1981. Voishvillo E. Käsite ajattelun muotona. - M., 1989. G. von Wright. Heterologinen paradoksi // Loogis-filosofiset tutkimukset. - M., 1986.

Jolls K. Johdatus moderniin logiikkaan. - K., 1992.

Ivin A. Oikean ajattelun taito. - M., 1986.

Ivin A. Logiikka. - K., 1996.

Kayberg G. Todennäköisyys ja induktiivinen logiikka. - M., 1978. Kant I. Teokset: 6 osaa - M., 1964. Konversky A. Logiikka (perinteinen ja moderni). - K., 2004. Kondakov N. Looginen sanakirja-viitekirja. - M., 1975. Leibniz G. Teokset: 4 osaa - M., 1984. Looginen sanakirja "Defort". - M., 1994. Minto V. Deduktiivinen ja induktiivinen logiikka. - S.-Pb., 1995.

Frege G. Logiikka ja looginen semantiikka. - M., 2000. Khomenko I. Logiikkaa lakimiehille. - K., 2001. Shuman A. Moderni logiikka: teoria ja käytäntö. - M., 2004.

Kotarbinski T. Kurs logiki. - Warzawa, 1955.

Tiedetään, että ongelman muotoileminen on usein tärkeämpää ja vaikeampaa kuin sen ratkaiseminen. "Tieteessä", kirjoitti englantilainen kemisti F. Soddy, "oikein esitetty ongelma on yli puolet ratkaistu. Henkinen valmistautumisprosessi, joka tarvitaan tietyn tehtävän selvittämiseen, vie usein enemmän aikaa kuin itse tehtävä.

Ongelmatilanteen ilmenemis- ja toteutusmuodot ovat hyvin erilaisia. Ei suinkaan aina, se paljastaa itsensä suorana kysymyksenä, joka nousi esiin tutkimuksen alussa. Ongelmamaailma on yhtä monimutkainen kuin niitä synnyttävä kognitioprosessi. Ongelmien tunnistaminen on luovan ajattelun ydin. Paradokseja on eniten mielenkiintoinen tapaus implisiittisiä, kyseenalaistamattomia tapoja esittää ongelmia. Paradoksit ovat yleisiä tieteellisten teorioiden kehityksen alkuvaiheessa, kun ensimmäiset askeleet otetaan vielä tutkimattomalla alueella ja eniten. yleiset periaatteet lähestyä häntä.

Paradokseja ja logiikkaa

Laajassa mielessä paradoksi on kanta, joka poikkeaa jyrkästi yleisesti hyväksytyistä, vakiintuneista, ortodoksisista mielipiteistä. "Yleisesti hyväksytyt mielipiteet ja se, mitä pidetään jo kauan sitten päätetynä asiana, ansaitsevat useimmiten tutkimuksen" (G. Lichtenberg). Paradoksi on tällaisen tutkimuksen alku.

Paradoksi suppeammassa ja erikoisemmassa mielessä on kaksi vastakkaista, yhteensopimatonta väitettä, joille jokaiselle on näennäisesti vakuuttavia argumentteja.

Paradoksin terävin muoto on antinomia, päättely, joka todistaa kahden väitteen ekvivalenssin, joista toinen on toisen kieltäminen.

Paradokseja tiukimmissa ja tarkkoja tieteitä- matematiikka ja logiikka. Ja tämä ei ole sattumaa.

Logiikka on abstrakti tiede. Siinä ei ole kokeita, ei edes faktoja sanan tavallisessa merkityksessä. Järjestelmiään rakentaessaan logiikka lähtee viime kädessä todellisen ajattelun analyysistä. Mutta tämän analyysin tulokset ovat synteettisiä, erottumattomia. Ne eivät ole lausuntoja mistään erillisistä prosesseista tai tapahtumista, jotka teorian pitäisi selittää. Sellaista analyysiä ei tietenkään voida kutsua havainnoksi: aina havaitaan konkreettinen ilmiö.

Uutta teoriaa rakentaessaan tiedemies lähtee yleensä faktoista, siitä, mitä kokeessa voidaan havaita. Olipa hänen luova mielikuvituksensa kuinka vapaa tahansa, sen on otettava huomioon yksi välttämätön seikka: teorialla on järkeä vain, jos se on yhtä mieltä siihen liittyvien tosiasioiden kanssa. Teoria, joka on eri mieltä tosiasioiden ja havaintojen kanssa, on kaukaa haettu eikä sillä ole arvoa.

Mutta jos ei ole logiikan kokeita, ei tosiasioita eikä itse havainnointia, mikä sitten estää loogista fantasiaa? Mitkä tekijät, elleivät tosiasiat, otetaan huomioon luotaessa uusia loogisia teorioita?

Loogisen teorian ja todellisen ajattelun käytännön välinen ristiriita paljastuu usein enemmän tai vähemmän akuutin loogisen paradoksina ja joskus jopa loogisen antinomian muodossa, joka puhuu teorian sisäisestä epäjohdonmukaisuudesta. Tämä vain selittää sen tärkeyden, jota paradokseihin kiinnitetään logiikassa, ja suuren huomion, jota he nauttivat siinä.

Vaihtoehdot "Valehtelijan" paradoksista

Tunnetuin ja ehkä mielenkiintoisin kaikista loogisista paradokseista on valehtelijan paradoksi. Hän, joka ylisti Eubulideksen nimeä Miletosta, löysi sen.

Tästä paradoksista tai antinomiasta on muunnelmia, joista monet ovat vain näennäisesti paradoksaalisia.

"Valehtelijan" yksinkertaisimmassa versiossa ihminen sanoo vain yhden lauseen: "Valehtelen". Tai hän sanoo: "Nyt esittämäni lausunto on väärä." Tai: "Tämä väite on väärä."

Jos väite on väärä, puhuja kertoi totuuden, ja siksi hänen sanomansa ei ole valhetta. Jos väite ei ole väärä ja puhuja väittää sen olevan väärä, tämä väite on väärä. Näin ollen käy ilmi, että jos puhuja valehtelee, hän puhuu totta ja päinvastoin.

Keskiajalla seuraava sanamuoto oli yleinen:

"Se mitä Platon sanoi, on valhetta", sanoo Sokrates.

"Se, mitä Sokrates sanoi, on totuus", sanoo Platon.

Herää kysymys, mikä niistä ilmaisee totuuden ja mikä on valhetta?

Ja tässä on tämän paradoksin moderni paradoksi. Oletetaan, että kortin etupuolelle on kirjoitettu vain sanat: "Tämän kortin toiselle puolelle on kirjoitettu tosi lausunto." On selvää, että nämä sanat edustavat merkityksellistä lausuntoa. Kääntämällä korttia meidän on joko löydettävä luvattu lausunto tai sitä ei ole siellä. Jos se on kirjoitettu takapuolelle, se on joko totta tai ei. Takana on kuitenkin sanat: "Tämän kortin toiselle puolelle on kirjoitettu väärä väite"- eikä mitään muuta. Oletetaan, että etupuolella oleva väite on totta. Silloin kääntöpuolella olevan väitteen on oltava tosi, ja siksi edessä olevan väitteen on oltava epätosi. Mutta jos edessä oleva väite on epätosi, niin myös takana olevan väitteen on oltava väärä, ja siksi edessä olevan väitteen on oltava tosi. Tuloksena on paradoksi.

Valehtelijan paradoksi teki suuren vaikutuksen kreikkalaisiin. Ja on helppo nähdä miksi. Sen esittämä kysymys näyttää ensi silmäyksellä varsin yksinkertaiselta: valehteleeko se, joka sanoo vain, että hän valehtelee? Mutta vastaus "kyllä" johtaa vastaukseen "ei" ja päinvastoin. Ja pohdiskelu ei selvennä tilannetta ollenkaan. Kysymyksen yksinkertaisuuden ja tasaisen rutiinin takana se paljastaa jonkin verran epämääräistä ja mittaamatonta syvyyttä.

On jopa legenda, että tietty Filit Kossky, joka halusi epätoivoisesti ratkaista tämän paradoksin, teki itsemurhan. Sanotaan myös, että yksi kuuluisista antiikin kreikkalaisista loogikoista, Diodorus Kronos, vannoi jo taantuvana vuotenaan, että hän ei syö, ennen kuin hän löysi ratkaisun "valehtelijasta", ja kuoli pian saavuttamatta mitään.

Keskiajalla tätä paradoksia kutsuttiin niin sanotuiksi ratkaisemattomiksi lauseiksi ja siitä tuli systemaattisen analyysin kohde.

Nykyaikana "valehtelija" ei kiinnittänyt huomiota pitkään aikaan. He eivät nähneet kielen käytössä mitään, edes vähäisiä, vaikeuksia. Ja vain meidän ns nykyaika logiikan kehitys on vihdoin saavuttanut tason, jossa tämän paradoksin takana näyttävät ongelmat voidaan muotoilla jo tiukasti.

Nykyään "valehtelijaa" - tätä tyypillistä entistä sofismia - kutsutaan usein loogisten paradoksien kuninkaaksi. Hänelle on omistettu laaja tieteellinen kirjallisuus. Ja silti, kuten monien muiden paradoksien tapauksessa, ei ole täysin selvää, mitkä ongelmat ovat sen takana ja miten niistä päästään eroon.

Kieli ja metakieli

Nyt "Valehtelijaa" pidetään yleensä tyypillisenä esimerkkinä vaikeuksista, joihin kahden kielen sekaannus johtaa: kielen, jolla puhutaan sen ulkopuolella olevasta todellisuudesta, ja kielestä, jolla puhutaan ensimmäinen kieli.

AT jokapäiväistä kieltä näiden tasojen välillä ei ole eroa: puhumme samaa kieltä todellisuudesta ja kielestä. Esimerkiksi henkilö, jonka äidinkieli on venäjä, ei näe suurta eroa väitteiden välillä: "Lasi on läpinäkyvää" ja "On totta, että lasi on läpinäkyvää", vaikka yksi niistä puhuu lasista ja toinen väittämästä lasi.

Jos jollakulla olisi ajatus tarpeesta puhua maailmasta yhdellä kielellä ja tämän kielen ominaisuuksista toisella, hän voisi käyttää kahta erilaista olemassa olevilla kielillä Sanotaan vaikka venäjäksi ja englanniksi. Sen sijaan, että sanoisin vain "lehmä on substantiivi", sanoisin "lehmä on substantiivi" ja "väite "lasi ei ole läpinäkyvä" on väärä" sijaan sanoisin "väite "lasi ei ole läpinäkyvä" on väärä. ". Tällä kahdella eri kieliä se, mitä sanotaan maailmasta, olisi selvästi erilaista kuin se, mitä sanotaan kielestä, jolla maailmasta puhutaan. Itse asiassa ensimmäiset lausunnot viittaavat venäjän kieleen, kun taas toiset viittaavat englannin kieleen.

Jos kieliasiantuntijamme haluaisi vielä puhua asioista, jotka jo koskevat englantia, hän voisi käyttää toista kieltä. Sanotaan vaikka saksaksi. Puhuttaessa tästä jälkimmäisestä voitaisiin turvautua, sanokaamme, espanjan kieleen ja niin edelleen.

Tästä syystä muodostuu eräänlainen kielten tikkaat tai hierarkia, joista jokaista käytetään tiettyyn tarkoitukseen: ensimmäisessä puhutaan objektiivisesta maailmasta, toisessa - tästä ensimmäisestä kielestä, kolmas - toisesta kielestä jne. Tällainen ero kielten välillä niiden käyttöalueen mukaan on harvinainen ilmiö Suomessa tavallinen elämä. Mutta tieteissä, jotka, kuten logiikka, käsittelevät erityisesti kieliä, se osoittautuu joskus erittäin hyödylliseksi. Maailmasta puhumiseen käytettyä kieltä kutsutaan yleensä objektikieleksi. Aiheen kielen kuvaamiseen käytettyä kieltä kutsutaan metakieleksi.

On selvää, että jos kieli ja metakieli rajataan tällä tavalla, lausetta "valehtelen" ei voida enää muotoilla. Se puhuu venäjäksi sanotun virheellisyydestä ja viittaa siksi metakieleen ja on ilmaistava kielellä. Englannin kieli. Tarkemmin sanottuna sen pitäisi kuulostaa tältä: "Kaikki, mitä puhun venäjäksi, on valhetta" ("Kaikki, mitä sanon venäjäksi on false"); tämä englanninkielinen lausunto ei kerro itsestään mitään, eikä paradoksia synny.

Ero kielen ja metakielen välillä tekee mahdolliseksi eliminoida "valehtelijan" paradoksin. Siten on mahdollista määritellä oikein, ilman ristiriitaa klassinen totuuskäsite: väite on totta, joka vastaa kuvaamaansa todellisuutta.

Totuuden käsitteellä, kuten kaikilla muilla semanttisilla käsitteillä, on suhteellinen luonne: se voidaan aina lukea tietyn kielen ansioksi.

Kuten puolalainen loogikko A. Tarsky osoitti, klassinen määritelmä totuus on muotoiltava kielellä, joka on laajempi kuin se kieli, jolle se on tarkoitettu. Toisin sanoen, jos haluamme osoittaa, missä lauseessa "väite on totta annettua kieltä”, on tarpeen käyttää tämän kielen ilmaisujen lisäksi myös ilmauksia, joita siinä ei ole.

Tarski esitteli semanttisesti suljetun kielen käsitteen. Tällainen kieli sisältää ilmaisujensa lisäksi niiden nimet sekä, mikä on tärkeää korostaa, lausumia siinä muotoiltujen lauseiden totuudesta.

Kielen ja metakielen välillä ei ole rajaa semanttisesti suljetussa kielessä. Sen keinot ovat niin rikkaat, että niiden avulla ei vain voida väittää jotain ekstralingvistisesta todellisuudesta, vaan myös arvioida tällaisten lausuntojen totuutta. Nämä keinot riittävät erityisesti toistamaan antinomian "valehtelija" kielessä. Semanttisesti suljettu kieli osoittautuu siten ristiriitaiseksi. Jokainen luonnollinen kieli on ilmeisesti semanttisesti suljettu.

Tarskin mukaan ainoa hyväksyttävä tapa eliminoida antinomia ja siten sisäinen epäjohdonmukaisuus on luopua semanttisesti suljetun kielen käytöstä. Tämä polku on tietysti hyväksyttävä vain keinotekoisilla, formalisoiduilla kielillä, jotka mahdollistavat selkeän jaon kieleen ja metakieleen. Luonnollisilla kielillä, niiden epäselvällä rakenteella ja kyvyllä puhua kaikesta samalla kielellä, tämä lähestymistapa ei ole kovin realistinen. Ei ole mitään järkeä pohtia kysymystä näiden kielten sisäisestä johdonmukaisuudesta. Niiden runsailla ilmaisumahdollisuuksilla on myös varjopuolensa - paradokseja.

Muita ratkaisuja paradoksiin

Joten on lausuntoja, jotka puhuvat omasta totuudestaan ​​tai valheellisuudestaan. Ajatus siitä, että tällaiset lausunnot eivät ole merkityksellisiä, on hyvin vanha. Sitä puolusti antiikin kreikkalainen loogikko Chrysippus.

Keskiajalla englantilainen filosofi ja loogikko W. Ockham totesi, että väite ”Jokainen väite on väärä” on merkityksetön, koska se puhuu muun muassa omasta valheellisuudestaan. Tästä väitteestä seuraa suoraan ristiriita. Jos jokainen lause on epätosi, niin on myös itse ehdotus; mutta se, että se on väärä, tarkoittaa, että kaikki väitteet eivät ole vääriä. Tilanne on samanlainen väitteen "Jokainen väite on totta" kanssa. Se on myös luokiteltava merkityksettömäksi ja johtaa myös ristiriitaan: jos jokainen väite on totta, niin myös tämän väitteen negaatio on totta, eli väite, että kaikki väitteet eivät ole tosia.

Miksi väite ei kuitenkaan voi puhua mielekkäästi omasta totuudestaan ​​tai valheellisuudestaan?

Ockhamin aikalainen, ranskalainen filosofi 1300-luvulla J. Buridan ei ollut samaa mieltä hänen päätöksestään. Tavallisten merkityksettömyyttä koskevien käsitysten näkökulmasta ilmaukset, kuten "valehtelen", "Jokainen väite on totta (epätosi)" jne. varsin merkityksellistä. Mitä voit ajatella, mitä voit sanoa - tämä on Buridanin yleinen periaate. Ihminen voi ajatella lausumansa totuutta, mikä tarkoittaa, että hän voi puhua siitä. Kaikki väitteet itsestään eivät ole merkityksettömiä. Esimerkiksi väite "Tämä lause on kirjoitettu venäjäksi" on tosi, mutta väite "Tässä lauseessa on kymmenen sanaa" on väärä. Ja molemmat ovat täysin järkeviä. Jos myönnetään, että väite voi puhua itsestään, niin miksi se ei kykene puhumaan mielekkäästi sellaisesta itsensä ominaisuudesta kuin totuus?

Buridan itse piti väitettä "valehtelen" merkityksettömänä, vaan vääränä. Hän perusteli asian näin. Kun henkilö vahvistaa väitteen, hän siten väittää, että se on totta. Jos lause sanoo itsestään, että se on itse väärä, se on vain lyhennetty sanamuoto monimutkainen ilmaisu väittää sekä sen totuuden että valheellisuuden. Tämä ilmaus on ristiriitainen ja siksi väärä. Mutta se ei ole mitenkään merkityksetöntä.

Buridanin väitettä pidetään joskus edelleen vakuuttavana.

Tarskin yksityiskohtaisesti kehittämää ratkaisua "valehtelijan" paradoksiin on kritisoitu muitakin linjoja. Eikö tämän tyyppisille paradokseille todellakaan ole vastalääkettä semanttisesti suljetuissa kielissä – ja kaikki luonnolliset kielet ovat loppujen lopuksi?

Jos näin olisi, totuuden käsite voitaisiin määritellä tiukasti vain formalisoiduissa kielissä. Vain niistä on mahdollista erottaa aihekieli, jossa he puhuvat ympäröivästä maailmasta ja metakielestä, jolla he puhuvat tästä kielestä. Tämä kielihierarkia perustuu vieraan kielen oppimiseen äidinkielen avulla. Tällaisen hierarkian tutkiminen johti moniin mielenkiintoisiin päätelmiin, ja joissain tapauksissa se on välttämätöntä. Mutta sitä ei ole olemassa luonnollisella kielellä. Häpäiseekö se häntä? Ja jos on, niin missä määrin? Loppujen lopuksi totuuden käsitettä käytetään siinä edelleen, ja yleensä ilman komplikaatioita. Onko hierarkian käyttöönotto ainoa tapa eliminoida valehtelijan kaltaiset paradoksit?

1930-luvulla vastaukset näihin kysymyksiin näyttivät epäilemättä myöntäviltä. Nykyään ei kuitenkaan ole olemassa aikaisempaa yksimielisyyttä, vaikka perinne tämäntyyppisten paradoksien poistamisesta kielen "kerrostamalla" pysyy hallitsevana.

Viime aikoina itsekeskeiset ilmaisut ovat herättäneet yhä enemmän huomiota. Ne sisältävät sanoja kuten "minä", "tämä", "tässä", "nyt", ja niiden totuus riippuu siitä, milloin, kuka ja missä niitä käytetään.

Lausunnossa "Tämä väite on väärä" esiintyy sana "tämä". Mihin objektiin se viittaa? "Valehtelija" voi tarkoittaa, että sana "se" ei viittaa annetun lausunnon merkitykseen. Mutta mihin se sitten viittaa, mitä se tarkoittaa? Ja miksi tätä merkitystä ei voi silti merkitä sanalla "tämä"?

Tässä yksityiskohtiin menemättä on vain syytä huomata, että itsekeskeisten ilmaisujen analyysin yhteydessä "Valehtelija" täyttyy täysin erilaisella sisällöllä kuin ennen. Osoittautuu, että hän ei enää varoita kielen ja metakielen sekaannuksesta, vaan huomauttaa vaaroista, jotka liittyvät sanan "tämä" ja vastaavien itsekeskeisten sanojen väärinkäyttöön.

Asiat, jotka ovat vuosisatojen ajan liittyneet "Valehtelijaan", ovat muuttuneet radikaalisti sen mukaan, onko se nähty esimerkkinä monitulkintaisuudesta vai ilmaisuksi, joka näyttää ulkoisesti esimerkkinä kielen ja metakielen sekoituksesta, vai lopuksi, kuten tyypillinen esimerkki itsekeskisten ilmaisujen väärinkäyttö. Eikä ole varmuutta siitä, ettei tähän paradoksiin liity muita ongelmia tulevaisuudessa.

Tunnettu nykysuomalainen logiikka ja filosofi H. von Wright kirjoitti teoksessaan Valehtelijasta, että tätä paradoksia ei missään nimessä pidä ymmärtää paikallisena, eristettynä esteenä, joka voidaan poistaa yhdellä kekseliäällä ajatuksen liikkeellä. Liar käsittelee monia tärkeimpiä logiikan ja semantiikan aiheita. Tämä on totuuden määritelmä ja ristiriidan ja todisteiden tulkinta sekä joukko tärkeitä eroja: lauseen ja sen ilmaiseman ajatuksen välillä, ilmaisun käytön ja sen mainitsemisen välillä, nimen merkityksen ja sen osoittama kohde.

Tilanne on samanlainen muiden loogisten paradoksien kanssa. "Logiikan antinomiat", kirjoittaa von Wright, "ovat hämmentäneet meitä niiden löytämisestä lähtien ja tulevat luultavasti aina hämmentämään meitä. Mielestäni meidän ei pitäisi nähdä niitä niinkään ratkaisua odottavina ongelmina, vaan ajattelun ehtymättömänä raaka-aineena. Ne ovat tärkeitä, koska niiden ajatteleminen koskettaa kaiken logiikan ja siten kaiken ajattelun perustavanlaatuisimpia kysymyksiä."

Tämän "valehtajaa" koskevan keskustelun päätteeksi voimme muistaa omituisen jakson ajalta, jolloin muodollista logiikkaa opetettiin vielä koulussa. 1940-luvun lopulla julkaistussa logiikkaoppikirjassa kahdeksannen luokan oppilaita pyydettiin kotitehtävänä - niin sanotusti lämmittelynä - löytääkseen virheen, joka tehtiin tässä yksinkertaisen näköisessä lausunnossa: "Valehtelen". Ja älkää antako näyttää oudolta, uskottiin, että suurin osa koululaisista selviytyi onnistuneesti tällaisesta tehtävästä.

2. Russellin paradoksi

Tunnetuin jo vuosisadallamme löydetyistä paradokseista on B. Russellin löytämä antinomia, jonka hän välitti kirjeessään G. Fergelle. Samaa antinomiaa keskustelivat Göttingenissä samanaikaisesti saksalaiset matemaatikot Z. Zermelo ja D. Hilbert.

Ajatus oli ilmassa, ja sen julkaisu teki vaikutelman räjähtävästä pommista. Tämä paradoksi aiheutti matematiikassa Hilbertin mukaan täydellisen katastrofin vaikutuksen. Uhkataan yksinkertaisimmalla ja tärkeimmällä loogisia menetelmiä, yleisimmät ja hyödyllisimmät käsitteet.

Heti kävi selväksi, että ei logiikassa eikä matematiikassa kokonaisuutena pitkä historia Niiden olemassaolosta ei keksitty mitään, mikä voisi toimia perustana antinomian poistamiselle. On selvää, että poikkeaminen tavanomaisista ajattelutavoista oli välttämätöntä. Mutta mistä ja mihin suuntaan? Kuinka radikaalia vakiintuneiden teoretisointitapojen hylkäämisen piti olla?

Kanssa lisätutkimus antinomia, vakaumus perustavanlaatuisen uuden lähestymistavan tarpeesta kasvoi tasaisesti. Puoli vuosisataa sen löytämisen jälkeen logiikan ja matematiikan perusteiden asiantuntijat L. Frenkel ja I. Bar-Hillel totesivat jo varauksetta: , toistaiseksi poikkeuksetta epäonnistuneet, ovat ilmeisen riittämättömiä tähän tarkoitukseen.

Moderni amerikkalainen loogikko H. Curry kirjoitti tästä paradoksista hieman myöhemmin: ”1800-luvulla tunnetun logiikan kannalta tilanne yksinkertaisesti uhmasi selitystä, vaikka tietysti meidän koulutetussa iässämme saattaa olla ihmisiä, jotka näkevät (tai luulevat näkevänsä ), mikä on virhe?

Russellin paradoksi alkuperäisessä muodossaan liittyy käsitteeseen joukko eli luokka.

Voimme puhua eri objektien joukoista, esimerkiksi kaikkien ihmisten joukosta tai luonnollisten lukujen joukosta. Mikä tahansa ensimmäisen sarjan elementti on yksittäinen henkilö, toisen elementti on jokainen luonnollinen luku. On myös mahdollista pitää joukkoja itseään joinakin objekteina ja puhua joukkojoukoista. Voidaan jopa ottaa käyttöön sellaisia ​​käsitteitä kuin kaikkien joukkojen joukko tai kaikkien käsitteiden joukko.

Sarja tavallisia sarjoja

Minkä tahansa mielivaltaisesti otetun joukon osalta näyttää järkevältä kysyä, onko se oma elementti vai ei. Joukkoja, jotka eivät sisällä itseään elementtinä, kutsutaan tavallisiksi. Esimerkiksi kaikkien ihmisten joukko ei ole henkilö, kuten atomien joukko ei ole atomi. Sarjat, jotka ovat asianmukaisia ​​elementtejä, ovat epätavallisia. Esimerkiksi joukko, joka yhdistää kaikki joukot, on joukko ja sisältää siksi itsensä elementtinä.

Harkitse nyt kaikkien tavallisten joukkojen joukkoa. Koska kyseessä on sarja, siitä voi myös kysyä, onko se tavallinen vai epätavallinen. Vastaus on kuitenkin masentava. Jos se on tavallinen, niin sen täytyy määritelmän mukaan sisältää itsensä elementtinä, koska se sisältää kaikki tavalliset joukot. Mutta tämä tarkoittaa, että se on epätavallinen sarja. Oletus, että joukkomme on tavallinen joukko, johtaa siis ristiriitaan. Joten se ei voi olla normaalia. Toisaalta se ei voi olla myöskään epätavallinen: epätavallinen joukko sisältää itsensä elementtinä, ja joukkomme elementit ovat vain tavallisia joukkoja. Tämän seurauksena tulemme siihen tulokseen, että kaikkien tavallisten joukkojen joukko ei voi olla tavallinen tai satunnainen.

Siten joukko joukkoja, jotka eivät ole oikeita alkioita, on oikea alkio, jos ja vain jos se ei ole sellainen alkio. Tämä on selvä ristiriita. Ja se saatiin todennäköisimpien oletusten pohjalta ja näennäisen kiistattomien askeleiden avulla.

Ristiriita sanoo, että tällaista joukkoa ei yksinkertaisesti ole olemassa. Mutta miksi sitä ei voi olla olemassa? Loppujen lopuksi se koostuu objekteista, jotka täyttävät hyvin määritellyn ehdon, eikä itse ehto näytä olevan jotenkin poikkeuksellinen tai epäselvä. Jos näin yksinkertaisesti ja selkeästi määriteltyä joukkoa ei voi olla olemassa, mitä eroa mahdollisten ja mahdottomien joukkojen välillä on? Johtopäätös tarkasteltavan sarjan olemattomuudesta kuulostaa odottamattomalta ja herättää ahdistusta. Hän tekee meidän yleinen käsite asetettu amorfiseksi ja kaoottiseksi, eikä ole mitään takeita siitä, ettei se pysty luomaan uusia paradokseja.

Russellin paradoksi on merkittävä sen äärimmäisen yleisyyden vuoksi. Sen rakentamiseen ei tarvita monimutkaisia ​​teknisiä käsitteitä, kuten joidenkin muiden paradoksien tapauksessa käsitteet "joukko" ja "joukon elementti" riittävät. Mutta tämä yksinkertaisuus vain puhuu sen perustavanlaatuisesta luonteesta: se koskettaa joukkoja koskevan ajattelumme syvimpiä perusteita, koska se ei puhu joistakin erikoistapauksista, vaan joukoista yleensä.

Muita paradoksin muunnelmia

Russellin paradoksi ei ole erityisesti matemaattinen. Se käyttää joukon käsitettä, mutta ei koske erityisiin matematiikkaan liittyviä ominaisuuksia.

Tämä käy ilmi, kun paradoksi muotoillaan uudelleen puhtaasti loogisesti.

Jokaisesta ominaisuudesta voidaan mitä todennäköisimmin kysyä, sopiiko se itseensä vai ei.

Esimerkiksi ominaisuus olla kuuma ei koske itseään, koska se ei ole itse kuuma; ominaisuus olla konkreettinen ei myöskään viittaa itseensä, sillä se on abstrakti ominaisuus. Mutta ominaisuus olla abstraktia, olla abstraktia, pätee itseensä. Kutsukaamme näitä itseensä soveltumattomia ominaisuuksia soveltumattomiksi. Päteekö ominaisuus olla soveltumaton itseensä? Osoittautuu, että soveltumattomuus on soveltumaton vain, jos se ei ole. Tämä on tietysti paradoksaalista.

Russellin antinomian looginen, omaisuuteen liittyvä muunnelma on yhtä paradoksaalinen kuin matemaattinen, joukkoon liittyvä variaatio.

Russell ehdotti myös seuraavaa suosittua versiota löytämästään paradoksista.

Kuvittele, että yhden kylän valtuusto määritteli parturin tehtävät seuraavasti: ajella kaikki kylän miehet, jotka eivät ajele, ja vain nämä miehet. Pitäisikö hänen ajella itsensä? Jos näin on, se viittaa niihin, jotka ajelevat itsensä, ja niihin, jotka ajelevat itsensä, hänen ei pitäisi ajaa parranajoa. Jos ei, hän kuuluu niille, jotka eivät ajele itseään, ja siksi hänen on ajettava itsensä. Näin ollen tulemme siihen johtopäätökseen, että tämä parturi ajelee itsensä silloin ja vain, jos hän ei ajele itseään. Tämä on tietysti mahdotonta.

Parturia koskeva väite perustuu olettamukseen, että tällainen parturi on olemassa. Tuloksena oleva ristiriita tarkoittaa, että tämä olettamus on väärä, eikä ole olemassa sellaista kyläläistä, joka ajelisi kaikki ne kyläläiset, jotka eivät ajele itseään.

Kampaajan tehtävät eivät vaikuta ensisilmäyksellä ristiriitaisilta, joten johtopäätös, ettei sellaista voi olla, kuulostaa jokseenkin odottamattomalta. Tämä johtopäätös ei kuitenkaan ole paradoksaalinen. Edellytys, jonka kylän parturi on täytettävä, on itse asiassa ristiriitainen ja siksi mahdoton. Kylässä ei voi olla sellaista kampaajaa samasta syystä, ettei kylässä ole henkilöä, joka olisi häntä vanhempi tai joka olisi syntynyt ennen syntymäänsä.

Väitettä kampaajasta voidaan kutsua pseudoparadoksiksi. Kurssiltaan se on tiukasti analoginen Russellin paradoksiin, ja juuri tämä tekee siitä mielenkiintoisen. Mutta se ei silti ole todellinen paradoksi.

Toinen esimerkki samasta pseudoparadoksista on tuttua päättelyä hakemistosta.

Tietty kirjasto päätti laatia bibliografisen luettelon, joka sisältäisi kaikki ne ja vain ne bibliografiset luettelot, joissa ei ole viittauksia itseensä. Pitäisikö tällaisessa hakemistossa olla linkki itseensä?

On helppo osoittaa, että ajatus tällaisen luettelon luomisesta ei ole toteutettavissa; se ei yksinkertaisesti voi olla olemassa, koska sen on samanaikaisesti sisällettävä viittaus itseensä eikä sisällytettävä.

On mielenkiintoista huomata, että kaikkien sellaisten hakemistojen luetteloiminen, jotka eivät sisällä viittauksia itseensä, voidaan ajatella loputtomana, loputtomana prosessina. Oletetaan, että jossain vaiheessa käännettiin hakemisto, esimerkiksi K1, mukaan lukien kaikki muut hakemistot, jotka eivät sisällä viittauksia itseensä. K1:n luomisen yhteydessä ilmestyi toinen hakemisto, joka ei sisällä linkkiä itseensä. Koska tavoitteena on tehdä täydellinen luettelo kaikista hakemistoista, jotka eivät mainitse itseään, on selvää, että K1 ei ole ratkaisu. Hän ei mainitse yhtä näistä hakemistoista - itseään. Kun tämä maininta hänestä K1:ssä sisällytetään, saamme K2-luettelon. Siinä mainitaan K1, mutta ei itse K2. Lisäämällä tällaisen maininnan K2:een, saamme KZ:n, joka taas ei ole täydellinen, koska se ei mainitse itseään. Ja loputtomasti.

3. Grellingin ja Berryn paradoksit

Saksalaiset logiikot K. Grelling ja L. Nelson löysivät mielenkiintoisen loogisen paradoksin (Grellingin paradoksi). Tämä paradoksi voidaan muotoilla hyvin yksinkertaisesti.

Autologiset ja heterologiset sanat

Joillakin ominaisuuksia ilmaisevilla sanoilla on juuri se ominaisuus, jonka ne nimeävät. Esimerkiksi adjektiivi "venäläinen" on itsessään venäjä, "monitavuinen" on itse monitavuinen ja "viisitavuinen" itsessään sisältää viisi tavua. Sellaisia ​​itseensä viittaavia sanoja kutsutaan itsetarkoituksellisiksi tai autologisiksi.

Tällaisia ​​sanoja ei ole niin paljon, suurimmalla osalla adjektiiveja ei ole ominaisuuksia, joita ne nimeävät. "New" ei tietenkään ole uutta, "hot" on kuuma, "one-sylable" on yksitavuinen ja "englanti" on englanti. Sanoja, joilla ei ole niiden kuvaamaa ominaisuutta, kutsutaan aliaksiksi tai heterologiksi. Ilmeisesti kaikki adjektiivit, jotka ilmaisevat ominaisuuksia, jotka eivät sovellu sanoihin, ovat heterologisia.

Tämä adjektiivien jako kahteen ryhmään vaikuttaa selkeältä ja vastustamattomalta. Se voidaan laajentaa substantiiviin: "sana" on sana, "substantiivi" on substantiivi, mutta "kello" ei ole kello ja "verbi" ei ole verbi.

Paradoksi syntyy heti, kun kysytään: kumpaan näistä kahdesta ryhmästä itse adjektiivi "heterologinen" kuuluu? Jos se on autologinen, sillä on sen määrittelemä ominaisuus ja sen on oltava heterologinen. Jos se on heterologinen, sillä ei ole ominaisuutta, jota se kutsuu, ja siksi sen on oltava autologinen. On olemassa paradoksi.

Analogisesti tämän paradoksin kanssa on helppo muotoilla muita saman rakenteen paradokseja. Onko esimerkiksi itsetuhoinen henkilö, joka tappaa jokaisen ei-itsemurhaan pyrkivän henkilön eikä tapa ketään itsemurhaa tekevää henkilöä?

Kävi ilmi, että Grelligin paradoksi tunnettiin keskiajalla sellaisen ilmaisun antinomiana, joka ei nimeä itseään. Voidaan kuvitella nykyajan asennetta sofismiin ja paradokseihin, jos vastausta vaatinut ja vilkasta keskustelua aiheuttanut ongelma yhtäkkiä unohdettiin ja löydettiin uudelleen vasta viisisataa vuotta myöhemmin!

Toisen, ulkoisesti yksinkertaisen antinomian osoitti aivan vuosisadamme alussa D. Berry.

Luonnollisten lukujen joukko on ääretön. Niiden näiden numeroiden nimien joukko, jotka ovat saatavilla esimerkiksi venäjän kielellä ja sisältävät alle esimerkiksi sata sanaa, on rajallinen. Tämä tarkoittaa, että on olemassa sellaisia ​​luonnollisia lukuja, joille ei ole venäjänkielisiä nimiä, jotka koostuvat alle sadasta sanasta. Näiden lukujen joukossa on selvästi pienin luku. Sitä ei voida kutsua venäläisellä ilmaisulla, joka sisältää alle sata sanaa. Mutta lauseke: "Pienin luonnollinen luku, jolle sitä ei ole olemassa venäjäksi yhdistenimi, koostuu alle sadasta sanasta" on vain tämän numeron nimi! Tämä nimi on juuri muotoiltu venäjäksi ja sisältää vain 19 sanaa. Ilmeinen paradoksi: nimetty numero osoittautui sellaiseksi, jolle ei ole nimeä!

4. Ratkaisematon kiista

Erään kuuluisan paradoksin ytimessä on pieni tapaus, joka tapahtui yli kaksi tuhatta vuotta sitten ja jota ei ole unohdettu tähän päivään asti.

Kuuluisa sofisti Protagoras, joka asui 500-luvulla. eKr., siellä oli opiskelija nimeltä Euathlus, joka opiskeli lakia. Heidän välisen sopimuksensa mukaan Euathlus joutui maksamaan koulutuksesta vain, jos hän voittaisi ensimmäisen oikeusjutun. Jos hän häviää tämän prosessin, hän ei ole velvollinen maksamaan ollenkaan. Opintojensa päätyttyä Evatl ei kuitenkaan osallistunut prosesseihin. Se kesti melko pitkään, opettajan kärsivällisyys loppui ja hän nosti kanteen oppilaansa vastaan. Näin ollen Euathlusille tämä oli ensimmäinen oikeudenkäynti. Protagoras perusteli vaatimuksensa seuraavasti:

”Riippumatta tuomioistuimen päätöksestä, Euathlusin on maksettava minulle. Hän joko voittaa ensimmäisen oikeudenkäyntinsä tai häviää. Jos hän voittaa, hän maksaa sopimuksemme mukaisesti. Jos hän häviää, hän maksaa tämän päätöksen mukaisesti.

Ilmeisesti Euathlus oli pätevä oppilas, kuten hän vastasi Protagorasille:

- Todellakin, joko voitan prosessin tai häviän sen. Jos voitan, oikeuden päätös vapauttaa minut maksuvelvollisuudesta. Jos tuomioistuimen päätös ei ole minun eduni, hävisin ensimmäisen asiani enkä maksa sopimuksemme perusteella.

Ratkaisut Protagoraan ja Euathlusin paradoksiin

Asian tästä käänteestä hämmentyneenä Protagoras omisti tälle kiistalle Euathluksen kanssa erityisen esseen "Maksuoikeudenkäynti". Valitettavasti se, kuten suurin osa Protagoran kirjoittamista kirjoituksista, ei päässyt meille. Siitä huolimatta on kunnioitettava Protagorasta, joka aisti heti ongelman yksinkertaisen oikeudellisen tapahtuman takana, joka ansaitsee erityistutkimuksen.

G. Leibniz, joka itse on koulutukseltaan lakimies, otti myös tämän kiistan vakavasti. Väitöskirjassaan "A Study of Intricate Cases in Law" hän yritti todistaa, että kaikissa tapauksissa, jopa kaikkein monimutkaisimmissa tapauksissa, kuten Protagorasin ja Euathluksen oikeudenkäynnit, on löydettävä oikea resoluutio terveen järjen pohjalta. Leibnizin mukaan tuomioistuimen tulisi evätä Protagoras kanteen ennenaikaisesta nostamisesta, mutta jättää hänelle kuitenkin oikeus vaatia rahan maksamista Evatlilta myöhemmin, nimittäin ensimmäisen voittamansa prosessin jälkeen.

Tähän paradoksiin on ehdotettu monia muita ratkaisuja.

He viittasivat erityisesti siihen, että tuomioistuimen päätöksellä on oltava mahtava voima kuin kahden ihmisen välinen yksityinen sopimus. Voidaan vastata, että ilman tätä sopimusta, vaikka se tuntuisi kuinka merkityksettömältä, ei olisi tuomioistuinta eikä sen päätöstä. Tuomioistuimen on nimittäin tehtävä päätöksensä juuri tilaisuudessaan ja sen perusteella.

He vetosivat myös yleiseen periaatteeseen, jonka mukaan jokaisesta työstä ja siten Protagoraan työstä on maksettava. Mutta tiedetään, että tässä periaatteessa on aina ollut poikkeuksia, varsinkin orjaomistusyhteiskunnassa. Lisäksi sitä ei yksinkertaisesti voida soveltaa riidan erityiseen tilanteeseen: Protagorashan takaa korkeatasoinen koulutusta, hän itse kieltäytyi hyväksymästä maksua, jos opiskelija epäonnistuu ensimmäisessä prosessissa.

Joskus he puhuvat näin. Sekä Protagoras että Euathlus ovat molemmat oikeassa osittain, eivätkä kumpikaan heistä yleisesti. Jokainen niistä ottaa huomioon vain puolet itselleen hyödyllisistä mahdollisuuksista. Täydellinen tai kokonaisvaltainen harkinta avaa neljä mahdollisuutta, joista vain puolet on hyödyllistä jollekin riidanalaiselle. Mikä näistä mahdollisuuksista toteutuu, sitä ei päätä logiikka, vaan elämä. Jos tuomareiden tuomiolla on sopimusta voimakkaampi, Euathl joutuu maksamaan vain, jos hän häviää prosessin, ts. tuomioistuimen päätöksen nojalla. Jos yksityinen sopimus kuitenkin asetetaan tuomareiden päätöstä korkeammalle, Protagoras saa korvauksen vain siinä tapauksessa, että häviää prosessin Evatlukselle, ts. Protagorasin kanssa tehdyn sopimuksen nojalla.

Tämä vetoomus elämään sekoittaa lopulta kaiken. Mitä, ellei logiikkaa, tuomarit voivat ohjata olosuhteissa, joissa kaikki merkitykselliset olosuhteet ovat täysin selvät? Ja millaista johtajuutta se on, jos Protagoras, joka vaatii maksua tuomioistuimen kautta, saavuttaa sen vain häviämällä prosessin?

Leibnizin aluksi vakuuttavalta vaikuttava ratkaisu on kuitenkin hieman parempi kuin logiikan ja elämän epämääräinen vastakohta. Pohjimmiltaan Leibniz ehdottaa, että sopimuksen sanamuotoa muutetaan takautuvasti ja määrätään, että ensimmäinen Euathlusin osallinen oikeusjuttu, jonka lopputulos ratkaisee maksukysymyksen, ei saisi olla Protagoraksen oikeudenkäynti. Tämä ajatus on syvä, mutta ei liity tiettyyn tuomioistuimeen. Jos tällainen lauseke olisi ollut alkuperäisessä sopimuksessa, riita-asioihin ei olisi ollut tarvetta.

Jos tämän ongelman ratkaisulla ymmärtää vastauksen kysymykseen, pitäisikö Euathlus maksaa Protagorasille vai ei, niin kaikki nämä, kuten kaikki muutkin ajateltavissa olevat ratkaisut, ovat tietysti kestämättömiä. Ne eivät ole muuta kuin poikkeamaa riidan olemuksesta, ne ovat niin sanotusti hienostuneita temppuja ja ovelaa toivottomassa ja ratkaisemattomassa tilanteessa. Sillä terve järki tai sosiaalisia suhteita koskevat yleiset periaatteet eivät voi ratkaista kiistaa.

On mahdotonta toteuttaa yhdessä sopimusta alkuperäisessä muodossaan ja tuomioistuimen päätöstä, olipa se mikä tahansa. Tämän todistamiseksi riittävät yksinkertaiset logiikan keinot. Samalla tavalla voidaan myös osoittaa, että sopimus on täysin viattomasta ulkonäöstään huolimatta ristiriitainen. Se edellyttää loogisesti mahdottoman ehdotuksen toteuttamista: Euathlusin on sekä maksettava koulutuksesta että samalla olematta maksamatta.

Säännöt, jotka johtavat umpikujaan

Ihmismielen, joka on tottunut paitsi vahvuuteensa myös joustavuuteensa ja jopa kekseliäisyyteensä, on tietysti vaikea sovittaa itsensä tähän ehdottomaan toivottomuuteen ja myöntää, että se on ajettu umpikujaan. Tämä on erityisen vaikeaa silloin, kun mieli itse luo umpikujan: se niin sanotusti kompastelee tyhjästä ja putoaa omiin verkkoihinsa. Silti on myönnettävä, että joskus, ja muuten, ei niin harvoin, spontaanisti muodostuneet tai tietoisesti käyttöönotetut sopimukset ja sääntöjärjestelmät johtavat ratkaisemattomiin, toivottomiin tilanteisiin.

Esimerkki viimeaikaisesta shakkielämästä vahvistaa tämän ajatuksen jälleen kerran.

Kansainväliset shakkikilpailusäännöt velvoittavat shakinpelaajat tallentamaan pelin liikkeen liikkeeltä selkeästi ja luettavasti. Viime aikoihin asti säännöissä todettiin myös, että shakinpelaajan, joka on jäänyt tekemättä useiden liikkeiden tallentamisesta ajanpuutteen vuoksi, on "hetkellä aikaongelmansa päätyttyä täytettävä välittömästi lomake ja kirjattava jääneet liikkeet muistiin". Tämän ohjeen perusteella yksi tuomari vuoden 1980 shakkiolympialaisissa (Malta) keskeytti vaikeiden aikojen ongelmissa edenneen pelin ja pysäytti kellon todeten, että kontrolliliikkeet oli tehty ja siksi oli aika laittaa pelien pöytäkirjat järjestyksessä.

"Mutta anteeksi", huudahti häviämisen partaalla oleva osallistuja, joka luotti vain intohimon voimakkuuteen pelin lopussa, "ei loppujen lopuksi ole vielä pudonnut yhtään lippua eikä kukaan voi koskaan (kuten se on myös kirjoitettu säännöissä) voi kertoa kuinka monta liikettä on tehty.

Erotuomaria kuitenkin tuki päätuomari, joka sanoi, että todellakin, koska aikaongelmat olivat ohi, oli sääntöjen kirjainta noudattaen välttämätöntä aloittaa epäonnistuneiden siirtojen tallentaminen.

Tässä tilanteessa oli turhaa väitellä: itse säännöt johtivat umpikujaan. Jäi vain muuttaa niiden sanamuotoa siten, että vastaavia tapauksia ei voi syntyä tulevaisuudessa.

Näin tehtiin samaan aikaan pidetyssä Kansainvälisen shakkiliiton kongressissa: sanojen "niin kun aikaongelma on ohi" sijasta säännöissä sanotaan nyt: "niin kun lippu osoittaa loppua ajasta".

Tämä esimerkki osoittaa selvästi, miten umpikujaan. On hyödytöntä kiistellä siitä, kumpi puoli on oikeassa: kiista on ratkaisematon, eikä siinä ole voittajaa. Jää vain tyytyä nykyhetkeen ja huolehtia tulevaisuudesta. Tätä varten sinun tulee muotoilla alkuperäiset sopimukset tai säännöt uudelleen siten, että ne eivät johda ketään muuta samaan toivottomaan tilanteeseen.

Tällainen toimintatapa ei tietenkään ole ratkaisu ratkaisemattomaan kiistaan ​​tai ulospääsy toivottomasta tilanteesta. Se on pikemminkin pysäkki ylitsepääsemättömän esteen ja sen ympärillä olevan tien edessä.

Paradoksi "krokotiili ja äiti"

AT Muinainen Kreikka tarina krokotiilista ja äidistä oli erittäin suosittu, ja se osui loogiselta sisällöltään yhteen Protagoraan ja Euathloksen paradoksien kanssa.

Krokotiili nappasi lapsensa joen rannalla seisovalta egyptiläiseltä naiselta. Hänen pyyntöönsä palauttaa lapsi, krokotiili, joka vuodatti, kuten aina, krokotiilikyneleitä, vastasi:

”Epäonnesi kosketti minua, ja annan sinulle mahdollisuuden saada lapsesi takaisin. Arvaa, annanko sen sinulle vai en. Jos vastaat oikein, palautan lapsen. Jos et arvaa, en anna sitä takaisin.

Ajatellen äiti vastasi:

Et anna minulle vauvaa.

"Et saa sitä", krokotiili päätti. Joko kerroit totuuden tai sitten et. Jos on totta, että en luovu lapsesta, en luovuta häntä, koska muuten se ei ole totta. Jos sanottu ei ole totta, et arvannut, enkä anna lapselle sopimuksen mukaan.

Tämä päättely ei kuitenkaan vaikuttanut äidin mielestä vakuuttavalta.

- Mutta jos sanoin totuuden, annat minulle lapsen, kuten sovimme. Jos en arvannut, että et anna lasta, sinun on annettava se minulle, muuten sanomani ei ole totta.

Kumpi on oikeassa: äiti vai krokotiili? Mihin krokotiilille annettu lupaus velvoittaa? Antaakseen lapsen, vai päinvastoin, ollakseen antamatta sitä pois? Ja molemmille yhtä aikaa. Tämä lupaus on ristiriitainen, joten sitä ei voida toteuttaa logiikan lakien nojalla.

Lähetyssaarnaaja huomasi olevansa kannibaalien luona ja saapui juuri ajoissa illalliselle. He antavat hänen valita, kuinka hänet syödään. Tätä varten hänen on lausuttava jokin lausunto sillä ehdolla, että jos tämä väite osoittautuu todeksi, he keittävät sen, ja jos se osoittautuu vääräksi, he paahtavat sen.

Mitä lähetyssaarnaajan pitäisi sanoa?

Tietysti hänen pitäisi sanoa: "Sinä paistat minut."

Jos hän on todella paistettu, käy ilmi, että hän puhui totta, ja siksi hänet on keitetty. Jos hänet keitetään, hänen väitteensä on väärä, ja hänet pitäisi vain paistaa. Kannibaaleilla ei ole ulospääsyä: "paista" seuraa "keittää" ja päinvastoin.

Tämä ovela lähetyssaarnaaja episodi on tietysti toinen parafraasi Protagoraan ja Euathloksen välisestä kiistasta.

Sancho Panzan paradoksi

Eräs vanha paradoksi, joka tunnetaan muinaisessa Kreikassa, on esitetty M. Cervantesin Don Quijotessa. Sancho Panzasta on tullut Baratarian saaren kuvernööri ja hän hallinnoi tuomioistuinta.

Ensimmäinen, joka tulee hänen luokseen, on joku vierailija ja sanoo: "Senior, syvä joki jakaa tietyn kartanon kahteen osaan... Joten silta heitettiin tämän joen yli, ja siellä reunalla on hirsipuu ja on jotain tuomioistuimen kaltaista, jossa yleensä istuu neljä henkilöä, tuomarit, ja he tuomitsevat joen, sillan ja koko kiinteistön omistajan antaman lain perusteella, joka laki on laadittu näin: ja Jokainen, joka valehtelee, lähettäkää heidät ilman mitään armollisuutta hirsipuuhun ja teloittakaa heidät. Siitä lähtien, kun tämä laki julkaistiin kaikessa ankaruudessaan, monet onnistuivat pääsemään sillan yli, ja heti kun tuomarit olivat vakuuttuneita siitä, että ohikulkijat puhuivat totta, päästivät heidät läpi. Mutta sitten eräänä päivänä vannoi mies, joka vannoi ja sanoi: hän vannoo tulleensa ripustettavaksi juuri tähän hirsipuuhun, eikä mitään muuta. Tämä vala hämmentyi tuomareita, ja he sanoivat: "Jos tämän miehen annetaan edetä esteettömästi, tämä tarkoittaa, että hän on rikkonut valaa ja on lain mukaan uhkaava kuolemaan; jos me hirtämme hänet, niin hän vannoi tulleensa vain ripustettavaksi tähän hirsipuuhun, joten hänen valansa ei ilmeisesti ole väärä, ja saman lain perusteella on välttämätöntä antaa hänen mennä. Ja siksi kysyn teiltä, ​​herra kuvernööri, mitä tuomareiden pitäisi tehdä tälle miehelle, koska he ovat edelleen ymmällään ja epäröivät...

Sancho ehdotti, ehkä ei ilman ovelaa, että se puolikas totuuden kertoneesta pitäisi päästää läpi ja valehtelija hirttää, jolloin sillan ylittämistä koskevia sääntöjä noudatettaisiin kaikissa muodoissaan. Tämä kohta on mielenkiintoinen monella tapaa.

Ensinnäkin se on selvä esimerkki siitä tosiasiasta, että paradoksissa kuvattu umpikuja voidaan kohdata - eikä puhdasta teoriaa, mutta käytännössä - jos ei todellinen henkilö, niin ainakin kirjallinen sankari.

Sancho Panzan ehdottama ulospääsy ei tietenkään ollut ratkaisu paradoksiin. Mutta tämä oli vain ratkaisu, johon hänen asemassaan oli turvauduttava.

Olipa kerran Aleksanteri Suuri sen sijaan, että olisi irrottanut ovelan Gordionin solmun, jota kukaan ei ole vielä onnistunut tekemään, vaan leikkasi sen. Sancho teki samoin. Yrittää ratkaista hänen ongelmansa omat ehdot oli hyödytön - se on yksinkertaisesti mahdotonta ratkaista. Jäi hylätä nämä ehdot ja esitellä omasi.

Ja yksi hetki. Tällä jaksolla Cervantes tuomitsee selkeästi keskiaikaisen oikeuden äärimmäisen muodollisen mittakaavan, joka on täynnä skolastisen logiikan henkeä. Mutta kuinka laajalle levinnyt hänen aikanaan - ja tämä tapahtui noin neljäsataa vuotta sitten - olivatkaan tieto logiikan alalta! Ei vain Cervantes itse tiedä tätä paradoksia. Kirjoittaja katsoo, että hänen sankarinsa, lukutaidottoman talonpojan, ansioksi on kyky ymmärtää, että hänellä on edessään ratkaisematon tehtävä!

5. Muut paradoksit

Yllä olevat paradoksit ovat argumentteja, joiden tuloksena on ristiriita. Mutta logiikassa on muitakin paradokseja. He myös osoittavat joitakin vaikeuksia ja ongelmia, mutta he tekevät sen vähemmän ankaralla ja tinkimättömällä tavalla. Tällaisia ​​ovat erityisesti alla käsitellyt paradoksit.

Epätarkkojen käsitteiden paradoksit

Suurin osa paitsi luonnollisen kielen, myös tieteen kielen käsitteistä on epätarkkoja tai, kuten niitä myös kutsutaan, hämärtyneitä. Usein tämä osoittautuu väärinkäsitysten, riitojen syyksi tai jopa yksinkertaisesti umpikujaksi.

Jos käsite on epätarkka, objektien alueen raja, johon sitä sovelletaan, on vailla terävyyttä ja on epäselvä. Otetaan esimerkiksi käsite "kasa". Yksi jyvä (hiekanjyvä, kivi jne.) ei ole vielä kasa. Tuhat jyvät on jo ilmeisesti nippu. Ja kolme viljaa? Ja kymmenen? Kuinka monta jyviä lisätään kasan muodostamiseksi? Ei kovin selkeää. Samoin ei ole selvää, minkä jyvän poistamisen myötä kasa katoaa.

Epätarkkoja ovat "iso", "raskas", "kapea" jne. empiiriset ominaisuudet. Sellaiset tavalliset käsitteet kuin "viisas mies", "hevonen", "talo" jne. ovat epätarkkoja.

Ei ole olemassa hiekanjyvää, jonka poistamisen jälkeen voisi sanoa, että sen poistamisen myötä jäljelle jääneitä ei voida enää kutsua kodiksi. Mutta loppujen lopuksi tämä näyttää tarkoittavan sitä, että talon asteittaisessa purkamisessa - sen täydelliseen katoamiseen asti - ei ole mitään syytä ilmoittaa, ettei taloa ole! Johtopäätös on selvästi paradoksaalinen ja masentava.

On helppo nähdä, että argumentti kasan muodostamisen mahdottomuudesta toteutetaan hyvin tunnetulla menetelmällä matemaattinen induktio. Yksi jyvä ei muodosta kasaa. Jos n jyvää ei muodosta kasoja, niin n+1 jyvää ei muodosta kasoja. Siksi mikään määrä jyviä ei voi muodostaa kasoja.

Tämän ja vastaavien todisteiden mahdollisuus johtaa naurettavia johtopäätöksiä, mikä tarkoittaa, että matemaattisen induktion periaatteella on rajoitettu soveltamisala. Sitä ei pidä käyttää epätarkkojen, epämääräisten käsitteiden päättelyssä.

Hyvä esimerkki siitä, kuinka nämä käsitteet voivat johtaa ratkaisemattomiin kiistoihin, on omituinen oikeudenkäynti, joka järjestettiin vuonna 1927 Yhdysvalloissa. Kuvanveistäjä C. Brancusi meni oikeuteen vaatien, että hänen teoksensa tunnustettaisiin taideteoksiksi. New Yorkiin näyttelyyn lähetettyjen teosten joukossa oli veistos "Bird", jota pidetään nykyään abstraktin tyylin klassikkona. Se on noin puolitoista metriä korkea moduloitu pylväs kiillotettua pronssia, joka ei muistuta ulkoisesti lintua. Tullivirkailijat kieltäytyivät kategorisesti tunnustamasta Brancusin abstrakteja luomuksia taideteoksiksi. He asettivat ne otsikon "Metalliseiraala- ja kotitalousvälineet" alle ja asettivat niille raskaan tullin. Raivostuneena Brancusi haastoi oikeuteen.

Tapaa tukivat taiteilijat - Kansallisakatemian jäsenet, jotka puolustivat perinteisiä taiteen menetelmiä. He toimivat todistajina puolustukselle oikeudenkäynnissä ja väittivät kategorisesti, että yritys esittää "lintu" taideteokseksi oli yksinkertaisesti huijausta.

Tämä konflikti korostaa elävästi "taideteoksen" käsitteen käyttämisen vaikeutta. Veistosta on perinteisesti pidetty taiteen muotona. Mutta veistoksellisen kuvan samankaltaisuus alkuperäisen kanssa voi vaihdella hyvin laajoissa rajoissa. Ja missä vaiheessa veistoksellinen kuva, joka etenee yhä enemmän alkuperäisestä, lakkaa olemasta taideteos ja muuttuu "metallivälineeksi"? Tähän kysymykseen on yhtä vaikea vastata kuin kysymykseen, missä menee raja talon ja sen raunioiden välillä, hännän ja häntättömän hevosen välillä ja niin edelleen. Muuten, modernistit ovat yleensä vakuuttuneita siitä, että veistos on ilmeisen muotoinen kohde, eikä sen tarvitse olla ollenkaan kuva.

Epätarkkojen käsitteiden käsittely vaatii siis tiettyä varovaisuutta. Eikö olisi parempi välttää niitä kokonaan?

Saksalainen filosofi E. Husserl oli taipuvainen vaatimaan tiedolta sellaista äärimmäistä ankaruutta ja tarkkuutta, jota ei löydy edes matematiikasta. Tämän yhteydessä Husserlin elämäkerran kirjoittajat muistelevat ironisesti tapausta, joka tapahtui hänelle lapsuudessa. Hänelle esitettiin kynäveitsi, ja hän päätti tehdä terästä mahdollisimman terävän, ja hän teroitti sitä, kunnes terästä ei ollut enää mitään jäljellä.

Tarkemmat käsitteet ovat monissa tilanteissa parempia kuin epätarkkoja. Tavanomainen halu selventää käytettyjä käsitteitä on varsin perusteltua. Mutta sillä täytyy tietysti olla rajansa. Tieteen kielelläkin merkittävä osa käsitteistä on epätarkkoja. Ja tämä ei liity yksittäisten tiedemiesten subjektiivisiin ja satunnaisiin virheisiin, vaan tieteellisen tiedon luonteeseen. Luonnollisessa kielessä epätarkat käsitteet ovat ylivoimaisia; tämä kertoo muun muassa hänen joustavuudestaan ​​ja piilevasta vahvuudestaan. Jokainen, joka vaatii kaikilta käsitteiltä äärimmäistä tarkkuutta, on vaarassa jäädä kokonaan ilman kieltä. Ranskalainen esteetikko J. Joubert kirjoitti: "Ristäkää sanoilta kaikki epäselvyys ja epävarmuus", kirjoitti ne ... yksinumeroisiksi - peli jättää puheen ja sen mukana kaunopuheisuuden ja runouden: kaiken, mikä liikkuu ja muuttuu. sielun tunteet, eivät löydä ilmaisuaan. Mutta mitä minä sanon: riistää... Sanon lisää. Poista sana epätarkkuudesta - ja menetät jopa aksioomit.

Sekä loogikot että matemaatikot eivät pitkään aikaan kiinnittäneet huomiota sumeisiin käsitteisiin ja niitä vastaaviin joukkoihin liittyviin vaikeuksiin. Kysymys esitettiin seuraavasti: käsitteiden on oltava tarkkoja, ja kaikki epämääräinen ei ansaitse vakavaa kiinnostusta. Viime vuosikymmeninä tämä liian tiukka asenne on kuitenkin menettänyt vetovoimansa. Rakennetaan loogisia teorioita, jotka ottavat erityisesti huomioon epätarkkojen käsitteiden päättelyn ainutlaatuisuuden.

Kehittyy aktiivisesti matemaattinen teoria niin sanotut sumeat joukot, epäselvästi määritellyt objektikokoelmat.

Epätarkkuuden ongelmien analysointi on askel kohti logiikkaa lähemmäs tavallisen ajattelun käytäntöä. Ja voimme olettaa, että se tuo monia mielenkiintoisempia tuloksia.

Induktiivisen logiikan paradoksit

Ei kenties ole logiikan osaa, jolla ei olisi omia paradokseja.

Induktiivisella logiikalla on omat paradoksinsa, joita vastaan ​​on taisteltu aktiivisesti, mutta toistaiseksi tuloksetta lähes puoli vuosisataa. Erityisen kiinnostava on amerikkalaisen filosofin K. Hempelin löytämä vahvistusparadoksi. Se on luonnollista olettaa yleisiä määräyksiä, erityisesti tieteelliset lait, vahvistetaan niiden myönteisillä esimerkeillä. Jos tarkastellaan esimerkiksi lausetta "Kaikki A on B", sen positiivisia esimerkkejä ovat objektit, joilla on ominaisuudet A ja B. Erityisesti väitteen "Kaikki korpit ovat mustia" tukiesimerkkejä ovat esineet, jotka ovat sekä korppeja että korppeja. musta. Tämä väite on kuitenkin yhtä kuin väite "Kaikki asiat, jotka eivät ole mustia, eivät ole varisia", ja jälkimmäisen vahvistuksen tulee olla myös vahvistus edelliselle. Mutta "kaikki ei ole mustaa ei ole varis" vahvistaa jokainen tapaus, jossa ei-musta esine, joka ei ole varis. Tästä syystä käy ilmi, että havainnot "Lehmä on valkoinen", "Kengät ovat ruskeat" jne. vahvista väite "Kaikki variset ovat mustia."

Viattomilta näyttävistä lähtökohdista seuraa odottamaton paradoksaalinen tulos.

Normilogiikassa monet sen lait aiheuttavat huolta. Kun ne muotoillaan merkityksellisin termein, niiden epäjohdonmukaisuus tavanomaisten oikean ja väärän käsitteiden kanssa käy ilmi. Esimerkiksi yksi laeista sanoo, että käskystä "Lähetä kirje!" seuraa käsky "Lähetä kirje tai polta se!".

Toinen laki sanoo, että jos henkilö on rikkonut jotakin velvollisuudestaan, hänellä on oikeus tehdä mitä haluaa. Looginen intuitiomme ei halua sietää tällaisia ​​"velvollisuuslakeja".

Tiedon logiikassa loogisen kaikkitietävyyden paradoksi keskustellaan voimakkaasti. Hän väittää, että ihminen tietää kaikki loogiset seuraukset, jotka hänen ottamistaan ​​kannoista seuraa. Esimerkiksi, jos henkilö tuntee Eukleideen geometrian viisi postulaattia, hän siis tuntee kaiken tämän geometrian, koska se seuraa niistä. Mutta se ei ole. Ihminen voi yhtyä postulaatteihin ja samalla ei pysty todistamaan Pythagoraan lausetta ja siksi epäilee sen olevan yleensä totta.

6. Mikä on looginen paradoksi

Ei ole olemassa tyhjentävää luetteloa loogisista paradokseista, ja se on mahdotonta.

Käsitellyt paradoksit ovat vain osa kaikista tähän mennessä löydetyistä. On todennäköistä, että tulevaisuudessa löydetään monia muita paradokseja ja jopa täysin uudenlaisia. Itse paradoksin käsite ei ole niin yksiselitteinen, että olisi mahdollista koota luettelo ainakin jo tunnetuista paradokseista.

"Joukkoteoreettiset paradoksit ovat erittäin vakava ongelma, ei kuitenkaan matematiikassa, vaan pikemminkin logiikassa ja epistemologiassa", kirjoittaa itävaltalainen matemaatikko ja loogikko K. Gödel. "Logiikka on epäjohdonmukainen. Ei ole olemassa loogisia paradokseja”, matemaatikko D. Bochvar sanoo. Tällaiset erot ovat joskus merkittäviä, joskus sanallisia. Asia on pitkälti siinä, mitä loogisella paradoksilla tarkalleen ottaen tarkoitetaan.

Loogisten paradoksien erikoisuus

Loogisten paradoksien välttämätön piirre on looginen sanakirja.

Paradoksit, jotka ovat loogisia, on muotoiltava loogisesti. Logiikassa ei kuitenkaan ole selkeitä kriteerejä termien jakamiselle loogisiin ja ei-loogisiin. Päättelyn oikeellisuutta käsittelevä logiikka pyrkii vähentämään käsitteet, joista käytännössä sovellettavien johtopäätösten oikeellisuus riippuu, minimiin. Mutta tätä vähimmäismäärää ei ole ennalta määrätty yksiselitteisesti. Lisäksi ei-loogisia väitteitä voidaan muotoilla loogisesti. Se, käyttääkö tietty paradoksi vain puhtaasti loogisia premissioita, ei ole läheskään aina mahdollista yksiselitteisesti määrittää.

Loogisia paradokseja ei eroteta jäykästi kaikista muista paradokseista, samoin kuin viimeksi mainitut eivät erotu selvästi kaikesta ei-paradoksaalisesta ja johdonmukaisesti vallitsevien ideoiden kanssa.

Loogisten paradoksien tutkimuksen alussa näytti siltä, ​​että ne voidaan erottaa jonkin vielä tutkimattoman logiikan kannan tai säännön rikkomisesta. B. Russellin esittelemä noidankehäperiaate oli erityisen aktiivinen väittäessään sellaisen säännön roolia. Tämä periaate sanoo, että objektikokoelma ei voi sisältää jäseniä, jotka on määritelty vain samassa kokoelmassa.

Kaikilla paradokseilla on yksi yhteinen piirre - itsesoveltuvuus tai kiertokulku. Jokaisessa niistä kyseiselle esineelle on tunnusomaista jokin joukko esineitä, joihin se itse kuuluu. Jos valitsemme esimerkiksi ovelimman henkilön, teemme sen ihmisjoukon avulla, johon tämä henkilö kuuluu. Ja jos sanomme: "Tämä väite on väärä", luonnehdimme meitä kiinnostavaa lausuntoa viittaamalla kaikkien sen sisältävien väärien väitteiden kokonaisuuteen.

Kaikissa paradokseissa on käsitteiden itsesoveltuvuus, mikä tarkoittaa, että tapahtuu ikään kuin ympyrässä tapahtuvaa liikettä, joka johtaa lopulta lähtöpisteeseen. Yrittääksemme luonnehtia meitä kiinnostavaa kohdetta, käännymme esineiden joukkoon, joka sisältää sen. Osoittautuu kuitenkin, että se itse tarve vaatii tarkastelun kohteena olevan kohteen, eikä sitä voida selvästi ymmärtää ilman sitä. Tässä ympyrässä on ehkä paradoksien lähde.

Tilannetta mutkistaa kuitenkin se, että tällainen ympyrä on olemassa monissa täysin paradoksaalisissa argumenteissa. Pyöreä on suuri joukko yleisin, vaaraton ja samaan aikaan käteviä tapoja ilmaisuja. Sellaiset esimerkit kuin "suurin kaikista kaupungeista", "pienin kaikista luonnollisista luvuista", "yksi rautaatomin elektroneista" jne. osoittavat, että kaikki itsesoveltuvuustapaukset eivät johda ristiriitaan ja että se on tärkeä ei vain tavallinen kieli mutta myös tieteen kielellä.

Pelkkä viittaus itse sovellettavien käsitteiden käyttöön ei siis riitä kumoamaan paradokseja. Muutama lisäkriteeri tarvitaan paradoksiin johtavan itsesoveltuvuuden erottamiseksi kaikista muista tapauksista.

Tätä koskevia ehdotuksia on tehty monia, mutta kiertokulkuisuuden onnistunutta selvennystä ei ole löydetty. Kävi ilmi, että on mahdotonta luonnehtia kiertokulkua siten, että jokainen ympyräpäättely johtaa paradoksiin ja jokainen paradoksi on seurausta jostain ympyräpäättelystä.

Yritys löytää jokin tietty logiikkaperiaate, jonka rikkominen tekisi erottuva piirre kaikki loogiset paradoksit, eivät johtaneet mihinkään varmaa.

Jonkinlainen paradoksien luokittelu olisi epäilemättä hyödyllinen, jakamalla ne tyyppeihin ja tyyppeihin, ryhmittelemällä joitain paradokseja ja asettamalla ne toisille. Mitään kestävää ei kuitenkaan ole saavutettu tässäkään tapauksessa.

Englantilainen logiikka F. Ramsey, joka kuoli vuonna 1930, kun hän ei ollut vielä 27-vuotias, ehdotti kaikkien paradoksien jakamista syntaktisiin ja semanttisiin. Ensimmäinen sisältää esimerkiksi Russellin paradoksin, toinen - "valehtelijan", Grellingin jne.

Ramseyn mukaan ensimmäisen ryhmän paradoksit sisältävät vain logiikkaan tai matematiikkaan kuuluvia käsitteitä. Jälkimmäisiin kuuluvat sellaiset käsitteet kuin "totuus", "määriteltävissä oleva", "nimeäminen", "kieli", jotka eivät ole tiukasti matemaattisia, vaan liittyvät pikemminkin kielitieteeseen tai jopa tiedon teoriaan. Semanttiset paradoksit eivät näytä johtuvan jostain logiikkavirheestä, vaan joidenkin ei-loogisten käsitteiden epämääräisyydestä tai moniselitteisyydestä, joten niiden aiheuttamat ongelmat koskevat kieltä ja ne on ratkaistava kielitieteen avulla.

Ramseysta tuntui, että matemaatikoiden ja logiikkojen ei tarvitse olla kiinnostuneita semanttisista paradokseista. Myöhemmin kuitenkin kävi ilmi, että osa modernin logiikan merkittävimmistä tuloksista saatiin juuri näiden ei-loogisten paradoksien syvemmän tutkimuksen yhteydessä.

Ramseyn ehdottama paradoksijako oli aluksi laajalti käytössä, ja se on edelleenkin tärkeä. Samalla käy yhä selvemmäksi, että tämä jako on melko epämääräinen ja perustuu ensisijaisesti esimerkkeihin, ei näiden kahden paradoksiryhmän syvälliseen vertailevaan analyysiin. Semantiset käsitteet ovat nyt hyvin määriteltyjä, ja on vaikea olla huomaamatta, että nämä käsitteet ovat todellakin loogisia. Semantiikan kehittyessä, joka määrittelee peruskäsitteensä joukkoteorian kannalta, Ramseyn tekemä ero hämärtyy yhä enemmän.

Paradokseja ja moderni logiikka

Mitä johtopäätöksiä logiikasta seuraa paradoksien olemassaolosta?

Ensinnäkin lukuisten paradoksien läsnäolo puhuu logiikan vahvuudesta tieteenä, ei sen heikkoudesta, kuten se saattaa näyttää.

Ei ollut sattumaa, että paradoksien löytäminen osui samaan aikaan modernin logiikan intensiivisimmän kehityksen ja sen suurimpien menestysten kanssa.

Ensimmäiset paradoksit löydettiin jo ennen logiikan syntyä erityistieteenä. Keskiajalla löydettiin monia paradokseja. Myöhemmin ne kuitenkin unohdettiin ja löydettiin uudelleen jo vuosisadallamme.

Keskiaikaiset logiikot eivät olleet tietoisia "joukon" ja "joukon elementin" käsitteistä, jotka otettiin tieteeseen vasta 1800-luvun jälkipuoliskolla. Mutta paradoksihousu hiottiin keskiajalla siinä määrin, että jo tuolloin esitettiin tiettyjä huolenaiheita itsesoveltuvista käsitteistä. Yksinkertaisin esimerkki tästä on käsite "olemassa oma elementti", joka esiintyy monissa nykypäivän paradokseissa.

Tällaiset pelot, kuten kaikki paradokseja koskevat varoitukset yleensä, eivät kuitenkaan olleet systemaattisia ja tarkkoja vasta vuosisadallamme. Ne eivät johtaneet selkeisiin ehdotuksiin tavanomaisten ajattelu- ja ilmaisutapojen tarkistamiseksi.

Vain moderni logiikka on poistanut paradoksien ongelman unohduksesta, löytänyt tai löytänyt uudelleen suurimman osan erityisistä loogisista paradokseista. Hän osoitti edelleen, että perinteisesti logiikan tutkimat ajattelutavat ovat täysin riittämättömiä paradoksien poistamiseen, ja osoitti perustavanlaatuisesti uusia tapoja käsitellä niitä.

Paradoksit aiheuttavat tärkeä kysymys: Mitä jotkin tavanomaisista käsitteenmuodostus- ja päättelymenetelmistä itse asiassa epäonnistuvat? Loppujen lopuksi ne vaikuttivat täysin luonnollisilta ja vakuuttavilta, kunnes kävi ilmi, että ne olivat paradoksaalisia.

Paradoksit horjuttavat uskoa, että tavanomaiset menetelmät teoreettinen ajattelu itsestään ja ilman erityistä valvontaa niihin tarjoavat luotettavan edistymisen kohti totuutta.

Paradoksit, jotka vaativat radikaalia muutosta liian herkkäuskoiseen lähestymistapaan teoretisoimiseen, ovat ankaraa logiikan kritiikkiä sen naiivissa, intuitiivisessa muodossa. Ne näyttelevät tekijän roolia, joka ohjaa ja asettaa rajoituksia tapaa rakentaa deduktiivisia logiikkajärjestelmiä. Ja tätä heidän rooliaan voidaan verrata sellaisen kokeen rooliin, joka testaa hypoteesien oikeellisuutta sellaisilla tieteillä kuin fysiikka ja kemia ja pakottaa heidät tekemään muutoksia näihin hypoteeseihin.

Teorian paradoksi puhuu sen taustalla olevien oletusten yhteensopimattomuudesta. Se toimii taudin ajoissa havaittuna oireena, jota ilman se olisi voitu jättää huomiotta.

Tietenkin sairaus ilmenee monin tavoin, ja lopulta se on mahdollista paljastaa ilman sellaisia ​​akuutteja oireita kuin paradokseja. Esimerkiksi joukkoteorian perusteita analysoitaisiin ja jalostettaisiin, vaikka paradokseja tällä alueella ei löydettäisikään. Mutta ei olisi ollut sitä terävyyttä ja kiireellisyyttä, jolla siinä löydetyt paradoksit nostivat esiin joukkoteorian tarkistamisen ongelman.

Paradokseille on omistettu laaja kirjallisuus, ehdotetaan iso luku heidän selityksiään. Mutta mikään näistä selityksistä ei ole yleisesti hyväksytty, ja jotenkin täysi suostumus kysymys paradoksien alkuperästä ja tavoista päästä niistä eroon, ei.

"Viimeisten kuudenkymmenen vuoden aikana paradoksien ratkaisemiseen on omistettu satoja kirjoja ja artikkeleita, mutta tulokset ovat hämmästyttävän huonoja käytettyihin ponnisteluihin verrattuna", kirjoittaa A. Frenkel. "Näyttää siltä", H. Curry päättää paradoksianalyysinsä, "että tarvitaan täydellinen logiikan uudistus, ja matemaattisesta logiikasta voi tulla tärkein työkalu tämän uudistuksen toteuttamisessa."

Paradoksien eliminointi ja selittäminen

On syytä huomata yksi tärkeä ero.

Paradoksien poistaminen ja niiden ratkaiseminen eivät ole sama asia. Paradoksin poistaminen tietystä teoriasta tarkoittaa sen uudelleenjärjestelyä siten, että paradoksaalinen väite osoittautuu siinä todistamattomaksi. Jokainen paradoksi perustuu suureen määrään määritelmiä, olettamuksia ja argumentteja. Hänen johtopäätöksensä teoriassa on tietty päättelyketju. Muodollisesti voidaan kyseenalaistaa mikä tahansa sen lenkki, hylätä se ja siten katkaista ketju ja eliminoida paradoksi. Monissa teoksissa näin tehdään ja rajoittuu tähän.

Mutta tämä ei ole vielä paradoksin ratkaisu. Ei riitä, että keksitään tapa sulkea se pois, vaan ehdotettu ratkaisu on perusteltava vakuuttavasti. Epäilynkin paradoksiin johtavasta askeleesta täytyy olla perusteltua.

Ensinnäkin päätös luopua tietyistä loogisia keinoja, jota käytetään paradoksaalisen lausunnon johdossa, tulisi liittää yleisiin luonteeseen liittyviin huomioihimme looginen todiste ja muut loogiset intuitiot. Jos näin ei ole, paradoksien poistaminen osoittautuu vailla vankkaa ja vakaata perustaa ja rappeutuu pääosin tekniseksi tehtäväksi.

Lisäksi jonkin oletuksen hylkääminen, vaikka se poistaisikin tietyn paradoksin, ei automaattisesti takaa kaikkien paradoksien eliminointia. Tämä viittaa siihen, että paradokseja ei pitäisi "metsästää" yksitellen. Yhden niistä poissulkeminen tulee aina olla niin perusteltua, että on tietty takuu muiden paradoksien eliminoimisesta samalla askeleella.

Joka kerta kun paradoksi löydetään, A. Tarsky kirjoittaa: "Meidän on alistettava ajattelutapamme perusteelliseen uudelleentarkasteluun, hylättävä jotkin olettamukset, joihin uskoimme, ja parannettava käyttämiämme argumentointimenetelmiä. Teemme tämän pyrkiessämme eroon antinomioista, mutta myös estääksemme uusien syntymisen.

Ja lopuksi, liian monien tai liian vahvojen oletusten huonosti suunniteltu ja huolimaton hylkääminen voi yksinkertaisesti johtaa siihen, mikä osoittautuu, vaikka se ei sisällä paradokseja, mutta paljon muuta. heikko teoria vain yksityisen edun vuoksi.

Mikä voi olla pienin, vähiten radikaali toimenpidesarja tunnettujen paradoksien välttämiseksi?

Looginen kielioppi

Yksi tapa on erottaa oikeiden ja väärien lauseiden ohella myös merkityksettömiä lauseita. Tämän polun valitsi B. Russell. Hän julisti paradoksaalisen päättelyn merkityksettömäksi sillä perusteella, että ne rikkoivat loogisen kieliopin vaatimuksia. Jokainen lause, joka ei riko tavallisen kieliopin sääntöjä, ei ole mielekästä - sen on myös täytettävä erityisen, loogisen kieliopin säännöt.

Russell rakensi loogisten tyyppien teorian, eräänlaisen loogisen kieliopin, jonka tehtävänä oli eliminoida kaikki tunnetut antinomiat. Myöhemmin tätä teoriaa yksinkertaistettiin oleellisesti ja sitä kutsuttiin yksinkertaiseksi tyyppiteoriaksi.

Tyyppiteorian pääajatuksena on loogisesti erityyppisten esineiden allokointi, jonkinlaisen hierarkian tai tikkaiden käyttöönotto tarkasteltaville kohteille. Alin eli nollatyyppi sisältää yksittäisiä objekteja, jotka eivät ole joukkoja. Ensimmäinen tyyppi sisältää nollatyyppiset objektijoukot, ts. yksityishenkilöt; toiselle - yksilöiden joukot jne. Toisin sanoen erotetaan esineet, esineiden ominaisuudet, esineiden ominaisuuksien ominaisuudet jne. Samalla asetetaan tiettyjä rajoituksia ehdotusten rakentamiselle. Ominaisuudet voidaan liittää objekteihin, ominaisuuksien ominaisuuksia ominaisuuksiin ja niin edelleen. Mutta on mahdotonta mielekkäästi väittää, että esineillä on ominaisuuksien ominaisuuksia.

Otetaan joukko ehdotuksia:

Tämä talo on punainen.

Punainen on väri.

Väri on optinen ilmiö.

Näissä lauseissa ilmaus "tämä talo" viittaa tiettyyn esineeseen, sana "punainen" tarkoittaa ominaisuutta, joka on ominaista Tämä aihe, "olla väri" - tämän ominaisuuden ominaisuudessa ("olla punainen") ja "olla". optinen ilmiö” - osoittaa "be color" -ominaisuuden ominaisuuteen, joka kuuluu "ole punainen" -ominaisuuteen. Tässä ei ole kyse vain esineistä ja niiden ominaisuuksista, vaan myös ominaisuuksien ominaisuuksista ("ominaisuudella olla punainen on ominaisuus olla väri") ja jopa ominaisuuksien ominaisuuksista.

Kaikki kolme lausetta yllä olevasta sarjasta ovat tietysti merkityksellisiä. Ne on rakennettu tyyppiteorian vaatimusten mukaisesti. Ja sanotaanpa lause "Tämä talo on väri" rikkoo näitä vaatimuksia. Se antaa esineelle ominaisuuden, joka voi kuulua vain ominaisuuksiin, mutta ei esineisiin. Samanlainen rikkomus sisältyy lauseeseen "Tämä talo on optinen ilmiö". Molemmat ehdotukset on luokiteltava merkityksettömiksi.

Yksinkertainen tyyppiteoria poistaa Russellin paradoksin. Valehtelijan ja marjan paradoksien poistamiseksi pelkkä tarkasteltavana olevien esineiden jakaminen tyyppeihin ei kuitenkaan enää riitä. On tarpeen ottaa käyttöön lisäjärjestys itse tyyppien sisällä.

Paradoksien poistaminen voidaan saavuttaa myös välttämällä liian suuria joukkoja, kuten kaikkien joukkojen joukkoa. Tätä polkua ehdotti saksalainen matemaatikko E. Zermelo, joka yhdisti paradoksien esiintymisen joukkojen rajattomaan rakentamiseen. Hän määritteli hyväksyttävät joukot jollain aksioomiluettelolla, joka oli muotoiltu siten, että niistä ei päätellä tunnettuja paradokseja. Samaan aikaan nämä aksioomit olivat riittävän vahvoja päätelläkseen niistä klassisen matematiikan tavanomaiset argumentit, mutta ilman paradokseja.

Näitä kahta tai muita ehdotettuja paradoksien poistamistapoja ei hyväksytä yleisesti. Ei ole yksimielisyyttä siitä, että mikään ehdotetuista teorioista sallisi loogisia paradokseja sen sijaan, että hylättäisiin ne ilman syvällistä selitystä. Paradoksien selittämisen ongelma on edelleen avoin ja tärkeä.

Paradoksien tulevaisuus

G. Frege, suurin logiikka viime vuosisadalla, oli valitettavasti hyvin huono hahmo. Lisäksi hän oli varaukseton ja jopa julma aikalaistensa kritiikkiin.

Ehkä siksi hänen panoksensa matematiikan logiikkaan ja perustamiseen ei saanut tunnustusta pitkään aikaan. Ja kun kuuluisuus alkoi tulla hänelle, nuori englantilainen loogikko B. Russell kirjoitti hänelle, että hänen kirjansa The Fundamental Laws of Arithmetics ensimmäisessä osassa julkaistussa järjestelmässä syntyy ristiriita. Tämän kirjan toinen osa oli jo painettu, ja Frege saattoi vain lisätä sitä erityinen sovellus, jossa hän hahmotteli tämän ristiriidan (jota myöhemmin kutsuttiin "Russellin paradoksiksi") ja myönsi, ettei hän kyennyt poistamaan sitä.

Tämän tunnustamisen seuraukset olivat Fregelle kuitenkin traagisia. Hän koki suurimman shokin. Ja vaikka hän oli silloin vasta 55-vuotias, hän ei julkaissut toista merkittävää logiikkateosta, vaikka hän eli yli kaksikymmentä vuotta. Hän ei edes vastannut Russellin paradoksin aiheuttamaan vilkkaaseen keskusteluun, eikä reagoinut millään tavalla tähän paradoksiin ehdotettuihin ratkaisuihin.

D. Hilbert ilmaisi hyvin vaikutelman, jonka äskettäin löydetyt paradoksit tekivät matemaatikoille ja loogikoille: pitkä aika sietämätön. Ajattele sitä: matematiikassa - tuossa varmuuden ja totuuden mallissa - käsitteiden muodostuminen ja päätelmien kulku, kuten jokainen tutkii, opettaa ja soveltaa niitä, johtaa järjettömyyteen. Mistä etsiä luotettavuutta ja totuutta, vaikka matemaattinen ajattelu sytytyskatkos?"

Frege oli tyypillinen logiikan edustaja myöhään XIX luvulla, vapaa kaikista paradokseista, logiikasta, luottavainen kykyihinsä ja väittää olevansa kurinalaisuuden kriteeri jopa matematiikan kannalta. Paradoksit osoittivat, että oletetun logiikan saavuttama ehdoton ankaruus ei ollut muuta kuin illuusio. Ne osoittivat kiistatta, että logiikka - siinä intuitiivisessa muodossa kuin se oli vuosisadan vaihteessa - tarvitsee perusteellisen tarkistamisen.

Noin sata vuotta on kulunut siitä, kun vilkas keskustelu paradokseista alkoi. Tehty logiikan tarkistus ei kuitenkaan johtanut niiden yksiselitteiseen ratkaisuun.

Ja samaan aikaan tällainen tila tuskin kiinnostaa ketään nykyään. Ajan myötä asenteet paradokseihin ovat muuttuneet rauhallisemmiksi ja jopa suvaitsevaisemmiksi kuin silloin, kun ne löydettiin. Kyse ei ole vain siitä, että paradokseista on tullut jotain tuttua. Eikä tietenkään niin, että he sietävät niitä. Ne ovat edelleen logiikkojen huomion keskipisteessä, heidän ratkaisujensa etsintä jatkuu aktiivisesti. Tilanne muuttui ensisijaisesti siksi, että paradoksit osoittautuivat niin sanotusti paikallisiksi. He löysivät selvän, vaikkakin levoton paikkansa monenlaisia looginen tutkimus. Kävi selväksi, että ehdoton ankaruus, sellaisena kuin sitä kuvattiin viime vuosisadan lopulla ja joskus tämän vuosisadan alussa, on periaatteessa saavuttamaton ihanne.

Ymmärrettiin myös, ettei ole olemassa yhtä ainoaa paradoksien ongelmaa, joka olisi yksin. Niihin liittyvät ongelmat ovat erityyppisiä ja vaikuttavat itse asiassa kaikkiin logiikan pääosiin. Paradoksin löytäminen pakottaa meidät analysoimaan loogisia intuitioitamme syvemmin ja osallistumaan logiikkatieteen perusteiden systemaattiseen uudelleenkäsittelyyn. Samaan aikaan halu välttää paradokseja ei ole ainoa, eikä edes ehkä päätehtävä. Vaikka ne ovat tärkeitä, ne ovat vain tilaisuus pohtia niitä keskeisiä teemoja logiikka. Jatkamalla paradoksien vertailua erityisen ilmeisiin sairauden oireisiin, voidaan sanoa, että halu poistaa paradokseja välittömästi olisi kuin halu poistaa sellaiset oireet ilman suurta huolta itse taudista. Ei vaadita vain paradoksien ratkaisemista, vaan niiden selitystä, joka syventää ymmärrystämme ajattelun loogisista malleista.

7. Muutama paradoksi tai mikä niiltä näyttää

Tämän lyhyen keskustelun loogisista paradokseista päätteeksi tässä on muutamia ongelmia, joita lukijan on hyödyllistä pohtia. On päätettävä, ovatko esitetyt lausunnot ja perustelut todella loogisia paradokseja vai vain näyttävät siltä. Tätä varten lähdemateriaalia pitäisi luonnollisesti jollain tavalla järjestellä uudelleen ja yrittää johtaa siitä ristiriita: sekä saman asian vahvistaminen että kieltäminen samasta asiasta. Jos paradoksi löytyy, voit miettiä, mikä aiheuttaa sen esiintymisen ja kuinka se voidaan poistaa. Voit jopa yrittää keksiä oman, samantyyppisen paradoksisi, ts. rakennettu saman kaavan mukaan, mutta muiden käsitteiden pohjalta.

1. Se, joka sanoo: "En tiedä mitään", antaa näennäisen paradoksaalisen, ristiriitaisen lausunnon. Hän toteaa pohjimmiltaan: "Tiedän, etten tiedä mitään." Mutta tieto siitä, että tietoa ei ole, on edelleen tietoa. Tämä tarkoittaa, että puhuja toisaalta vakuuttaa, ettei hänellä ole mitään tietoa, ja toisaalta tämän väittämällä hän sanoo, että hänellä on jonkin verran tietoa. Mikä tässä on hätänä?

Tätä vaikeutta pohdittaessa voidaan muistaa, että Sokrates ilmaisi samanlaisen ajatuksen huolellisemmin. Hän sanoi: "Tiedän vain, etten tiedä mitään." Mutta toinen muinainen Kreikka, Metrodorus, väitti täysin vakuuttuneesti: "En tiedä mitään, enkä edes tiedä, etten tiedä mitään." Onko tässä lausunnossa paradoksi?

2. Historialliset tapahtumat ovat ainutlaatuisia. Historia, jos se toistaa itseään, on tunnetun ilmaisun mukaan ensimmäistä kertaa kuin tragedia ja toisen kerran kuin farssi. Omaperäisyydestä historialliset tapahtumat joskus johdetaan ajatus, ettei historia opeta mitään. "Voi olla, suurin oppitunti Historia, kirjoittaa O. Huxley, koostuu todellakin siitä, ettei kukaan ole koskaan oppinut historiasta mitään.

On epätodennäköistä, että tämä ajatus on oikea. Menneisyyttä tutkitaan juuri nykyisyyden ja tulevaisuuden ymmärtämiseksi paremmin. Toinen asia on, että menneisyyden "oppitunnit" ovat yleensä moniselitteisiä.

Eikö usko, ettei historia opeta mitään, ole ristiriitainen? Loppujen lopuksi se itse seuraa historiasta yhtenä sen oppitunneista. Eikö tämän ajatuksen kannattajien olisi parempi muotoilla se siten, että se ei koske heitä itseään: "Historia opettaa ainoan asian - siitä ei voi oppia mitään" tai "Historia ei opeta muuta kuin tämän oppitunnin". hänen"?

3. "Todisti, ettei todisteita ole." Tämä näyttää olevan itsensä ristiriitainen lausunto: se on todiste tai olettaa jo tehdyn todisteen ("on todistettu, että..."), ja samalla väittää, ettei todisteita ole.

Tunnettu muinainen skeptikko Sextus Empiricus ehdotti seuraavaa ratkaisua: hyväksy yllä olevan väitteen sijasta väite "On todistettu, ettei ole muuta todistetta kuin tämä" (tai: "On todistettu, ettei ole todistettu mitään muuta" kuin tämä"). Mutta eikö tämä ulospääsy ole illuusio? Loppujen lopuksi pohjimmiltaan väitetään, että on vain yksi ja ainoa todiste - todiste minkään todisteen olemattomuudesta ("On yksi ja ainoa todiste: todiste siitä, ettei muita todisteita ole"). Mitä sitten on itse todisteen toiminta, jos tämän väitteen perusteella se oli mahdollista suorittaa vain kerran? Joka tapauksessa Sextuksen oma mielipide todisteiden arvosta ei ollut kovin korkea. Hän kirjoitti erityisesti: "Aivan kuin ne, jotka tekevät ilman todisteita, ovat oikeassa, ovat ne, jotka epäilemään perusteettomasti esittävät päinvastaista mielipidettä."

4. "Mikään lausunto ei ole negatiivinen", tai yksinkertaisemmin: "Ei ole negatiivisia lausuntoja." Tämä ilmaus itsessään on kuitenkin lausunto ja on nimenomaan negatiivinen. Vaikuttaa paradoksilta. Mikä tämän lausunnon uudelleenmuotoilu voisi välttää paradoksin?

Keskiaikainen filosofi ja loogikko Zh. Aasi, kuten mikä tahansa eläin, pyrkii valitsemaan parhaan kahdesta asiasta. Näitä kahta käsivarsia ei voi täysin erottaa toisistaan, joten hän ei voi pitää kumpaakaan parempana. Tämä "buridanaasi" ei kuitenkaan ole Buridanin itsensä kirjoituksissa. Logiikassa Buridan tunnetaan hyvin ja erityisesti hänen sofismeistaan. Se sisältää seuraavan aiheemme kannalta merkityksellisen päätelmän: mikään väite ei ole negatiivinen; siksi on olemassa kielteinen ehdotus. Onko tämä päätelmä perusteltu?

5. N.V. Gogolin kuvaus Chichikovin tammipelistä Nozdrevin kanssa on hyvin tunnettu. Heidän pelinsä ei koskaan päättynyt, Chichikov huomasi Nozdryovin huijaavan ja kieltäytyi pelaamasta häviämisen pelossa. Äskettäin luonnosasiantuntija rekonstruoi tämän pelin kulkua pelanneiden huomautuksista ja osoitti, että Chichikovin asema ei ollut vielä toivoton.

Oletetaan, että Chichikov kuitenkin jatkoi peliä ja lopulta voitti pelin kumppaninsa huijauksesta huolimatta. Sopimuksen mukaan häviäjä Nozdryov joutui antamaan Chichikoville viisikymmentä ruplaa ja "jokin keskiluokan pentu tai kultainen sinetti kellosta". Mutta Nozdryov todennäköisesti kieltäytyisi maksamasta, huomauttaen, että hän itse huijasi koko pelin, eikä sääntöjen noudattaminen ole ikään kuin peliä. Chichikov saattoi vastustaa, että petoksesta puhuminen ei ole paikallaan: häviäjä itse petti, mikä tarkoittaa, että hänen on maksettava sitä enemmän.

Pitääkö Nozdryovin todellakin maksaa tällaisessa tilanteessa vai ei? Toisaalta kyllä, koska hän hävisi. Mutta toisaalta ei, koska peli, joka ei ole sääntöjen mukainen, ei ole peli ollenkaan; Tällaisessa "pelissä" ei voi olla voittajaa tai häviäjää. Jos Chichikov itse olisi pettänyt, Nozdryovin ei tietenkään olisi ollut velvollisuutta maksaa. Mutta häviäjä Nozdryov petti kuitenkin ...

Jotain paradoksaalista tuntuu tässä: "toisaalta ...", "toisaalta ...", ja lisäksi molemmin puolin se on yhtä vakuuttava, vaikka nämä puolet eivät ole yhteensopivia.

Pitäisikö Nozdryovin silti maksaa vai ei?

6. "Jokaisessa säännössä on poikkeuksia." Mutta tämä lausunto on sinänsä sääntö. Kuten kaikissa muissakin säännöissä, siinä on oltava poikkeuksia. Tällainen poikkeus olisi tietysti sääntö "On sääntöjä, joissa ei ole poikkeuksia." Eikö kaikessa ole paradoksi? Mikä edellisistä esimerkeistä muistuttaa näitä kahta sääntöä? Onko sallittua ajatella näin: jokaisessa säännössä on poikkeuksia; Tarkoittaako tämä sitä, että on olemassa sääntöjä ilman poikkeuksia?

7. "Jokainen yleistys on väärin." On selvää, että tämä lausunto tiivistää kokemuksen yleistämisen mentaalisesta toiminnasta ja on itse yleistys. Kuten kaikki muut yleistykset, sen täytyy olla väärin. Pitää siis olla oikeita yleistyksiä. Onko kuitenkin oikein väittää näin: jokainen yleistys on väärä, joten on olemassa oikeita yleistyksiä?

8. Eräs kirjailija on säveltänyt "Epitaph to All Genres", jonka tarkoituksena on osoittaa, että kirjallisuuden genret, joiden välinen ero aiheutti niin paljon kiistaa, ovat kuolleita eikä niitä voida muistaa.

Mutta epitafi on samalla tavalla myös genre, hautakivikirjoitusten genre, joka kehittyi muinaisina aikoina ja tuli kirjallisuuteen eräänlaisena epigrammina:

Tässä levon: Jimmy Hogg.
Jumala antakoon minulle syntini anteeksi,
Mitä tekisin jos olisin Jumala
Ja hän on edesmennyt Jimmy Hogg.

Joten epitafi kaikkiin genreihin poikkeuksetta tekee syntiä ikään kuin epäjohdonmukaisuudella. Mikä on paras tapa muotoilla se uudelleen?

9. "Älä koskaan sano ei koskaan." Kielletään sanan "ei koskaan" käyttö, sinun on käytettävä tätä sanaa kahdesti!

Sama näyttää pätevän neuvoihin: "Niiden, jotka sanovat "on aika", on aika sanoa jotain muuta kuin "on aika".

Onko tällaisissa neuvoissa erikoinen epäjohdonmukaisuus, ja voidaanko se välttää?

10. Runossa "Älä usko", joka julkaistiin tietysti osiossa "Ironinen runous", sen kirjoittaja suosittelee olemaan uskomatta mihinkään:

... Älä usko tulen maagiseen voimaan:
Se palaa, kun siihen laitetaan polttopuita.
Älä usko kultaharjaiseen hevoseen
Ei mihinkään makeisiin piparkakkuihin!
Älä usko, että tähtilaumot
Kiirehtiä loputtomassa pyörteessä.
Mutta mitä sinulle sitten jää?
Älä usko mitä sanoin.
Älä usko.

(V. Prudovski)

Mutta onko tämä yleinen epäusko totta? Ilmeisesti se on ristiriitaista ja siksi loogisesti mahdotonta.

11. Oletetaan, että vastoin yleistä uskomusta on edelleen epäkiinnostavia ihmisiä. Kerätään ne henkisesti yhteen ja valitaan niiden joukosta pituudeltaan pienin tai painoltaan suurin tai joku muu "suurin...". Tätä henkilöä olisi mielenkiintoista katsoa, ​​joten lisäsimme hänet tarpeettomasti epäkiinnostavien luetteloon. Kun se jätetään pois, jäljelle jääneiden joukosta löydämme jälleen "erittäin..." samassa merkityksessä ja niin edelleen. Ja kaikki tämä, kunnes jäljelle jää vain yksi henkilö, jolla ei ole ketään verrata. Mutta käy ilmi, että tämä on juuri se, mistä hän on kiinnostunut! Tämän seurauksena tulemme siihen tulokseen kiinnostamattomia ihmisiä ei. Ja kiista alkoi siitä tosiasiasta, että sellaisia ​​ihmisiä on olemassa.

Etenkin epäkiinnostavien ihmisten joukosta voidaan yrittää löytää kaikista epäkiinnostavin. Tässä hän on epäilemättä mielenkiintoinen, ja hänet on jätettävä epämiellyttävien ihmisten ulkopuolelle. Muiden joukossa on jälleen vähiten kiinnostava ja niin edelleen.

Näissä väitteissä on ehdottomasti paradoksi. Onko tässä virhe, ja jos on, mikä se on?

12. Oletetaan, että sinulle annettiin tyhjä paperiarkki ja opastettiin kuvaamaan tämä arkki sille. Kirjoitat: tämä on lehti suorakaiteen muotoinen, valkoinen, sen ja sen kokoinen, valmistettu puristetuista puukuiduista jne.

Kuvaus näyttää olevan täydellinen. Mutta se on selvästi epätäydellinen! Kuvausprosessin aikana objekti muuttui: teksti ilmestyi siihen. Siksi on myös tarpeen lisätä kuvausta: ja lisäksi tälle paperiarkille on kirjoitettu: tämä on suorakaiteen muotoinen arkki, valkoinen ... jne. äärettömään.

Tämä näyttää paradoksilta, eikö niin?

Tunnettu lastenloru:

Papilla oli koira
Hän rakasti häntä
Hän söi palan lihaa
Hän tappoi hänet.
Tapettiin ja haudattiin
Ja taululle hän kirjoitti:
"Papilla oli koira..."

Voisiko tämä koiraa rakastava pop koskaan saada valmiiksi hautakivinsä? Eikö tämän kirjoituksen koostumus muistuta Täysi kuvaus paperia siinä?

13. Eräs kirjoittaja antaa tämän "hieno" neuvon: "Jos pienet temput eivät anna sinun saavuttaa haluamaasi, turvaudu suuriin temppuihin." Nämä neuvot tarjotaan otsikon "Ammatin temppuja" alla. Mutta onko hän todella yksi niistä temppuista? Loppujen lopuksi "pienet temput" eivät auta, ja juuri tästä syystä sinun on turvauduttava tähän neuvoon.

14. Kutsumme peliä normaaliksi, jos se päättyy äärelliseen määrään liikkeitä. Esimerkkejä normaaleista peleistä ovat shakki, tammi, domino: nämä pelit päättyvät aina joko jommankumman osapuolen voittoon tai tasapeliin. Peli, joka ei ole normaalia, jatkuu loputtomiin ilman tulosta. Otetaan myös käyttöön superpelin käsite: tällaisen pelin ensimmäinen askel on määrittää, mitä peliä pelataan. Jos esimerkiksi sinä ja minä aiomme pelata superpeliä ja minä omistan ensimmäisen liikkeen, voin sanoa: "Pelataan shakkia." Sitten teet vastauksena shakkipelin ensimmäisen siirron, esimerkiksi e2 - e4, ja jatkamme peliä, kunnes se päättyy (erityisesti turnaussäännöissä varatun ajan umpeutumisesta johtuen). Ensimmäisenä siirtoni voin ehdottaa tic-tac-toe-peliä ja muuta vastaavaa. Mutta valitsemani pelin on oltava normaali; et voi valita peliä, joka ei ole normaali.

Syntyy ongelma: onko itse superpeli normaali vai ei? Oletetaan, että tämä on normaali peli. Koska se voi valita minkä tahansa normaalin pelin ensimmäiseksi siirtokseen, voin sanoa: "Pelataan superpeliä." Sen jälkeen superpeli on alkanut, ja seuraava siirto siinä on sinun. Sinulla on oikeus sanoa: "Pelataanpa superpeliä." Voin toistaa: "Pelataan superpeliä" ja siten prosessi voi jatkua loputtomiin. Siksi superpeli ei koske normaaleja pelejä. Mutta koska superpeli ei ole normaali, en voi ehdottaa superpeliä ensimmäisellä siirrollani superpelissä; Minun on valittava normaali peli. Mutta normaalin pelin valinta, jolla on loppu, on ristiriidassa sen todistetun tosiasian kanssa, että superpeli ei kuulu normaaleihin peliin.

Onko superpeli siis normaali peli vai ei?

Yritettäessä vastata tähän kysymykseen, ei tietenkään pidä seurata puhtaasti sanallisten erottelujen helppoa tietä. Yksinkertaisin tapa on sanoa, että normaali peli on peli ja superpeli vain pilaa.

Mitä muita paradokseja tämä paradoksi, että superpeli on sekä normaali että epänormaali samaan aikaan, muistuttaa?

Kirjallisuus

Bayif J.K. Logiikkatehtävät. - M., 1983.

Bourbaki N. Esseitä matematiikan historiasta. - M., 1963.

Gardner M. Arvaa! – M.: 1984.

Ivin A.A. Logiikan lakien mukaan. - M., 1983.

Klini S.K. Matemaattinen logiikka. - M., 1973.

Smallian R.M. Mikä tämän kirjan nimi on? – M.: 1982.

Smallian R.M. Prinsessa vai tiikeri? – M.: 1985.

Frenkel A., Bar-Hillel I. Joukkoteorian perusteet. - M., 1966.

testikysymykset

Mikä on paradoksien merkitys logiikan kannalta?

Mitä ratkaisuja valehtelijan paradoksiin ehdotettiin?

Mitkä ovat semanttisesti suljetun kielen piirteet?

Mikä on monien tavallisten joukkojen paradoksien ydin?

Onko Protagorasin ja Euathluksen väliseen kiistaan ​​ratkaisua? Mitä ratkaisuja tähän kiistaan ​​ehdotettiin?

Mikä on epätarkkojen nimien paradoksin ydin?

Mikä voisi olla loogisten paradoksien erikoisuus?

Mitä johtopäätöksiä logiikasta seuraa loogisten paradoksien olemassaolosta?

Mitä eroa on paradoksien poistamisella ja selittämisellä? Mikä on loogisten paradoksien tulevaisuus?

Abstraktien ja raporttien aiheita

Loogisen paradoksin käsite

Valehtelijan paradoksi

Russellin paradoksi

Paradoksi "Protagoras ja Euathlus"

Paradoksien rooli logiikan kehityksessä

Näkymät paradoksien ratkaisemiseksi

Ero kielen ja metakielen välillä

Paradoksien eliminointi ja ratkaiseminen

1. lokakuuta 2014

Tiedemiehet ja ajattelijat ovat pitkään halunneet viihdyttää itseään ja kollegansa asettamalla ratkaisemattomia ongelmia ja muotoilemalla kaikenlaisia ​​paradokseja. Jotkut näistä ajatuskokeista pysyvät merkityksellisinä tuhansia vuosia, mikä viittaa monien suosittujen tieteellisten mallien epätäydellisyyteen ja "reikiin" yleisesti hyväksytyissä teorioissa, joita on pitkään pidetty perustavanlaatuisina.

Kutsumme sinut pohtimaan mielenkiintoisimpia ja hämmästyttävimpiä paradokseja, jotka, kuten nyt sanotaan, "räjäyttivät aivot" useammalle kuin yhden sukupolven loogisille, filosofeille ja matemaatikoille.

1. Aporia "Achilles ja kilpikonna"

Akilleuksen ja kilpikonnan paradoksi on yksi paradokseista (loogisesti oikeita, mutta ristiriitaisia ​​väitteitä), jotka antiikin kreikkalainen filosofi Zenon Elealainen muotoili 500-luvulla eaa. Sen olemus on seuraava: legendaarinen sankari Akhilleus päätti kilpailla juoksussa kilpikonnan kanssa. Kuten tiedät, kilpikonnat eivät eroa nopeudeltaan, joten Akhilleus antoi vastustajalle etumatkan 500 m. Kun kilpikonna voittaa tämän matkan, sankari alkaa jahtaamaan 10 kertaa suuremmalla nopeudella, eli kilpikonnan ryömiessä 50 m , Akhilleus onnistuu juoksemaan annetun 500 metrin etumatkan. Sitten juoksija ylittää seuraavat 50 m, mutta tällä hetkellä kilpikonna ryömii vielä 5 m taaksepäin, näyttää siltä, ​​että Akhilleus on saavuttamassa sen, mutta vastustaja on edelleen edellä ja kun hän juoksee 5 m, hän onnistuu eteenpäin vielä puoli metriä ja niin edelleen. Niiden välinen etäisyys pienenee äärettömästi, mutta teoriassa sankari ei koskaan onnistu saavuttamaan hidasta kilpikonnaa, se ei ole paljon, mutta aina hänen edellään.

© www.student31.ru

Tietenkin fysiikan näkökulmasta paradoksissa ei ole järkeä - jos Akhilleus liikkuu paljon nopeammin, hän murtautuu joka tapauksessa eteenpäin, Zeno kuitenkin halusi ensinnäkin osoittaa perusteluillaan, että idealisoidut matemaattiset käsitteet "piste avaruudessa" ja "ajan hetki" eivät ole liian sopivia oikeaan sovellukseen todelliseen liikkeeseen. Aporia paljastaa ristiriidan sen matemaattisesti järkevän ajatuksen välillä, että nollasta poikkeavat tilan ja ajan intervallit voidaan jakaa loputtomiin (joten kilpikonnan on pysyttävä aina edellä) ja todellisuuden välillä, jossa sankari tietysti voittaa kilpailun.

2. Aikasilmukan paradoksi

David Toomeyn The New Time Travelers

Aikamatkailua kuvaavat paradoksit ovat pitkään olleet inspiraation lähteenä tieteiskirjailijoille ja tieteiselokuvien ja TV-ohjelmien tekijöille. Aikasilmukan paradokseista on useita muunnelmia, yksi yksinkertaisimmista ja kuvaavimmista esimerkeistä tällaisesta ongelmasta on Massachusettsin yliopiston professorin David Toomeyn kirjassaan The New Time Travelers.

Kuvittele, että aikamatkustaja on ostanut Shakespearen Hamletin kirjakaupasta. Sitten hän meni Englantiin neitsytkuningatar Elizabeth I:n aikana ja löydettyään William Shakespearen ojensi hänelle kirjan. Hän kirjoitti sen uudelleen ja julkaisi sen omana teoksenaan. Kuluu satoja vuosia, Hamlet käännetään kymmenille kielille, sitä painetaan loputtomasti, ja yksi kappaleista päätyy siihen kirjakauppaan, josta aikamatkustaja ostaa sen ja antaa sen Shakespearelle, joka tekee kopion ja niin edelleen... Ketä tässä tapauksessa pitäisi laskea, kuolemattoman tragedian kirjoittajaa?

3. Tytön ja pojan paradoksi

Martin Gardner / © www.post-gazette.com

Todennäköisyysteoriassa tätä paradoksia kutsutaan myös "hra Smithin lapsiksi" tai "rouva Smithin ongelmiksi". Amerikkalainen matemaatikko Martin Gardner muotoili sen ensimmäisen kerran yhdessä Scientific American -lehden numeroista. Tiedemiehet ovat kiistelleet paradoksista vuosikymmeniä, ja sen ratkaisemiseksi on useita tapoja. Kun olet miettinyt ongelmaa, voit tarjota oman versionsi.

Perheessä on kaksi lasta ja yksi heistä tiedetään varmasti olevan poika. Millä todennäköisyydellä myös toinen lapsi on mies? Ensi silmäyksellä vastaus on melko ilmeinen - 50-50, joko hän on todella poika tai tyttö, todennäköisyyksien pitäisi olla samat. Ongelmana on, että kahden lapsen perheissä on neljä mahdollista lasten sukupuolten yhdistelmää - kaksi tyttöä, kaksi poikaa, vanhempi poika ja nuorempi tyttö ja päinvastoin - vanhempi tyttö ja nuorempi poika. Ensimmäinen voidaan sulkea pois, koska yksi lapsista on ehdottomasti poika, mutta tässä tapauksessa vaihtoehtoja on kolme, ei kaksi, ja todennäköisyys, että myös toinen lapsi on poika, on yksi mahdollisuus kolmesta.

4. Jourdainin korttiparadoksi

Brittiläisen loogikon ja matemaatikon Philippe Jourdainin 1900-luvun alussa ehdottamaa ongelmaa voidaan pitää yhtenä kuuluisan valehtelijaparadoksin muunnelmista.

Philippe Jourdain

Kuvittele - pidät käsissäsi postikorttia, jossa lukee: "Hyväksyntä kääntöpuoli postikortit totta. Kortin kääntäminen paljastaa lauseen "Toisella puolella oleva lausunto on väärä." Kuten ymmärrät, siinä on ristiriita: jos ensimmäinen väite on tosi, niin toinen on myös tosi, mutta tässä tapauksessa ensimmäisen on oltava epätosi. Jos postikortin ensimmäinen puoli on epätosi, niin toisenkin lausetta ei voida pitää totta, mikä tarkoittaa, että ensimmäinen väite tulee jälleen todeksi ... Vielä mielenkiintoisempi versio valehtelijan paradoksista on seuraavassa kappaleessa.

5. Sofismi "krokotiili"

Äiti lapsen kanssa seisoo joen rannalla, yhtäkkiä krokotiili ui heidän luokseen ja vetää lapsen veteen. Lohduton äiti pyytää palauttamaan lapsensa, johon krokotiili vastaa, että hän suostuu palauttamaan hänet terveenä, jos nainen vastaa oikein hänen kysymykseensä: "Aikooko hän palauttaa lapsensa?" On selvää, että naisella on kaksi vastausta - kyllä ​​tai ei. Jos hän väittää, että krokotiili antaa hänelle lapsen, niin kaikki riippuu eläimestä - koska vastaus on totta, sieppaaja päästää lapsen menemään, mutta jos hän sanoo, että äiti erehtyi, hän ei näe lapsi, kaikkien sopimuksen sääntöjen mukaisesti.

© Corax of Syracuse

Naisen kielteinen vastaus mutkistaa asiaa huomattavasti - jos se osoittautuu todeksi, kidnappaajan on täytettävä kaupan ehdot ja vapautettava lapsi, mutta näin äidin vastaus ei vastaa todellisuutta. Tällaisen vastauksen virheellisyyden varmistamiseksi krokotiilin on palautettava lapsi äidille, mutta tämä on sopimuksen vastaista, koska hänen virheensä pitäisi jättää lapsi krokotiilin kanssa.

On syytä huomata, että krokotiilin tarjoama sopimus sisältää loogisen ristiriidan, joten hänen lupauksensa on mahdoton toteuttaa. Tämän klassisen sofismin kirjoittajaa pidetään puhujana, ajattelijana ja poliittinen hahmo Syrakusan Corax, joka asui 500-luvulla eKr.

6. Aporia "Dikotomia"

© www.student31.ru

Toinen paradoksi Zenon Elealaiselta, joka osoittaa idealisoidun virheellisyyden matemaattinen malli liikettä. Ongelma voidaan ilmaista näin – oletetaan, että lähdit kulkemaan jonkin kaupungin kadun läpi alusta loppuun. Tätä varten sinun on voitettava sen ensimmäinen puolisko, sitten puolet jäljellä olevasta puoliskosta, sitten puolet seuraavasta segmentistä ja niin edelleen. Toisin sanoen - kävelet puolet koko matkasta, sitten neljänneksen, yhden kahdeksasosan, yhden kuudestoista - polun pienenevien osien määrällä on taipumus äärettömään, koska mikä tahansa jäljellä oleva osa voidaan jakaa kahteen, mikä tarkoittaa, että se on mahdotonta mennä koko matkan. Ensi silmäyksellä hieman kaukaa haetun paradoksin muotoilemalla Zeno halusi osoittaa, että matemaattiset lait ovat ristiriidassa todellisuuden kanssa, koska itse asiassa voit helposti kattaa koko matkan ilman jälkiä.

7. Aporia "lentävä nuoli"

Kuuluisa Zenon Elea paradoksi koskettaa syvimpiä ristiriitoja tutkijoiden käsityksissä liikkeen ja ajan luonteesta. Aporia on muotoiltu seuraavasti: jousesta ammuttu nuoli pysyy liikkumattomana, koska se lepää milloin tahansa liikkumatta. Jos nuoli on joka hetki levossa, niin se on aina levossa eikä liiku ollenkaan, koska ei ole olemassa hetkeä, jolloin nuoli liikkuu avaruudessa.

© www.academic.ru

Ihmiskunnan upeat mielet ovat yrittäneet vuosisatojen ajan ratkaista lentävän nuolen paradoksin, mutta loogiselta kannalta se on täysin oikein. Sen kumoamiseksi on tarpeen selittää, kuinka äärellinen aikaväli voi koostua äärettömästä määrästä ajan hetkiä - jopa Aristoteles, joka arvosteli vakuuttavasti Zenonin aporiaa, ei pystynyt todistamaan tätä. Aristoteles huomautti perustellusti, että ajanjaksoa ei voida pitää joidenkin jakamattomien yksittäisten hetkien summana, mutta monet tutkijat uskovat, että hänen lähestymistapansa ei eroa syvyydestä eikä kiistä paradoksin olemassaoloa. On syytä huomata, että esittämällä lentävän nuolen ongelman Zeno ei pyrkinyt kumoamaan liikkeen mahdollisuutta sinänsä, vaan paljastamaan ristiriitoja idealistisissa matemaattisissa käsitteissä.

8. Galileon paradoksi

Galileo Galilei / © Wikimedia

Keskusteluissaan ja matemaattisissa todisteissaan kahdesta uudesta tieteenalasta Galileo Galilei ehdotti paradoksia, joka osoittaa äärettömien joukkojen omituiset ominaisuudet. Tiedemies muotoili kaksi ristiriitainen tuomion ystävä. Ensinnäkin on lukuja, jotka ovat muiden kokonaislukujen neliöitä, kuten 1, 9, 16, 25, 36 ja niin edelleen. On muitakin numeroita, joilla ei ole tätä ominaisuutta - 2, 3, 5, 6, 7, 8, 10 ja vastaavat. Täten, kaikki yhteensä Tarkkoja neliöitä ja säännöllisiä lukuja täytyy olla enemmän kuin täydellisiä neliöitä. Toinen väite: jokaiselle luonnolliselle luvulle on tarkka neliö ja jokaiselle neliölle on kokonaisluku Neliöjuuri, eli neliöiden lukumäärä on yhtä suuri kuin luonnollisten lukujen määrä.

Tämän ristiriidan perusteella Galileo päätteli, että päättelyä elementtien lukumäärästä sovelletaan vain äärellisiin joukkoihin, vaikka myöhemmin matemaatikot ottivat käyttöön käsitteen joukon potenssi - sen avulla todistettiin Galileon toisen tuomion oikeellisuus myös äärettömille joukoille. .

9. Perunasäkkiparadoksi

© nieidealne-danie.blogspot.com

Oletetaan, että tietyllä viljelijällä on pussillinen perunaa, joka painaa tasan 100 kg. Sen sisällön tutkittuaan viljelijä huomaa, että pussia on säilytetty kosteassa - 99 % sen massasta on vettä ja 1 % muista perunan sisältämistä aineista. Hän päättää kuivata perunoita hieman, jotta niiden vesipitoisuus putoaa 98 prosenttiin ja siirtää pussin kuivaan paikkaan. Seuraavana päivänä käy ilmi, että litra (1 kg) vettä on todella haihtunut, mutta pussin paino on pudonnut 100 kilosta 50 kiloon, miten tämä voi olla? Lasketaan - 99% 100 kg:sta on 99 kg, mikä tarkoittaa, että kuivan jäännöksen massan ja veden massan suhde oli alun perin 1/99. Kuivumisen jälkeen vesi sisältää 98 % kokonaismassa pussi, niin kuivan jäännöksen massan suhde veden massaan on nyt 1/49. Koska jäännöksen massa ei ole muuttunut, jäljellä oleva vesi painaa 49 kg.

Tietenkin tarkkaavainen lukija löytää välittömästi töykeimmän matemaattinen virhe laskelmissa - kuvitteellinen koominen "perunasäkin paradoksi" voidaan pitää erinomaisena esimerkkinä siitä, kuinka näennäisen "loogisen" ja "tieteellisesti tuetun" päättelyn avulla voit kirjaimellisesti rakentaa tyhjästä teorian, joka on ristiriidassa terveen järjen kanssa .

10 Korpin paradoksi

Carl Gustav Hempel / © Wikimedia

Ongelma tunnetaan myös Hempelin paradoksina - se sai toisen nimensä saksalaisen matemaatikon Carl Gustav Hempelin, klassisen versionsa kirjoittajan, kunniaksi. Ongelma on muotoiltu yksinkertaisesti: jokainen korppi on musta. Tästä seuraa, että mikään, mikä ei ole mustaa, ei voi olla korppia. Tätä lakia kutsutaan loogiseksi vastalauseeksi, eli jos tietyllä premissillä "A" on seuraus "B", niin "B":n negaatio vastaa "A":n negaatiota. Jos henkilö näkee mustan korpin, tämä vahvistaa hänen uskomustaan, että kaikki korpit ovat mustia, mikä on varsin loogista, mutta ristiriidan ja induktioperiaatteen mukaisesti on loogista väittää, että ei-mustien esineiden havainnointi (sanoa , punaiset omenat) todistaa myös, että kaikki variset on maalattu mustiksi. Toisin sanoen se, että henkilö asuu Pietarissa, osoittaa, ettei hän asu Moskovassa.

Logiikan näkökulmasta paradoksi näyttää moitteettomalta, mutta se on ristiriidassa todellisen elämän kanssa - punaiset omenat eivät millään voi vahvistaa sitä tosiasiaa, että kaikki variset ovat mustia.

Täällä meillä oli jo valikoima paradokseja mukanasi - sekä erityisesti ja Alkuperäinen artikkeli on verkkosivustolla InfoGlaz.rf Linkki artikkeliin, josta tämä kopio on tehty -

Filosofi Stephen Reed valehtelijaparadokseista, semanttisista paradokseista ja niiden suorasta yhteydestä matematiikan perusteisiin.

Keskustelu loogisista paradokseista kannattaa aloittaa pienellä tarinalla, jonka Cervantes kertoo kirjassaan Don Quijote. Jossain vaiheessa Don Quijotessa hän jättää Sancho Panzan Baratarian saaren kuvernööriksi, ja ollessaan kuvernööri, "alamaiset" huijaavat häntä. Eräänä aamuna hänet herätettiin ja hänelle kerrottiin: "Ennen aamiaista sinun on arvioitava yksi asia." Ja Espanjassa oli tuolloin paljon kulkijoita, joten ihmisten kanssa piti olla erittäin varovainen. Ja nyt erään maanomistajan maiden läpi virtaa joki, jonka läpi heitetään silta, ja varmistaakseen, että kaikki ohikulkijat ovat luotettavia, tämä maanomistaja asetti sillan lähelle hirsipuut ja vartijan, joka vaatii jokaiselta ohikulkija selittää minne ja miksi hän on menossa. Jos ohikulkija puhuu totta, hän saa ylittää sillan, ja jos hän valehtelee, hirsipuu odottaa häntä. Ja kaikki oli hyvin, se auttoi erottamaan kuka oli kulkuri ja kuka kauppias, kunnes eräänä päivänä tuli mies, joka sanoi: "Tavoitteeni on tulla hirtettyä tähän hirsipuuhun, eikä mitään muuta." Ja vartija hämmästyi tästä, koska hän ajatteli: "No, jos me ripustamme hänet, niin käy ilmi, että hän puhui totta, niin meidän olisi pitänyt päästää hänet läpi, mutta jos päästämme hänet läpi, käy ilmi, että hän valehteli, niin hänen pitäisi lopettaa puhelu." "Joten, Sancho Panza, miten arvioimme tämän tapauksen?" Ja Sancho Panza kestää jonkin aikaa ymmärtää paradoksi, mutta lopulta hän tekee päätöksensä: ripustaa puolet valehtelijasta ja antaa totuuden kertoneen puolen mennä ohi.

Tämä kaikki kuulostaa hauskalta, mutta ihmisille, jotka haluavat päästä asioiden, kuten totuuden, päättelyn, kielen ja niin edelleen pohjalle, se viittaa johonkin hyvin hämmentävään kielen luonteessa. Vaikuttaa erittäin helpolta langeta paradoksiin: emme yksinkertaisesti tiedä, oliko kyseisen henkilön lausunto totta vai ei, valehteliko hän vai ei. Ja tämä juontaa juurensa alkuperäiseen valehtelijan paradoksiin, jonka Eubulides muotoili 4. vuosisadalla eaa. Hän korotti sen taideteokseksi, hän sanoi: "Ajattele sanoa" valehtelen". Jos sanon: "Valehtelen", voin tietysti tarkoittaa jotain muuta lausuntoani, mutta jos käytän erittäin varovaista sanamuotoa, voin sanoa: "Ei, valehtelen juuri siinä lauseessa, jonka sanon. nyt tämä väitteeni on väärä. Ja taas, jos ajattelet sitä, sanot: "Jos tämä olisi totta, niin koska hän sanoo väitteensä olevan väärä, siitä seuraa, että sen täytyy olla väärä, eikä totta, eli se ei voi olla totta - se täytyy olla väärä. Mutta jos se on valhetta, koska se sanoo sen olevan valhetta, että hän valehteli, sen täytyy olla totta." Joten päädymme paradoksiin, joka on siististi kääritty yhteen lauseeseen.

Tällaisia ​​paradokseja on paljon, ja on helppo ymmärtää, miksi niitä kutsutaan loogisiksi paradokseiksi: niiden sisältämä ristiriita paljastuu logiikan avulla. Jotkut ovat kuulleet Epimenideestä: hän oli kotoisin Kreetalta ja oli niin pettynyt maanmiestensä kykyyn kertoa totuus, että hän sanoi kerran: "Kaikki kreetalaiset ovat valehtelijoita." Jos hän oli oikeassa, jos kaikki kreetalaiset olivat valehtelijoita, tai jos muut kreetalaiset aina valehtelivat, hänen oman lausuntonsa täytyy olla paradoksaalista. Loppujen lopuksi, jos hän sanoo: "Kaikki kreetalaiset ovat valehtelijoita", hän sanoo, että hänen oma väitteensä on väärä, mutta tässä tapauksessa todellakin jokainen kreetalainen olisi valehtelija, mikä tarkoittaa, että hän puhui totta sanoessaan, että kaikki kreetalaiset - valehtelijoita. Pääsy paradoksista on tietysti se, että jos jotkut kreetalaiset puhuisivat totta, hänen lausuntonsa olisi yksinkertaisesti väärä, ei paradoksaalinen.

Meillä on siis suuri määrä sellaisia ​​paradokseja. Tässä on yksi paradoksi, josta pidän erityisesti: Ota kortti, jonka toisella puolella lukee: "Tämän kortin takana oleva väite on totta." Käännät sen ympäri, ja siinä lukee: "Tämän kortin takana oleva väite on väärä." Ja jos ajattelee sitä, se on vain paradoksaalista, koska jos ensimmäisen puolen väite on totta, niin myös kääntöpuolen väite on totta, koska ensimmäinen väite sanoo niin; mutta toiselle puolelle on kirjoitettu, että ensimmäinen väite on epätosi, eli jos ensimmäinen väite on tosi, se on myös väärä. Mutta tämä on mahdotonta, joten toisen väitteen on oltava väärä; mutta se sanoo, että ensimmäinen väite on väärä, sitten ensimmäinen väite ei voi olla väärä - sen täytyy olla totta. Mutta olemme jo nähneet, että jos ensimmäinen väite on totta, niin se on väärä, joten saamme puhtaan paradoksin.

Jotkut keskiaikaiset ajattelijat kuvailivat tätä paradoksia mieluummin Sokrateen ja Platonin tai joskus Platonin ja Aristoteleen termeillä. Joten Platon oli Aristoteleen opettaja ja piti häntä parhaana oppilaansa, joten eräänä päivänä hän sanoi: "Kaikki, mitä Aristoteles sanoo, on totta." Mutta Aristoteles ei ollut kaikkein paras esimerkillinen opiskelija siinä mielessä, että hän halusi haastaa Platonin opetukset, joten hän sanoi: "Kaikki Platonin sanoma on valhetta", mikä on hyvin samanlaista kuin korttiparadoksi.

Kaikki nämä olivat paradokseja totuuden, valheiden ja kielen alalla. Mutta 1900-luvulla kohtasimme matematiikan paradokseja. Kysymyksen lyhyt historia on seuraava: laskennan tulon jälkeen ja sitten 1700-luvulla äärettömien sarjojen kanssa työskentelyn jälkeen matematiikan perusteet osoittautuivat epävakaiksi, ihmiset ihmettelivät: "Kuinka äärettömät sarjat toimivat ilman, että meidät johdetaan ristiriitoja matematiikassa?" Ja 1800-luvulla syntyi suuri liike, jonka tarkoituksena oli etsiä vakaata matematiikan perustaa. Sitten joukkoteoriasta tuli tällainen perusta. Joukko on kokoelma objekteja, jotka on määritelty jonkin ominaisuuden kautta: esimerkiksi voi olla joukko luonnollisia lukuja, joukko parillisia lukuja tai jopa joukko riisivanukkaita - voit ottaa erilaisia ​​settejä. Matematiikassa käytetään tietysti vain numeerisia joukkoja.

Ja kaikki tämä näytti hyvältä 1800-luvun loppuun asti. Frege, Dedekind ja monet muut ajattelijat perustivat matematiikan tai sen, mikä näytti olevan joukkoteorian vankka perusta. Mutta sitten Bertrand Russell, kuuluisa brittifilosofi, luki Fregen teoksia, ajatteli: "Voit asettaa paljon numeroita, voit antaa paljon joukkoja; voit määrittää joukon joukkoja, jotka sisältävät itsensä, tai voit määrittää joukon joukkoja, jotka eivät sisällä itseään. Ja sitten hän ajatteli: "Hetkinen, jos meillä on joukko sarjoja, jotka eivät sisällä itseään, sisältääkö tämä joukko itsensä vai ei?" Jos tällainen joukko sisälsi itsensä, se ei saa sisältää itseään, koska sovinnon mukaan otamme vain ne joukot, jotka eivät sisällä itseään. Joten olisi parempi, jos tämä joukko ei sisällä itseään, mutta jos se ei sisällä itseään, se on joukko, joka ei sisällä itseään, ja sen on oltava osa tätä joukkoa. Ja kuten sanoin, kaikki nämä paradoksit näyttävät aluksi mielen viihteeltä, mutta nyt, 1900-luvun alussa, olemme löytäneet paradoksin, ristiriidan sen ytimessä, minkä pitäisi olla matematiikan perusta. Kuten yleisesti tiedetään, se oli iso isku Fregelle: hän oli julkaisemassa aritmeettisten peruslakien toisen osan, ja hänen oli lisättävä liite, johon hän kirjoitti: "Bertrand Russell osoitti teoriani ytimessä olevan heikkouden, mutta uskon voivani. ratkaise tämä ongelma”, ja hän ehdotti ratkaisua, mutta kuten kävi ilmi, se ei ollut oikea.

Siirryn lyhyesti joukkoteorian paradokseihin, koska on toinenkin varsin mielenkiintoinen paradoksi, joka tuo meidät takaisin keskusteluun totuuteen liittyvistä paradokseista eli niin sanotuista semanttisista paradokseista. Joten noin 40 vuotta myöhemmin, noin 1940, amerikkalainen matemaatikko ja loogikko Haskell B. Curry pohti Russellin paradoksia ja sanoi: "Russellin paradoksi perustuu negaatioon - se puhuu monista joukoista, jotka eivät sisällä itseään." Onko mahdollista saada sama paradoksi käyttämättä negaatiota? Onko keinoa? Ja hän sanoi, että on olemassa keino. Ota kaikkien sarjojen sarja; jos ne sisältävät itsensä, nolla on yhtä. Joukkoteorian mukaan tämä on täysin hyväksyttävä joukko. Mutta jos alamme harkita sellaista joukkoa, jos se sisältää itsensä, niin se täyttää ehdon, että jos se sisältää itsensä, niin nolla on yhtä kuin yksi.

Ja oletimme, että se sisältää itsensä, joten nolla on todella yhtä suuri kuin yksi. Mutta on aivan selvää, että nolla ei voi olla yhtä kuin yksi, joten soitamme kaiken taaksepäin ja oletetaan, että joukko ei voi sisältää itseään. Jos se ei sisällä itseään, siitä seuraa välittömästi, että joko se ei sisällä itseään tai nolla on yksi. Mutta se on sama kuin sanoisi, että jos se sisältää itsensä, nolla on todella yhtä kuin yksi - se on sama kuin sanoisi joko se ei sisällä itseään tai nolla on yksi. Ja tämä on kuin sanoisi, että jos joukko sisältää itsensä, niin se ei ole ei-insisoiva, niin nolla on yhtä kuin yksi. Mutta sitten se sisältää itsensä, eli olemme osoittaneet, että se sisältää itsensä, mutta koska olemme todistaneet sen, niin nolla on yhtä suuri kuin yksi. Tallentaa! Todistimme juuri, että nolla on yksi! Joten aivan matematiikan ytimessä meillä on taas todellinen painajaismainen paradoksi.

Ja muutamaa vuotta myöhemmin tämä paradoksi muutettiin yhdeksi semanttisista paradokseista, joista puhuin aiemmin, ja se muodosti lausunnon: "Jos tämä väite on totta, niin nolla on yhtä suuri kuin yksi." Tai jopa: "Jos tämä väite on totta, niin Jumala on olemassa." Ja sitten vain muutamalla rivillä voimme todistaa, että Jumala on olemassa tai mitä tahansa muuta: nolla on yhtä kuin yksi, Jumala on olemassa, Moskovassa sataa tänään - tällä väitteellä voimme todistaa mitä tahansa. Ihmiset ajattelevat paljon totuutta, joten se on erittäin vaarallista: onko totuus todella sellaista? Onko totuus todella kiistanalainen käsite?

Ja lopuksi puhun lyhyesti toisesta paradoksista osoittaakseni, että paradoksit eivät lopu tähän. Tässä on lausunto: "Et tiedä tätä lausuntoa" - et tiedä juuri sitä lausuntoa, jonka lausun nyt. Oletetaan nyt, että tunnet hänet. Tiedon ja totuuden käsitteet kertovat meille, että voit tietää vain sen, mikä on totta, joten jos tiedät sen, se on totta, jolloin et tiedä sitä, koska se sanoo niin. Joten jos oletamme, että tunnet hänet, käy ilmi, että et tunne häntä. Joten olemme todistaneet, että et tunne häntä, mutta se sanoo, että et tunne häntä, joten olemme todistaneet hänet. Ja tietysti, jos olemme todistaneet jotain, se on totta, silloin tiedämme sen, koska meillä on todisteet. Ja käy ilmi, että olemme osoittaneet, että tiedät tämän väitteen ja että et tiedä sitä, joten meillä on taas episteeminen paradoksi.

Tehdään yhteenveto. Olen kuvannut useita semanttisia paradokseja, jotka liittyvät pääasiassa totuuden käsitteeseen, ja osoittanut myös, että ne ovat hyvin samankaltaisia ​​kuin joukkoteoriaan liittyviä paradokseja, jotka ovat matematiikan ytimessä. Lisäksi tutustuimme episteemisiin paradokseihin, jotka eivät liity pelkästään totuuden käsitteeseen, vaan myös tiedon käsitteeseen. Olemme siis analysoineet useita semanttisia paradokseja, kuten valehtelijaparadoksi, Epimenides-paradoksi ja korttiparadoksi, jotka perustuvat totuuden käsitteeseen (niissä puhumme valheista, epätotuudesta, totuudesta ja niin edelleen) ja sitten olemme analysoineet useita matematiikassa esiin tulevia paradokseja, jotka liittyvät joukkoteoriaan. Ja lopuksi puhuimme myös toisen tyyppisistä paradokseista - episteemisistä paradokseista.

Näet heti, kuinka tärkeää meidän on löytää ratkaisu näihin paradokseihin, koska matematiikka on niissä mukana, koska etsimme matematiikan vankkaa perustaa varmistaaksemme, että emme tee virheitä - ja nyt olemme löytäneet ristiriita niissä. Tarvitsemme siis todella ratkaisun joukkoteoriaan liittyviin matemaattisiin paradokseihin, mutta tarvitsemme sellaisen myös semanttisiin paradokseihin. Monet filosofit ajattelevat totuuden käsitettä ja haluavat ymmärtää totuuden luonteen, mikä on totuus. On luonnollista olettaa, että väite on totta, jos kaikki on niin kuin se sanoo; katsokaa nyt valehtelijan paradoksia: se on totta, jos valehtelen - se on paradoksaalista ja johtaa ristiriitaan. Joten meidän on harkittava uudelleen totuuden käsitettä, jotkut haluavat ajatella uudelleen sen takana olevaa logiikkaa ja todisteita, jotka johtivat meidät ristiriitaisuuteen. Ja on erittäin tärkeää, että teemme tämän, jos haluamme saada täydellisen ymmärryksen totuuden ja tiedon käsitteistä.

gif: postnauka.ru/ Stephen Reid

Ivin Alexander Arkhipovich logiikan lakien mukaan

MIKÄ ON LOOGINEN PARADOKSI?

Ei ole olemassa tyhjentävää luetteloa loogisista paradokseista, ja se on mahdotonta.

Käsitellyt paradoksit ovat vain osa kaikista tähän mennessä löydetyistä. On todennäköistä, että tulevaisuudessa löydetään monia muita ja jopa täysin uusia tyyppejä. Itse paradoksin käsite ei ole niin yksiselitteinen, että olisi mahdollista koota luettelo ainakin jo tunnetuista paradokseista.

"Joukkoteoreettiset paradoksit ovat erittäin vakava ongelma, ei kuitenkaan matematiikassa, vaan pikemminkin logiikassa ja epistemologiassa", kirjoittaa itävaltalainen matemaatikko ja loogikko K. Gödel. "Logiikka on epäjohdonmukainen. Ei ole olemassa loogisia paradokseja, sanoo Neuvostoliiton matemaatikko D. Bochvar. - Tällaiset erot ovat joskus merkittäviä, joskus sanallisia. Asia on pitkälti siinä, mitä "loogisella paradoksilla" tarkalleen ottaen tarkoitetaan.

Loogisten paradoksien välttämätön piirre on looginen sanakirja. Paradoksit, jotka ovat loogisia, on muotoiltava loogisesti. Logiikassa ei kuitenkaan ole selkeitä kriteerejä termien jakamiselle loogisiin ja ekstralogisiin. Päättelyn oikeellisuutta käsittelevä logiikka pyrkii vähentämään käsitteet, joista käytännössä sovellettavien johtopäätösten oikeellisuus riippuu, minimiin. Mutta tätä vähimmäismäärää ei ole ennalta määrätty yksiselitteisesti. Lisäksi ei-loogisia väitteitä voidaan muotoilla loogisesti. Se, käyttääkö tietty paradoksi vain puhtaasti loogisia premissioita, ei ole läheskään aina mahdollista yksiselitteisesti määrittää.

Loogisia paradokseja ei eroteta jäykästi kaikista muista paradokseista, samoin kuin viimeksi mainitut eivät erotu selvästi kaikesta ei-paradoksaalisesta ja johdonmukaisesti vallitsevien ideoiden kanssa.

Loogisten paradoksien tutkimuksen alussa näytti siltä, ​​että ne voidaan erottaa jonkin vielä tutkimattoman logiikan kannan tai säännön rikkomisesta. B. Russellin esittelemä "noidankehäperiaate" oli erityisen aktiivinen väittäessään sellaisen säännön roolia. Tämä periaate sanoo, että objektikokoelma ei voi sisältää jäseniä, jotka on määritelty vain samassa kokoelmassa.

Kaikilla paradokseilla on yksi yhteinen piirre - itsesoveltuvuus tai kiertokulku. Jokaisessa niistä kyseiselle esineelle on tunnusomaista jokin joukko esineitä, joihin se itse kuuluu. Jos valitsemme esimerkiksi henkilön luokan ovelimmaksi, teemme sen ihmisjoukon avulla, johon tämä henkilö myös kuuluu ("hänen luokkansa" avulla). Ja jos sanomme: "Tämä väite on väärä", luonnehdimme meitä kiinnostavaa lausuntoa viittaamalla kaikkien sen sisältävien väärien väitteiden kokonaisuuteen.

Kaikissa paradokseissa tapahtuu itsesoveltuvuutta, mikä tarkoittaa, että tapahtuu ikään kuin ympyräliikettä, joka johtaa lopulta lähtöpisteeseen. Yrittääksemme luonnehtia meitä kiinnostavaa kohdetta, käännymme esineiden joukkoon, joka sisältää sen. Osoittautuu kuitenkin, että se itse tarve vaatii tarkastelun kohteena olevan kohteen, eikä sitä voida selvästi ymmärtää ilman sitä. Tässä ympyrässä on ehkä paradoksien lähde.

Tilannetta mutkistaa kuitenkin se, että tällainen ympyrä esiintyy myös monissa täysin paradoksaalisissa argumenteissa. Pyöreä on valtava valikoima yleisimpiä, vaarattomia ja samalla käteviä ilmaisutapoja. Sellaiset esimerkit kuin "suurin kaikista kaupungeista", "pienin kaikista luonnollisista luvuista", "yksi rautaatomin elektroneista" jne. osoittavat, että kaikki itsesoveltuvuustapaukset eivät johda ristiriitaan ja että se on tärkeä ei vain tavallisessa kielessä, vaan myös tieteen kielessä.

Pelkkä viittaus itse sovellettavien käsitteiden käyttöön ei siis riitä kumoamaan paradokseja. Muutama lisäkriteeri tarvitaan paradoksiin johtavan itsesoveltuvuuden erottamiseksi kaikista muista tapauksista.

Tätä koskevia ehdotuksia on tehty monia, mutta kiertokulkuisuuden onnistunutta selvennystä ei ole löydetty. Kävi ilmi, että on mahdotonta luonnehtia kiertokulkua siten, että jokainen ympyräpäättely johtaa paradoksiin ja jokainen paradoksi on seurausta jostain ympyräpäättelystä.

Yritys löytää jokin tietty logiikkaperiaate, jonka rikkominen olisi kaikkien loogisten paradoksien erottuva piirre, ei johtanut mihinkään varmaa.

Jonkinlainen paradoksien luokittelu olisi epäilemättä hyödyllinen, jakamalla ne tyyppeihin ja tyyppeihin, ryhmittelemällä joitain paradokseja ja asettamalla ne toisille. Mitään kestävää ei kuitenkaan ole saavutettu tässäkään tapauksessa.

Englantilainen logiikka F. Ramsey, joka kuoli vuonna 1930, kun hän ei ollut vielä 27-vuotias, ehdotti kaikkien paradoksien jakamista syntaktisiin ja semanttisiin. Ensimmäinen sisältää esimerkiksi Russellin paradoksin, toinen - "valehtelijan", Grellingin jne.

F. Ramseyn mukaan ensimmäisen ryhmän paradoksit sisältävät vain logiikkaan tai matematiikkaan kuuluvia käsitteitä. Jälkimmäisiin kuuluvat sellaiset käsitteet kuin "totuus", "määriteltävissä oleva", "nimeäminen", "kieli", jotka eivät ole tiukasti matemaattisia, vaan liittyvät pikemminkin kielitieteeseen tai jopa tiedon teoriaan. Semanttiset paradoksit eivät näytä johtuvan jostain logiikkavirheestä, vaan joidenkin ei-loogisten käsitteiden epämääräisyydestä tai moniselitteisyydestä, joten niiden aiheuttamat ongelmat koskevat kieltä ja ne on ratkaistava kielitieteen avulla.

F. Ramseysta tuntui, että matemaatikoiden ja logiikkojen ei tarvitse olla kiinnostuneita semanttisista paradokseista.

Myöhemmin kuitenkin kävi ilmi, että osa modernin logiikan merkittävimmistä tuloksista saatiin juuri näiden "ei-loogisten" paradoksien syvemmän tutkimuksen yhteydessä.

F. Ramseyn ehdottama paradoksijako oli aluksi laajalti käytössä ja säilyttää jonkin verran merkitystä vielä nytkin. Samalla käy yhä selvemmäksi, että tämä jako on melko epämääräinen ja perustuu ensisijaisesti esimerkkeihin, ei näiden kahden paradoksiryhmän syvälliseen vertailevaan analyysiin. Semantiset käsitteet ovat nyt hyvin määriteltyjä, ja on vaikea olla huomaamatta, että nämä käsitteet ovat todellakin loogisia. Semantiikan kehittyessä, joka määrittelee peruskäsitteensä joukkoteorian kannalta, F. Ramseyn tekemä ero hämärtyy yhä enemmän.

Kirjasta Dialectic of Myth kirjoittaja Losev Aleksei Fjodorovitš

a) sensaatioon luottamuksen ylilooginen luonne; a) Totesimme nimittäin edellä, että tieto edellyttää loogisesti yliloogista vastakkainasettelua tietävän ja tunnetun välillä. On helppo nähdä, että tämä ei ole muuta kuin aistimuksen (tai havainnon) postulaatti. Toisin sanoen me

Kirjasta Materialism and Empiriocriticism kirjoittaja Lenin Vladimir Iljitš

1. MITÄ ON ASIA? MITÄ KOKEMUS ON? Ensimmäistä näistä kysymyksistä kiusaavat jatkuvasti idealistit, agnostikot, mukaan lukien machialaiset, materialisteille; toisen kanssa - materialisteja mahisteille. Yritetään selvittää, mistä tässä on kysymys. Avenarius sanoo ainekysymykseen: "Sisällä

Kirjasta Filosofian historia kirjoittaja Skirbekk Gunnar

Looginen positivismi Ensimmäisen ja toisen maailmansodan välillä, uutta filosofisia ajatuksia. Monia heistä stimuloi ei-klassisen fysiikan kehitys, ja niistä tuli loogisen positivismin vakava epistemologinen analyysi.

Kirjasta Introduction to Philosophy kirjailija Frolov Ivan

3. Looginen analyysi (B. Russell) Bertrand Russell (1872–1970) on maailmankuulu englantilainen tiedemies, filosofi ja julkisuuden henkilö. Kuusitoistavuotiaana hän luki Kummisensä J. S. Millin omaelämäkerran, joka teki häneen suuren vaikutuksen. peru milla

Kirjasta Social Philosophy kirjoittaja Krapivensky Solomon Eliazarovich

2. Looginen positivismi Vuonna 1922 Wienin yliopiston luonnonfilosofian laitokselle, jota E. Machin kuoleman jälkeen johti professori M. Schlick, kokoontui joukko nuoria tiedemiehiä, jotka asettivat itselleen rohkean tavoitteen - uudistaa. tiede ja filosofia. Tämä ryhmä on mukana

Kirjasta Länsi filosofia 1900-luvulla kirjoittaja Zotov Anatoli Fedorovitš

Historialliset ja loogiset menetelmät Yleisesti ottaen empiirisellä tasolla tieteellinen tieto ei sinänsä riitä tunkeutumaan asioiden olemukseen, mukaan lukien yhteiskunnan toiminta- ja kehitysmalleihin. Tietyssä vaiheessa, kun enemmän kuin

Kirjasta Jeesus Kristus Kirjailija: Kasper Walter

§ 1. B. Russellin looginen atomismi Loogisen positivismin "isoisät" ovat Moore ja Russell. Englantilaiset tutkijat korostavat yleensä Mooren (1873-1958) roolia. Se koostui siitä, että hän kiinnitti huomion filosofien käyttämien sanojen ja lausuntojen merkityksen analyysiin.

Kirjasta Theory of Consciousness kirjailija Priest Steven

3. Jumalan valtakunnan teologinen luonne Vanhan testamentin ja juutalaisuuden perinteessä Jumalan valtakunnan tuleminen tarkoittaa Jumalan tulemista. Eskatologisen toivon keskipiste oli Jumalan määräämä ja toteuttama ”Jehovan päivä”, päivä, jolloin Jumala on ”kaikki kaikessa”, jolloin

Kirjasta Vienna Circle. Neopositivismin ilmaantuminen kirjailija Kraft Victor

LUKU 2 LOOGINEN BEHIVIORISMI Looginen behaviorismi on teoria, jonka mukaan henkisessä tilassa oleminen tarkoittaa käyttäytymistilassa olemista. Ajatteleminen, toivominen, havaitseminen, muistaminen jne. - kaikki tämä tulee ymmärtää joko käyttäytymisenä tai omistamisena

Kirjasta Chaos and Structure kirjoittaja Losev Aleksei Fjodorovitš

II. KIELEN LOOGINEN ANALYYSI Matematiikan teoreettiseen rakentamiseen on kehitetty uusi logiikka. Wienin piirissä siitä tuli yleensä keino luoda tiedeteoriaa. Toisin kuin puhdas logiikka, sovellettua logiikkaa käytettiin jalostamaan filosofiaa

Kirjasta Oikea ajattelun taito kirjoittaja Ivin Aleksanteri Arhipovitš

15. INFINITESIMAALI-LOGINEN SANAKIRJAb Tämä päättää meidän lyhyt viesti infinitesimaalien menetelmän soveltamisesta logiikkaan. Pikemminkin tämä ei ole viesti, vaan vain ehdotus, vain vaatimaton vihje alueesta, joka ei voi olla valtava. Logiikka ja matematiikka eivät ole

Kirjasta Filosofia. Kirja kolme. Metafysiikka kirjoittaja Jaspers Karl Theodor

MIKÄ ON LOOGINEN PARADOKSI? Ei ole olemassa tyhjentävää luetteloa loogisista paradokseista. Käsitellyt loogiset paradoksit ovat vain osa kaikista tähän mennessä löydetyistä. On todennäköistä, että monia muita avataan tulevaisuudessa.

Kirjasta Marxilainen filosofia 1800-luvulla. Ensimmäinen kirja (Marxilaisen filosofian syntymisestä sen kehitykseen XIX vuosisadan 50-60-luvuilla) kirjoittaja

2. Looginen romahdus - Se, mitä voidaan osoittaa tai mikä on todistettava, on lopullinen tieto jostakin erityisestä. Olemassaoloa ja transsendenssia tämän olennon merkityksessä ei ole olemassa. Jos ajattelemme niitä, ajatus saa loogiset muodot, mikä

12 aikamme johtavan filosofin kirjasta kirjoittanut Camp Gary

"Loogiset" ja "historialliset" tutkimusmenetelmät "Pääomassa", erityisesti sen neljännessä osassa, heijastui tärkeä epistemologinen ongelma objektin teorian loogisen rakentamisen ja sen historiallisten tutkimusmenetelmien välisestä suhteesta - toinen /

Kirjasta Logic. Opetusohjelma kirjoittaja Gusev Dmitri Aleksejevitš

Carnapin looginen positivismi Looginen positivismi on empirismin muunneltu muoto. Empirismi puhtaimmassa muodossaan on oppi, jonka mukaan kaikki tieto tulee aistikokemuksesta. Looginen positivismi näyttää heikommalta kuin se yhdessä suhteessa. tärkeä pointti, mutta vahvempi sisään

Kirjailijan kirjasta

2.9. Looginen neliö Yksinkertaisten vertailukelpoisten väitteiden väliset suhteet on kuvattu kaavamaisesti käyttämällä keskiaikaisten logiikkojen kehittämää loogista neliötä. Kuten näet, neliön kärjet tarkoittavat neljää yksinkertaista tuomiota, ja sen sivut ja