Daniel Rönnedal

According to the so-called truth norm, we ought to believe that A if and only if A is true. There are many possible interpretations of this norm. What does 'ought‘ in this norm mean? Does 'ought‘ have a wide or a narrow scope, etc.? In this paper, I will investigate one version of this norm and I will discuss two arguments for it. The 'ought‘ in the paper will be interpreted as a kind of 'rational‘ ought that takes wide scope. I will call the first argument for the truth norm 'the extrapolation argument‘ and the second argument 'the abductive argument.‘ According to the extrapolation argument, we 'derive‘ the truth norm from a reflection on what it means to be a perfect believer. According to the abductive argument, the truth norm is supported by the fact that it can be used to deduce many other plausible doxastic norms. If this argument is successful, the truth norm can be conceived as the fundamental norm of (theoretical) rationality (or wisdom).

This paper discusses a new paradox, the paradox of infallibility. Let us define infallibility in the following way: (Def I) t is infallible if and only if (iff) everything t believes is true, where t is any term. (Def I) entails the following proposition: (I) It is necessary that for every individual x, x is infallible iff every proposition x believes is true. However, (I) seems to be inconsistent with the following proposition (P): It is possible that there is some individual who believes exactly one proposition, namely that she is not infallible. So, it seems to be the case that either (I) or (P) must be false. Yet, (I) is simply a consequence of (Def I) and (P) clearly seems to be true. This is the puzzle. I discuss five possible solutions to the problem and mention some arguments for and against these solutions.

Den här boken är en inledning till den s.k. predikatlogiken. Predikatlogiken studerar argument vars giltighet beror på ord såsom ”allting”, ”någonting” och ”ingenting”. Boken innehåller fem kapitel. Det första kapitlet är en kort inledning till predikatlogik. Kapitel 2 handlar om syntax. Det tar upp flera predikatlogiska språk, det beskriver hur dessa är uppbyggda och hur de förhåller sig till olika naturliga språk. Kapitel 3 handlar om semantik. Vad betyder olika symboliska tecken? Vad har olika satser för sanningsvillkor? Kapitel 4 handlar om bevisteori. Det går bl.a. igenom hur man kan avgöra om ett argument är predikatlogiskt giltigt eller inte. Det nämner tre olika bevismetoder/härledningsmetoder: axiomatiska system, naturlig deduktion och semantiska tablåer. Kapitlet innehåller många exempel. Om man vill lära sig mer om logik, kan det vara bra att försöka bemästra alla dessa olika metoder. Kapitel 5 innehåller viss allmän information om predikatlogiken och fler övningar. Predikatlogiken är en utvidgning av den s.k. satslogiken, som bl.a. beskrivs i boken Satslogik: En Introduktion. För att förstå materialet i den här boken bör läsaren först ha studerat Satslogik: En Introduktion eller någon liknande bok. Predikatlogik: En Introduktion innehåller en stor mängd övningar som kan hjälpa läsaren att öva upp sina logiska förmågor.

Den här boken är en inledning till den s.k. satslogiken. Satslogiken är en gren av logiken som studerar logiska relationer mellan satser. Boken innehåller fem kapitel. Det första kapitlet är en kort inledning till logik som går igenom några grundläggande logiska begrepp. Vad är logik? Vad menas med ”argument”, ”premiss”, ”slutsats”, ”giltighet” osv.? Kapitel 2 handlar om syntax. Hur är det satslogiska språket uppbyggt och hur förhåller det sig till naturliga språk? Kapitel 3 handlar om semantik. Vad betyder olika symboliska tecken? Vad har olika satser för sanningsvillkor? Det går igenom ett antal grundläggande semantiska termer, såsom ”logisk sanning”, ”logisk falskhet”, ”logisk kontingens”, ”logisk satisfierbarhet”, ”logisk följd” och ”logisk giltighet”. Det visar hur man kan använda sanningstabeller för att avgöra om ett argument är giltigt eller inte, om en sats är logiskt sann eller inte m.m. Kapitel 4 handlar om bevisteori. Vad är ett bevis? Vad är en härledning? Hur kan man avgöra om ett argument är giltigt eller inte? Det nämner tre olika bevismetoder/härledningsmetoder: axiomatiska system, naturlig deduktion och semantiska tablåer. Det tar upp ett antal exempel som visar hur man kan använda dessa metoder. Kapitel 5 innehåller en allmän diskussion om sanningsfunktioner och fler övningar. Det går igenom ett antal logiska fakta och säger något kort om metalogik. Boken innehåller en stor mängd övningar som kan hjälpa läsaren att öva upp sina logiska förmågor.

Den här boken är en övningsbok i logik och en kort introduktion till religionsfilosofi. Den innehåller femton kapitel. Det första kapitlet är en allmän inledning till ämnet. Kapitel 2 tar upp några begreppsliga frågor. Vad är en religion? Det innehåller även en kort beskrivning av några vanliga religioner. Kapitel 3 handlar om språkfilosofiska frågor. Kapitel 4 handlar om religionssociologiska och religionspsykologiska frågor m.m. Kapitel 5 handlar om religiös monism, pluralism, relativism, naturalism m.m. Kapitel 6 handlar om berättelser, myter m.m. Kapitel 7 handlar om fenomenologiska frågor. Kapitel 8 handlar om religiösa handlingar m.m. Kapitel 9 handlar om kunskapsteoretiska frågor. Kapitel 10 handlar om metafysiska frågor. Kapitel 11 handlar om moralfilosofiska frågor. Kapitel 12 innehåller blandade övningar i predikatlogik. Kapitel 13 innehåller blandade övningar i relationell predikatlogik (med och utan identitet). Kapitel 14 innehåller blandade övningar i modallogik och deontisk logik. Kapitel 15 innehåller en sammanfattning. Den här boken innehåller många olika argument. Läsaren kan förhoppningsvis öva upp sin förmåga att analysera och värdera olika filosofiska deduktioner, samt att tänka och resonera logiskt, genom att studera dessa. Boken kan användas i undervisning i filosofi och logik på en grundläggande nivå eller för självstudier. Läsningen kompletteras lämpligen med någon god introduktionsbok till logik. För att förstå de logiska lösningarna i den här boken kan det vara bra att känna till vissa grundläggande logiska fakta och metoder. Boken innehåller tre olika metoder: sanningstabeller, naturlig deduktion och semantiska tablåer. OBS: Många argument i denna bok har tidigare publicerats i boken Logiska Övningar: En Introduktion till Praktisk Filosofi och många lösningar har tidigare publicerats i boken Facit till Några Argument i ”Logiska Övningar: En Introduktion till Praktisk Filosofi”, även om den också innehåller många argument som är nya.

According to the so-called golden rule, we ought to treat others as we want to be treated by them. This rule, in one form or another, is part of every major religion, and it has been accepted by many philosophers with various ethical views. However, if the literal golden rule is interpreted as an absolute rule, it is problematic. In this paper, I introduce a new version of this famous principle that is similar to various classical definitions. According to this variant, the rule can be formulated in the following way: If you want it to be the case that if x were in your situation and you were in x’s situation then x would do H to you, and you have a good will, then you ought to do H to x. I show how this version can be derived from a small set of highly plausible premises, and I defend it against some of the most interesting and/or common objections against the golden rule in the literature. I conclude that we have good reason to believe in this rendition of the principle.

This paper discusses a new paradox, the paradox of infallibility. Let us define infallibility in the following way: (Def I) t is infallible if and only if (iff) everything t believes is true, where t is any term. (Def I) entails the following proposition: (I) It is necessary that for every individual x, x is infallible iff every proposition x believes is true. However, (I) seems to be inconsistent with the following proposition (P): It is possible that there is some individual who believes exactly one proposition, namely that she is not infallible. So, it seems to be the case that either (I) or (P) must be false. Yet, (I) is simply a consequence of (Def I) and (P) clearly seems to be true. This is the puzzle. I discuss five possible solutions to the problem and mention some arguments for and against these solutions.

A contrary-to-duty obligation is an obligation that tells us what ought to be the case if something that is wrong or forbidden is true. Alternatively, we might say that a contrary-to-duty obligation is a conditional obligation where the condition is fulfilled only if a primary obligation is violated. Consider this example: “If you have hurt her feelings, you should make amends.” Since contrary-to-duty obligations play an important role in our moral and legal thinking, we want to find a good analysis of this concept. However, it has turned out to be difficult to formalize various contrary-to-duty obligations. This is illustrated by the so-called contrary-to-duty paradox. This paradox is generated when we try to symbolize various scenarios that include at least one contrary-to-duty obligation in many formal deontic systems, such as Standard Deontic Logic. Such symbolizations are often inconsistent or entail some other problematic consequences. This entry is a brief introduction to this problem.

Den här boken är en övningsbok i logik och en kort introduktion till metafysik. Den innehåller åtta kapitel. Det första kapitlet är en allmän inledning till ämnet. Det tar bl.a. upp olika frågor som metafysiker ofta sysslar med. Metafysik handlar om verklighetens natur. Hur är världen ytterst beskaffad? Vilka typer av entiteter existerar? Kan det varande kategoriseras? Kapitel 2 handlar om ting och processer. Vad är ett ting och hur skall man förstå tingens existens över tid? Kapitel 3 handlar om egenskaper, relationer, fakta m.m. Finns det några egenskaper och relationer? Vilken ontologisk status har de i så fall? Existerar de bortom tid och rum eller i tid och rum? Är de medvetandeberoende eller inte? Kapitel 4 handlar om tid, rum, kausalitet m.m. Vilken ontologisk status har tiden och rummet (rumtiden)? Vad innebär det att säga att någonting orsakar någonting? Kapitel 5 handlar om det mentala och det fysikaliska. Verkligheten tycks innehålla både mentala och fysikaliska entiteter. Stämmer det? Hur förhåller sig i så fall dessa olika typer av entiteter till varandra? Kapitel 6 innehåller blandade övningar i predikatlogik. Kapitel 7 innehåller blandade övningar i modallogik och tidslogik. Kapitel 8 innehåller blandade övningar i högre ordningens logik. Den här boken innehåller många olika argument. Läsaren kan förhoppningsvis öva upp sin förmåga att analysera och värdera olika filosofiska deduktioner, samt att tänka och resonera logiskt, genom att studera dessa. Boken kan användas i undervisning i filosofi och logik på en grundläggande nivå eller för självstudier. Läsningen kompletteras lämpligen med någon god introduktionsbok till logik. För att förstå de logiska lösningarna i den här boken kan det vara bra att känna till vissa grundläggande logiska fakta och metoder. Boken innehåller tre olika metoder: sanningstabeller, naturlig deduktion och semantiska tablåer. OBS: En stor andel argument i denna bok har tidigare publicerats i boken Logiska Övningar: En Introduktion till Teoretisk Filosofi och många lösningar har tidigare publicerats i boken Facit till Några Argument i "Logiska Övningar: En Introduktion till Teoretisk Filosofi", även om den också innehåller många argument som är nya. Produkt information Publicerad: Juli 14, 2022 Språk: Svenska Format: Paperback Antal sidor: 562 sidor

Den här boken är en övningsbok i logik och en kort introduktion till kunskapsfilosofi (epistemologi eller kunskapsteori). Den innehåller tio kapitel. Det första kapitlet är en allmän inledning till kunskapsfilosofi. Kapitel 2 handlar om kunskapens natur. Vad är kunskap? Kapitel 3 tar upp olika berättigandeteorier. Vad är vi berättigade att tro? Kapitel 4 handlar om kunskap, sanning och sannolikhet. Kapitel 5 handlar om kunskapens möjlighet. Kan vi veta någonting? Kapitel 6 handlar om kunskapens källor. Hur får vi kunskap? Kapitel 7 handlar om kunskapens eventuella begränsningar och om epistemiska och doxastiska normer och värden. Kapitel 8 berör olika metaepistemologiska frågor. Kapitel 9 innehåller blandade övningar i predikatlogik och kapitel 10 innehåller blandade övningar i epistemisk logik och modallogik. Den här boken innehåller många olika argument. Läsaren kan förhoppningsvis öva upp sin förmåga att analysera och värdera olika filosofiska deduktioner, samt att tänka och resonera logiskt, genom att studera dessa. Boken kan användas i undervisning i filosofi och logik på en grundläggande nivå eller för självstudier. Läsningen kompletteras lämpligen med någon god introduktionsbok till logik. För att förstå de logiska lösningarna i den här boken kan det vara bra att känna till vissa grundläggande logiska fakta och metoder. Boken innehåller tre olika metoder: sanningstabeller, naturlig deduktion och semantiska tablåer. OBS: De flesta argument i denna bok har tidigare publicerats i boken Logiska Övningar: En Introduktion till Teoretisk Filosofi och många lösningar har tidigare publicerats i boken Facit till Några Argument i ”Logiska Övningar: En Introduktion till Teoretisk Filosofi”, även om den också innehåller många argument som är nya. Produkt information Publicerad: Maj 4, 2022 Språk: Svenska Format: Paperback Antal sidor: 562 sidor

Den här boken är en övningsbok i logik och en kort introduktion till vetenskapsfilosofi. Den innehåller sju kapitel. Första kapitlet är en inledning till boken. Kapitel 2 handlar om vetenskapens natur. Vad är vetenskap? Kapitel 3 handlar om vetenskapens metoder. Hur får vi vetenskaplig kunskap? Använder olika vetenskaper olika metoder? Kapitel 4 tar upp metafysiska frågor. Har vetenskapen några metafysiska implikationer? Vilken världsbild ger vetenskapen upphov till? Vad är sanningen? Kapitel 5 handlar om vetenskapliga förklaringar, orsaker och verkningar, m.m. Vad innebär det att påstå att någonting orsakar någonting? Kapitel 6 innehåller blandade övningar i predikatlogik. Kapitel 7 innehåller blandade övningar i epistemisk logik och modallogik. Den här boken innehåller många olika argument. Läsaren kan förhoppningsvis öva upp sin förmåga att analysera och värdera olika filosofiska deduktioner, samt att tänka och resonera logiskt, genom att studera dessa. Boken kan användas i undervisning i filosofi och logik på en grundläggande nivå eller för självstudier. Läsningen kompletteras lämpligen med någon god introduktionsbok till logik. För att förstå de logiska lösningarna i den här boken kan det vara bra att känna till vissa grundläggande logiska fakta och metoder. Boken innehåller tre olika metoder: sanningstabeller, naturlig deduktion och semantiska tablåer. OBS: De flesta argument i denna bok har tidigare publicerats i boken Logiska Övningar: En Introduktion till Teoretisk Filosofi och många lösningar har tidigare publicerats i boken Facit till Några Argument i ”Logiska Övningar: En Introduktion till Teoretisk Filosofi”, även om den också innehåller många argument som är nya. Produkt information Publicerad: Januari 8, 2022 Språk: Svenska Format: Paperback Antal sidor: 446 sidor

Den här boken är en övningsbok i logik och en kort introduktion till metaetik. Den innehåller nio kapitel. Det första kapitlet är en allmän inledning till moralfilosofin. Det innehåller information om vad metaetik är och om hur metaetiken förhåller sig till den normativa etiken, till praktisk (eller tillämpad) etik och till deskriptiv moralfilosofi. Kapitel 2 handlar om språkfilosofiska frågor. Kapitel 3 handlar om medvetandefilosofiska frågor. Kapitel 4 behandlar kunskapsteoretiska frågor. Kapitel 5 handlar om metafysiska frågor. Kapitel 6 handlar om logiska frågor. Kapitel 7 handlar om övriga metaetiska frågor, om relativism, objektivism och subjektivism. Kapitel 8 innehåller blandade övningar i predikatlogik. Kapitel 9 innehåller blandade övningar i modallogik och deontisk logik. Den här boken innehåller en stor mängd argument. Genom att studera dessa kan läsaren öva upp sin förmåga att analysera och värdera olika filosofiska härledningar, samt att tänka och resonera logiskt. Boken kan användas i undervisning i filosofi och logik på en grundläggande nivå eller för självstudier. Läsningen kompletteras lämpligen med en eller flera introduktionsböcker till logik, som behandlar olika fundamentala logiska fakta och metoder. OBS: De flesta argument i denna bok har tidigare publicerats i boken Logiska Övningar: En Introduktion till Praktisk Filosofi eller i boken Logiska Övningar: En Introduktion till Teoretisk Filosofi och många lösningar har tidigare publicerats i boken Facit till Några Argument i ”Logiska Övningar: En Introduktion till Praktisk Filosofi”, även om den också innehåller många argument som är nya. Produkt information Publicerad: Juni 24, 2021 Språk: Svenska Format: Paperback Antal sidor: 448 sidor

Den här boken är en övningsbok i logik och en kort introduktion till politisk filosofi och rättsfilosofi. Tonvikten ligger på den politiska filosofin. Boken innehåller tio kapitel. Det första kapitlet är en allmän inledning till politisk filosofi och rättsfilosofi. Kapitel 2 handlar om konservatism. Kapitel 3 handlar om liberalism. Kapitel 4 handlar om socialism. Kapitel 5 handlar om anarkism. Kapitel 6 handlar om kommunism. Kapitel 7 handlar om ekologism. Kapitel 8 innehåller blandade övningar i politisk filosofi och rättsfilosofi. De flesta argument i detta kapitel kan analyseras med hjälp av satslogik. Kapitel 9 innehåller blandade övningar i politisk filosofi och rättsfilosofi. För att analysera argumenten i detta kapitel krävs i regel predikatlogik. Även Kapitel 10 innehåller blandade övningar i politisk filosofi och rättsfilosofi. För att analysera argumenten i detta kapitel krävs i regel modallogik eller deontisk logik. Den här boken innehåller en stor mängd argument. Genom att studera dessa kan läsaren öva upp sin förmåga att analysera och värdera olika filosofiska härledningar, samt att tänka och resonera logiskt. Boken kan användas i undervisning i filosofi och logik på en grundläggande nivå eller för självstudier. Läsningen kompletteras lämpligen med en eller flera introduktionsböcker till logik, som behandlar olika fundamentala logiska fakta och metoder. OBS: De flesta argument i denna bok har tidigare publicerats i boken Logiska Övningar: En Introduktion till Praktisk Filosofi och många lösningar har tidigare publicerats i boken Facit till Några Argument i ”Logiska Övningar: En Introduktion till Praktisk Filosofi”, även om den också innehåller ett antal argument som är nya. Produkt information Publicerad: April 15, 2021 Språk: Svenska Format: Paperback Antal sidor: 216 sidor

Den här boken är en övningsbok i logik och en kort introduktion till normativ etik. Den innehåller nio kapitel. Det första kapitlet är en allmän inledning till normativ etik. Det innehåller information om vad normativ etik är och hur den normativa etiken förhåller sig till metaetik, praktisk (eller tillämpad) etik och deskriptiv moralfilosofi. Kapitel 2 handlar om dygdetik. Kapitel 3 handlar om naturlagsetik. Kapitel 4 handlar om kontraktualism (kontraktsetik) och rättighetsetik. Kapitel 5 handlar om kantianism, sinnelagsetik och pliktetik. Kapitel 6 handlar om konsekvensetik. Kapitel 7 handlar om prima-facie-etik, omsorgsetik och situationsetik. Kapitel 8 handlar om fenomenologisk etik och existentialistisk etik. Kapitel 9 innehåller kort information om diverse andra normativa teorier och blandade övningar. Den här boken innehåller en stor mängd argument. Genom att studera dessa kan läsaren öva upp sin förmåga att analysera och värdera olika filosofiska härledningar, samt att tänka och resonera logiskt. Boken kan användas i undervisning i filosofi och logik på en grundläggande nivå eller för självstudier. Läsningen kompletteras lämpligen med en eller flera introduktionsböcker till logik, som behandlar olika fundamentala logiska fakta och metoder. OBS: De flesta argument i denna bok har tidigare publicerats i boken Logiska Övningar: En Introduktion till Praktisk Filosofi och många lösningar har tidigare publicerats i boken Facit till Några Argument i ”Logiska Övningar: En Introduktion till Praktisk Filosofi”, även om den också innehåller många argument som är nya. Produkt information Publicerad: April 15, 2021 Språk: Svenska Format: Paperback Antal sidor: 418 sidor

Facit till några Argument i "Logiska Övningar: En Introduktion till Praktisk Filosofi" innehåller, som titeln skvallrar om, ett facit till några övningar i boken Logiska Övningar: En Introduktion till Praktisk Filosofi. Flera olika bevismetoder illustreras: sanningstabeller, naturlig deduktion och semantiska tablåer. Boken innehåller mer än 50 sanningstabeller, mer än 70 naturliga deduktioner och ca 100 semantiska tablåer. Den innehåller fullständiga lösningar till ca 240 argument och en stor mängd skisser till lösningar. I vissa fall indikerar svaret bara om argumentet är giltigt eller ogiltigt. I vissa fall ingår bara en symbolisering av en viss paragraf. Det är upp till läsaren att själv försöka bedöma om dessa argument är bra eller inte. Boken innehåller exempel på satslogiska, predikatlogiska, modallogiska och deontiska härledningar. Alla argument från Logiska Övningar: En Introduktion till Praktisk Filosofi som analyseras eller värderas i denna bok förekommer också i detta facit i sin helhet. Det är därför möjligt att ha utbyte av denna bok även om läsaren inte har tillgång till Logiska Övningar: En Introduktion till Praktisk Filosofi. Men eftersom Logiska Övningar: En Introduktion till Praktisk Filosofi innehåller många argument som inte tas upp i detta facit är det lämpligt att först arbeta med övningarna i Logiska Övningar: En Introduktion till Praktisk Filosofi och därefter jämföra de egna analyserna med lösningarna i detta facit. Produkt information Publicerad: Januari 18, 2021 Språk: Svenska Format: Paperback Antal sidor: 580 sidor

Logiska Övningar är en övningsbok i logik och en introduktionsbok i praktisk filosofi. Den är indelad i sju kapitel. Varje kapitel, förutom det första, behandlar en eller flera klassiska grenar av den praktiska filosofin. Det första kapitlet är en allmän inledning till boken och till filosofi som ämne. Övriga kapitel behandlar följande områden. Metaetik (kapitel 2). Finns det objektiva normer och värderingar? Hur vet vi vad som är rätt eller fel, gott eller ont? Normativ etik (kapitel 3). Hur bör vi leva våra liv och vad bör vi sträva efter? Tillämpad etik (kapitel 4). Hur kan vi tillämpa våra normativa teorier på praktiska problem? Politisk filosofi & Rättsfilosofi (kapitel 5). Hur ser det goda samhället ut? Hur bör våra lagar vara utformade? Estetik (kapitel 6). Vad är konst? Vad innebär det att påstå att någonting är vackert? Religionsfilosofi (kapitel 7). Vad är en religion? Finns det en övernaturlig verklighet? Logiska Övningar innehåller mer än 5000 tankekedjor eller argument. Genom att studera dessa kan läsaren öva upp sin förmåga att analysera och värdera olika filosofiska härledningar, samt att tänka och resonera logiskt. Boken kan användas i undervisning i filosofi och logik på en grundläggande nivå eller för självstudier. Läsningen kompletteras lämpligen med en eller flera introduktionsböcker till logik, som behandlar olika fundamentala logiska fakta och metoder. Produkt information Publicerad: November 24, 2020 Språk: Svenska Format: Paperback Antal sidor: 826 sidor

Facit till några Argument i "Logiska Övningar: En Introduktion till Teoretisk Filosofi" innehåller, som titeln skvallrar om, ett facit till några övningar i boken Logiska Övningar: En Introduktion till Teoretisk Filosofi. Flera olika bevismetoder illustreras: sanningstabeller, naturlig deduktion och semantiska tablåer. Boken innehåller mer än 60 sanningstabeller, mer än 100 naturliga deduktioner och mer än 120 semantiska tablåer. Den innehåller fullständiga lösningar till ca 290 argument och en stor mängd skisser till lösningar. I vissa fall indikerar svaret bara om argumentet är giltigt eller ogiltigt. I vissa fall ingår bara en symbolisering av en viss paragraf. Det är upp till läsaren att själv försöka bedöma om dessa argument är bra eller inte. Boken innehåller exempel på satslogiska, predikatlogiska, modallogiska och epistemiska härledningar. Alla argument från Logiska Övningar: En Introduktion till Teoretisk Filosofi som analyseras eller värderas i denna bok förekommer också i detta facit i sin helhet. Det är därför möjligt att ha utbyte av denna bok även om läsaren inte har tillgång till Logiska Övningar: En Introduktion till Teoretisk Filosofi. Men eftersom Logiska Övningar: En Introduktion till Teoretisk Filosofi innehåller många argument som inte tas upp i detta facit är det lämpligt att först arbeta med övningarna i Logiska Övningar: En Introduktion till Teoretisk Filosofi och därefter jämföra de egna analyserna med lösningarna i detta facit. Produkt information Publicerad: September 23, 2021 Språk: Svenska Format: Paperback Antal sidor: 604 sidor

Logiska Övningar är en övningsbok i logik och en introduktionsbok i teoretisk filosofi. Den är indelad i sju kapitel. Varje kapitel, förutom det första, behandlar en eller flera klassiska grenar av den teoretiska filosofin. Det första kapitlet är en allmän inledning till boken och till filosofi som ämne. Övriga kapitel behandlar följande områden. Logik & Argumentationsteori (kapitel 2). Hur bör vi tänka och argumentera? Kunskapsteori (kapitel 3). Vad är kunskap och hur får vi kunskap om verkligheten? Metafysik (kapitel 4). Hur är verkligheten ytterst beskaffad? Vad existerar? Vetenskapsfilosofi (kapitel 5). Vad är vetenskap? Hur får vi vetenskaplig kunskap? Språkfilosofi (kapitel 6). Vad är ett språk? Hur förhåller sig språket till vårt tänkande och till verkligheten? Medvetandefilosofi (kapitel 7). Vad är en människa? Hur förhåller sig kropp och själ till varandra? Logiska Övningar innehåller mer än 5000 tankekedjor eller argument. Genom att studera dessa kan läsaren öva upp sin förmåga att analysera och värdera olika filosofiska härledningar, samt att tänka och resonera logiskt. Boken kan användas i undervisning i filosofi och logik på en grundläggande nivå eller för självstudier. Läsningen kompletteras lämpligen med en eller flera introduktionsböcker till logik, som behandlar olika fundamentala logiska fakta och metoder. Produkt information Publicerad: September 14, 2019 Språk: Svenska Format: Paperback Antal sidor: 708 sidor

Deontic logic is a branch of logic that investigates normative concepts, systems of norms and normative reasoning. The formal languages of deontic logic include normative concepts that correspond to natural language notions such as ought, obligatory, permissible, forbidden and optional. The present book is an introduction to this branch of logic. Several basic deontic systems are described and some of their properties are explored. Every system is characterized both semantically using possible world semantics and axiomatically. The final chapter includes soundness and completeness results for every system. The focus of the study is formal, but some philosophical questions are also raised, in particular: What is the meaning of the word "ought" and other normative notions as they occur in ordinary and philosophical discussions? Several distinctions between different kinds of obligations are considered, for instance the distinctions between prima facie and all things considered obligations and between conditional and unconditional obligations. The book is aimed at people with no prior knowledge of deontic logic but with some acquaintance with classical logic including some set theory. It should interest anyone who wants to know more about this area.

A contrary-to-duty obligation is an obligation telling us what ought to be the case if something that is wrong is true. For example: ‘If you have done something bad, you should make amends’. Doing something bad is wrong, but if it is true that you did do something bad, it ought to be the case that you make amends. Here are some other examples: ‘If he is guilty, he should confess’, ‘If you have hurt your friend, you should apologise to her’, ‘If she will not keep her promise to him, she ought to call him’, ‘If the books are not returned by the due date, you must pay a fine’. Alternatively, we might say that a contrary-to-duty obligation is a conditional obligation where the condition (in the obligation) is forbidden, or where the condition is fulfilled only if a primary obligation is violated. In the first example, he should not be guilty; but if he is, he should confess. You should not have hurt your friend; but if you have, you should apologise. She should keep her promise to him; but if she will not, she ought to call him. The books ought to be returned by the due date; but if they are not, you must pay a fine. Contrary-to-duty obligations are important in our moral and legal thinking. They turn up in discussions concerning guilt, blame, confession, restoration, reparation, punishment, repentance, retributive justice, compensation, apologies, damage control, and so forth. The rationale of a contrary-to-duty obligation is the fact that most of us do neglect our primary duties from time to time and yet it is reasonable to believe that we should make the best of a bad situation, or at least that it matters what we do when this is the case. We want to find an adequate symbolisation of such obligations in some logical system. However, it has turned out to be difficult to do that. This is shown by the so-called contrary-to-duty (obligation) paradox, sometimes called the contrary-to-duty imperative paradox. The contrary-to-duty paradox arises when we try to formalise certain intuitively consistent sets of ordinary language sentences, sets that include at least one contrary-to-duty obligation sentence, by means of ordinary counterparts available in various monadic deontic logics, such as the so-called Standard Deontic Logic and similar systems. In many of these systems the resulting sets are inconsistent in the sense that it is possible to deduce contradictions from them, or else they violate some other intuitively plausible condition, for example that the members of the sets should be independent of each other. This article discusses this paradox and some solutions that have been suggested in the literature. (Submitted: 2017-10-23; Published in 2022)

The paper develops a Kantian view of the highest good and the relation between virtue and happiness. Several Kantian theses are defended, among them the thesis that the highest good is realized only if every virtuous individual is happy, the view that virtue is neither necessary nor sufficient for happiness, and the proposition that virtue is both necessary and sufficient for the worthiness of being happy. The author argues that the highest good ought to be realized and that it ought to be that everyone who is virtuous is happy. To prove these claims, the author will use techniques developed by modern deontic logicians. According to Kant, we do not have an immediate duty to promote our own happiness, the aim of morality being not personal satisfaction but rather virtue and the good will. The important question is not “How do I become happy?” but “How do I become good?”. The arguments in this paper support this view.

The paper develops a Kantian view of the highest good and the relation between virtue and happiness. Several Kantian theses are defended, among them the thesis that the highest good is realized only if every virtuous individual is happy, the view that virtue is neither necessary nor sufficient for happiness, and the proposition that virtue is both necessary and sufficient for the worthiness of being happy. The author argues that the highest good ought to be realized and that it ought to be that everyone who is virtuous is happy. To prove these claims, the author will use techniques developed by modern deontic logicians. According to Kant, we do not have an immediate duty to promote our own happiness, the aim of morality being not personal satisfaction but rather virtue and the good will. The important question is not “How do I become happy?” but “How do I become good?”. The arguments in this paper support this view.

In this paper, I will develop a new theory of the nature of happiness, or “perfect happiness.” I will examine what perfect happiness is and what it is not and I will try to answer some fundamental questions about this property. According to the theory, which I shall call “the fulfillment theory,” perfect happiness is perfect fulfillment. The analysis of happiness in this paper is a development of the old idea that happiness is getting what you want and can be classified as a kind of desire-satisfaction theory. According to the fulfillment theory of happiness, it is necessarily the case that an individual x is perfectly happy if and only if all x’s wants are fulfilled. The interpretation of this basic definition is important, since the consequences of the particular version defended in this essay are radically different from the consequences of many other popular theories of happiness. The fulfillment theory is also quite different from most other desire-satisfaction theories of happiness. We will see that it has many interesting consequences and that it can be defended against some potentially serious counterarguments. The upshot is that the analysis of (perfect) happiness developed in the present paper is quite attractive.

The paper develops a set of quantified temporal alethic boulesic doxastic systems. Every system in this set consists of five parts: a ‘quantified’ part, a temporal part, a modal (alethic) part, a boulesic part and a doxastic part. There are no systems in the literature that combine all of these branches of logic. Hence, all systems in this paper are new. Every system is defined both semantically and proof-theoretically. The semantic apparatus consists of a kind of$$T \times W$$T×Wmodels, and the proof-theoretical apparatus of semantic tableaux. The ‘quantified part’ of the systems includes relational predicates and the identity symbol. The quantifiers are, in effect, a kind of possibilist quantifiers that vary over every object in the domain. The tableaux rules are classical. The alethic part contains two types of modal operators for absolute and historical necessity and possibility. According to ‘boulesic logic’ (the logic of the will), ‘willing’ (‘consenting’, ‘rejecting’, ‘indifference’ and ‘non-indifference’) is a kind of modal operator. Doxastic logic is the logic of beliefs; it treats ‘believing’ (and ‘conceiving’) as a kind of modal operator. I will explore some possible relationships between these different parts, and investigate some principles that include more than one type of logical expression. I will show that every tableau system in the paper is sound and complete with respect to its semantics. Finally, I consider an example of a valid argument and an example of an invalid sentence. I show how one can use semantic tableaux to establish validity and invalidity and read off countermodels. These examples illustrate the philosophical usefulness of the systems that are introduced in this paper.

This paper discusses a new aporia, the aporia of future directed beliefs. This aporia contains three propositions: (1) It is possible that there is someone who is infallible that believes something about the future that is not historically settled, (2) it is necessary that someone is infallible if and only if it is necessary that everything she believes is true, and (3) it is necessary that all our beliefs are historically settled. Every claim in this set is intuitively plausible, and there are interesting arguments for or against each of them. Nevertheless, {(1), (2), (3)} entails a contradiction. Consequently, at least one of the sentences in this set must be false. I consider some possible solutions to the problem and discuss some arguments for and against these solutions. Five solutions, in particular, stand out. Three solutions reject (1), one solution rejects (2), and one solution rejects (3). No solution is without problems, and it is not obvious which one we should choose. Yet, we have to give up at least one sentence in {(1), (2), (3)}. This is the nature of an aporia.

Tidslogik är en gren av logiken som handlar om temporala begrepp, satser, argument och system. Inom denna gren av logiken undersöker man t.ex. uttryck såsom "Det kommer alltid vara fallet att", "Det kommer någon gång i framtiden vara fallet att", "Det har alltid varit fallet att", "Det var någon gång i det förflutna fallet att". Logiska relationer mellan satser som innehåller temporala begrepp studeras och giltigheten hos argument som består av sådana satser analyseras. I tidigare arbeten har jag diskuterat hur tidslogiken kan betraktas som en form av multimodal logik. I den här uppsatsen visar jag hur tidslogiken kan beskrivas som en bimodal logik, ett slags modallogik som endast innehåller två typer av temporala operatorer. Den semantik jag använder är baserad på monotemporala ramar. En monotemporal ram är en relationell struktur som endast innehåller en primitiv tillgänglighetsrelation, nämligen relationen tidigare än / senare än. Jag utvecklar ett antal så kallade semantiska tablåsystem och bevisar att dessa är sunda och fullständiga i relation till deras semantik.

In this paper, I will discuss boulesic and deontic logic and the relationship between these branches of logic. By ‘boulesic logic,’ or ‘the logic of the will,’ I mean a new kind of logic that deals with ‘boulesic’ concepts, expressions, sentences, arguments and systems. I will concentrate on two types of boulesic expression: ‘individual x wants it to be the case that’ and ‘individual x accepts that it is the case that.’ These expressions will be symbolised by two sentential operators that take individuals and sentences as arguments and give sentences as values. Deontic logic is a relatively well-established branch of logic. It deals with normative concepts, sentences, arguments and systems. In this paper, I will show how deontic logic can be grounded in boulesic logic. I will develop a set of semantic tableau systems that include boulesic and alethic operators, possibilist quantifiers and the identity predicate; I will then show how these systems can be augmented by a set of deontic operators. I use a kind of possible world semantics to explain the intended meaning of our formal systems. Intuitively, we can think of our semantics as a description of the structure of a perfectly rational will. I mention some interesting theorems that can be proved in our systems, including some versions of the so-called hypothetical imperative. Finally, I show that all systems that are described in this paper are sound and complete with respect to their semantics.

Den här uppsatsen handlar om fritt val (FV) tillåtelser (FVT). Jag går igenom den s.k. fritt val tillåtelser paradoxen och nämner några möjliga lösningar på denna. Därefter presenterar jag mitt eget förslag på hur man bör förstå tillåtelser av detta slag och hur man kan lösa (FVT) paradoxen. Jag tar upp några potentiella invändningar mot denna analys och visar hur dessa kan bemötas. Ibland har (FVT) paradoxen använts som ett argument emot s.k. standard deontisk logik (SDL). Jag argumenterar för att man kan acceptera förekomsten av (FV) tillåtelser utan att behöva förkasta (SDL). Däremot pekar diskussionen på behovet av en kvantifierad deontisk logik.

Tidslogik är en gren av logiken som handlar om temporala begrepp, satser, argument och system. Inom denna gren av logiken undersöker man t.ex. uttryck såsom "Det kommer alltid vara fallet att", "Det kommer någon gång i framtiden vara fallet att", "Det har alltid varit fallet att", "Det var någon gång i det förflutna fallet att". Logiska relationer mellan satser som innehåller temporala begrepp studeras och giltigheten hos argument som består av sådana satser analyseras. Ett multimodalt språk är ett modalt språk som inkorporerar flera olika modala operatorer. En multimodal semantik är en modal semantik som innehåller flera olika s.k. tillgänglighetsrelationer som svarar mot de olika modala operatorerna. Och ett multimodalt system är ett modalt system (av teorem) som är baserat på ett multimodalt språk. Multimodal logik är en gren av modallogiken som handlar om multimodala språk, semantiska teorier och system. I den här uppsatsen visar jag hur tidslogiken kan betraktas som en del av den multimodala logiken. Jag utvecklar ett antal så kallade semantiska tablåsystem och bevisar att dessa är sunda och fullständiga i relation till deras semantik.