Filosofia:ei-looginen vakio
ei-looginen vakio
| ei-looginen vakio |
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
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.)