-
At vinde Frankrigsturen, Lance Armstrong, og Doping
Et fælleskøkken kan være et godt sted at snakke med mennesker om alt muligt. Da jeg er en meget diskussionslysten person, så havner jeg ofte i diskussioner om alt muligt. I dag mødte jeg Anders i køkkenet, og snakken kom til at falde på om Lance Armstrong (LA) faktisk vandt Frankrigsturen (Tour de France) eller…
-
Language, the modal fallacy and the symbolic representation of a conditional
“[W]hat follows from a true premiss must be true” (The Problems of Philosophy, p. 60, link) Wrote Russell as an example of a principle of logic that is more self-evident than the inductive principle. If we were to formalize this we would perhaps write it like this: E1. □[([∀P][Q∧Q⇒P])→P]1 Or perhaps just just in propositional…
-
Doksastisk logik, inkonsistens og eksplosioner
Teori Alle eller næsten alle mennesker har prøvet flere gange at opdage, at to af de domme de gik og troede på var inkonsistente. Dette sker forholdsvis ofte. Herfra slutter vi induktivt til at næsten alle mennesker p.t. tror på noget inkonsistent. Men hvis en person tror på noget inkonsistent, så er alle domme slutbare…
-
Lidt doksastisk logik
Indledning Doksastisk ≡ har noget med tro at gøre; trosmæssig. Doksastisk logik er logik omkring påstande der omhandler tro. Jeg har gjort mig et par tanker om dette. Andre har allerede konstruerede doksastiske logikker.1 Dog ser det ud til fra WP’s artikel, at min fremgangsmåde er anderledes end andres. Teori En ting man kan bemærke…
-
Does a sound LPoE establish that god is impossible?
I’ve heard that claim, but do you think it is true? I don’t. All LPoEs (Logical Problem of Evil’s) can be seen as an inconsistent set of propositions. Here’s a really simple version: Simple LPoE: 1. God is all-good. 2. God is all-powerful. 3. God is all-knowledgeable. 4. If god is all-good, all-powerful and all-knowledgeable,…
-
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…