Korkman – Yrjönsuuri: Filosofian historian kehityslinjoja (toim)

Propositio.

Perinteisen määritelmän mukaan propositioksi sanotaan kaikkia niitä -> entiteettejä, jotka voivat olla joko tosia tai epätosia. Monissa loogisissa järjestelmissä (varsinkin antiikissa ja keskiajalla) hyväksyttiin, että lauseet eli tietyt ääniaaltojen järjestelmät tai mustekiemuroiden yhdistelmät ovat tällaisia propositioita eli ovat tosia tai epätosia. Niinpä propositiot ovat tavanomaisessa merkityksessä olemassa olevia olioita. Tietyn (kirjoitetun) proposition totuus voi myös muuttua (esimerkiksi "huomenna sataa", joka on tosi sadepäiviä edeltävinä päivinä). Modernissa logiikassa propositiot on yleensä ymmärretty abstraktimmin siksi, mitä tietty esitetty lause tarkoittaa tai väittää. Propositioille ei ole yleensä myönnetty olemassaoloa sanan tavanomaisessa merkityksessä. Modernin logiikan näkökulmasta esimerkiksi lause "huomenna sataa" ilmaisee eri propositioita eri päivinä, eikä minkään.