Добро
пожаловать
на наш сайт
посвященный
философии
 
Философик

Логистика — первоначально так назывались логические исчисления. Лейбниц нередко говорпл о матема­тической логике как Л. Попиманпе Л. как символической или матема­тической логики было закреплепо на философском конгрессе в Жене­ве в сентябре 1904 по предложению Ительсона, Лаланда и Кутюра (Ло­гицизм).

Логистический метод — приня­тый в совр. математике и логике ме­тод построения формализованных систем (Формализация) пли исчис­лений (в логическом синтаксисе употребляется термин «синтаксиче­ская система»). Построение таких систем осуществляется чисто фор­мально, в отвлечении от смысла со­ответствующих выражений. Оно предполагает: (1) список первичных символов системы; (2) определение того, какого вида последовательно­сти первичных символов образуют правильно   построенные   формулы системы (сокращенно ППФ) — пер­вые два типа правил относятся к правилам образования; (3) опреде­ление того, какие ППФ относятся к аксиомам; (4) указание правил вы­вода (или правил преобразования), по к-рым из соответствующих ППФ как из посылок непосредственно вы­водится некоторая ППФ как заклю­чение. Конечная последователь­ность, состоящая пз одной пли боль­шего числа ППФ, наз. доказатель­ством, если каждая ППФ в последо­вательности либо является аксио­мой, либо непосредственно выво­дится, согласно правилам вывода, пз предшествующих ППФ последова­тельности. Те ППФ системы, для к-рых существуют доказательства, наз. теоремами системы. Иногда в понятие Л. м. помимо построения формальной системы включают так­же и ее интерпретацию (Логическая семантика). Такоз чисто формальпоо построение системы не означает, ко­нечно, абсолютного игнорирования содерлсательной стороны, в частно­сти, к.-л. класса логических законов. Последние всегда так пли иначе учитываются при построении исчис­ления.     ,