Filosofia:looginen vakio
looginen vakio
| 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
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.11.2024: Filosofia:looginen vakio. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:looginen vakio.)