Påstående
En proposition är en term inom filosofi och logik. Det är ett påstående som har ett sanningsvärde, vilket innebär att det kan bevisas att det är sant eller falskt. För att en sats ska vara giltig måste det vara möjligt att bevisa att satsen är antingen sann eller falsk. Många lärare och logikstudenter använder begreppen påstående och proposition för att beteckna samma sak.
Det går att uttrycka samma sak på många olika sätt. Satser handlar bara om den faktiska innebörden, inte om hur de uttrycks. Propositioner kan se olika ut men betyda samma sak. När två olika påståenden betyder samma sak sägs de vara synonyma, vilket innebär att varje påstående har samma innebörd.
Till exempel är "Snow is white" (på engelska) och "Schnee ist weiß" (på tyska) olika meningar eftersom de är skrivna på olika språk. De betyder dock exakt samma sak: snö är vit. Oavsett vilket språk påståendet är skrivet på kommer det att betyda samma sak. Därför är dessa påståenden synonyma.
I den aristoteliska logiken är en sats en specifik typ av mening som bekräftar eller förnekar att en handling eller ett predikat har ägt rum genom ett subjekt. Aristoteliska påståenden har former som "Alla människor är dödliga" och "Sokrates är en människa". I varje mening har subjektet (män, Sokrates) en status (är dödliga, är en man) som kan bevisas vara sann eller falsk.
Enligt den logiska positivismen är ett påstående vars sanningsvärde omöjligt kan fastställas meningslöst. Till exempel kan påståenden om gudars existens inte bevisas enligt logisk positivism. Eftersom påståendena inte har något sanningsvärde skulle en logisk positivist anse att påståenden om gudomar (t.ex. "Gud existerar" eller "Gud existerar inte") inte har någon logisk betydelse.
Frågor och svar
F: Vad är en proposition?
S: En proposition är ett påstående som har ett sanningsvärde, vilket innebär att det kan bevisas att det är sant eller falskt. Det måste vara möjligt att bevisa att propositionen är antingen sann eller falsk för att den ska vara giltig.
F: Hur representeras påståenden?
S: Propositioner representeras ofta av stora bokstäver, t.ex. P, Q och R.
F: Kan två olika påståenden betyda samma sak?
S: Ja, när två olika påståenden betyder samma sak sägs de vara synonyma. Till exempel har "Snow is white" (på engelska) och "Schnee ist weiß" (på tyska) samma betydelse även om de är skrivna på olika språk.
F: Vilken typ av mening använder den aristoteliska logiken för en sats?
S: I den aristoteliska logiken är en sats en särskild typ av mening som bekräftar eller förnekar att en handling eller ett predikat har ägt rum genom ett subjekt. Exempel är "Alla människor är dödliga" och "Sokrates är en människa".
F: Vad säger den logiska positivismen om påståenden vars sanningsvärde inte kan avgöras?
S: Logisk positivism hävdar att påståenden vars sanningsvärde omöjligt kan fastställas är meningslösa. Till exempel kan påståenden om gudars existens inte bevisas enligt logisk positivism, så dessa påståenden skulle inte ha någon logisk betydelse enligt denna teori.
