Tieteen termipankki
fi intensionaaliset logiikat
en intensional logics
määritelmä
logiikat, jotka sisältävät intensionaalisia käsitteitä tai termejä
logiikat, jotka sisältävät intensionaalisia käsitteitä tai termejä
selite
Intensionaalisissa logiikoissa on loogisia vakioita, joiden merkitys ei määrity ekstensionaalisesti. Esim. aleettiset modaalioperaattorit "on mahdollista että", ◊, ja "on välttämätöntä että", □, ovat intensionaalisia loogisia vakioita sillä lauseen "on välttämätöntä että A", □A, totuus ei riipu vain siitä sattuuko A olemaan tosi tai ei, vaan myös siitä millä tavalla A on tosi. Muita intensionaalisia logiikoita ovat mm. deonttiset logiikat, jotka tutkivat velvollisuutta ja sallittavuutta sekä lukuisat propositionaalisten asenteiden logiikat, kuten tietämisen ja uskomisen logiikkaa tutkiva episteeminen logiikka.
Intensionaalisissa logiikoissa on loogisia vakioita, joiden merkitys ei määrity ekstensionaalisesti. Esim. aleettiset modaalioperaattorit "on mahdollista että", ◊, ja "on välttämätöntä että", □, ovat intensionaalisia loogisia vakioita sillä lauseen "on välttämätöntä että A", □A, totuus ei riipu vain siitä sattuuko A olemaan tosi tai ei, vaan myös siitä millä tavalla A on tosi. Muita intensionaalisia logiikoita ovat mm. deonttiset logiikat, jotka tutkivat velvollisuutta ja sallittavuutta sekä lukuisat propositionaalisten asenteiden logiikat, kuten tietämisen ja uskomisen logiikkaa tutkiva episteeminen logiikka.
Luokitus: |
| |||
Lähde: |
|
Käsitteet samalla hierarkiatasolla: ajallinen modaliteetti, aleettiset modaliteetit, de dicto/de re-modaliteetit, deonttiset modaliteetit, episteeminen modaliteetti, kontingenssi, looginen modaliteetti ja mahdollisuus
Hierarkkiset alakäsitteet: deonttinen logiikka ja modaalilogiikka
Koostumussuhteinen alakäsite: tiukka implikaatio