detta kapitel ger en översikt över begreppet logik. Logik kan identifieras som studier av inferenser och inferentiella relationer. Den praktiska användningen av logik är i alla fall att resonera bra och att dra bra slutsatser. Övergången från en premiss eller ett antal lokaler till slutsatsen styrs av en inferensregel. Om inferensen är i enlighet med lämplig regel kallas den giltig. Inferensregler anses ofta som alfa och omega av logik., Inferenser kan vara antingen deduktiva, det vill säga nödvändigtvis sanningsbevarande eller ampliativ, det vill säga inte nödvändigtvis sanningsbevarande. Filosofer anser i allmänhet deduktiva resonemang som den paradigmatiska typen av inferens. Det finns dock en utbredd uppfattning bland nonphilosophers som kan kallas Sherlock Holmes-vyn. Enligt allt, bra resonemang inklusive ampliativ resonemang, slår på ”avdrag” och ” logik.”Begrepp relaterade till logik och inferens, deduktiv inferens och information, analytiska slutsatser och ampliativ inferens diskuteras., Detaljer om logisk och extralogisk systematisering tillhandahålls. Det diskuterar också begrepp relaterade till syntax och semantik.