Filosofia:intensionaaliset logiikat

intensionaaliset logiikat

intensionaaliset logiikat

Definition logiikat, jotka sisältävät intensionaalisia käsitteitä tai termejä

Explanation 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.

Equivalents

intensional logics

englanti

Related Concepts

• looginen modaliteetti (vieruskäsite)
• modaliteetti (yläkäsite)
• ajallinen modaliteetti (vieruskäsite)

Sources

RantalaV&VirtanenA

References

Lähdeviittaus tähän sivuun:
Tieteen termipankki 4.3.2021: Filosofia:intensionaaliset logiikat. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:intensionaaliset logiikat.)

Siirry tarkastelemaan sivun muokkaushistoriaa →