Definition av objektspråk
- språk som beskrivs av annat språk (t.ex. språkvetenskap)
Det språk man använder metaspråk för att tala om kallas objektspråk.
Tarski drar slutsatsen att sanningsvillkoren för ett objektspråk O endast kan uttryckas i ett språk på högre nivå, ett så kallat metaspråk.
Metalogiken har sitt eget system av begrepp, utöver objektspråkens, för att kategorisera systemen och beskriva deras egenskaper.
Not: Ordklasser och siffror hänvisar till synonymordboken överst. Exempelmeningarna kommer i huvudsak från svenska dagstidningar, tidskrifter, romaner, wikipedia och SVT.
Här kan du rösta på bidrag från andra användare. Dina röster hjälper oss att avgöra vilka bidrag som ska läggas till i ordboken.
För mer information, klicka på informations-ikonen nedan.
Här kan du rösta på bidrag från andra användare. Dina röster hjälper oss att avgöra vilka bidrag som ska läggas till i ordboken.
Du kan ge bidraget en positiv, negativ eller blank röst. Du kan rösta på så många bidrag du vill. När du har röstat på ett bidrag kommer du automatiskt att få ett nytt bidrag att rösta på. Om det inte finns några fler bidrag att rösta på försvinner den här rutan.
Tack för att du hjälper oss att göra vår levande ordbok bättre!
Hebreiskt namn som betyder fader till många eller folkets fader.
Besläktade namn: Ibrahim