Wersja z 21:25, 21 paź 2007 edytuj 84.38.105.143 (dyskusja) literowki ← poprzednia edycja		Wersja z 09:07, 14 cze 2008 edytuj anuluj edycję 83.4.139.72 (dyskusja) poprawa linków następna edycja →
Linia 1: '''Syntaktyka''' - jeden z trzech głównych (obok [[semantyka ~~(logika)~~\|semantyki]] i [[pragmatyka (logika)\|pragmatyki]] działów [[semiotyka (logika)\|semiotyki logicznej]]. Syntaktyka bada funkcje syntaktyczne - relacje, które zachodzą między [[wyrażenie\|wyrażeniami]] ([[znak]]ami językowymi) wewnątrz języka i które mają charakter formalny. Podstawowe relacje syntaktyczne to np. [[wynikanie]], [[reprezentowanie]] stałych przez zmienne itp. 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 zachowane pozostały ich określone właściwości, tj. przynależenie do pewnego systemu wyrażeń.

Syntaktyka (logika): Różnice pomiędzy wersjami