-
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…
-
Analogier
Jeg havde oprindeligt planlagt at skrive en analyse af analogiske argumenter (eller argumenter per analogi) og argumentere for, at disse i virkelig er deduktive argumenter. I min research fandt jeg, at det tilsyneladende ikke var blevet diskuteret særlig meget. I et sidste håb for at finde noget godt om emnet (som også lå på nettet…
-
Formaliseringen af argumentet om dyr og viden
Semi-formelt 1. Alle som har har mindst en dom i sindet, har sprog. (præmis) 2. Ingen dyr har sprog. (præmis) 3. ⊢ Ingen dyr har mindst en dom i sindet. (1, 2) 4. Mindst et dyr har viden. (præmis) 5. Hvis ingen dyr har mindst en dom i sindet, så har ingen dyr viden om…
-
Om gyldigheden af denne slutning og kontraposition
For noget tid siden skrev jeg en kritik af et teistisk argument. Noget af min kritik viste sig at være fejlagtig. Fejlen bestod i at jeg klassificerede denne argumentform som ugyldig: 1. Hvis ikke-P, så ikke-Q. 2. Q. 3. P. Jeg startede siden en tråd på IIDB.org for at se om andres intuition også tog…
-
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…
-
Metode og logisk mulighed
Jeg har tidligere diskuteret dette kort, se her.1 Hvis noget er logisk muligt, så betyder det, at det ikke indeholder nogen selvmodsigelser. Eksempelvis er eksistensen af en triomni gud logisk mulig, hvis det ikke medfører en selvmodsigelse at den eksisterer. Det jeg har i sinde at diskutere i denne artikel er hvilken metode vi kan…
-
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…