Rozumienie wyprzedza więc zdolność formalnie precyzyjnego formułowania.
Dopiero półtora wieku wyrobienia myślowego w algebraicznym operowaniu tymi pojęciami doprowadziło do odkrycia przez Cauchy'ego właściwej definicji granicy ciągu nieskończonego. Jest to jeden z pierwszych kroków w historii, gdy zaczyna się jawnie i świadomie stosuje się pojęcie kwantyfikatora. Wcześniej od Chauchy'ego i bardziej konsekwentnie używał zwrotów kwantyfikatorowych Bernard Bolzano. Jednakże Bolzano nie wywarł znaczącego wpływu na naukę matematyki w swej epoce. W swoich badaniach koncentrował się na rozważaniach filozoficznych.
Przypisy
Bibliografia
Literatura dodatkowa T. Kotarbiński, Wykłady z dziejów logiki. T. Kwiatkowski, Szkice z historii logiki ogólnej.
Linki zewnętrzne
Roy T. Cook, Shay Allen Logan, Logic in the second half of the twentieth century , Routledge Encyclopedia of Philosophy, rep.routledge.com [dostęp 2024-05-30]. The history of logic from Aristotle to Gödel, historyoflogic.com [dostęp 2024-05-30].
Kategoria:Logika Kategoria:Historia filozofii Kategoria:Historia matematyki