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

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

Lähikäsitteet

looginen kieli (kokonaisuuskäsite)
looginen vakio (vastakohta)

Käytetyt lähteet

Rantala&Virtanen2003

Alaviitteet

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

Siirry tarkastelemaan sivun muokkaushistoriaa →