mathematical statement

The term proposition has a broad use in contemporary philosophy. It is used to refer to some or all of the following: the primary bearers of truth-value, the objects of belief and other "propositional attitudes" (i.e., what is believed, doubted, etc.), the referents of that-clauses and the meanings of declarative sentences. Propositions are the sharable objects of attitudes and the primary bearers of truth and falsity. This stipulation rules out certain candidates for propositions, including thought- and utterance-tokens which are not sharable, and concrete events or facts, which cannot be false.

Een propositie of bewering is in de logica een declaratieve zin die of waar of onwaar kan zijn. Een bewering onderscheidt zich van een zin doordat een zin slechts een formulering van een bewering is, terwijl er vele andere formuleringen kunnen zijn die dezelfde bewering uitdrukken. De term "bewering" kan verwijzen naar een zin of het idee dat door een zin wordt uitgedrukt.

Påstående, begrepp inom logiken. Ett påstående kan vara sant eller falskt.

Z hlediska (klasické) logiky je výrok každé tvrzení, u nejž se má smysl ptát, zda je ci není pravdivé, a pro nejž muže nastat pouze práve jedna z techto možností. Muže být zapsán jako jednoduchá oznamovací veta, ale také pomocí matematických symbolu a znacek (napr. ). Pokud lze rozhodnout ci je urceno, jestli je výrok pravdivý ci nikoliv ríkáme, že má prirazenu urcitou pravdivostní hodnotu.