Mi az a formállogika? Meg tudná valaki közérthetően magyarázni egyszerű példával? A köznyelvben milyen jelentésmódosulással használjuk?

Ez olyan, mintha megkérdeznéd, mi az analízis, a diszkrét matematika vagy a valszám. Ez is a matematikának egy ága.

[link]

A formális logika elsősorban a nulladrendű, elsőrendű és másodrendű formális nyelvek, vagy ezek módosulatainak logikai tulajdonságait vizsgálja. Ez nem sokat mond... Mondjuk azt hogy egy szigorú, precíz "nyelvet" biztosít amin állításokat írhatunk le és azokból új állításokra következtethetünk.

A matematika a huszadik század elejére meglehetősen érdekes válságban találta magát: paradoxonok kerültek elő amelyek alapján minden elmélet értéktelenné vált. Így a huszadik század első felében a matematikusok azzal foglalkoztak hogy szilárd alapokra helyezzék a matematikát. Ezt is a formális logika "nyelvén" tették. (Aztán hogy pofára estek 1934-ben...)

A szillogizmus tulajdonképpen a formális logika néhány következtetési sémájának (modus tollens, modus ponens) ógörög változata.