Logika formalna

[…] Aby sprawnie myśleć, trzeba wiedzieć, z jakiego zdania jakie zdanie wynika. Logika formalna – czyli logika  w węższym tego słowa znaczeniu – jest nauką o związkach zachodzących między prawdziwością czy fałszywością jakiś zdań ze względu na ich budowę, w szczególności o związku wynikania jednych zdań z drugich. (…)

Aby zbudować dobry dom, trzeba mieć dobre materiały budowlane, następnie trzeba umieć materiały te należycie ze sobą wiązać, wreszcie trzeba wiedzieć, jak je łączyć, wedle jakiego planu, aby dom dobrze służył przewidzianym dlań zadaniom.

Aby sprawnie myśleć, trzeba umieć jasno i niedwuznacznie formułować swe myśli w słowach, następnie znać związki wynikania jednych zdań z drugich ze względu na budowę (strukturę, formę) tych zdań, wreszcie umieć wykorzystać wymienione poprzednio umiejętności we wnioskowaniu i innych czynnościach myślowych.(…)

Należy podkreślić, że w rozwoju współczesnej logiki udział polskich uczonych jest bardzo istotny i ceniony na całym świecie.

Powinno być więc nasza ambicją, aby również powszechny poziom kultury logicznej ludzi wykształconych był w naszym kraju odpowiednio wysoki, jakkolwiek są to sprawy w znacznym stopniu od siebie niezależne. […]

Zygmunt Ziembiński, Logika praktyczna, Państwowe Wydawnictwo Naukowe, Warszawa 1976 s. 6-7