En kort analyse af hvilket logisk udtryk ‘måske’ udtrykker.

Det er tydeligt, at ‘måske’ udtrykker noget med muligheder, et område der behandles af modallogikken. Spørgsmålet er om det blot udtrykker, at det som det står sammen med er muligt, eller om det også udtrykker at det modsatte også er muligt. Dette kan skrives formelt:

a. ◊p (muligt at p)

b. ◊p ˄ ◊¬p (muligt at p og muligt at ikke-p)

Jeg har konstrueret et argument som benytter Det sproglige princip om det stærkeste udtryk som præmis til at vise at (a) implicerer (b).

1. Hvis princippet er sandt, så udtrykker (a) at ikke-nødvendigvis at p.

2. Princippet er sandt.

3. (a) udtrykker at ikke-nødvendigvis at p. (1, 2)

4. “Ikke-nødvendigvis at p” er identisk med “muligvis at ikke-p”.

5. (a) udtrykker at muligvis at ikke-p. (3, 4)

6. (a) udtrykker at muligvis at p.

7. (a) udtrykker at muligvis at ikke-p og muligvis at p. (5, 6)

Herfra ses det, at (a) implicerer (b). Givet at en af disse forståelse af ‘måske’ er korrekt, så følger det, at ‘måske’ udtrykker at muligt at p og muligt ikke-p.

Anbefalet læsning:

Modal logic”, SEP, link

Det sproglige princip om det stærkeste udtryk”, Emil Kirkegaard, link