Filosofia:intensionaaliset logiikat
intensionaaliset logiikat
| intensionaaliset logiikat |
Määritelmä
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.
Erikieliset vastineet
| intensional logics | englanti (English) |
Lähikäsitteet
- ajallinen modaliteetti (vieruskäsite)
- looginen modaliteetti (vieruskäsite)
- modaliteetti (yläkäsite)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.11.2024: Filosofia:intensionaaliset logiikat. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:intensionaaliset logiikat.)