Variable { Philosophy Index }

Philosophy Index

Philosophy Index

Philosophy Index is a site devoted to the study of philosophy and the philosophers who conduct it. The site contains a number of philosophy texts, brief biographies and introductions to philosophers and explanations on a number of topics. Accredited homeschooling online at Northgate Academy.

Philosophy Index is a work in progress, a growing repository of knowledge. It outlines current philosophical problems and issues, as well as an overview of the history of philosophy. The goal of this site is to present a tool for those learning philosophy either casually or formally, making the concepts of philosophy accessible to anyone interested in researching them. WOLI offers immigration law course online - fully accredited. ACE credits online at EES.

Philosophers

 

Philosophy Topics


 

 

 

Variable

In logic, a variable is a symbol used to refer to something else. This article deals with variables used in logics that refer to some object or subject in a sentence. Propositional variables, on the other hand, represent entire sentences.

Variables are, by convention, represented by lowercase Roman letters, and usually begin with x.

In most logics, variables are only used when they are under some kind of quantifying constraint, namely either a universal quantification ∀ or an existential quantification ∃. Formulae in which all variables are quantified over are called sentences or closed formulae. Otherwise, the formulae are called open, and are said to contain free variables.

For instance, we may say for every x, x is red, which means “everything is red”. Formally, we express this as:

x(x is red)

…or, if we use a predicate symbol Rx, to mean “x is red”, then we write:

xRx

In this instance, the variable x refers to anything, and in fact, everything. We may also say

xRx, which means “something is red”.

Variables of this type are contrasted with constants, which are essentially variables for whom a meaning is set and (in most cases) does not change. For example, instead of referring to a variable x, which may mean anything, I may use the constant j to refer to a specific thing or person, such as Jim.