3818438091

Rozdział V Język

1    Reguły ustalające słownik danego języka jest to ogól słów danego języka stanowiący jego słownik.

2    Reguły gramatyczne dzielimy 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.

3    Kategoria gramatyczna danego języka to zbiór tych wszystkich wyrażeń określonego języka, które pozwalają się wzajemnie zastępować w dowolnym zdaniu owego języka.

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

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

6    Tezy danego języka to sam wyróżnione przez reguły dedukcyjne zdania.

7    Reguły dedukcyjne danego języka dzielą się na reguły aksjomatyczne i reguły inferencyjne

8    Aksjomaty danego języka to zdania wyróżnione jako tezy przez reguły aksjomatyczne.

9    Bezpośrednia konsekwencja inferencyjna danej tezy to zdania zakwalifikowane jako teza w wyniku jednokrotnego zastosowania jednej reguły inferencyjnej do określonej tezy.

10    Pośrednia konsekwencja inferencyjna to zdanie zakwalifikowane jako teza w wyniku wielokrotnego zastosowania jednej reguły inferencyjnej lub zastosowania wielu reguł mferencyjnych do określonej tezy.

11    Konsekwencje inferencyjne danej tezy to bezpośrednie oraz pośrednie konsekwencje inferencyjne danej tezy.

12    Tautologia to zdanie powstałe z tez rachunku zdań oraz tez rachunku predykatów.

13    Reguły składniowe danego języka tworzą reguły formowania oraz konsekwencje inferencyjne

14    Kontrteza danego języka to zaprzeczenie tez danego języka.

15    Kontrtautologia to zaprzeczenie tautołogir danego języka.

16    Reguły' semantyczne to reguły, które stosownie interpretują język, dzielą się one na reguły odniesienia przedmiotowego i reguły prawdziwościowe.

17    Reguły' odniesienia przedmiotowego dzielą się natomiast na reguły ustalające uniwersum danego języka i reguły denotowania.

18    Uniwersum danego języka to zbiór obiektów danego języka, których właściwości i wzajemne powiązania opisują ten język.

19    Zdanie Z1 danego języka jest równoznaczne ze zdaniem Z2 dane go języka, wtedy, gdy teza owego języka jest implikacja, której poprzednik stanowi zdanie Zl, a następnik stanowi zdanie Z2, oraz tezą owego języka jest implikacja, której poprzednik stanowi zdanie Z2, a następnik stanowi zdanie Zl.

20    Niezdaniowe wyrażenie W1 jest równoznaczne w' danym języku z niezdaniowym zdaniem W2 wtedy, gdy wszelkie dwa zdania tego języka tym się tylko różniące, że w