<\/p>\n
En kort analyse af hvilket logisk udtryk ‘m\u00e5ske’ udtrykker.<\/p>\n
Det er tydeligt, at ‘m\u00e5ske’ udtrykker noget med muligheder, et omr\u00e5de der behandles af modallogikken. Sp\u00f8rgsm\u00e5let er om det blot udtrykker, at det som det st\u00e5r sammen med er muligt, eller om det ogs\u00e5 udtrykker at det modsatte ogs\u00e5 er muligt. Dette kan skrives formelt:<\/p>\n
a. \u25cap (muligt at p)<\/p>\n
b. \u25cap \u02c4 \u25ca\u00acp (muligt at p og muligt at ikke-p)<\/p>\n
Jeg har konstrueret et argument som benytter Det sproglige princip om det st\u00e6rkeste udtryk som pr\u00e6mis til at vise at (a) implicerer (b).<\/p>\n
1. Hvis princippet er sandt, s\u00e5 udtrykker (a) at ikke-n\u00f8dvendigvis at p.<\/p>\n
2. Princippet er sandt.<\/p>\n
3. (a) udtrykker at ikke-n\u00f8dvendigvis at p. (1, 2)<\/p>\n
4. “Ikke-n\u00f8dvendigvis at p” er identisk med “muligvis at ikke-p”.<\/p>\n
5. (a) udtrykker at muligvis at ikke-p. (3, 4)<\/p>\n
6. (a) udtrykker at muligvis at p.<\/p>\n
7. (a) udtrykker at muligvis at ikke-p og muligvis at p. (5, 6)<\/p>\n
Herfra ses det, at (a) implicerer (b). Givet at en af disse forst\u00e5else af ‘m\u00e5ske’ er korrekt, s\u00e5 f\u00f8lger det, at ‘m\u00e5ske’ udtrykker at muligt at p og muligt ikke-p.<\/p>\n
Anbefalet l\u00e6sning:<\/em><\/p>\n “Modal logic”, SEP, link<\/a><\/em><\/p>\n