Tag: modallogik

  • 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

  • Den modale fejlslutning, reduktioner og modalt kollaps

    Introduktion Denne artikel har to emner. Først vil jeg skitsere en masse implikationer af at benægte den modale fejlslutning viz. benægte, at det er en fejlslutning. Disse implikationer skulle gerne være uacceptable i en bogstavelig forstand. I anden sektion vil jeg kort diskutere modalt kollaps. den-modale-fejlslutning-reduktioner-og-modalt-kollaps.

  • Den modale fejlslutning

    Denne fejlslutning er ganske almindelig hos personer som ikke er godt bekendt med logik (især modallogik). Betragt disse to ikke logisk ens sætninger: I) Hvis der eksisterer mindst et subjekt S som ved hvilket udfald U situation F vil få ved tid t1, så sker udfald U nødvendigvis ved tid t1. II) Nødvendigvis, hvis der […]

  • Hvad betyder 'måske'?

    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. […]

  • Modallogik og mulige verdener – en måske besværlig sammensætning

    I modallogik findes mange systemer, et af dem kaldes S5 og har den egenskab at: S5: 00…□ = □ and 00…◊ = ◊, where each 0 is either □ or ◊ og et andet kaldes B (B) A→□◊A Altså, enhver række af symbolerne □ og ◊ er ensbetydende med det sidste symbol. I.e. hvis p […]

  • Modal ontologiske argumenter

    Jeg vil lige kort kommentere lidt på moderne ontologiske argumenter. Her ses Plantinga’s seneste version: 1.That “some being is unsurpassably great” is logically possible. 2. Any being that is unsurpassably great is, in all possible worlds, omnipotent, omniscient and morally perfect. C.Someone is omnipotent, omniscient and morally perfect. Argumentet er pakket ind i en masse […]