término  |
definición |
reguły ustalające słownik danego języka empezar lección
|
|
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.
|
|
|
|
empezar lección
|
|
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 empezar lección
|
|
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 empezar lección
|
|
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 empezar lección
|
|
Reguły te ustalają sposó łączenia wyrażeń prostszych w wyrażenia bardziej złożone.
|
|
|
|
empezar lección
|
|
Reguły gramatyczne oraz reguł ustalające słownik tworzą łącznie reguły formowania.
|
|
|
|
empezar lección
|
|
Reguły wyróżniająće pewne zdania określonego języka jako zdania prawdziwe nazywamy regułąmi dedukcyjnymi.
|
|
|
|
empezar lección
|
|
Zdania wyróżnione jako prawdziwe przez reguł dedukcyjne.
|
|
|
|
empezar lección
|
|
Wyróżniają pewne zdania jako prawdziwe niezależnie od wartości logicznej jakichkolwiek innych zdań.
|
|
|
|
empezar lección
|
|
Zdania wyróżnione jako tezy przez reguł aksjomatyczne.
|
|
|
|
empezar lección
|
|
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 empezar lección
|
|
Bezpośrednie oraz posednie konsekwencje inferencyjne danej tezy.
|
|
|
bezpośrednia konsekwencja inferencyjna danej tezy empezar lección
|
|
Zdanie zakwalifikowane jako teza w wyniku jednokrotnego zastosowania reguły inferencyjnej do określonej tezy.
|
|
|
pośrednia konsekwencja inferencyjna empezar lección
|
|
Zdanie zakwalifikowane jako teza w wyniku wielokrotnego zastosowania jednej reguły inferencyjnej lub zastosowania wielu reguł inferencyjnych do określonej tezy.
|
|
|
|
empezar lección
|
|
Zdania powstałę z tez rachunku zdań oraz tez rachunku predykatów.
|
|
|
|
empezar lección
|
|
Reguł dedukcyjne wraz z regułąmi formowania stanowią reguł składniowe danego języka.
|
|
|
|
empezar lección
|
|
Zaprzeczenia tez danego języka.
|
|
|
|
empezar lección
|
|
Zaprzeczenia tez danego języka.
|
|
|
|
empezar lección
|
|
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 empezar lección
|
|
Dzielą się z kolei na reguł ustalające uniwersum danego języka oraz reguły denotowania.
|
|
|
|
empezar lección
|
|
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 empezar lección
|
|
Reguły, które wyznaczają uniwersum danego języka.
|
|
|
|
empezar lección
|
|
Reguły odniesienia przedmiotowego, które określają warunki, pod jakimi poszczególne zdania danego języka są zdaniami prawdziwymi.
|
|
|
|
empezar lección
|
|
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... empezar lección
|
|
... własność przyslugującą temu wyrażeniu oraz wszystkim wyrażeniom owego języka z nim równoznacznym.
|
|
|
