- la început. 20 de cenți. Numele logicii studiate prin metode matematice, în special prin axiomatizare și formalizare. Cuvântul "L." a însemnat inițial arta de calcul sau aritmetică obișnuită. G. Leibniz a folosit-o pentru a se referi la "calculul raționamentului" pe care încerca să-l dezvolte.
Termenul a ieșit din uz, dând loc termenului de logică matematică. logica simbolică sau logica modernă.
(Gr.). 1) etapa în dezvoltarea matematicii. logică, legată de lucrările scolii lui B. Russell (vezi Logicismul); 2) sinonim arhaic (provenind de la Leibniz) pentru termenul "matematică. logică "; 3) în antichitate. matematica în L. a înțeles un set de calculi cunoscuți la acea dată (în aritmetică) și măsurați. (în geometrie) algoritmi - în contrast cu modul dezvoltat conține. raționament "teoretic. matematică. " Sub logistica. metoda înțelege metoda de construire a logicii formale prin construirea unei logisme. sisteme (altfel - calculi, sisteme formale). H e. A. Introducere în matematică. logică, trans. de la engleza .. t.
Dicționar encyclopedic filosofic. - Enciclopedia Sovietică. Ch. ediție: LF Il'ichev, PN Fedoseev, SM Kovalev, VG Panov. 1983.
(din Greek λογιστική - arta calculului, raționamentului). Printre grecii antice L. numit. arta de calcul și geometrică. măsurători, i. Practic. aritmetică, contra-furnizată teoretică. matematică. În acest sens, acest termen a fost folosit în Zap. Europa până în secolul al XVII-lea. Dar Leibniz a folosit cuvântul Logistica (precum și termenul Mathematica Logica) ca sinonim pentru ratiocinator calcul (calculul deducerilor), ideea-cerned le-a avansat. În 1904, Filosofia Internațională. Congresul de la Geneva, acest termen a fost propus (independent de Itelson, Lalande și Couture) pentru a desemna logica matematică; în prezent. timpul este cel mai des folosit în acest sens. Totuși, în luminat există și o altă utilizare a acesteia: numele acelei etape în logică, care este reprezentată de logică. lucrări de Russell și școlii sale sau „tricotate cu aceleași domenii de activitate în filosofia matematicii, la Roe numit altfel. logicismului.
Din "L." ca nume matematice. Logica a format un număr de termeni importanți folosiți în logică. și filosofia. literatura. Deci, caracteristică matematică. logica, modul de formalizare prin construirea limbilor formalizate este adesea numit. metoda logistică; o parte pur oficială a unui limbaj formalizat (adică, un calcul neinterpretat). sistem logistic (precum și un sistem formal).
REFERINȚE Biserica lui Α. Introducere în logica matematică, [v. ] 1, trans. cu engleza. M. 1960, p. 48-60, 373-378; Kolman E. Y. Istoria matematicii în antichitate, M. 1961, p. 73-74; "Revue de Metafysique et de Morale", v. 12, 1904; Dicționarul filozofiei, ed. D. Runes, 4 ed. N. Y. 1942.
Enciclopedie filosofică. În enciclopedia 5-a - M. Editat de FV Konstantinov. 1960-1970.
Articole similare
Trimiteți-le prietenilor: