- в началото. 20. Името на логика, изучаването на математическите методи, особено с използването на axiomatization и формализация. Думата "LA" първоначално означава изкуството на изчисление или обикновена аритметика. Лайбниц го използва за означаване на "смятане на разсъждение", че той се опитва да се развива.
Терминът отпаднал от употреба, заменена с условията на математическата логика. символична логика, или модерен логика.
(Gr.). 1) етап в развитието на математически. логика, свързана с делата на Бъртранд Ръсел училище (виж Logicism.); 2) архаичен (като се започне от Лайбниц) синоним на термина "математически. логика "; 3) Антич. математика под L. разбрана набор от известни към момента да се изчисли. (аритметика) и мярка. (В геометрия) алгоритми - за разлика разработен от съдържат. разсъждение "теоретично. математика ". Под logistich. чрез разбиране на начина на конструиране на формалната логика чрез изграждане logistich. системи (в противен случай - на оценки, официални системи). Н напр. з А. Въведение в математическата. логика, транс. с английски .. Vol. 1.
Философски тълковен речник. - М. съветски енциклопедия. Гл. Редакционен: LF Ilicheva, PN Fedoseyev, С. Ковальов, VG Панов. 1983 година.
(От гръцката λογιστική -. Изкуството да се изчисли, причина). Древните гърци са наричали LA. изкуство изчислителни и геометрична. измервания, т.е. Практически. аритметика, анти-доставка теоретично. математика. В този смисъл, терминът е използван в Rec. Европа до 17-ти век. Но Лайбниц е използвал думата Логистика (както и терминът Логика Mathematica) като синоним на смятане ratiocinator (изчисляване на удръжките), идеята-бодното то е разширено. През 1904 г. в Международния философия. Конгресът в Женева е било предложено този термин (независимо Itelsonom, Лаланд и Couture) за обозначаване на математическата логика; в земната кора. време е най-често се използва в този смисъл. В литературата на общата, обаче, и неговата употреба е различно: за име на сцената в логиката, да-ING е представена логично. произведения на Ръсел и неговата школа или "плетени с едни и същи области на работа във философията на математиката, да-Roe, наречени по друг начин. logicism.
От "Л." като имената на математически. Logic установени редица важни термини, използвани в логична. и философия. литература. Така характеристика на математическата. Logic метод на формализация, чрез изграждане на формални езици често се наричат. логистична метод; чисто формална част от официалната език (т.е. uninterpreted смятане), наречена. логистична система (както и в системата на формалното).
Lit:. Църква Α. Въведение в математическата логика, [т. ] 1, LN. от английски език. М. 1960, стр. 48-60, 373-378; Колман Д. Ya историята на математиката, в древни времена, Москва, 1961 г., стр. 73-74; "Revue де Métaphysique et де Морал", кн. 12, 1904; Речникът на философия, изд. D. руни, 4 изд. Н. Y. 1942.
Философски Енциклопедия. На 5 об -. М. съветски енциклопедия. Редактирано от FV Константинов. 1960-1970.
Свързани статии