Un sistema formal és indecidible si no disposa d’un algorisme o procediment de decisió per determinar, en un nombre finit de passos, si un enunciat o fórmula d’un sistema és un teorema d’aquest. La lògica d’enunciats és decidible, atès que disposa d’un procediment mecànic, les taules de veritat;, per poder determinar, per a qualsevol fórmula donada, si és o no una veritat lògica, una contradicció o una contingència. La lògica de predicats de primer ordre, en canvi, no ho és, segons el teorema de Church (1936).

Temes -	El saber filosòfic	El coneixement	La realitat	L'ésser humà	L'acció humana	La societat
Història -	Filosofia antiga i medieval	Filosofia moderna	Filosofia contemporània	Mapa del web	Ajuda i altres	Descarregar "font grega"