Filosofia:intensionaaliset logiikat

From Tieteen termipankki
Jump to: navigation, search

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 logicsenglanti

Related Concepts

Sources

RantalaV&VirtanenA

References

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


Siirry tarkastelemaan sivun muokkaushistoriaa →