Логічні закони та правила (вимоги) формальної логіки

Крім цього, в логіці є два основних способи диференціації (класифікації) об'єкта вивчення: поділ його на частини (елементи) і розподіл на види. Основна принципова відмінність між цими двома способами диференціації полягає в тому, що в першому випадку цілісність об'єкта вивчення як би розчленовується (реально або ідеально в свідомості дослідника) на складові елементи (частини), кожний з яких взятий сам по собі цілим не є.

У другому випадку, навпаки, в кожному діленні ціле зберігається, тобто виділяються види цілісних об'єктів. Наприклад, при класифікації бібліотек і виділення їх видів за ознакою соціальне призначення існують наступні види бібліотек: загальні, спеціальні, особисті.

Доказ — це логічна операція обґрунтування істинності якого-небудь судження за допомогою інших істинних і пов’язаних з ним суджень. Доказові міркування включає три взаємозалежних елементи: теза, аргументи (доводи або підстави) і демонстрація.

Доказ. Під доказом в логіці розуміється процедура встановлення істинності деякого твердження шляхом приведення інших тверджень, істинність яких вже відома і з яких з необхідністю випливає перше. У доказі розрізняють тезу — твердження, яке потрібно довести, підстава (аргументи) — ті положення, за допомогою яких потрібно довести тезу, і логічний зв’язок між аргументами і тезою, яку іноді називають демонстрація.