logika

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

Każdy język w pierwszym rzędzie konstytuują reguł wyznaczające jego podstawowe wyrażenia zwane słowami. Ponieważ ogół słów danego języka stanowi jego słownik, dlatego te reguły nazywamy regułam ustalającymi słownik danego języka.

reguły gramatyczne

Oprócz reguł ustalających słownik danego języka inne jeszcze reguł interweniują przy budowie jego wyrażeń. Nazywamy je regułami gramatycznymi.

reguły ustalające kategorie gramatyczne

Kwalifikują w łaśnie poszczególne słowa oraz złożone wyrażenia danego języka jako elementy określonych jego kategorii gramatycznych.

kategoria gramatyczna danego języka

Zbiór tych wszystkich wyrażeń określonego języka, któe pozwalają się wzajemnie zastępować w dowolnym zdaniu owego języka, dając w efekcie zdanie danego języka, nazywamy kategorią gramatyczną danego języka.

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

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

reguły formowania

Reguły gramatyczne oraz reguł ustalające słownik tworzą łącznie reguły formowania.

reguły dedukcyjne

Reguły wyróżniająće pewne zdania określonego języka jako zdania prawdziwe nazywamy regułąmi dedukcyjnymi.

tezy danego języka

Zdania wyróżnione jako prawdziwe przez reguł dedukcyjne.

reguły aksjomatyczne

Wyróżniają pewne zdania jako prawdziwe niezależnie od wartości logicznej jakichkolwiek innych zdań.

aksjomaty danego języka

Zdania wyróżnione jako tezy przez reguł aksjomatyczne.

reguły inferencyjne

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

konsekwencje inferencyjne danej tezy

Bezpośrednie oraz posednie konsekwencje inferencyjne danej tezy.

bezpośrednia konsekwencja inferencyjna danej tezy

Zdanie zakwalifikowane jako teza w wyniku jednokrotnego zastosowania reguły inferencyjnej do określonej tezy.

pośrednia konsekwencja inferencyjna

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

tautologie

Zdania powstałę z tez rachunku zdań oraz tez rachunku predykatów.

reguły skłądniowe

Reguł dedukcyjne wraz z regułąmi formowania stanowią reguł składniowe danego języka.

kontrtezy danego języka

Zaprzeczenia tez danego języka.

kontrtautologie

Zaprzeczenia tez danego języka.

reguły semantyczne

Język ukonstytuowany jedynie przez reguły skłądniowe stanowi tak zwany czysty rachunek, który wymaga dopiero stosownego zintepretowania. Dokonują tego konstytuujące go reguł semantyczne.

reguły odniesienia przedmiotowego

Dzielą się z kolei na reguł ustalające uniwersum danego języka oraz reguły denotowania.

uniwersum danego języka

Zbió obiektów, do którego odnosi się każdy jezyk i któych włąściowości oraz wzajemne powiązania opisuje.

reguły ustalaające uniwersum danego języka

Reguły, które wyznaczają uniwersum danego języka.

reguły denotowania

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

reguły prawdziwościowe

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

Znaczeniem określonego wyrażenia w danym języku nazywami...

... własność przyslugującą temu wyrażeniu oraz wszystkim wyrażeniom owego języka z nim równoznacznym.