języka ale od początku

reguły odniesienia przedmiotowego

są to reguły które dzielą się na reguły ustalające uniwersum danego języka oraz reguły denotowania.

reguły prawdziwościowe

są to reguły, które określają warunki, pod jakimi poszczególne zdania danego języka są zdaniami prawdziwymi.

reguły ustalające uniwersum danego języka

są to reguły wyznaczające uniwersum określonego języka.

reguły denotowania

są to reguły, które przyporządkowują poszczególnym wyrażeniom określone obiekty, czyli wskazują, co poszczególne wyrażenia oznaczają.

uniwersum danego języka

jest to zbiór obiektów, których właściwości i wzajemne powiązania opisuje określony język.

reguły dedukcyjne

są to reguły wyróżniające pewne zdania określonego języka jako zdania prawdziwe.

tezy danego języka

są to zdania określonego języka wyróżnione jako prawdziwe przez reguły dedukcyjne tego języka.

reguły aksjomatyczne

są to reguły, które wyróżniają pewne zdania jako prawdziwe niezależnie od wartości logicznej jakichkolwiek innych zdań.

aksjomaty danego języka

są to zdania wyróżnione jako tezy przez reguły aksjomatyczne.

reguły inferencyjne

są to reguły wyróżniające pewne zdania jako prawdziwe pod warunkiem, że wyróżnione są jako prawdziwe określone inne zdania danego języka.

Bezpośrednia konsekwencja inferencyjna danej tezy

jest to zdanie zakwalifikowane jako teza w wyniku jednokrotnego zastosowania jednej reguły inferencyjnej do określonej tezy.

pośrednia konsekwencja inferencyjna danej tezy

jest to zdanie zakwalifikowane jako teza w wyniku wielokrotnego zastosowania jednej reguły inferencyjnej lub zastosowaniu wielu reguł inferencyjnych do określonej tezy.

konsekwencje inferencyjne danej tezy

są to bezpośrednie oraz pośrednie konsekwencje inferencyjne danej tezy.

tautologie

są to zdania powstałe z tez rachunku zdań oraz tez rachunku predykatów.

reguły składniowe

są to wyznaczające tezy danego języka reguły dedukcyjne wraz z regułami formowania.

kontrtezy danego języka

są to zaprzeczenia tez danego języka.

kontrtautologie

sa to zaprzeczenia tautologii.

reguły ustalające słownik danego języka

są to reguły, które wyznaczają podstawowe wyrażenia tego języka zwane słowami.

reguły gramatyczne

są to reguły interweniujące przy budowie wyrażeń danego języka. Dzielą się na reguły ustalające kategorie gramatyczne i reguły ustalające sposób budowania wyrażeń złożonych z wyrażeń o określonych kategoriach gramatycznych.

kategoria gramatyczna danego języka

jest to zbiór tych wszystkich wyrażeń określonego języka, które pozwalają się wzajemnie zastępować w dowolnym zdaniu owego języka, dając w efekcie zdanie tego języka.

Reguły ustalające sposób budowania wyrażeń złożonych z wyrażeń o określonych kategoriach gramatycznych

ustalają sposób łączenia wyrażeń prostszych w wyrażenia bardziej złożone.

reguły formowania

są to reguły gramatyczne oraz reguły ustalające słownik.