Logická konstanta - Logical constant

v logika, a logická konstanta a Jazyk ${displaystyle {mathcal {L}}}$ je symbol to má stejné sémantická hodnota pod každým výklad z ${displaystyle {mathcal {L}}}$. Jsou dva důležité typy logických konstant logické spojky a kvantifikátory. The rovnost predikát (obvykle psaný '=') je v mnoha považován také za logickou konstantu logické systémy.

Jednou ze základních otázek v EU filozofie logiky je „Co je to logická konstanta?“; to znamená, jaká speciální vlastnost určitých konstant je činí logický v přírodě?^{[1][úplná citace nutná ]}

Některé symboly, se kterými se běžně zachází jako s logickými konstantami, jsou:

Symbol	Význam v angličtině
T	"skutečný"
F	"Nepravdivé "
¬	"ne "
∧	"a "
∨	"nebo "
→	"naznačuje "," pokud ... pak "
∀	"pro všechny "
∃	"tady existuje ", "pro některé"
=	"rovná se "
${displaystyle Box}$	"nezbytně"
${displaystyle Diamond}$	"možná"

Mnoho z těchto logických konstant je někdy označeno alternativními symboly (např., použití symbolu „&“ namísto „∧“ k označení logické a ). Definování logických konstant je hlavní částí práce Gottlob Frege a Bertrand Russell.

Viz také

• Nelogický symbol
• Logická hodnota
• Logické pojivo

Reference

externí odkazy

• Stanfordská encyklopedie filozofie vstup na logické konstanty

Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.