ЛОГИНОВ Михаил Осипович, АнтонЛОГИСТИЧЕСКИЙ МЕТОД

ЛОГИСТИКА

Найдено 9 определений термина ЛОГИСТИКА

Показать: [все] [краткое] [полное] [предметную область]

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

ЛОГИСТИКА

первоначально так назывались логические исчисления. Лейбниц нередко говорил о математической логике как Л. Понимание Л. как символической или математической логики было закреплено на философском конгрессе в Женеве в сентябре 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) Особые исчисления, к к-рым относятся: исчисления модальностей, многозначная логика, комбинаторная логика, силлогистика. Б.Н.Махутов

Оцените определение:
↑ Отличное определение
Неполное определение ↓

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

ЛОГИСТИКА

математическая логика; англ, symbolic logic) - современная форма логики. Она отличается от старой, традиционной логики прежде всего своей формализированностью (т.е. принимает во внимание не содержательное значение отдельных высказываний, а лишь их синтаксические категории и их структурные связи) и тем, что ее осн. методом является логическое исчисление (это значит, что выражения можно преобразовывать согласно строгим правилам чисто формально, с ними можно производить логические выкладки). Не из необходимости, но большей частью исходя из практических соображений она широко использует символику (т.е. отдельные выражения обозначает совершенно определенными знаками) и аксиоматику (т.е. все существующие знаки определяются через несколько осн., и все законы выводятся по определенным правилам выводов из нескольких осн. правил, аксиом). Логистика в широком смысле - это учение о логическом исчислении, его предпосылках и применениях, в узком смысле - только учение о логическом исчислении. Логическое исчисление есть сумма логически интерпретированных исчислений. Исчисление - это система знаков и правил оперирования с ними. Пример такого исчисления дает шахматная игра: поля и фигуры представляют систему символов, правила ходов есть операционные правила. Формальные предпосылки логического исчисления разрабатывает металогика, учение о философских основах логического исчисления; сюда относится синтаксис (учение об отношениях знаков между собой; см. также Семиотика), семантика и прагматика (учение об отношениях между знаками и теми, кто их использует). В логистике можно выделить следующие части:

1. Исчисление высказываний. Оно исследует связи между высказываниями как нерасчлененными целыми (см. Высказывания) с помощью функторов, которые приблизительно cоответствуют словам "не", "или", "если... то...", "и" и т. д. Эти функторы называются функциями истинности, потому что значение истинности высказывания (Фреге: "Значение истинности высказывания - это истина или ложь"), которое они образуют, зависит в конечном счете от значения истинности, а не от смысла высказываний, которые служат аргументами этих функторов. Функтор "если... то..." называется импликатором, а его применение образует импликацию (p(q, "p включает q"). Др. функции истинности - это: негатор (p, "не-р"), дизъюнктор (pvq, "р или q") (союз "или" понимается здесь в неразделительном смысле), конъюнктор (р • q, "p...[kon]q", приблизительно соответствует "и" в разговорном языке), эквивалентор (р ( q, "p равно q"; см. также Эквивалент).

2. Исчисление предикатов. Оно анализирует те высказывания, которые исчисление высказываний рассматривает как целое. Предикат - это имя или внешний знак для обозначения свойств. Подчинение свойства "индивидууму", т.е. определенному отдельному предмету, выражается посредством предикатора, объем этого подчинения - посредством квантификатора; в исчисление входят не сами свойства, а лишь предикаторы или квантификаторы. Свойство, которое обозначается предикатором с одним только аргументом, называется качеством; при нескольких аргументах его называют отношением.

3. Исчисление классов (см. также Класс), причем, напр., класс курильщиков трубок воспринимается как "абстракция" формы выражения "x курит трубку"&; если "f" означает "курить трубки", то x(fx) означает те самые х, для которых верно fx (x курит трубку). Функтор "к" поэтому называется абстрактором (компрегенсором); как аргумент, он обладает формой высказываний и образует поэтому класс.

4. Исчисление отношений анализирует высказывания об отношениях ("брат кого-то", "больше, чем", "подобно" и т. д.). Если R обозначает "составитель" и а - "Библия", тогда R&а есть класс составителей Библии; если а - "Гомер", то R&а обозначает класс произв. Гомера.

5. Особые исчисления. Сюда относятся: исчисления модальностей, многозначная логика (см. также Формализм), комбинаторная логика, силлогистика. Кроме приведенных в разделе "Исчисление высказываний" пяти символов, используется примерно еще шестьдесят (кроме больших и малых рим. и греч. букв). Первые попытки в направлении логистики были сделаны Г.В.Лейбницем. Его идеи были подхвачены Г.Плокке, И.Г.Ламбертом; вследствие начавшегося вскоре победного шествия трансцендентальной логики Канта их учения почти не привлекли внимания. Позже, независимо от этих учений, основателем "алгебры логики" явился Дж. Буль, опубликовавший в 1874 "The mathematical analysis of logic, being an assay towards a calculus of deductive reasoning". Дальнейшее развитие она получила в работах Августа де Моргана (1806-1878), Стенли Джевонса, Джона Венна (1834 - 1923), Ч.С.Пирса и др., достигнув вершины в трудах математика Эрнста Шредера (1841-1902; "Der Operationskreis des Logikkalkьls", 1877; "Ьber das Zeichen", 1890; "AbriЯ der Algebra und Logik", 1909). Подлинным основателем современной логистики является Готтлоб Фреге, который, однако, не получил почти никакого признания в Германии. Его мысли были восприняты итал. математиком Джузеппе Пеано (1858-1932; "Formulaire mathematique", 5 vol., 1895-1908), который ввел в употребление простую символику, получившую в настоящее время самое широкое распространение. Пользуясь ее языком, А. Н. Уайтхед и Б. Рассел написали основополагающую в области логистики работу "Principia Mathematica" (1910-1913). Кроме этого, имеется ряд др. направлений в развитии логистики, важнейшие из которых: исчисление модальностей, развитое К. И. Льюисом, многозначная логика Яна Лукасевича и Э. Л. Поста, комбинаторная логика Керри. Развитие аксиоматики и методологии исследования было значительно ускорено благодаря работам Давида Гильберта. Ведущие школы в логистике возникли позже, в период между двумя мировыми войнами, прежде всего в Германии, Польше и США; это привело к быстрому развитию логики, которое продолжается и в настоящее время.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

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

Найдено схем по теме ЛОГИСТИКА — 0

Найдено научныех статей по теме ЛОГИСТИКА — 0

Найдено книг по теме ЛОГИСТИКА — 0

Найдено презентаций по теме ЛОГИСТИКА — 0

Найдено рефератов по теме ЛОГИСТИКА — 0