Keskustelu Filosofia:modaalilogiikka
Sisältö Viimeisin muokkaus::20140930100645#Mediawiki
Ketjun otsikko | Vastauksia | Viimeksi muokattu |
---|---|---|
Modaalilogiikan määrittelystä | 3 | 30. syyskuuta 2014 kello 10.57 |
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ä.