tämä luku antaa yleiskuvan logiikan käsitteestä. Logiikka voidaan tunnistaa päätelmien ja johdettujen suhteiden tutkimiseksi. Logiikan käytännön käyttö on joka tapauksessa järkeilyä ja hyvien päätelmien tekemistä. Siirtymistä lähtökohdasta tai useista tiloista johtopäätökseen säätelee päättelysääntö. Jos päättely on sopivan säännön mukainen, sitä kutsutaan päteväksi. Päättelyn sääntöjä pidetään usein logiikan alfana ja omegana., Johtopäätökset voivat olla joko deduktiivisia eli välttämättä totuuden säilyttäviä tai vahvistavia eli eivät välttämättä totuuden säilyttäviä. Filosofit pitävät yleensä deduktiivista päättelyä paradigmaattisena päättelyn tyyppinä. Nonphilosofien keskuudessa on kuitenkin laajalle levinnyt näkemys, jota voitaisiin kutsua Sherlock Holmes-näkemykseksi. Kaiken mukaan hyvä päättely, mukaan lukien vahvistava päättely, kääntyy ”vähennyksiin” ja ”logiikkaan.”Puhutaan logiikkaan ja päättelyyn liittyvistä käsitteistä, deduktiivisesta päättelystä ja informaatiosta, analyyttisistä päätelmistä ja vahvistavasta päättelystä., Loogisen ja ekstralogisen systematisoinnin yksityiskohdat on esitetty. Se käsittelee myös syntaksiin ja semantiikkaan liittyviä käsitteitä.