Syntaktyka (logika): Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m źródła/przypisy |
drobne techniczne, WP:SK |
||
Linia 1:
'''Syntaktyka''' – jeden z trzech głównych działów [[semiotyka (logika)|semiotyki]], obok [[semantyka (logika)|semantyki]] i [[pragmatyka|pragmatyki]]. Syntaktyka bada funkcje syntaktyczne – relacje, które zachodzą między [[wyrażenie|wyrażeniami]] ([[Znak (semiotyka)|znakami]] językowymi) wewnątrz języka i które mają charakter formalny. Podstawowe relacje syntaktyczne to np. [[Implikacja logiczna|implikacja]] (wynikanie) czy reprezentowanie stałych przez zmienne.
Syntaktyka, jako nauka o formalnych relacjach między znakami językowymi, stanowi zbiór reguł pozwalających na składanie (formowanie) wyrażeń oraz na ich transformację. Reguły formowania wyrażeń pozwalają poprawnie łączyć wyrażenia w wyrażenia bardziej złożone. Reguły transformacji wyrażeń, np. reguły dedukcyjne takie jak reguła podstawiania czy reguła odrywania, pozwalają poprawnie otrzymywać jedne wyrażenia z innych – w ten sposób, by ich właściwości, rozumiane jako przynależenie do pewnego systemu wyrażeń, pozostały zachowane.
== Bibliografia ==
* {{cytuj książkę | autor = Witold Marciszewski (red. naukowy) | tytuł = Mała encyklopedia logiki | wydawca = Zakład Narodowy im. Ossolińskich | miejsce = Wrocław | rok = 1988 | strony = | isbn = 83-04-01327-4
== Linki zewnętrzne ==
* [http://www.pts.edu.pl/page43.php Polskie Towarzystwo Semiotyczne: SEMIOTYCZNA E-BIBLIOTECZKA]
[[
[[de:Syntaktik]]
|