Browsing by Author "Koivupalo, Heikki Tapani"

Tutkielmassa esitellään fregeläisen logiikan yleistys ja todistetaan yhdenmukaisia malleja koskevia tuloksia. Kun fregeläisessä logiikassa lauseiden referenssien joukossa on tasan kaksi alkiota - tosi ja epätosi - fregeläisen logiikan yleistyksessä kyseisen joukon mahtavuudelle ei aseteta ylärajaa. Referenssejä kutsutaan tilanteiksi, ja lisäksi oletetaan, että tilanteita on vähintään kaksi. Tuloksena on logiikka, joka on loogisesti kaksiarvoinen mutta ontologisesti ei. Yhdenmukainen malli tekee syntaktisesta ja semanttisesta seurauskuvauksesta samat. Aluksi osoitetaan, että eräällä syntaktisella seurauskuvauksella on yhdenmukainen malli. Tämän jälkeen todistetaan, että kyseinen malli on ylinumeroituva. Viimeiseksi näytetään, että sellaisia syntaktisia seurauskuvauksia, joilla on yhdenmukainen malli, on ylinumeroituvasti.