Mon . 20 Feb 2020

Характеристика универсальная

Латинский термин признак universala universalis, обычно интерпретируемый как универсальная характеристика или универсальный характер в английском языке, представляет собой универсальный и формальный язык, представленный гением-полиматиком Германии, математиком, ученым и философом Готфридом Лейбницем, способным выражать математические, научные и метафизические концепции Лейбница таким образом надеялся создать язык, который можно было бы использовать в рамках универсального логического вычисления или коэффициента исчисления.




. Вячеслав Лейбниц, когда он писал по-французски, иногда использовал фразу «spécieuse générale» с тем же эффектом. иногда сочетается с его понятием коэффициента исчисления и его планами по созданию энциклопедии как сборника всех человеческих знаний
Содержание
1 Универсальный пиктографический язык: ключ ко всем наукам
11 Международное общение
12 Универсальный язык науки
13 Метафизика
14 Наука
15 Его схема Рассуждения об атиках
16 Лейбница потеряет волю
2 Три критерия
3 Общий научный язык
4 Гёдель утверждает заговор
5 Связанные проекты 17-го века
6 Последние проекты
7 Примечания
8 Ссылки
9 Внешние ссылки
Универсальный пиктографический язык: ключ ко всем наукам
Международное общение
Многие ученые Лейбница, пишущие на английском языке, похоже, согласны с тем, что он имел в виду его характеристику universalus or » универсальный характер », чтобы быть формой пиграфии или идеографического языка. Это должно было быть основано на рационализированной версии« принципов »китайских иероглифов, так как европейцы понимали эти символы в семнадцатом веке. С этой точки зрения часто можно найти характеристику universalis ассоциируется с современными универсальными языковыми проектами, такими как эсперанто, вспомогательными языками, такими как Interlingua, и проектами формальной логики, такими как Begriffsschrift Фреге. Глобальное расширение европейской торговли во времена Лейбница дало меркантилистский мотив В отношении универсального языка торговли, чтобы торговцы могли общаться на любом естественном языке. Другие, такие как, например, Дженеке, отмечали, что у Лейбница были и другие намерения в отношении признака универсального, и эти аспекты, как представляется, являются источником вышеупомянутая неопределенность и непоследовательность в современных интерпретациях. По словам Йенеке, проект Лейбница - это не вопрос логики, а скорее представление знаний, область, которая в значительной степени не используется в современной логически ориентированной эпистемологии и философии науки. Именно этот двусторонняя ориентация этих дисциплин, которая отвечает за искаженную картину работы Лейбница, найденную в литературе
- Jaenecke 1996
Как писал Кутурат, Лейбниц критиковал лингвистические системы Джорджа Далгарно и Джона Уилкинса по этой причине, поскольку они сосредоточены на практическом использовании, а не на научной полезности, то есть на искусственных языках, предназначенных для международных общение, а не философские языки, которые выражали бы логические отношения понятий, которые Он одобряет, и противопоставляет им истинную «реальную характеристику», которая выражала бы композицию понятий комбинацией знаков, представляющих их простые элементы, так что соответствие между составные идеи и их символы были бы естественными и более не общепринятыми

Couturat, 1901, chpt 3
Универсальный язык науки
Лейбниц сказал, что его целью является алфавит человеческой мысли, универсальная символическая характеристика языка по науке, математике и метафизике. По словам Кутурата, «в мае 1676 года он вновь отождествил универсальный язык с характеристикой и мечтал о языке, который также был бы исчислением - своего рода алгеброй мысли» 1901, гл. 3 Эта характеристика был универсализацией различных «реальных характеристик» Кутурат писал, что Лейбниц привел египетские и китайские иероглифы и химические знаки в качестве примеров реальных Характеристики написания:
Это показывает, что реальной характеристикой для него была идеография, то есть система знаков, которые непосредственно представляют вещи или, точнее, идеи, а не слова, таким образом, чтобы каждая нация могла их прочитать и перевести их на свой собственный язык
- Couturat, 1901, CHPT 3
В сноске Couturat добавил:
В другом месте Лейбниц даже включает среди типов знаков музыкальные ноты и астрономические знаки знаки зодиака и знаки зодиака. планеты, включая Солнце и Луну. Следует отметить, что Лейбниц иногда использует планетарные знаки вместо букв в своих алгебраических вычислениях

Couturat, 1901, CHPT 3
Метафизика
Хартли Роджерс подчеркнул метафизический аспект the classica universalis, связывая ее с «элементарной теорией упорядочения вещественных чисел», определяя ее как «точно определимую систему высказываний науки». Роджерс 1963: 934 Универсальные языковые проекты, такие как эсперанто и формальная логика. Такие предметы, как «Бегриффсшрифт» Фреге, обычно не касаются эпистемического синтеза эмпирической науки, математики, пиктограмм и метафизики так, как описал Лейбниц. Следовательно, ученым было трудно показать, как такие проекты, как Бегриффшрифт и Эсперанто, воплощают полное видение, которое Лейбниц имел для своей характеристики.
В трудах Александра Годе высказано предположение, что у характеристики Лейбница был метафизический уклон, который мешал ему верно отражать реальность. Годе подчеркнул, что Лейбниц сначала установил определенные цели или функции, а затем разработал характеристики для выполнения этих функций
Наука
В области науки Лейбниц стремился к тому, чтобы его характеристики формировали диаграммы или картинки, изображающие любую систему в любом масштабе и понятные всем, независимо от родного языка, Лейбниц писал:
И хотя ученые люди уже давно думали о каком-то виде языка или универсальной характеристики, с помощью которой все понятия и вещи могут быть помещены в прекрасный порядок, и с помощью которого разные народы могли бы высказывать свои мысли и каждый читал на своем языке то, что написал другой на своем языке, но никто не пытался использовать язык или характеристику, которая бы одновременно включала в себя как искусство открытия, так и суждения, то есть тот, чьи знаки и символы служат той же цели, что арифметические знаки служат для чисел, и алгебраические знаки для величин, взятых абстрактно. Однако кажется, что, поскольку Бог даровал эти две науки человечеству, он попытался сообщить нам, что гораздо большая тайна в нашем понимании скрыты лишь тени - Leibniz, Zur allgemeinen Charakteristik Hauptschriften zur Grundlegung der Philosophie Philosophische Werke Band 1 страница 30-31 Переведено Артуром Бухенау Рецензировано и с введением и заметками, опубликованными Эрнстом Кассирером Гамбургом : Феликс Майнер, 1966 г. Если не указано иное, все цитаты Лейбница взяты из его «Об общей характеристике», переведенной в L oemker 1969: 221–25. Этот отрывок из стр. 222. П. П. Вейнер привел пример широкомасштабного применения характеристик Лейбница к науке о климате. «Извещатель погоды, изобретенный Афанасием Кирхером», заинтересовал Лейбница в связи с его собственными попытками изобрести «Универсальный язык» 1940 г. Лейбниц говорил о своей мечте об универсальном научном языке на заре своей карьеры следующим образом:
Мы говорили об искусстве усложнения наук, т. е. об изобретательской логике, но когда будут сформированы таблицы категорий нашего искусства усложнения, появится нечто большее. Пусть первые термины, из комбинации которых состоят все остальные, обозначаются знаками; эти знаки будут своего рода алфавитом. Удобно, чтобы знаки были как можно более естественными - например, для одной точки; для чисел, баллов; для отношений одного лица с другим - линии; для изменения углов и конечностей в линиях, виды отношений. Если они правильно и изобретательно установлены, это универсальное письмо будет настолько же легким, насколько и обычным, и будет способно читать без какого-либо словаря; в то же время будут получены фундаментальные знания обо всех вещах. Вся эта письменность будет состоять из геометрических фигур, как бы из рисунков, - как это делали древние египтяне и китайцы сегодня. Их изображения, однако, не сводятся к фиксированному алфавиту, в результате чего возникает огромная нагрузка на память, что противоречит тому, что мы предлагаем
- Об искусстве комбинирования, 1666, перевод в Паркинсоне 1966: 10–11
Николас Решер, рецензируя статью Коэна в 1954 году, писал, что:
Программа универсальной научной науки scientia universalis Лейбница по координации всех человеческих знаний в систематическое целое состоит из двух частей: 1 универсальная нотация характеристика universala путем использования что любой элемент информации, который может быть записан естественным и систематическим образом, и 2 средство манипулирования знаниями, записанными таким образом вычислительным способом, с тем чтобы выявить его логические взаимосвязи и последствия. Соотношение исчисления e - Rescher 1954
Ближе к концу своей жизни Лейбниц писал, что объединение метафизики с математикой и наукой с помощью универсального персонажа потребует создания того, что он назвал: своего рода общей алгеброй, в которой все истины разума будут сведены к некому исчислению. В то же время это будет своего рода универсальный язык или письменность, хотя и бесконечно отличающиеся от всех таких языков, которые до сих пор предлагались; так как персонажи и сами слова будут руководить умом, а ошибки, за исключением фактических, будут только ошибками в расчетах. Было бы очень трудно сформировать или изобрести этот язык или характеристику, но очень легко выучить его без каких-либо словарей
- Лейбниц, письмо Николя Ремонду, 10 января 1714 г., в Loemker 1969: 654 Пересмотренный перевод
Поэтому универсальное «представление» знаний будет сочетать линии и точки с пиктограммами или логотипами «своего рода рисунков», которыми нужно манипулировать. с помощью своего коэффициента исчисления он надеялся, что его живописная алгебра будет способствовать научной трактовке качественных явлений, составляя тем самым «ту науку, в которой рассматриваются формы или формулы вещей в целом, то есть качество в целом». Об универсальном синтезе и анализе , 1679, в Loemker 1969: 233
Его схематическое рассуждение
Схематическое рассуждение Лейбница
Так как характеристика a universalis является схематической и использует р иктограммы внизу слева, диаграммы в работе Лейбница требуют тщательного изучения. По крайней мере, два раза Лейбниц проиллюстрировал свои философские рассуждения диаграммами. Одна диаграмма, фронтиспис к его 1666 де-арт-комбинаториям об искусстве комбинаций, представляет аристотелевскую теорию о том, как весь материал вещи сформированы из комбинаций элементов земля, вода, воздух и огонь. Основные элементы пиктограмм Лейбница. Эти четыре элемента составляют четыре угла алмаза. См. рисунок справа. Противоположные пары из них соединены полоса с надписью "противоположности" земля-воздух, огненная вода В четырех углах наложенного квадрата находятся четыре качества, определяющие элементы. Каждая соседняя пара из них соединена полосой с надписью "возможная комбинация"; присоединяющиеся к ним диагонали обозначены как «невозможная комбинация». Начиная сверху, огонь образуется из комбинации сухости и тепла; воздух от сырости и жары; вода от холода и сырости; Земля из холода и сухости Эта диаграмма воспроизведена в нескольких текстах, включая Saemtliche Schriften и Briefe Saemtliche Schriften und Briefe, Рейх VI, группа 1: 166, Loemker 1969: 83, 366, Карл Попп и Эрвин Штайн 2000: 33
Лейбниц проиграл Уилл Лейбниц справедливо заметил, что создать характеристику будет сложно, установив время, необходимое для ее разработки, следующим образом: «Я думаю, что некоторые отобранные люди могли бы закончить дело через пять лет» Loemker 1969: 224, позже отметив: «И поэтому я повторяю, что я часто говорил, что человек, который не является ни пророком, ни принцем, может когда-либо принести человечеству что-нибудь более полезное для более пригодного для божественной славы »Loemker 1969: 225 Но позже в жизни более трезвый заметка появилась в мартовском письме Софии Ганноверской Софии, супруги его покровителя, написанном в марте 1706 года:
Это правда, что в прошлом я планировал новый способ расчета, подходящий для вопросов, которые не имеют ничего общего с математикой и если бы была введена такая логика, На практике все рассуждения, даже вероятностные, были бы аналогичны рассуждениям математика: в случае необходимости меньшие умы, которые имели применение и добрую волю, могли, если не сопровождать величайшие умы, то, по крайней мере, следовать им, потому что всегда можно было сказать давайте посчитаем и рассудим правильно, исходя из этого, настолько, насколько данные и причины могут предоставить нам средства для этого. Но я не знаю, смогу ли я когда-нибудь выполнить такой проект, который требует более с одной стороны; и даже кажется, что человечество еще не достигло достаточной зрелости, чтобы претендовать на преимущества, которые может дать этот метод
Strickland 2011: 355
В другом письме 1714 года Николасу Ремонду он написал:
Я говорил Маркизу де Л'Опиталью и другим о моей общей алгебре, но они не обратили на это внимания больше, чем если бы я рассказал им о своем сне, мне бы тоже пришлось поддержать его каким-то очевидным заявлением, но для этого было бы необходимо решить хотя бы часть моей характеристики, задачу, которая не из легких, особенно в моем нынешнем состоянии, и без возможности обсуждения с мужчинами, которые могли бы стимулировать и помогать мне в работе такого рода
- Loemker 1969: 656
Три критерия
CJ Cohen 1954 изложил три критерия, которым любой проект для философского языка должен был бы соответствовать, прежде чем его можно было бы считать версией характеристики a universalis. При изложении этих критериев Коэн ссылался к понятию "логи" stic «Эта концепция не совпадает с концепцией, используемой в статистическом анализе. В 1918 году Кларенс Ирвинг Льюис, первый англоязычный логик, который перевел и обсудил некоторые из логических работ Лейбница, разработал« логистику »следующим образом:
Логистика может быть определенным как наука, которая имеет дело с типами порядка как таковыми. Это не столько предмет, сколько метод. Хотя большая часть логистики основана на принципах символической логики или широко использует их, тем не менее, поскольку наука о порядке в целом не обязательно предположить или начать с символической логики
- Льюис 1960: 3, 7–9 Льюис здесь повторил мышление своего учителя Джозии Ройса; см. «Порядок» в 1951 г. Сборник логических произведений Ройса. Следуя этому Коэну, указывалось, что универсальный персонаж должен служить:
«Международный вспомогательный язык», позволяющий людям, говорящим на разных языках, общаться друг с другом; Символика для точного и систематического выражения всех существующих знаний, позволяющая «логистически» трактовать науку в целом. Эту символику также можно расширить, чтобы приспособить будущие знания; Инструмент открытия и демонстрации. Критерии вместе с понятием логистики показывают, что Коэн и Льюис связали характеристику с методами и задачами общей теории систем. Общий научный язык. Этот раздел не приводит никаких источников. Помогите улучшить этот раздел, добавив ссылки к надежным источникам Материалы, полученные из внешних источников, могут быть оспорены и удалены Апрель 2011 г. Узнайте, как и когда удалить это шаблонное сообщение
Несоответствие, неопределенность и отсутствие специфики как в переводах на английский язык, так и в современных интерпретациях произведений Лейбница на английском языке затрудняет четкое изложение. Как и в отношении коэффициента исчисления Лейбница, две разные философские мысли стали акцентировать внимание на двух разных аспектах, которые можно найти в трудах Лейбница. Первый пункт зрения подчеркивает логику и язык и связан с аналитической философией и рационализмом. Вторая точка зрения более соответствует взглядам Кутурата, изложенным выше, которые подчеркивают науку и технику. Эта точка зрения связана с синтетической философией и эмпиризмом. об этих аспектах, на которые Лейбниц надеялся направить человеческое мышление, как нить Ариадны, и тем самым предложить решения многих насущных проблем человечества. Гедель заявляет о заговоре. Поскольку Лейбниц никогда не описывал характерную универсальность в деталях, многие философы сочли это абсурдной фантазией. В этом духе Паркинсон писал:
Взгляды Лейбница о систематическом характере всех знаний связаны с его планами универсального символизма, Characteristica Universalis. Это должно было быть исчисление, которое охватывало бы все мысли и заменяло противоречия расчетом. Идеал теперь кажется абсурдно оптимистичным. «
- Parkinson 1973: ix
Логик Курт Гёдель, с другой стороны, полагал, что характерно универсальное возможно, и что его развитие революционизирует математическую практику Доусон 1997 Однако он заметил, что детальное рассмотрение характеристика заметно отсутствовала в публикациях Лейбница. Похоже, что Гедель собрал все тексты Лейбница с упоминанием о характеристике и убедил себя, что имела место какая-то систематическая и заговорщическая цензура, убеждение, которое стало навязчивым, Гедель, возможно, не смог оценить величину задача, стоящая перед редакторами рукописей Лейбница, учитывая, что Лейбниц оставил около 15000 писем s и 40000 страниц других рукописей. Даже сейчас большая часть этого огромного Nachlass остается неопубликованной. Связанные проекты 17-го века. Другие в 17-м веке, такие как Джордж Далгарно, предпринимали попытки подобных философских и лингвистических проектов, некоторые под заголовком mathesis universalis Примечательным примером был Джон Уилкинс, автор «Эссе о реальном характере и философском языке», который написал тезаурус как первый шаг к универсальному языку. Он намеревался добавить к своему тезаурусу алфавит человеческой мысли как организационную схему. Подобно тезаурусу или десятичной системе Дьюи и «алгебре мысли», допускающей манипулирование на основе правил. Философы и лингвисты, которые занимались такими проектами, часто принадлежали к пансофическим универсальным группам знаний и научных знаний в Лондоне и Оксфорде, которые в совокупности известны как «Невидимый колледж» и теперь рассматривается как предвестник Королевского общества
Более новые проекты
Широкий выбор искусственных языков за последние 150 лет, которые, похоже, поддерживают многие из интуиций Лейбница. Если они действительно поддерживают видение единой науки Лейбница, то остается вопрос, можно ли выделить объединяющую нить Ариадны среди этих различных проектов, ведущую к их интеграции? Раймонд Ф Пайпер 1957; 432–433 утверждали, что Объединенный символизм О. Л. Райзера для мирового понимания в науке 1955 года, расширение его «Философии всемирного объединения 1946 года», был вдохновлен характеристикой Лейбница универсальный и считался необходимым для понимания мира и беспристрастных коммуникаций, так что «война в конечном итоге может быть ликвидированы и что постепенно может быть создан всемирный организм мирных людей "Пайпер Тамб

Изучение булевых алгебр и теории групп в 19 веке подтвердило правильность интуиции Лейбница о том, что алгебраические методы могут использоваться для рассуждения о качественных и нечисловых В частности, члены универсального набора булевой алгебры или группы не обязательно должны быть числами. Более того, немало философии и теоретической науки можно формализовать как аксиоматические теории, воплощающие логику первого порядка и теорию множеств. Обратите внимание также, как теория моделей была используется для формализации и рассуждения о таких решительно нечисленных предметов, как семантика и прагматика cs естественных языков Но эти подходы еще не привели к каким-либо пиктографическим обозначениям. Fearnley-Sander 1986 пошел еще дальше, определив характеристики Лейбница как комбинацию алгебры логики, которую Фернли-Сандер определил как отношение исчисления и алгебру. геометрии, определяемой как характеристика геометрического, Фернли-Сандер предположил, что эта комбинация «осуществилась» с появлением универсальной алгебры. Некоторые люди, кроме Фернли-Сандера, работающие в области «универсальной алгебры», изучают математическое и логическое. свойства алгебраических структур вообще, не верьте, что универсальная алгебра имеет какое-либо отношение к характеристике. Palko, Gy Bulcsu 1986 рассмотрел структурированный анализ для анализа и проектирования иерархических систем с использованием иконического языка, и предположил, что это было применение универсальные характеристики проекта Лейбница к языку структурного анализа и формализации иконического Система управления
Kluge 1980 утверждала, что ориентир Фреге Begriffsschrift был сознательно вдохновлен характеристикой universalis
Несмотря на то, что Чарльз Сандерс Пирс, основатель семиотики, полагал, что все рассуждения были схематичными, отношение, если таковое имеется, к характеристике его экзистенциальные графы и семиотика еще не исследованы в английской литературе. Несколько аспектов логического позитивизма, в частности:
Теории первого порядка Aufbau Рудольфа Карнапа 1928 г., английский перевод 1967 г. и его преемника, Гудман 1977 г. Лейбницяны в своем стремлении и амбициях, хотя Лейбниц мог бы сделать решительное исключение из решительной враждебности Карнапа ко всей метафизике. Объединение научного движения 1930-х годов, возглавляемого Отто Нейратом, Рудольфом Карнапом и Чарльзом Моррисом, а позднее Эдварда Хаскелла и соавторов, имеет сравнение с характеристикой изотипной системы пиктограмм Отто Нейрата и «международным языком изображения» [1]. С точки зрения превращения частей теоретической науки в аксиоматические теории первого порядка можно рассматривать как попытки развить части характеристики: - Специальная теория относительности, Ханс Райхенбах, Рудольф Карнап и другие, в 1920-е годы Carnap 1958: 197–212;
Биология, Джозеф Вуджер, 1937, также в 1930-е годы Carnap 1958: 213–20:
Механика, Suppes 1957: 291–305 и другие в 1950-е годы
Цели «Символатора» или « Идея-компьютер »Goppold 1994 напоминает в некотором отношении менее амбициозную версию свойства universala. Связи с еврейской каббалой и международную политику вспомогательных языков Веры Бахаи также были сделаны. был заявлен как прародитель пиктографического языка энергетических систем и связанного с ним аварийного синтеза системной экологии Odum Cevolatti and Maud, 2004 Язык энергетических систем объединяет линии и точки с «своеобразными картинками», которыми манипулируют с помощью цифровых компьютеров и d программные пакеты, такие как EXTENDtm Odum, Odum и Peterson 1995, и Valyi Emergy Simulator [2]. Он был разработан для обеспечения общего языка систем, обеспечивающего количественный учет и математическое моделирование качественных энергетических отношений между экологическими объектами: «та наука, в которой рассматриваются формы или формулы вещей вообще, то есть качество вообще. Общая алгебра, известная как эмерджетная алгебра, возникла в результате многократного использования этого языка при моделировании и моделировании энергетических принципов экологических отношений. В частности, она позволила открыть и продемонстрировать принципа максимальной мощности, предложенного в качестве четвертого закона термодинамики. Если это наследственное утверждение предоставлено, то программное обеспечение для моделирования, такое как EXTENDtm и Valyi Emergy Simulator, можно рассматривать как объединяющее характеристику и коэффициент исчисления, если и только если интерпретируется цифровой компьютер как физическое воплощение коэффициента исчисления
Работа Марио Бу Кажется, что на границе физики и метафизики основаны метафизические предпосылки, подобные предположениям Лейбница Radnitzky 1981: 246
Lojban и его старая версия Loglan - это искусственные языки, основанные на логике предикатов, и предназначенные для использования в человеческом общении. > Blissymbols или Blissymbolics Чарльза К. Блисса, в настоящее время используемые в качестве «альтернативного и аугментирующего языка» для людей с ограниченными возможностями, но первоначально предназначавшиеся в качестве международного «ауксланга», как говорят, имеют форму характерной черты Bliss 1978 года. язык, созданный Джоном Кихадой, предназначенный для краткого, но явного и ясного выражения более глубоких уровней человеческого познания, особенно в том, что касается классификации человека
Примечания
^ «Книги по изотипу и БУДУЩЕЕ - Нейрат» июнь 2003 г. Извлечено 10 июля 2016 г.
^ «Emergy Simulator» SourceForgenet 16 апреля 2013 г. Получено 10 июля 2016 г.
Ссылки
О пожизненном интересе Лейбница к характеристикам и т. П. См. он следовал текстам в Loemker 1969: 165–66, 192–95, 221–28, 248–50 и 654–66
О характеристиках см. Резерфорд 1995 и все еще классическая дискуссия в Кутурат 1901: главы 3, 4 Также имеет отношение к характеристике Мейтса 1986: 183–88 гг. Обсуждение того, что он назвал «lingua философия»
Блисс, Чарльз К., 1978 г. Семантография: 3-е расширенное издание «Блиссимболика» Сидней: «Публикации по семантографии и блиссимволике»
Браун, Монтана, 2004 г. «Картинка стоит тысячи слов: язык энергетических систем и симуляция», «Экологическое моделирование» 178: 83–100
Bulcsu PG, 1986 «Формализация иконического языка для структурного анализа и символической логики» [A STRUKTURALT ANALIZIS SA IKONIKUS NYELVENEK FORMALIZALASA ES A SZIMBOLIKUS LOGIKA] Meres es Automatika 34: 315–22
Carnap, Rudolph, 1958 Введение в символическую логику с приложениями Dover
-, 1967 Логическая структура мира: псевдопроблемы в философии Университет Калифорнии Пресс Перевод его 1928 Der Logische Aufbau der Welt Лейпциг: Феликс Майнер Верлаг
Чеволатти, D, и Мод, S, 2004 "Осознание Просвещения: язык энергетических систем Х. Т. Одума как Г. В. v Универсальность Лейбница", Экологическое моделирование 178: 279–92
Коэн, C Джонатан, 1954 "О проекте универсального характера", Mind New Series 63: 249, стр. 49-63
Кутурат, Луи, 1901 La Logique de Leibniz Париж: Феликс Алькан Дональд Резерфорд Английский перевод в Прогресс
Кутурат, Луи, О Йесперсен, Р. Лоренц, Вильгельм Оствальд и Л. Пфаундлер, 1910 Международный язык и наука: соображения по поводу введения международного языка в науку ", Constable and Company Limited, Лондон, Dascal, M , 1987 Лейбниц: язык, знаки и мысли, сборник сочинений Филадельфия: Джон Бенджаминс
Дэвис, Мартин, 2001 Двигатели логики: математики и происхождение компьютера WW Нортон
Доусон-младший, JW, 1997 Logical Дилеммы: жизнь и творчество Курта Геделя Веллесли М.А. : А. К. Питерс
Фернли-Сандер, Десмонд, 1982 "Герман Грассманн и предыстория универсальной алгебры", Американский математический ежемесячник 89: 161–66
Годе, Александр, 1951 Интерлингва-английский: словарь международного язык New York: Storm Publishers
Goodman, Nelson, 1977 1951 Структура внешнего вида Reidel
Hintikka, Jaakko, 1997 Lingua Universalis vs Calculus Ratiocinator Окончательное предположение философии двадцатого века Kluwer
Jaenecke, P, 1996 «Элементарные принципы представления знаний», Организация знаний 23: 88–102
Kluge, EHW, 1980 «Фреге, Лейбниц и понятие идеального языка», Studia Leibnitiana 12: 140–54
Lewis, CI, 1960 1918 Обзор символической логики Dover
Loemker, Leroy, ed и trans, 1969 Лейбниц: Философские документы и письма Синтез исторической библиотеки Dordrecht: D Reidel
Mates, Benson, 1986 Философия Лейбница Оксфордского университета Пресса
Одум Э.К., Одум Х.Т. и Петерсон Н.С., 1995 «Использование сима» Руководство по внедрению системного подхода в образовании »в Холле, штат Калифорния, ред. Максимальная мощность: идеи и приложения HT Odum Colorado Univ Press: 346–52
Parkinson, GHR, ed and trans, 1966 Leibniz: Logical Papers Oxford Юнив Пресс
- и Мэри Моррис, транс, 1973 г. Лейбниц: Философские сочинения Лондон: Дж. М. Дент и Пайпер, РФ 1957 г. «Обзор« Объединенного символизма для понимания мира в науке »Оливера Л. Рейзера,« Философия и феноменология » Research 17: 432–33
Radnitzky, Gerard, 1981 «Аналитическая философия как противостояние витгенштейновцев и Поппера» в Agassi, J & amp; Коэн, ред. Р.С., Научная философия сегодня, с. 239–286. Дордрехт: Springer Verlag
Райзер, Оливер Лесли, 1946 Философия мирового объединения: Научный гуманизм как идеология культурной интеграции, Публикации Хальдемана-Юлиуса
-, 1940 Обещание научного гуманизма на пути к объединению научной, религиозной, социальной и экономической мысли, Оскар Пиест
-, 1955 Унифицированный символизм для понимания мира в науке: включая семантографию и логику символов блаженства, кибернетику и семантику, Semantography Pub Co
Rescher, Nicholas, 1954 "Обзор Джонатана Коэна" О проекте универсального персонажа ", Журнал символической логики 19: 133
Роджерс, мл., Хартли, 1963" Пример в математической логике ", Американский математический ежемесячник 70: 929–45
Резерфорд, Дональд, 1995, «Философия и язык» в Jolley, N, ed, The Cambridge Companion для Leibniz Cambridge Univ Press, Strickland, Lloyd, ed, 2011 Leibniz and Two Sophies: Философский Корреспо ndence Toronto: Iter Inc
Suppes, Патрик, 1999 1957 г. Введение в логику Dover. van Heijenoort, Jean, 1967 «Логика как исчисление, а логика как язык», Synthese 17: 324–330. Перепечатано в Hintikka 1997
Винер, Филип П., 1940 "Проект публичной выставки научных изобретений Лейбница", Журнал истории идей 1: 232–240
Вуджер, Джозеф Х., 1937 Аксиоматический метод в биологии, издательство Кембриджского университета
Внешние ссылки
Corazzon, Рауль, 2010, Язык как исчисление против языка как универсальной среды Включает библиографию, ссылки на онлайн-статьи и отрывки из работ Яакко Хинтикки и Жана Ван Хейеноорта - Смит, Барри, 1978, «Эссе» в формальной онтологии, Grazer Philosophische Studien 6: 39–62
-, 1990, Characteristica Universalis in K Mulligan, ed. Язык, правда и онтология, Серия философских исследований Kluwer: 50–81
v
e
Готфрид Вильгельм Лейбниц
Математика и философия
Тест чередующихся серий
Лучший из всех возможных e worlds
Calculus ratiocinator
Characteristica universalis
Difference
Identity of indiscernibles
Law of Continuity
Leibniz wheel
Leibniz's gap
Pre-established harmony
Principle of sufficient reason
Salva veritate
Theodicy
Transcendental law of homogeneity
Vis viva
Well-founded phenomenon
Works
De Arte Combinatoria 1666
Discourse on Metaphysics 1686
New Essays on Human Understanding 1704
Théodicée 1710
Monadology 1714
Leibniz–Clarke correspondence 1715–1716
Other
Calculus controversy
v
e
Computable knowledge
Topics and
concepts
Alphabet of human thought
Authority control
Automated reasoning
Commonsense knowledge
Commonsense reasoning
Computability
Formal system
Inference engine
Knowledge base
Knowledge-based systems
Knowledge engineering
Knowledge extraction
Knowledge representation
Knowledge retrieval
Library classification
Logic programming
Ontol ogy
Personal knowledge base
Question answering
Semantic reasoner
Proposals and
implementations
Zairja
Ars Magna 1300
An Essay towards a Real Character and a Philosophical Language 1688
Calculus ratiocinator & Characteristica universalis 1700
Dewey Decimal Classification 1876
Begriffsschrift 1879
Mundaneum 1910
Logical atomism 1918
Tractatus Logico-Philosophicus 1921
Hilbert's program 1920s
Incompleteness theorem 1931
World Brain 1938
Memex 1945
General Problem Solver 1959
Prolog 1972
Cyc 1984
Semantic Web 2001
Evi 2007
Wolfram Alpha 2009
Watson 2011
Siri 2011
Knowledge Graph 2012
Wikidata 2012
Cortana 2014
Viv 2016
In fiction
The Engine Gulliver's Travels, 1726
Joe "A Logic Named Joe", 1946
The Librarian Snow Crash, 1992
Dr Know AI Artificial Intelligence, 2001
Waterhouse The Baroque Cycle, 2003
See also: Logic machines in fiction and List of fictional computers


Characteristica universalis

Random Posts

The San Francisco Examiner

The San Francisco Examiner

The San Francisco Examiner is a longtime daily newspaper distributed in and around San Francisco, Ca...
Frederator Films

Frederator Films

Frederator Films is an animation studio founded by Fred Seibert as part of Frederator Studios, with ...
John Hasbrouck Van Vleck

John Hasbrouck Van Vleck

John Hasbrouck Van Vleck March 13, 1899 – October 27, 1980 was an American physicist and mathematici...
Christian Lacroix

Christian Lacroix

Christian Marie Marc Lacroix French pronunciation: ​kʁistjɑ̃ lakʁwa; born 16 May 1951 is a Fren...