Propositio
Propositio on filosofian ja logiikan termi. Se on väite, jolla on totuusarvo, eli se voidaan todistaa todeksi tai vääräksi. Jotta propositio olisi pätevä, on oltava mahdollista todistaa, että propositio on joko tosi tai epätosi. Monet logiikan opettajat ja opiskelijat käyttävät termiä väite ja propositio tarkoittamaan samaa asiaa.
Sama lause voidaan ilmaista monella eri tavalla. Propositiossa on kyse vain tosiasiallisesta merkityksestä, ei tavasta, jolla propositio ilmaistaan. Propositiot voivat näyttää erilaisilta, mutta tarkoittaa samaa asiaa. Kun kaksi erilaista propositiota tarkoittaa samaa asiaa, niiden sanotaan olevan synonyymejä, mikä tarkoittaa, että kummallakin lausumalla on sama merkitys.
Esimerkiksi "Snow is white" (englanniksi) ja "Schnee ist weiß" (saksaksi) ovat eri lauseita, koska ne on kirjoitettu eri kielillä. Ne tarkoittavat kuitenkin täsmälleen samaa asiaa: lumi on valkoista. Riippumatta siitä, millä kielellä lause on kirjoitettu, se tarkoittaa samaa asiaa. Näin ollen nämä lausumat ovat synonyymejä.
Aristoteelisessa logiikassa propositio on tietynlainen lause, joka vahvistaa tai kiistää jonkin toiminnan tai predikaatin tapahtuneen subjektin kautta. Aristoteeliset propositiot ovat muodoltaan sellaisia kuin "Kaikki ihmiset ovat kuolevaisia" ja "Sokrates on ihminen". Kussakin lauseessa subjektilla (miehet, Sokrates) on tila (ovat kuolevaisia, on mies), joka voidaan todistaa todeksi tai vääräksi.
Loogisen positivismin mukaan lause, jonka totuusarvoa ei voida mitenkään päättää, on merkityksetön. Esimerkiksi jumaluuksien olemassaoloa koskevia väitteitä ei voida todistaa loogisen positivismin mukaan. Koska väitteillä ei ole totuusarvoa, looginen positivisti katsoo, että jumaluuksia koskevilla lauseilla (kuten "Jumala on olemassa" tai "Jumalaa ei ole olemassa") ei ole loogista merkitystä.
Kysymyksiä ja vastauksia
Q: Mikä on ehdotus?
V: Väite on lausuma, jolla on totuusarvo, eli se voidaan todistaa oikeaksi tai vääräksi. Jotta propositio olisi pätevä, sen on voitava todistaa olevan joko tosi tai epätosi.
K: Miten propositiot esitetään?
V: Propositiot esitetään usein isoilla kirjaimilla, kuten P, Q ja R.
K: Voiko kaksi eri propositiota tarkoittaa samaa asiaa?
V: Kyllä, kun kaksi eri lausetta tarkoittaa samaa asiaa, niiden sanotaan olevan synonyymejä. Esimerkiksi sanoilla "Snow is white" (englanniksi) ja "Schnee ist weiß" (saksaksi) on sama merkitys, vaikka ne on kirjoitettu eri kielillä.
Kysymys: Minkälaista lausetta aristoteelinen logiikka käyttää propositiosta?
V: Aristoteelisessa logiikassa propositio on tietynlainen lause, joka vahvistaa tai kiistää jonkin toiminnan tai predikaatin tapahtuneen subjektin kautta. Esimerkkejä ovat "Kaikki ihmiset ovat kuolevaisia" ja "Sokrates on ihminen".
Kysymys: Mitä looginen positivismi sanoo lauseista, joiden totuusarvoa ei voida päättää?
V: Loogisen positivismin mukaan propositiot, joiden totuusarvoa ei voida mitenkään päättää, ovat merkityksettömiä. Esimerkiksi väitteitä jumaluuksien olemassaolosta ei voida loogisen positivismin mukaan todistaa, joten näillä väitteillä ei olisi tämän teorian mukaan mitään loogista merkitystä.
