Skip to main content
All libraries

Johdatus modaalilogiikkaan

Johdatus modaalilogiikkaan tutkii modaalikäsitteiden filosofisia ja matemaattis-loogisia ongelmia. Sen käsitteellisenä lähtökohtana on mahdollisten maailmojen semantiikka. Teoksessa tarkastellaan modaalilogiikan perusteita filosofisesta, historiallisesta ja osittain formaalista näkökulmasta. Lisäksi siinä keskitytään modaalilogiikan matemaattiseen ja formaaliin puoleen ja esitetään useiden keskeisten tulosten täsmälliset todistukset. Formaalit tarkastelut ovat havainnollisia, ja jotkut käsitteet esitellään nimenomaan esimerkkien avulla. Teosta voidaan käyttää oppikirjana logiikan erikoiskursseilla filosofiassa, matematiikassa, tietojenkäsittelytieteessä ja muissa oppiaineissa, joissa modaalikäsitteitä tarvitaan. Se soveltuu myös itseopiskeluun, sillä se sisältää runsaasti esimerkkejä ja harjoituksia, jotka havainnollistavat ja täydentävät esiteltyjä teorioita. Kirjaa tai sen osia ei voi tulostaa.

FIN EISBN: 9789524956222

Available with these library cards


Espoo-Esbo, Helsinki-Helsingfors, Kauniainen-Grankulla, Vantaa-Vanda
Helmet-kirjastot.

Asikkala, Hartola, Heinola, Hollola, Kärkölä, Lahti-Lahtis, Orimattila, Padasjoki, Sysmä
Lastu-kirjastot.

Eura, Eurajoki-Euraåminne, Harjavalta, Honkajoki, Huittinen, Jämijärvi, Kankaanpää, Karvia, Kokemäki-Kumo, Merikarvia-Sastmola, Nakkila, Pomarkku-Påmark, Pori-Björneborg, Rauma-Raumo, Siikainen, Säkylä, Ulvila-Ulvsby
Satakirjastot.

You may be interested in...

Matkani futaajaksi : juniorijalkapalloilijan

Virtanen, Ari; Harkkila, Johanna

Logiikka: Perusteet

Miettinen, Seppo K

Johdatus modaalilogiikkaan

Virtanen, Ari; Rantala, Veikko

Logiikka

Priest, Graham

Logiikka

Miettinen, Seppo K.