Stała logiczna
Stała logiczna – obok zmiennych i ewentualnie znaków interpunkcyjnych jeden z typów wyrażeń słownika teorii logicznej[1].
Zbiór stałych logicznych wchodzących w skład słownika danej teorii logicznej określa się zwykle przez wyliczenie. Do stałych logicznych zaliczają się funktory prawdziwościowe, kwantyfikatory, znak należenia do zbioru znak deskrypcji, znak abstrakcji itp.[1]
Istniejące próby określenia jakichś wspólnych cech charakterystycznych dla stałych logicznych innych niż określenie ich przez podanie ich listy należą raczej do filozofii logiki niż do samej logiki – nie są więc to próby posługujące się sformułowaniami ścisłymi. Jedną z bardziej popularnych takich prób jest odwołanie się do faktu, że stałe logiczne występują w każdym języku, niezależnie od treści przeprowadzanych w nim rozważań[2][1].
Zobacz też
- stała
- zmienna
Przypisy
Linki zewnętrzne
- JohnJ. MacFarlane JohnJ., Logical Constants, [w:] Stanford Encyclopedia of Philosophy, CSLI, Stanford University, 18 czerwca 2015, ISSN 1095-5054 [dostęp 2018-01-17] (ang.).
- Britannica: topic/logical-constant
- SEP: logical-constants
- Catalana: 0089466, 0142714