Den här boken är en inledning till den s.k. modallogiken. Modallogiken studerar argument vars giltighet beror på modala ord såsom ”måste”, ”kan” och ”omöjlig”. Boken innehåller fem kapitel. Det första kapitlet är en kort inledning till modallogik. Kapitel 2 handlar om syntax. Det tar upp flera modallogiska 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 modallogiskt giltigt eller inte i olika modala system. 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 veta någonting om alla dessa olika metoder. Kapitel 5 innehåller viss allmän information om modallogiken och fler övningar. Boken tar upp information både om propositionell modallogik, som är en utvidgning av den s.k. satslogiken, och kvantifierad modallogik, som bygger vidare på den s.k. predikatlogiken. Grunderna till satslogiken beskrivs bl.a. i boken Satslogik: En Introduktion. Grunderna till predikatlogiken beskrivs bl.a. i boken Predikatlogik: En Introduktion. För att förstå materialet i den här boken bör läsaren först ha studerat dessa eller liknande böcker. Modallogik: En Introduktion innehåller en stor mängd övningar som kan hjälpa läsaren att öva upp sina logiska förmågor. (shrink)

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. (shrink)

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. (shrink)

For centuries medical schools in Britain and elsewhere had a fairly static curriculum based on what might be called the 'three Rs' of medicine, and consequently had to make room for new subjects as the need arose in a fashion which was sometimes makeshift. However, Southampton University has only had a medical school for six years, and therefore their course on medical ethics and legal medicine was carefully integrated into the curriculum after some preliminary experiments carried out by a subcommittee (...) which is continually reviewing the situation. Medical ethics has now a definite place in the fourth year, preceded by an introduction to ethical problems encountered in medicine in the first year. Not only do members of the medical faculty participate in this teaching but also members of the faculties of law and the arts. (shrink)