Propositie

Uit Wikipedia, de vrije encyclopedie
(Doorverwezen vanaf Bewering (logica))
Ga naar: navigatie, zoeken

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.

In de taalfilosofie bepleitte Peter Strawson om de voorkeur te geven aan het gebruik van de term "bewering" boven de term propositie. Volgens hem kan dezelfde bewering gedaan worden met verschillende proposities. 'Ieder mens is een man', 'Iedereen is een man'.

Voorbeelden[bewerken]

"Een kabeljauw is een vis" is een ware propositie.
"Een kabeljauw is een zoogdier" is een onware propositie.
"Een kabeljauw is vers" is een contingente propositie.
"Is dit een kabeljauw?" is een vraag en geen propositie.

Voorbeelden van zinnen die beweringen zijn:

  • "Socrates is een man."
  • "Een driehoek heeft drie zijden."
  • "Parijs is de hoofdstad van Spanje."

De eerste twee beweringen zijn waar, de derde is onwaar.

Voorbeelden van zinnen die geen beweringen zijn:

  • "Wie bent u?"
  • "Vlucht!"
  • "Groenheid wandelt rond."
  • "Ik had een grunks over de eiplant daar."

De eerste twee voorbeelden zijn geen declaratieve zinnen en daarom ook geen beweringen. Het derde en vierde voorbeeld zijn declaratieve zinnen, maar omdat zij betekenis ontberen, zijn zij noch waar noch onwaar. Om die redenen zijn dit geen beweringen.

Andere betekenis[bewerken]

In marketing is een propositie een voorstel of aanbod; in het Nederlandse openbaar vervoer met name een OV-chipkaart-reisproduct.

Zie ook[bewerken]