26. svibnja 2025. / Članci
POVIJEST LOGIKE (4)
Formalizacije logike sudova. Frege i Kneale, generatori i testovi
U četvrtom nastavku serijala o povijesti logike, Zvonimir Šikić pokazuje kako su Fregeov modus ponens i minimalna logika evoluirali u Knealeove multiplarne dedukcije koje zatvaraju krug korektnosti, potpunosti i odlučivosti.
