-
Flere slags muligheder i en sætning
Abstrakt En analyse af en flertydig sætning. Muligvis med flere typer muligheder i sig. Derefter tre forslag til en udvidelse af modallogikken således, at flere typer muligheder kan formaliseres. To af forslagene vælges og deres anvendelighed demonstreres. flere-slags-muligheder-i-en-sc3a6tning
-
Formalisering af ”der er maksimalt en ting der er nødvendig”
Et argument som blev fremlagt af Immanuel på FRDB.org. Argumentet er ugyldigt, men det indeholder et interessant præmis. Det er interessant fordi, at præmisset er svært at formalisere. Argumentet 1.< all>p, p is contingent. 2. 1 is necessary( by 1) 3.There is at least one thing that is necessary( by 2). 4.There is at most…