10 suhteet: Deonttinen logiikka, Doksastinen logiikka, Episteeminen logiikka, Logiikka, Mahdollisuus, Modaliteetti, Propositiologiikka, Rekursio, Temporaalilogiikka, Välttämättömyys.
Deonttinen logiikka
Deonttinen logiikka eli normilogiikka on modaalilogiikan alue, joka käsittelee välttämättömyyttä (tai velvollisuutta), mahdollisuutta (tai luvallisuutta) ja näihin liittyviä käsitteitä (kuten pakollinen, sallittu, kielletty).
Uusi!!: Modaalilogiikka ja Deonttinen logiikka · Katso lisää »
Doksastinen logiikka
Doksastinen (.
Uusi!!: Modaalilogiikka ja Doksastinen logiikka · Katso lisää »
Episteeminen logiikka
Episteeminen logiikka on modaalilogiikan alue, joka käsittelee tietoon liittyvää päättelyä ja käsitteitä, kuten "verifioitu", "mahdollisesti tosi" ja "mahdoton".
Uusi!!: Modaalilogiikka ja Episteeminen logiikka · Katso lisää »
Logiikka
Logiikka (kreikan sanasta λογική, johdettu sanasta λόγος, ”sana”, ”järjestys”, ”järki”) on tieteenala, joka tutkii päättelyn ja ajattelun muotoja, erityisesti deduktiivista päättelyä.
Uusi!!: Modaalilogiikka ja Logiikka · Katso lisää »
Mahdollisuus
Mahdollisuus viittaa johonkin, mikä voi tapahtua.
Uusi!!: Modaalilogiikka ja Mahdollisuus · Katso lisää »
Modaliteetti
Modaliteetti (Psykologiassa modaliteetilla tarkoitetaan yleensä aistikanavaa, esimerkiksi näkö, kosketus tai kuulo. Lääketieteellisessä tekniikassa ja radiologiassa modaliteetti tarkoittaa erilaisia menetelmiä, joilla tutkimus voidaan suorittaa, esimerkiksi röntgenkuvaus, magneettikuvaus tai ultraääni.
Uusi!!: Modaalilogiikka ja Modaliteetti · Katso lisää »
Propositiologiikka
Propositiologiikka eli lauselogiikka on symbolisen logiikan alue, jossa tutkitaan propositiosymboleja ja loogisia konnektiiveja sisältävien formaalikielen lauseiden ominaisuuksia.
Uusi!!: Modaalilogiikka ja Propositiologiikka · Katso lisää »
Rekursio
Rekursio on matemaattinen keino määritellä funktioita niin, että funktion arvo tietyssä pisteessä riippuu funktion arvosta edellisessä pisteessä.
Uusi!!: Modaalilogiikka ja Rekursio · Katso lisää »
Temporaalilogiikka
Temporaalilogiikka eli temporaalinen logiikka on modaalilogiikan alue, joka käsittelee aikaan liittyvää päättelyä ja käsitteitä.
Uusi!!: Modaalilogiikka ja Temporaalilogiikka · Katso lisää »
Välttämättömyys
Välttämättömyys viittaa johonkin, mikä ei voisi olla toisin.
Uusi!!: Modaalilogiikka ja Välttämättömyys · Katso lisää »
Uudelleenohjaukset tässä:
Aleettinen logiikka, Aleettinen modaalilogiikka, Modaalifilosofia.