Filosofia:ei-looginen vakio

Tieteen termipankista

ei-looginen vakio

ei-looginen vakio
Määritelmä loogisen kielen sisällöllinen, maailmaan tai maailmoihin viittaava aakkoston merkki
Selite

Loogisten kielten merkit voidaan jakaa kahteen luokkaan loogisiin ja ei-loogisiin symboleihin. Loogiset symbolit ovat loogisia vakioita, muuttujia tai sulkumerkkien kaltaisia "välimerkkejä". Tavallisessa 1. kertaluvun predikaattilogiikassa ei-loogisia symboleita kutsutaan usein ei-loogisiksi vakioiksi, koska niillä on vakiomerkitys kussakin tulkinnassa, mallissa tai mahdollisessa maailmassa lausekontekstista riippumatta toisin kuin muuttujilla, joiden kahden eri esiintymiän merkitys voi erota yhdessäkin lauseessa tai ilmaisussa. Loogisilla vakioilla puolestaan on sama merkitys kaikissa tulkinnoissa tai malleissa.
Predikaattilogiikan ei-loogisia vakioita ovat

  1. predikaattisymbolit, joita voi olla yksi- tai useampipaikkaisia ja jotka merkitsevät yleiskäsitteitä (ominaisuus-, laji- ja suhdekäsitteitä) sekä
  2. yksilövakiosymbolit, jotka viittaavat yksilöolioihin samalla tavalla kuin luonnollisten kielten erisnimet.

Lähikäsitteet

Käytetyt lähteet

Rantala&Virtanen2003

Alaviitteet

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