Milliseid mentaalseid ÕO5 operatsioone on võimalik teha kujunditega? (L5) Propositsioon on lause või lausungi sisu, see, mis tähendust väljendada tahetakse. See on väide asjade seisu kohta maailmas. Ühel propositsioonil võib L5 olla mitmesuguseid Mis on propositsioon? Too väljendusi lause kujul. (ÕO5) oma näide. Üht lauset saab lõpmatul Ch 10 (Thinking) hulgal lausungites kuuldavale tuua.
mu omadustega ja veel vähem materiaalsete objektide omadus- tega, vaid lihtsalt võimalusega kombineerida propositsioone loo- giliste partiklite abil analüütilisteks propositsioonideks ja nende analüütiliste propositsioonide vahelise formaalse suhte uurimi- sega, mille põhjal ühte saab teisest tuletada. Nende protseduur seisneb formaalloogika propositsioonide esitamises deduktiivse süsteemina, mis põhineb viiel primitiivsel propositsioonil, mis seejärel ühele taandatakse. Seega läheb loogiliste tõdede ja tule- tusprintsiipide vaheline eristus, mida nõuti aristotellikus loogikas, põhjalikult kaotsi. Iga tuletusprintsiip esitatakse loogilise tõena ning iga loogiline tõde võib täita tuletusprintsiibi osa. Aristotel- ese kolm "mõtlemisseadust", samasusseadus, välistatud kolman- 10 Alfred J. Ayer
Loogiliselt võimatud on kõik propositsioonid, mis sisaldavad loogilist vastuolu. Loogiliselt paratamatud on kõik sellised propositsioonid, mis ei saa olla väärad, nt see, et ühevärviline auto on roheline või ei ole roheline. Selliseid olukordi on kergem mõista, kasutades võimalike maailmade semantikat.5 Võimalikke olukordi, kuidas asjad ja asjaolud võiksid olla, nimetatakse võimalikeks maailmadeks. Võimalik maailm on mingite asjaolude täielik kogumik, milles vaadeldaval propositsioonil on kindel tõeväärtus. Loogiliselt võimalik on kõik see, mis kehtib vähemalt ühes võimalikus maailmas (ja alati ka see, mis kehtib tegelikult, tegelikus maailmas). Loogiliselt võimatu (mittevõimalik) (võimatu) on see, mis ei ole tõene mitte üheski võimalikus maailmas. Loogiliselt paratamatu on see, mis kehtib kõikides võimalikes maailmades. Tegelik maailm on üks võimalikest maailmadest.