Modaalilogiikan määrittelystä

Ehdotan, että modaalilogiikan määrittelyn pohjana käytettäisiin Stanford Encyclopedia of Philosophyn artikkelia samasta aiheesta. Lisäksi ehdotan, että määrittelyyn sisällytettäisiin yleisien modaalioperaattoreiden ("timantti" ja "boksi") määrittelyt. Lisään itse mielelläni määritelmän ja selitteen, mikäli tämä käytäntö kuulostaa hyvältä.

SEP: http://plato.stanford.edu/entries/logic-modal/#QuaModLog

Hei, sopii ilman muuta, englanninkieliseen sivuun ei kannata kuitenkaan laittaa linkkiä vaikka sitä voi toki käyttää lähteenä (hyvä lähde onkin!). Tuolla termisivullahan ei ole vielä muuta kuin pikaisesti paikantäyttäjäksi keksitty väliaikainen määritelmä.

Hei! Ok, teen siis näin. (Pyrin tekemään joitakuita filosofian määritelmiä osana yliopiston Käsiteanalyysi ja termityö -kurssia, ja arvostan runsaasti palautetta ja keskustelua aiheesta.)

Hyvä juttu, työn iloa! Koitan seurata muutoksia filosofian alueella...