9 suhted: Aleetilised modaalsused, Deontiline loogika, Formaalloogika, Lauseloogika, Matemaatiline loogika, Modaalsus, Paratamatus, Predikaatloogika, Võimalikkus.
Aleetilised modaalsused
Aleetilised modaalsused on paratamatu tõesusega seotud modaalsused.
Uus!!: Modaalne loogika ja Aleetilised modaalsused · Näe rohkem »
Deontiline loogika
Deontiline loogika on modaalloogika haru, mis uurib niisuguste sõnade (ja mõistete) nagu "lubatav" ("lubatud"), "lubamatu" ("keelatud"), "kohustuslik" ("kohustus", "kohus", "nõutav", "mittekohustuslik", "fakultatiivne", "peaks", "peab", "ülemäärane", "tähtsusetu", "tähtis", "vähim, mida teha annab", "parem kui", "parim", "hea", halb", "nõue", "vabadus", "võim", "immuniteet" vahelisi loogilisi suhteid. Koos episteemilise loogika ja ratsionaalse valiku teooriaga on deontoloogiline loogika üks filosoofia valdkondi, mis uurib normatiivseid mõisteid ja normatiivseid väljendeid.
Uus!!: Modaalne loogika ja Deontiline loogika · Näe rohkem »
Formaalloogika
Formaalloogika ehk formaalne loogika tegeleb sellega, kuidas järeldada tõestest väidetest tõeseid väiteid, kuid reeglina ei ütle, millised väited on tõesed.
Uus!!: Modaalne loogika ja Formaalloogika · Näe rohkem »
Lauseloogika
Lauseloogika ehk lausearvutus on loogika valdkond, mis uurib tõefunktsionaalseid tehteid propositsioonidega (loogikatehteid).
Uus!!: Modaalne loogika ja Lauseloogika · Näe rohkem »
Matemaatiline loogika
Matemaatiline loogika ehk sümbolloogika on matemaatika haru, mis uurib matemaatilisi tõestusi ja matemaatika aluseid.
Uus!!: Modaalne loogika ja Matemaatiline loogika · Näe rohkem »
Modaalsus
Modaalsus on filosoofias laad ja viis, kuidas miski on, näib või kuidas sellest mõeldakse.
Uus!!: Modaalne loogika ja Modaalsus · Näe rohkem »
Paratamatus
Paratamatus tuleneb nähtuste olemusest, seadusest ja korrast.
Uus!!: Modaalne loogika ja Paratamatus · Näe rohkem »
Predikaatloogika
Predikaatloogika ehk predikaatarvutus on lauseloogika laienduste klass, kus lisaks lausesümbolitele ja konnektoritele on kasutusel vähemalt predikaadisümbolid, indiviidikonstandid, muutujad (indiviidimuutujad) ja kvantorid.
Uus!!: Modaalne loogika ja Predikaatloogika · Näe rohkem »
Võimalikkus
Võimalikkus (kreeka keeles dynamis, ladina keeles possibilitas, potentia, saksa keeles Möglichkeit) on Loogiline võimalikkus ja reaalne võimalikkus ei ole mitte asja omadused, vaid üksnes mõtlemise ja selle objektide suhte (Beziehung) või senisele tunnetusele põhineva fakti oodatavuse (die Erwartung eines Tatbestandes auf Grund der bisherigen Erkenntnis) väljendus (Ausdruck).
Uus!!: Modaalne loogika ja Võimalikkus · Näe rohkem »