looginen vakio

Määritelmä loogisen kielen synkategoremaattinen symboli, jonka merkitys määrittyy pelkästään sen totuusmääritelmästä ja on siksi sama kaikissa malleissa

Selite Loogiset vakiot ovat loogisten kielten synkategoremaattisia termejä, jotka eivät viittaa suoraan maailmaan, vaan joiden merkitysvaikutus palautuu niiden yhteyteen liitettyihin ei-loogisiin, ts. sisällöllisiin termeihin. Lauselogiikan konnektiivit (kuten "ja", "tai" ja "ei ole niin, että..."), predikaattilogiikan kvanttorit (kuten "kaikki" ja "joku") sekä modaalioperaattorit (kuten "on välttämätöntä että...") ovat esimerkkejä loogisista vakioista.

Lähikäsitteet

ei-looginen vakio (vastakohta)
konnektiivi (ominaisuuden kantaja)
kvanttori (ominaisuuden kantaja)
looginen kieli (kokonaisuuskäsite)
synkategoremaattinen (yläkäsite)

Käytetyt lähteet

RaatikainenP1997

Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 20.4.2024: Filosofia:looginen vakio. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:looginen vakio.)

Siirry tarkastelemaan sivun muokkaushistoriaa →