ЛОГИСТИКА

Найдено 10 определений
Показать: [все] [проще] [сложнее]

Автор: [российский] [зарубежный] Время: [советское] [постсоветское] [современное]

ЛОГИСТИКА
(математическая логика) — современная форма логики. Отличается от старой, традиционной логики, прежде всего своей формализованностью, не принимающей во внимание содержательное значение высказываний.

Источник: Философско-терминологический словарь 2004

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

Источник: Философский энциклопедический словарь

ЛОГИСТИКА
математическая логика в форме алгоритма. Этот термин, выработанный в 1904 г. на Конгрессе логиков в Женеве, пришел на смену таким выражениям, как «математическая логика», «алгоритмика», «алгебра логики» и т.д. Логистика – современная логика, форма математических комбинаций. Разрабатывалась Венским кружком (Карнап, Тарский, Витгенштейн) и неопозитивизмом или англосаксонским логическим позитивизмом (школа Бертрана Рассела).

Источник: Евразийская мудрость от а до Я

ЛОГИСТИКА
в начале XX в. название формальной логики, изучаемой математическими методами, в частности с использованием аксиоматизации и формализации. Слово первоначально означало искусство вычисления или обычную арифметику. Г. Лейбниц употреблял его для обозначения "исчисления умозаключений", которое он пытался развить.
Термин вышел из употребления, уступив место терминам математическая логика, символическая логика или логика современная.

Источник: Словарь по логике

ЛОГИСТИКА
математическая логика в форме алгоритма. Этот термин, выработанный в 1904 г. на Конгрессе логиков в Женеве, пришел на смену таким выражениям, как «математическая логика», или «алгоритмика», «алгебра логики» и т.д. Логистика — современная логика, форма математических комбинаций. Разрабатывалась Венским кружком (Карнап, Тарский, Витгенштейн) и неопозитивизмом или англосаксонским логическим позитивизмом (школа Бертрана Рассела).
 

Источник: Философский словарь

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

Источник: Советский философский словарь

ЛОГИСТИКА
Название, присвоенное в 1902 г. современной математической логике. Многие философы употребляют этот термин как бранное слово, подчеркивая, что логистика не есть логика. Эта-то точка зрения и является заблуждением. Совершенно очевидно, что логистика и есть логика в том смысле, какой ей придавал Аристотель, логистика воплощает и развивает его основные взгляды и логическую программу. Логистика отличается от всех прежних форм логики 1) с точки зрения содержания: она включает в себя все законы и нормы, имевшие место в более старых, исторических формах логики, например всю аристотелевскую логику, но вместе с тем она гораздо богаче, чем все они, вместе взятые. Логические трактаты периода упадка философии (XVI—XIX вв.) содержат в лучшем случае три дюжины логических законов, в логистике же их несколько тысяч. В логистику входят и совершенно новые, ранее неизвестные разделы логики, например теория многократной квантификации, логика отношений и т.д. 2) С точки зрения метода логистика является безупречным осуществлением программы основоположника логики Аристотеля: она в высшей степени точна, аксиоматична, использует искусственный язык, наконец, она носит формальный характер. Тот, кто противопоставляет логистике какую-то иную логику, является жертвой заблуждения и невежества.
См.: логика, философия Нового времени.

Источник: Сто суеверий. Краткий философский словарь предрассудков

ЛОГИСТИКА
от греч. ????????? – искусство вычислять, рассуждать). У древних греков Л. наз. искусство вычислений и геометрич. измерений, т.е. практич. арифметика, противо-поставлявшаяся теоретич. математике. В этом значении этот термин употреблялся в Зап. Европе вплоть до 17 в. Но уже Лейбниц пользовался словом logistica (так же как и термином logica mathematica) как синонимом для calculus ratiocinator (исчисления умозаключений), идею к-рого он выдвинул. В 1904 на Международном филос. конгрессе в Женеве этот термин был предложен (независимо Ительсоном, Лаландом и Кутюра) для обозначения математической логики; в наст. время чаще всего употребляется именно в этом смысле. В лит-ре встречается, однако, и иное его употребление: как название того этапа в логике, к-рый представлен логич. работами Рассела и его школы или "вязанного с этими же работами направления в философии математики, к-рое иначе наз. логицизмом. От "Л." как названия математич. логики образован ряд важных терминов, употребляемых в логич. и филос. лит-ре. Так, характерный для математич. логики способ формализации посредством построения формализованных языков часто наз. логистическим методом; чисто формальную часть формализованного языка (т.е. неинтерпретированное исчисление) наз. логистической системой (а также формальной системой). Лит.: Черч ?., Введение в математическую логику, [т. ] 1, пер. с англ., М., 1960, с. 48–60, 373–378; Кольман Э. Я., История математики в древности, М., 1961, с. 73–74; "Revue de M?taphysique et de Morale", v. 12, 1904; The dictionary of philosophy, ed. D. Runes, 4 ed., ?. ?., 1942.

Источник: Философская Энциклопедия. В 5-х т.

ЛОГИСТИКА
1) Синоним (отчасти устар.) термина «матем. логика». 2) Обозначение этапа в развитии матем. логики, представленного работами Б.Рассела и его шк. (в англоязычной лит-ре синонимом Л. явл. термин «symbolic logic»). Термин «Л.» имеет ряд производных: логистич. метод (способ изложения формальной логики посредством построения формализованных языков), логистич. система (то же, что формальная система, исчисление) и др. В антич. математике Л. называли иск-во вычислений и геометрич. измерений, противопоставлявшееся теор. математике. Г.В.Лейбниц употреблял термины «logistica» и «logica mathematica » как синонимы для разрабатывавшегося им calculus ratiocinator — исчисления умозаключений, идеи к-рого были подхвачены Г.Плокке и И.Г.Ламбертом. Однако из-за авторитета «трансцендентальной логики» И.Канта их учения почти не привлекли внимания в свое время. Позже, независимо от этих учений, основателем «алгебры логики» явился Дж.Буль, опубликовавший в 1874 г. работу «The mathematical analysis of logic, being an essay towards a calculus of deductive reasoning». Дальнейшее развитие она получила в работах А. де Моргана (1806—78), С.Джевонса, Дж.Венна (1834—1923), Ч.С.Пирса и др., достигнув вершины в трудах математика Э.Шредера (1841—1902). Подлинным основателем совр. Л. явл. Г.Фреге, чьи идеи были развиты итал. математиком Дж.Пеано (1858— 1932), к-рый ввел в употребление простую символику, получившую в наст. время широкое распространение. Пользуясь ее языком, А.Н.Уайтхед и Б.Рассел написали основополагающую в обл. Л. работу «Principia Mathematica» (В 3 т. 1910—13). Кроме этого имеется ряд др. направлений в развитии Л., важнейшие из к-рых: исчисление модальностей (К.И.Льюис), многозначная логика (Я.Лукасевич, Э.Л.Пост), комбинаторная логика (Э.Керри). Развитие аксиоматики и методологии исследования было значительно ускорено благодаря работам Д.Гильберта. Л. как совр. форма логики отличается от традиц. логики своей формализованностью (т.е. принимает во внимание не содержательное значение отд. высказываний, а лишь их синтаксические категории и структурные связи) и тем, что ее осн. методом явл. логич. исчисление (т.е. выражения можно преобразовывать согл. строгим правилам чисто формально, с ними можно производить логич. выкладки). Исходя из практ. соображений, Л. широко использует символику (т.е. отд. выражения обозначает совершенно опред. знаками) и аксиоматику (т.е. все существующие знаки определяются через неск. осн., и все з-ны выводятся по опред. правилам выводов из осн. правил, аксиом). Логич. исчисление есть сумма логич. интерпретированных исчислений. Исчисление — это система знаков и правил оперирования ими. Пример такого исчисления дает шахматная игра: поля и фигуры представляют систему символов, правила ходов есть операционные правила. Формальные предпосылки логич. исчисления разрабатывает металогика — учение о филос. основах логич. исчисления; сюда относится синтаксис (учение об отношениях знаков между собой), семантика и прагматика (учение об отношениях между знаками и теми, кто их использует). В Л. выделяются след. части: 1) Исчисление высказываний — исследует связи между высказываниями как нерасчлененными целыми с помощью функторов, к-рые прибл. соответствуют словам «не», «или», «если.., то…», «и». Эти функторы называются функциями истинности, т.к. значение истинности высказывания, к-рое они образуют, зависит от значения истинности, а не от смысла высказываний, к-рые служат аргументами этих функторов. Функтор «если.., то…» называется импликатором, а его применение образует импликацию («p включает q»). Др. функции истинности — это: негатор («не-p»), дизъюнктор («p или q»; союз «или» понимается здесь в неразделительном смысле), конъюнктор («p…[kon]q», прибл. соответствует «и» в разговорном языке), эквивалентор («p равно q»). 2) Исчисление предикатов — анализирует те высказывания, к-рые исчисление высказываний рассматривает как целое. Предикат — это имя или внешн. знак для обозначения свойств. Подчинение свойства «индивидууму», т.е. опред. отд. предмету, выражается посредством предикатора, объем этого подчинения — посредством квантификатора; в исчисление входят не сами свойства, а лишь предикаторы или квантификаторы. Свойство, к-рое обозначается предикатором с одним только аргументом, называется кач-вом; при неск. аргументах оно называется отношением. 3) Исчисление классов, причем, напр., класс курильщиков трубок воспринимается как «абстракция» формы выражения «x курит трубку»; если «f» означает «курить трубки», то x(fx) означает те самые x, для к-рых верно fx (x курит трубку). Функтор « ? » поэтому называется абстрактором (компрегенсором); как аргумент он обладает формой высказываний и образует поэтому класс. 4) Исчисление отношений анализирует высказывания об отношениях («брат кого-то», «больше, чем», «подобно» и т.д.). Если R обозначает «составитель» и a — «Библия», тогда Ra есть класс составителей Библии; если a — «Гомер», то Ra. обозначает класс произв. Гомера. 5) Особые исчисления, к к-рым относятся: исчисления модальностей, многозначная логика, комбинаторная логика, силлогистика. Б.Н.Махутов

Источник: История и философия науки. Энциклопедический словарь

ЛОГИСТИКА
(Logistik; математическая логика; англ. Symbolic Logic) — современная форма логики. Она отличается от старой, традиционной логики прежде всего своей формализированностью (т. е. она принимает во внимание не содержательное значение отдельных высказываний, а лишь их синтаксические категории и их структурные связи) и тем, что ее основным методом является логическое исчисление (это значит, что выражения можно преобразовывать согласно строгим правилам, чисто формально, с ними можно производить логические выкладки). Не из необходимости, но большей частью исходя из практических соображений она широко использует символику (т. е. отдельные выражения обозначаются совершенно определенными знаками) и аксиоматику (т. е. все существующие знаки определяются через несколько основных, и все законы выводятся по определенным правилам вывода из нескольких основных правил, аксиом). Логистика в широком смысле — это учение о логическом исчислении, его предпосылках и применениях. Исчисление — это система знаков и правил оперирования с ними. Пример такого исчисления дает шахматная игра: поля и фигуры представляют систему символов, правила ходов — это операционные правила. Формальные предпосылки логического исчисления разрабатывает металогика, учение о философских основах логического исчисления; сюда относится синтаксис (учение об отношениях знаков между собой; см. также Семиотика), семантика и прагматика (учение об отношениях между знаками и теми, кто их использует). В логистике можно выделить следующие части: 1. Исчисление высказываний. Оно исследует связи между высказываниями как нерасчлененными целыми (см. Высказывание), с помощью так называемых функторов, которые приблизительно соответствуют словам «не», «или», «если... то...» «и» и так далее. Эти функторы называются функторами истинности. 2. Исчисление предикатов. Оно анализирует те высказывания, которые исчисление высказываний рассматривает как целое. Предикат — это имя или внешний знак для обозначения свойств. Подчинение свойства «индивиду», т. е. определенному отдельному предмету, выражается посредством предикатора, объем этого подчинения — посредством квантификатора; в исчисление входят не сами свойства, а лишь предикаторы или квантификаторы. 3. Исчисление классов (см. также класс), причем, например, класс курильщиков трубок воспринимается как «абстракция» формы выражения «х курит трубку»; если х означает «курить трубки»; то хфс) означает те самые х, для которых верно jx (х курит трубку). Функтор поэтому называется абстрактором (компрегенсором); как аргумент он обладает формой высказываний и отсюда образует класс. 4. Исчисление отношений анализирует высказывания об отношениях (брат «кого-то», «больше чем», «подобно» и т. д.). Если R обозначает «составитель» и а — «Библия», тогда R а есть класс составителей Библии; если а — «Гомер», то Ra обозначает класс произведений Гомера. 5. Особые исчисления. Сюда относятся: исчисления модальностей, многозначная логика (см. также Формализм), комбинаторная логика, силлогистика. Кроме приведенных в разделе «Исчисление высказываний» символов используется примерно еще шестьдесят (кроме больших и малых римских и греческих букв). Первые попытки (см. также Р Луллий) содержательного обоснования (не только формализации) логистики были сделаны Г. В. Лейбницем (1646—1716). Его идеи были подхвачены Г Плуке (1716—1790) и И. Г. Ламбертом (1728— 1777); вследствие начавшегося вскоре победного шествия трансцендентальной логики Канта их учения почти не привлекли внимания. Позже, независимо от этих учений, основателем «алгебры логики» явился Дж. Буль (1815—1864), опубликовавший в 1847 работу «The Mathematical Analysis of Logic, Being an assay towards a calculus of deductive reasoning». В отличие от попыток Лейбница, он открыл путь для всего будущего развития формализма. Вклад, сделанный Булем в обоснование логистики, был продолжен и расширен в трудах Огастеса де Моргана (1806— 1878), Стенли Джевонса (1835—1882), Джона Венна (1834—1923), Ч. С. Пирса (1839—1914) и др. и особенно в работах математика Эрнста Шрёдера (1841—1902: «Der Operationskreis des Logikkalküls», 1877; «Über das Zeichen», 1890; «Abriß der Algebra und Logik», 1909). Подлинным основателем современной логистики является Готлоб Фреге (1848—1925), который, однако, не получил почти никакого признания в Германии. Его мысли были восприняты итальянским математиком Джузеппе Пеано (1858— 1932: «Formulaire mathématique», 5 vol., 1895— 1908), который ввел в употребление простую символику, получившую в настоящее время самое широкое распространение. Пользуясь ее языком, А. Н. Уайтхед (1861—1947) и Б. Рассел (1872— 1970) написали основополагающую в области логистики работу «Principia Mathematica» (1910—1913). Кроме этого, имеется ряд других направлений в развитии логистики, важнейшие из которых: исчисление модальностей, развитое
К. Льюисом (1918), многозначная логика Яна Лукасевича (1878—1956) и Э. Л. Поста (1920), комбинаторная логика Кёрри (1930). Развитие аксиоматики и методологии исследования было значительно ускорено благодаря работам Давида Гильберта (1862—1943). Ведущие школы в логистике возникли позже, в период между двумя мировыми войнами, — прежде всего в Германии, Польше и США; это привело к ее быстрому развитию, которое продолжается еще и в настоящее время (см. Bochenski-Menne. Grundriß der Logistik, 1954). См. Науки теория.
В. Russell/A. N. Whitehead. Principia Mathematica, I—III, 1910—1913; D. Hilbert/W. Ackermann. Grundzüge der theoret. Logik, 1928; R. Carnap. Abriß der L., 1929; H. Scholz. L., 1933; A. Tarski. Einf. in die mathemat. Logik, 1937; A. Tarski. Introduction to Logic and to the Methodology of Deductive Sciences. New York, 1941; H. Reichenbach. Elements of Symbolic Logic. New York, 1948; H. Scholz. Vorlesungen über Grundzüge der mathemat. Logik, 1950; O. Becker, Einf. in die L., 1951 ; W. v. O. Quine. Mathematical Logic. Cambridge, 1951 ; J. M. Bochenski. Précis de logique mathématique. Paris, 1954, dt. 1954; R. Camap. Einf. in die symbol. Logik mit besonderer Berücksichtigung ihrer Anwendungen, 1954; B. v. Juhos. Elemente der neuen Logik, 1954; B. v. Freytag-Löringhoff. Logik, ihr System u. ihr Verhalten zur L., 1955; R. Carnap/W. Stegmüller. Induktive Logik u. Wahrscheinlichkeit, 1959; F. Schmidt. Logik der Syntax, 1959; G. Jacoby. Der Anspruch der Logiker auf die L. u. ihre Geschichtsschreibung, 1962; F. v. Kutschera. Einf. in die Logik der Normen, Werte u. Entscheidungen, 1973; G. H. Hughes/ M. J. Gresswell. Einf. in die Modallogik, 1979.

Источник: Философский словарь [Пер. с нем.] Под ред. Г. Шишкоффа. Издательство М. Иностранная литература. 1961

Найдено научных статей по теме — 1

Читать PDF
222.77 кб

Теоретико-предметные основоположения логики и логистики (фрагменты)

Селиверстов В.В., Малли Эрнст