Niniejszy tekst, tom I dwutomowego dzieła, dogłębnie analizuje standardową (zwaną również klasyczną) logikę propozycjonalną.
Jest to praca teoretyczna, której celem jest filozoficznie odkrywcza i technicznie rygorystyczna prezentacja. Szczegółowe przykłady i ćwiczenia są wykorzystywane do wyodrębnienia technicznych drobiazgów, ugruntowania zrozumienia i wskazania logiczno-filozoficznych zagadek i wyzwań; ze względu na tę cechę tekst może być również wykorzystywany do rygorystycznego studiowania logiki formalnej.
Studiowanie logiki propozycjonalnej może nagrodzić oddanego i cierpliwego studenta, odkrywając techniczne tajemnice krytycznego myślenia i rozwiązywania problemów, rzucając światło na istotne pojęcia w badaniu rozumowania, pokazując, jak potężne formalne narzędzia i metody działają w zastosowaniach oraz odblokowując krypty analizy logicznej. Może ona udoskonalić spostrzeżenia, które przyczynią się zarówno do zrozumienia, jak działa logika, jak i do przygotowania się do przyszłych badań nad rozumowaniem formalnym.
Niniejszy tekst obejmuje pewne tematy i mechanizmy decyzyjne, które są zwykle nieobecne w tekstach logicznych i mogą być badane tylko poprzez zapoznanie się z coraz większymi fragmentami istniejącej bibliografii. Rzadko poruszane tematy niniejszego tekstu obejmują: analizę możliwych światów, analityczność i niekognitywizm, szczegółowe badania relacji logicznych, alternatywne systemy gramatyczne i obliczeniowe, tablice prawdy dla dynamicznego przepływu informacji i poprawione tablice prawdy, negatywne i pozytywne drzewa semantyczne, formy normalne i mapy Karnaugha, intuicjonistyczną dedukcję naturalną, normalizację i harmonię w systemach dowodowo-teoretycznych oraz logikę dialogową.
