Logika dla prawników/Kategorie syntaktyczne

« Logika dla prawników
Kategorie syntaktyczne
»
Język Nazwy
Spis treści

Kategorie syntaktyczne

edytuj

Przypomnijmy, iż syntaktyka, to nauka badająca wyrażenia pod kątem składni. Kategorie syntaktyczne natomiast, to podstawowe elementy składające się na system logiki. Jeden element można zaliczyć do określonej kategorii syntaktycznej, jeśli może zostać podstawiony za inny element w danym wyrażeniu, nie powodując utraty jego sensowności [M. Sieruga].

Przykładem - podanym przez Michała Sierugę - zestawienia elementów należących do jednej kategorii syntaktycznej będzie wyrażenie: "Słonie nie latają i tygrysy nie latają"; ponieważ zarówno słoń, jak i tygrys nie są zwierzętami latającymi. Koniunkcja taka będzie zresztą prawdziwa, ponieważ oba jej zdania są prawdziwe.

Do kategorii syntaktycznych zalicza się nazwy, zdania oraz funktory.


Powrót do spisu treści