LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
Nt tähistame peatüki alguses toodud
näitelause ,,Ma lähen homme tööle" L. Selle lause tõesus pole täna veel teada. Lause L
(on võimalik, et L) on tõene. Ja isegi kui lause L osutub tõeseks, pole ikkagi tõene lause L
(on paratamatu, et L), sest isegi kui ma lähen tööle, võiks asjad minna ka teisiti. Näitelause
võib valida ka märksa eksootilisema ,,On võimalik, et ma olen Prantsusmaa kuningas".
Esmapilgul näib see lausa võimatu olevat. Ometigi pole ühtegi teadaolevat loogikareeglit
(ning isegi mitte loodusseadust), mis välistaks võimaluse, et Prantsusmaal on jälle kuningas
ning selleks satun mingil veidral põhjusel mina.3
Väljendid ,,võimalik" ja ,,paratamatu" võivad esineda erinevates tähendustes.
Oletagem, et tänaval sõidab punane auto. Võrdleme lauseid: 1) on võimalik, et selle auto
pidurid on korras; 2) on võimalik, et see auto on roheline; 3) on võimalik, et selle auto kiirus