Loogiline võimalikkus
Loogiline võimalikkus on kõige lõdvem võimalikkuse tüüp (sealhulgas modaalloogikas). Kõige lihtsamalt öeldes on loogiliselt võimalikud propositsioonid need, mis ei sisalda loogilist vasturääkivust. Võib ka öelda, et propositsioon on loogiliselt võimalik siis ja ainult siis, kui maailm saaks olla niisugune, et see propositsioon on tõene. Seetõttu on näiteks "Taevas on sinine" (ja teised tegelikult tõesed propositsioonid) loogiliselt võimalikud: kui tegelik maailm võimaldab propositsiooni tõesust, siis maailm ka saab olla niisugune, et see propositsioon on tõene. Kuid loogiliselt on võimalik ka, et taevas on roheline, sest maailm saaks ju põhimõtteliselt olla ka niisugune, et maailm on roheline (see tähendab: oleks ju ka mõeldav, et maailm oleks niisugune, et taevas oleks roheline). Seevastu loogiliselt võimatud propositsioonid on sellised, mis mitte kuidagi tõesed olla ei saaks, sest nende puhul tekib loogiline vasturääkivus. On küll loogiliselt võimalik, et taevas on roheline, kuid ei ole loogiliselt võimalik, et taevas oleks samal ajal ja samas suhtes roheline ja mitteroheline. Kui taevas oleks roheline, siis ta ei saaks olla mitteroheline, ja ümberpöördult. Enamasti leitakse, et on loogiliselt võimalik, et loodusseadused oleksid teistsugused, kui nad tegelikult on. Sel juhul on paljud asjad, mida me peame võimatuks, siiski loogiliselt võimalikud: näiteks on loogiliselt võimalik, et ma lendaksin käsi tiibade asemel kasutades või lööksin jalgpalli nii tugevasti, et ta lendaks kiirusega 300 000 km/s. Sellised stsenaariumid on siis loogiliselt võimalikud, kuid füüsiliselt võimatud, täpsemalt nomoloogiliselt võimatud. Teine loogilisest võimalikkusest erinev võimalikkuse liik on karakteroloogiline võimalikkus. Näiteks on loogiliselt võimalik, et pärast halvasti magatud ööd lähen ma tänavale ja hakkan inimesi tapma. Ka loodusseadused ei keela seda, kuid see ei ole karakteroloogiliselt võimalik, sest see ei lähe minu iseloomuga kokku. Propositsioon on loogiliselt paratamatu siis ja ainult siis, kui ei ole loogiliselt võimalik, et ta oleks väär. Propositsioon on loogiliselt võimatu siis ja ainult siis, kui ei ole loogiliselt võimalik, et ta oleks tõene. Propositsioon on loogiliselt kontingentne siis ja ainult siis, kui on loogiliselt võimalik, et ta on tõene ja on loogiliselt võimalik, et ta on väär.