Everything2
Near Matches
Ignore Exact
Full Text
Everything2

proposition

created by paulsc

(thing) by ariels (2.2 d) (print)   ?   I like it! Sun Jun 03 2001 at 11:50:28

(Mathematical Logic:)
A well formed formula (wff) of predicate calculus with no free variables. Propositions are the sentences (or statements) of logic: a proposition is something to which a truth value can be attributed.

Examples of propositions are "2+2=4", "2+2=5", "for all positive integers x,y,z,n, if n>2 then xn+yn!=zn". "x2=2*y2" is not a proposition, as the variables x,y are free. "2+2", "2+, ")))x(+" aren't even formulae, hence not propositions.


(definition) by Webster 1913 (print) I like it! Wed Dec 22 1999 at 2:17:26

Prop`o*si"tion (?), n. [L. propositio: cf. F. proposition. See Propound.]

1.

The act of setting or placing before; the act of offering.

"Oblations for the altar of proposition."

Jer. Taylor.

2.

That which is proposed; that which is offered, as for consideration, acceptance, or adoption; a proposal; as, the enemy made propositions of peace; his proposition was not accepted.

3.

A statement of religious doctrine; an article of faith; creed; as, the propositions of Wyclif and Huss.

Some persons . . . change their propositions according as their temporal necessities or advantages do turn. Jer. Taylor.

4. Gram. & Logic

A complete sentence, or part of a sentence consisting of a subject and predicate united by a copula; a thought expressed or propounded in language; a from of speech in which a predicate is affirmed or denied of a subject; as, snow is white.

5. Math.

A statement in terms of a truth to be demonstrated, or of an operation to be performed.

⇒ It is called a theorem when it is something to be proved, and a problem when it is something to be done.

6. Rhet.

That which is offered or affirmed as the subject of the discourse; anything stated or affirmed for discussion or illustration.

7. Poetry

The part of a poem in which the author states the subject or matter of it.

Leaves of proposition Jewish Antiq., the showbread.

Wyclif (Luke vi. 4).

Syn. -- Proposal; offer; statement; declaration. -- Proposition, Proposal. These words are both from the Latin verb proponere, to set forth, and as here compared they mark different forms or stages of a negotiation. A proposition is something presented for discussion or consideration; as, propositions of peace. A proposal is some definite thing offered by one party to be accepted or rejected by the other. If the proposition is favorably received, it is usually followed by proposals which complete the arrangement.

 

© Webster 1913.


printable version
chaos

∀ Why I am going to pretend I am a girl online from now on mercy fuck analytic proposition
Accent fallacy sexual frustration Curry-Howard Isomorphism How your brain codes knowledge
synthetic proposition Sexual selection California Proposition 187 Wittgenstein, Ayer, and certainty
Staying in a Hotel, advice from an ex-Janitor Getting a hotel room at age 16 Lemma of Choice March 5, 2004
What do theorems look like? Speech and Phenomena Parliamentary debate opposition
Internalism Externalism Political war on drugs makes medical casualties Predicate
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.
  Epicenter
Login
Password

password reminder
register

Everything2 Help

Cool Staff Picks
Look at this mess the Death Borg made!
Penrose Tiles
Romeo and Juliet
Nkosi Sikelel' iAfrika
perpetuum mobile
What do you say to someone who has just had an abortion?
It's a jailbreak; we're free.
Fluke
Millennial Prufrock
Genitive
Dead cat bounce
Stop running
Taoist alchemy
A Tail of Two Monkeys
New Writeups
auraseer
Fling(fiction)
StrawberryFrog
Iron Man(review)
devolution
Misogyny and Porn, East to West - An Empirical Analysis(idea)
devolution
Korea is a place that refuses to stand still(idea)
Beanie127
The Pacifist Soldier(fiction)
VergilKint
Distilled from Dreams(fiction)
Scaevola
Roman marriage(thing)
rootbeer277
m&m's Ice Cream Treats(review)
Transitional Man
Gus's Chalet(review)
minnow
.410 bore(thing)
shaogo
Phonautogram(thing)
Morkel
Changing your sexuality(idea)
teleny
Baron Samedi(person)
Ouzo
The Great Barbershop Race Wars(log)
Mannerisky
second language(essay)
E2 is a by-product of the existence of The Everything Development Company