- Statement (logic)
In the area of
mathematicscalled symbolic logica statement is a declarative sentencethat is either trueor false.
Examples of statements:
*"Socrates is a man."
*"A triangle has three sides."
*"Paris is the capital of England."
The first two statements are true, the third is false.
Examples of things that are not statements:
*"Who are you?"
*"I had one grunch but the eggplant over there."
The first two examples are not declarative sentences, the third is not a sentence at all, but a meaningless string of words.
Matters of opinion are also usually not considered to be statements.
Examples of declarative sentences that are not statements:
*"Lincoln was the greatest president of the United States."
*"Red is a pretty color."
*"Broccoli tastes good."
A predicate is a statement that contains a variable. Whether or not the statement is true or false depends on the value of the variable.
Examples of predicates:
*"The number is even."
*"Today is Tuesday."
*"I like broccoli."
All three predicates are true if is four, today is May 27, 2008, and 'I' am the person writing these words. All three predicates are false if is five, today is May 28, 2008, and 'I' is George Herbert Walker Bush (an American president who stated publicly that he did not like broccoli).
The variable in a predicate may be understood rather than stated.
An example of an understood variable:
*"It is raining."
The truth of this predicate depends on the values of the variables place and time. It is always understood to mean "It is raining in this particular place at this particular time."
Any predicate may be quantified. The quantifer is understood to bind the variable it quantifies, and a quantified variable is called a "bound variable" while an unquantified variable is called a "free variable". There are three quantifiers, "for all", "for some", and "for none", all of which can be expressed in various ways. A quantified predicate is either true or false, and you cannot replace a bound variable with a value.
Examples of quantified predicates:
*For all even numbers , is divisible by two.
*For some even numbers , is divisible by two.
*For none of the even numbers , is divisible by two.
The first two quantified predicates are true, the third is false. In all three, the variable is bound, while in the unquantified predicate: "The number is divisible by two," the variable is free. The free variable could be replaced by a number, which would turn the unquantified predicate into a statement which would be either true or false. The bound variables in the quantified predicates cannot be replaced by numbers.
Statement as an abstract entity
In some treatments the term "statement" is introduced in order to distinguishing a sentence from its information content. A statement is regarded as the information content of an (information-bearing) sentence. Thus, a sentence is related to the statement it bears like a numeral to the number it refers to. Statements are abstract, logical entities, while sentences are grammatical ones. [harvnb|Rouse] [harvnb|Ruzsa|2000|p=16]
Sentence (mathematical logic)
*A. G. Hamilton, "Logic for Mathematicians", Cambridge University Press, 1980, ISBN 0521292913.
Wikimedia Foundation. 2010.
См. также в других словарях:
Statement — may refer to:*Press statement, a statement issued to the news media *statement (logic) that is either true or false *Sentence (linguistics), a type of sentence *Statement (programming), an instruction to execute something that will not return a… … Wikipedia
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Logic Theorist — is a computer program written in 1955 and 1956 by Alan Newell, Herbert Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called the first artificial intelligence… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Logic gate — A logic gate is an idealized or physical device implementing a Boolean function, that is, it performs a logical operation on one or more logic inputs and produces a single logic output. Depending on the context, the term may refer to an ideal… … Wikipedia
Logic model — The logic model is a general framework for describing work in an organization. Since work is often packaged in programs, it is often referred to as the program logic model. Definition In its simplest form, the logic model analyzes work into four… … Wikipedia
Logic and the mind — This article discusses the relationship between the formal logic and the mind.For a long time people believed that intelligence is equivalent to conceptual understanding and reasoning. A part of this belief was that the mind works according to… … Wikipedia
logic — lo|gic [ˈlɔdʒık US ˈla: ] n [Date: 1300 1400; : French; Origin: logique, from Latin logica, from Greek logike, from logos speech, word, reason ] 1.) [singular, U] a way of thinking about something that seems correct and reasonable, or a set of… … Dictionary of contemporary English