Logical constant

Logical constant

In symbolic logic, a logical constant of a language "L" is a symbol that has the same semantic value in all models of (the expressions of) "L". Two important types of logical constants are logical connectives and quantifiers. The equality predicate (usually written '=') is also treated as a logical constant in many systems of logic.

Some symbols that are commonly treated as logical constants are:

Symbol Meaning in English
T "true"
F "false"
¬ "not"
∧ "and"
∨ "or"
→ "implies", "if...then"
∀ "for all"
∃ "there exists", "for some"
= "equals"
Box "necessary"
Diamond "possible"

For many logical constants also other symbols are commonly used to denote them, such as the symbol "&" for logical and.

One of the fundamental questions in the philosophy of logic is "What is a logical constant?"; that is, what special feature of certain constants that makes them "logical" in nature?Fact|date=October 2007

ee also

*Non-logical symbol
*Logical value
*Logical connective

External links

* [http://plato.stanford.edu/entries/logical-constants/ Stanford Encyclopedia of Philosophy entry on logical constants]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • logical constant — loginė konstanta statusas T sritis automatika atitikmenys: angl. Boolean constant; logical constant vok. logische konstante, f rus. логическая константа, f pranc. constante logique, f …   Automatikos terminų žodynas

  • Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… …   Wikipedia

  • Constant — or The Constant may refer to: Contents 1 In Mathematics 2 Other concepts 3 People 4 Organization 5 …   Wikipedia

  • Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… …   Wikipedia

  • Constant — Con stant (k[o^]n stant), a. [L. onstans, antis, p. pr. of constare to stand firm, to be consistent; con + stare to stand: cf. F. constant. See {Stand} and cf. {Cost}, v. t.] 1. Firm; solid; fixed; immovable; opposed to {fluid}. [Obs.] [1913… …   The Collaborative International Dictionary of English

  • Logical disjunction — Disjunction redirects here. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution. Venn diagram of the logical disjunction of A and B …   Wikipedia

  • Logical effort — The method of logical effort, a term coined by Ivan Sutherland and Robert Sproull in 1991, is a straightforward technique used to estimate delay in a CMOS circuit. Used properly, it can aid in selection of gates for a given function (including… …   Wikipedia

  • Logical Intuitive Introvert — The Logical Intuitive Introvert, LII, INTj, the Analyst, Maximilien Robespierre, or types. The Logical Intuitive Introvert is a rational, introverted, static type whose leading functions are introverted logic and extroverted intuition.Model A Ego …   Wikipedia

  • Logical matrix — A logical matrix, binary matrix, relation matrix, Boolean matrix, or (0,1) matrix is a matrix with entries from the Boolean domain B = {0, 1}. Such a matrix can be used to represent a binary relation between a pair of finite sets. Contents 1… …   Wikipedia

  • constant — A term in a logical calculus to which any interpretation assigns a fixed meaning, unlike a variable or schematic letter …   Philosophy dictionary

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”