Wed . 20 Feb 2020

Characteristica Universalis

Латинський термін characteristica Universalis, який в англійській мові зазвичай інтерпретується як універсальний характер, або універсальний характер, - це універсальна та формальна мова, яку уявляє німецький геній-поліматик, математик, вчений та філософ Готфрід Лейбніц, здатний висловити таким чином математичні, наукові та метафізичні поняття Лейбніца сподівався створити мову, якою можна скористатися в рамках універсального логічного обчислення або коефіцієнта обчислення - Характеристика універсалісу - це концепція, що повторюється у працях Лейбніца. Коли він пише французькою мовою, він іноді використовував фразу spécieuse générale з тим самим ефектом Концепція іноді поєднується з його уявленням про коефіцієнт обчислення і з його планами на енциклопедію як збірник усіх людських знань - Зміст
1 Універсальна піктографічна мова: запорука всіх наук
11 Міжнародне спілкування
12 Універсальна мова науки - 13 Метафізика - 14 Наука - 15 Його схема атичні міркування - 16 Лейбніц втрачає волю - 2 Три критерії - 3 Загальна наукова мова - 4 Гедель запевняє про змову - 5 Пов'язані проекти 17 століття - 6 Новіші проекти - 7 Примітки
8 Посилання
9 Зовнішні посилання
Універсальна піктографічна мова: ключ до всіх наук
Міжнародна комунікація
Багато вчених Лейбніца, які пишуть англійською мовою, схоже, згодні з тим, що він мав намір свою характеристику Universalis або універсальний персонаж "бути формою пасиграфії чи ідеографічної мови. Це мало базуватися на раціоналізованій версії" принципів "китайських символів, як європейці зрозуміли цих персонажів у XVII столітті. З цієї точки зору прийнято знаходити характеру Universalis, пов'язаний із сучасними універсальними мовними проектами, такими як есперанто, допоміжні мови на зразок Інтерлінгва, та формальними логічними проектами, такими як Frege's Begriffsschrift Глобальне розширення європейської торгівлі за часів Лейбніца забезпечило меркантилістичний мотив Поняття про універсальну мову торгівлі, щоб торговці могли спілкуватися з будь-якою природною мовою. Інші, наприклад, Янекке, наприклад, зауважили, що Лейбніц також мав інші наміри щодо характеру універсалісу, і ці аспекти, схоже, є джерелом вищезгадана розпливчастість та непослідовність у сучасних інтерпретаціях. За словами Дженекка, проект Лейбніца - це не питання логіки, а скоріше представлення знань, поле, значною мірою невикористане в сучасній логіко-орієнтованій гносеології та філософії науки. Саме ця однобічна орієнтація цих дисциплін, яка відповідає за спотворену картину роботи Лейбніца, знайденої в літературі. - Jaenecke 1996
Як писав Кутурат, Лейбніц критикував мовні системи Джорджа Далгарно та Джона Вілкінса з цієї причини, оскільки вони зосереджена на практичному використанні, а не на науковій корисності, тобто на переважно штучних мовах, призначених для міжнародних комунікацій мунікація, а не філософські мови, які виражали б логічні відношення понять, яких він віддає перевагу, і протиставляють їм справжню "реальну характеристику", яка виражала б склад понять поєднанням знаків, що представляють їх прості елементи, таким, щоб відповідність між Композиційні ідеї та їх символи були б природними та вже не традиційними
- Couturat, 1901, chpt 3 - Універсальна мова науки
Лейбніц сказав, що його мета - алфавіт людської думки, універсальна символічна мовна характеристика для науки, математики та метафізики За Кутуратом: "У травні 1676 р. він знову ототожнив універсальну мову з характерною і мріяв про мову, яка також була б обчисленням - свого роду алгеброю думки" 1901, гл. 3 Ця характеристика була універсалізацією різних "реальних характеристик" Кутхурат писав, що Лейбніц наводив єгипетські та китайські ієрогліфіки та хімічні знаки як приклади реальних характеристики письма:
Це показує, що справжньою характеристикою була для нього ідеографія, тобто система знаків, які безпосередньо репрезентують речі або, вірніше, ідеї, а не слова, таким чином, щоб кожен народ міг їх читати та перекладати їх на власну мову
- Couturat, 1901, chpt 3
В примітку Котурат додав:
Інакше Лейбніц навіть включає в себе типи знаків музичні ноти і знаки зодіаку та знаки зодіаку планети, включаючи Сонце та Місяць Слід зазначити, що Лейбніц іноді використовує планетарні знаки замість літер у своїх алгебраїчних розрахунках
- Couturat, 1901, chpt 3
Метафізика
Хартлі Роджерс підкреслював метафізичний аспект Характеристика універсалізму, пов'язуючи її з "елементарною теорією впорядкування дій," визначаючи її як "чітко визначену систему для висловлювань наук". Роджерс 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 р., Перекладене в Parkinson 1966: 10–11. Ніколас Решер, переглядаючи статтю Коена 1954 р., Писав, що:
Програма Лейбніца універсальної науки scientia Universalis для координації всіх знань людини в систематичне ціле складається з двох частин: 1 універсальна позначення characteristica Universalis з використанням який будь-який інформаційний матеріал, що б не було записано природним та систематичним способом, і 2 засіб маніпулювання знанням, записаним таким чином, обчислювально, щоб виявити його логічні взаємозв'язки та наслідки e calculus ratiocinator
- Rescher 1954
Близько кінця свого життя Лейбніц писав, що для поєднання метафізики з математикою та наукою через універсальний характер знадобиться створити те, що він назвав:
різновидом загальної алгебри, в якій усі істини розуму зводилися б до свого роду обчисленням. У той же час це була б різновид універсальної мови чи писемності, хоча нескінченно відрізняється від усіх таких мов, які до цього часу пропонували; для персонажів і самих слів спрямував би розум, а помилки - крім фактичних - були б лише помилками обчислення. Було б дуже складно сформувати або винайти цю мову чи характеристику, але дуже легко її вивчити без жодних словників
- Лейбніц, лист до Ніколя Ремонда, 10 січня 1714 р., у Loemker 1969: 654 Переклад переглянуто
Універсальне «представлення» знань, таким чином, поєднало б лінії та точки з піктограмами або логограмами «свого роду картинами», якими слід маніпулювати за допомогою свого коефіцієнта обчислення, він сподівався, що його живописна алгебра сприятиме науковому лікуванню якісних явищ, тим самим становлять "ту науку, в якій трактуються форми або формули речей взагалі, тобто якість взагалі" Про загальний синтез та аналіз , 1679, у Loemker 1969: 233 - Його діаграматичне обґрунтування - діагностичне міркування Лейбніца - Оскільки характеристика Universalis є схематичною та використовує p іктограми внизу зліва, діаграми в роботі Лейбніца вимагають пильного вивчення Принаймні два рази Лейбніц проілюстрував свої філософські міркування діаграмами. Одна діаграма, що є передумовою його «Арте Combinatoria» про мистецтво поєднань 1666 року, представляє арістотелівську теорію про те, як весь матеріал речі утворюються з комбінацій елементів земля, вода, повітря та вогонь. Основні елементи піктограми Лейбніца. Ці чотири елементи складають чотири кути алмаза. Подивіться малюнок праворуч. Протилежні пари цих об'єднані штрих із написом "протиставлення" земля-повітря, вогонь-вода У чотирьох кутах накладеного квадрата розташовані чотири якості, що визначають елементи. Кожна сусідня пара цих об'єднана смужкою з написом "можлива комбінація"; діагоналі, що приєднуються до них, позначаються «неможливою комбінацією» Починаючи зверху, вогонь утворюється із поєднання сухості та тепла; повітря від вологи і тепла; вода від холоду і вологи; Земля від холоду та сухості Ця діаграма відтворена в кількох текстах, серед яких Saemtliche Schriften und Briefe Saemtliche Schriften und Briefe, Reihe VI, Band 1: 166, Loemker 1969: 83, 366, Karl Popp and Erwin Stein 2000: 33
Лейбніц втрачає Воля Лейбніц справедливо бачив, що створити персонажу буде складно, фіксуючи час, необхідний для її розробки, таким чином: "Я думаю, що деякі обрані чоловіки могли закінчити справу через п'ять років" Loemker 1969: 224, пізніше зауваживши: "І тому я повторюю, що я часто говорив, що людина, яка не є ні пророком, ні князем, може коли-небудь здійснити будь-яку більшу користь для людства, яка б більше відповідала божественній славі "Loemker 1969: 225 Але пізніше в житті, більш тверезий Записка з'явилася У березні 1706 р. в листі електронітри Софії Ганноверської, подружжя його покровителя, він писав:
Правда, я раніше планував новий спосіб обчислення, придатний для питань, які не мають нічого спільного з математикою , і якби така логіка була поставлена i Не практикуючи, будь-які міркування, навіть імовірнісні, були б такими, як у математика: якщо потрібно, менші розуми, які мали застосування та добру волю, могли б, якщо не супроводжувати найбільших розумів, то принаймні слідувати їм, бо завжди можна було сказати : давайте обчислимо і судимо правильно через це, наскільки дані та причина можуть забезпечити нам кошти для цього. Але я не знаю, чи зможу я коли-небудь змогти здійснити такий проект, який вимагає більше одна рука; і навіть здається, що людство ще не достатньо зріле, щоб претендувати на переваги, які міг би забезпечити цей метод.
- Strickland 2011: 355
В іншому листі до Ніколя Ремонда 1714 року він написав:
Я говорив до маркіза де l'Hôpital та інших про мою загальну алгебру, але вони не звернули на це більше уваги, ніж якби я сказав їм про мій сон, я повинен був би підтримати його також явним застосуванням, але щоб досягти цього потрібно було б опрацювати хоча б частину моєї характеристики, завдання, яке не є легким, особливо в моєму теперішньому стані і без переваги обговорень з чоловіками, які могли б стимулювати і допомагати мені в роботі такого характеру
- Loemker 1969: 656
Три критерії - CJ Cohen 1954 виклав три критерії, яким повинен відповідати будь-який проект для філософської мови, перш ніж його можна було б вважати версією характеру характеру Universalis При встановленні цих критеріїв Коен посилався на до поняття «логі stic "Ця концепція не є такою, як використана в статистичному аналізі. У 1918 році Кларенс Ірвінг Льюїс, перший англомовний логік, який переклав та обговорив деякі логічні твори Лейбніца, розробив" логістичний "так:
Logistic may визначати як науку, яка займається типами порядку як такою. Це не стільки предмет, скільки метод. Хоча більшість логістичних чи то заснованих або широко використовує принципи символічної логіки, все-таки як наука про порядок взагалі не робить обов'язково припускають або починають із символічної логіки
- Льюїс 1960: 3, 7–9 Льюїс тут перегукується з думкою свого вчителя Джосія Ройса; див. "Порядок" у зібраних логічних працях Ройса 1951 року. Слідом за цим Коен передбачав, що універсальний характер повинен виконувати функції: "Міжнародної допоміжної мови", яка дозволяє особам, що говорять на різних мовах, спілкуватися один з одним;
Символіка для точного та систематичного вираження всіх наявних знань, що робить можливим «логістичне» поводження з наукою взагалі. Цей символізм можна також розширити, щоб він міг відповідати майбутнім знанням.
Інструмент відкриття та демонстрації
Ці Критерії разом із поняттям логістики показують, що Коен і Льюїс асоціювали характеристику з методами та завданнями загальної теорії систем
Загальна наукова мова
Цей розділ не цитує жодних джерел. Будь ласка, допоможіть покращити цей розділ, додавши цитати до надійних джерел Ненасичені матеріали можуть бути оскаржені та видалені Квітень 2011 Дізнайтеся, як і коли видалити це повідомлення із шаблону
Невідповідність, розпливчастість та відсутність специфіки як перекладів з англійської мови, так і сучасних тлумачень англійською мовою творів Лейбніца робить складне чітке висловлення. Як і у випадку з коефіцієнтом обчислень Лейбніца, дві різні школи філософської думки підкреслили два різні аспекти, які можна знайти у написанні Лейбніца Перший пункт погляд підкреслює логіку та мову, і пов'язаний з аналітичною філософією та раціоналізмом. Друга точка зору більше співзвучна з поглядами Кутурата, як це було викладено вище, які підкреслюють науку та техніку. Ця точка зору пов'язана з синтетичною філософією та емпіризмом або в обох, і в обох з цих аспектів Лейбніц сподівався, що керуватиме людськими міркуваннями, як нитка Аріадна, і тим самим запропонувати рішення багатьох нагальних проблем людства. Гедель запевняє змову
Оскільки Лейбніц ніколи не описував характеристику універсаліса в оперативних деталях, багато філософів вважали це абсурдною фантазією У цьому ключі Паркінсон писав:
Погляди Лейбніца на систематичний характер усіх знань пов'язані з його планами щодо універсальної символіки, Characteristica Universalis. Це повинно було бути обчисленням, яке б охоплювало всі думки, а суперечку замінило обчисленням. Ідеал зараз здається абсурдно оптимістичним "" - Parkinson 1973: ix - Логік Курт Гедель, з іншого боку, вважав, що характеристика Universalis є здійсненною, і що її розвиток може революціонізувати математичну практику. Доусон 1997. Він зауважив, однак, що детальне лікування Характеристика помітно відсутня у публікаціях Лейбніца. Схоже, Гедель зібрав усі тексти Лейбніца, згадавши про героїстику, і переконав себе, що відбулася якась систематична і конспіративна цензура, віра, що стала нав’язливою, Гедель, можливо, не зміг оцінити масштаби завдання, що стоїть перед редакторами рукописів Лейбніца, враховуючи, що Лейбніц залишив близько 15000 листів s та 40000 сторінок інших рукописів Навіть зараз більшість цього величезного Nachlass залишається неопублікованим. Пов'язані проекти 17 століття
Інші в XVII столітті, такі як Джордж Далгарно, намагалися подібні філософські та лінгвістичні проекти, деякі під заголовком mathes Universalis Помітним прикладом був Джон Вілкінс, автор «Нарису справжнього персонажа та філософської мови», який написав тезаурус як перший крок до універсальної мови. Він мав намір додати до свого тезауруса алфавіт людської думки організаційної схеми , подібний до тезаурусу чи десяткової системи Дьюї та "алгебра думки", що дозволяє керувати правилами маніпулювання Філософи та лінгвісти, які здійснювали подібні проекти, часто належали до пансофських універсальних груп знань та наукових знань у Лондоні та Оксфорді, спільно відомих як "Невидимий коледж" і тепер його вважають попередниками Королівського товариства
Новіші проекти
Широкий спектр побудованих мов з'явилися протягом останніх 150 років, які, здається, підтримують багато інтуїцій Лейбніца. Якщо вони дійсно підтримують бачення Лейбніца про єдину науку, то залишається питання, чи можна об'єднати нитку Аріадни серед цих різних проектів, що веде до їх інтеграції
Raymond F Piper 1957; 432–433 стверджував, що Уніфікований символізм О. Л. Райзера для світорозуміння в науці 1955 р., Розширення його «Філософії світового об’єднання 1946», був натхненним характером Leibniz характеруica Universalis і вважав необхідним для світорозуміння та неупереджених комунікацій, щоб «врешті-решт війна може бути виключається і що всесвітній організм мирних людей може поступово створюватися "Пайпер Там само. Дослідження булевих алгебр та теорії груп у 19 столітті довело правильну інтуїцію Лейбніца про те, що алгебраїчні методи можна використовувати, щоб міркувати про якісні та нечислові цифри. явища Конкретно, членам універсальної множини булевої алгебри чи групи не повинно бути чисел. Більше того, справедливий біт філософії та теоретичної науки можна формалізувати як аксіоматичні теорії, що втілюють логіку першого порядку та теорію множин. Зауважте також, як існувала теорія моделі застосовується для формалізації та аргументації таких чітко нечислових предметів, як семантика та прагмати cs природних мов Але ці підходи ще не привели до будь-яких піктографічних позначень. Fearnley-Sander 1986 пішов на крок далі, визначаючи характеристику Лейбніца як поєднання алгебри логіки, яку Фарнлі-Сандер визначав як коефіцієнт обчислення і алгебру Геометрія, визначена як характеристика геометрики Фірнлі-Сандер, припустила, що ця комбінація "збулася" із зростанням універсальної алгебри. Деякі люди, крім Фірнлі-Сандера, що працюють в області "універсальної алгебри", вивчення математичного та логічного властивості алгебраїчних структур, як правило, не вірять, що універсальна алгебра має щось спільне з характеристикою. Палко, Gy Bulcsu 1986 розглядав структурований аналіз для аналізу та проектування ієрархічних систем з використанням знакових мов, і припустив, що таке застосування універсальні характеристики проекту Лейбніца до мови структурованого аналізу та формалізації знакового система управління
Kluge 1980 стверджував, що віхою орієнтацією Фреге Begriffsschrift було свідомо натхненно Characterica Universalis. Навіть незважаючи на те, що засновник семіотики Чарльз Сандерс Періс вважав, що всі міркування є схематичними, а взагалі, якщо такі є, стосунки характеру до його екзистенційні графіки та семіотики ще не вивчені в англійській літературі. Декілька аспектів логічного позитивізму, зокрема:
Теорії першого порядку "Ауфбау" 1928 року Рудольфа Карнапа, переклад англійською мовою 1967 року та його наступника Гудман 1977 , є Лейбніцаном у своєму розмаху та честолюбстві, хоча Лейбніц зробив би серйозний виняток з рішучої ворожості Карнапа до всіх метафізиків. Об'єднання наукового руху 1930-х років, очолюваного Отто Нейратом, Рудольфом Карнапом та Чарльзом У Моррісом, а пізніше Едвард Хаскелл та ін., порівнює порівняння з характеристикою - піктограмою ізотопа Отто Нейрата і "міжнародною мовою зображень" [1]. Наступні спроби pts для перероблення частин теоретичної науки як аксіоматичних теорій першого порядку можна розглядати як спроби розробити частини характеру:
Особлива відносність, Ганс Райхенбах, Рудольф Карнап та інші протягом 20-х років Карнапа 1958: 197–212;
Біологія, Джозеф Вудгер 1937, також протягом 1930-х років Карнап 1958: 213–20: «Механіка», Суппес 1957: 291–305 та інші протягом 1950-х років. Цілі «Символіста» або « Ідея-комп’ютер «Гоппольд 1994 нагадує в чомусь менш амбітну версію Characterica Universalis - Зв'язки з єврейською Кабалою та Міжнародна політика допоміжної мови віри Бахаї також були зроблені
Характеристика також заявлено як предка піктографічної мови Енергетичних систем і пов'язаного з нею надзвичайного синтезу систем Одома Екологія Севолатті і Мод, 2004 р. Мова енергетичних систем поєднує лінії і точки з "своєрідними картинками", що маніпулюються за допомогою цифрових комп'ютерів і d програмні пакети, такі як EXTENDtm Odum, Odum, і Peterson 1995, і Emery Simulator Valyi [2] Він був розроблений, щоб забезпечити загальну систему систем, що забезпечує кількісний облік та математичне моделювання якісних енергетичних зв’язків між екологічними утвореннями: "та наука, в якій обробляються форми або формули речей взагалі, тобто якість взагалі "Загальна алгебра, відома як алгебра емерджів, виникла в результаті багаторазового використання цієї мови при моделюванні та моделюванні енергетичних принципів екологічних відносин. Зокрема, це дало змогу відкрити і демонструвати принципу максимальної потужності, запропонованого як четвертий закон термодинаміки. Якщо ця претензія на предки є дозволеною, то програмне забезпечення для моделювання типу EXTENDtm та Emery Simulator Valyi може розглядатися як поєднання символіки та коефіцієнта обчислення, якщо і лише якщо інтерпретується цифровий комп'ютер як фізичне втілення коефіцієнта обчислення - Робота Маріо Бу nge на кордоні фізики та метафізики видається обґрунтованим метафізичними передумовами, подібними до характеристик Лейбніца, характерісіці Радницький 1981: 246
Лойбан та його старіша версія Лоґлан - це штучні мови, похідні від логіки предиката, і призначені для використання в людському спілкуванні
Бліссимболи або блаженства символів Чарльза К Блісса, в даний час використовувані як "альтернативна та доповнювальна мова" для інвалідів, але спочатку призначені як міжнародний "Auxlang", як кажуть, є формою характеру Блісс 1978
Ithkuil - побудований мова, створена Джоном Кіджадою, призначена для вираження більш глибоких рівнів людського пізнання, але чітко і чітко, особливо що стосується категоризації людини. Примітки. ^ ^ "Ізотип та БУДЬЧІ книги - Нейрат" червень 2003 р. Отримано 10 липня 2016 р.
^ "Симулятор невідкладних ситуацій" SourceForgenet 16 квітня 2013 р. Отримано 10 липня 2016 р.
Список літератури
Про інтерес Лейбніца до характеру характеру тощо, див. T він наступні тексти в Loemker 1969: 165–66, 192–95, 221–28, 248–50 та 654–66
Про характеристику, див. Rutherford 1995 та все ще класичну дискусію в Couturat 1901: chpts 3, 4 Також характерним для характеру є дискусія Матеса 1986: 183–88 про те, що він назвав lingua philosophica - Блаженство, Чарльз К, 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 Leipzig: Felix Meiner Verlag - Cevolatti, D, and Moud, S, 2004 р. "Реалізація Просвітництва: Енергетичні системи HT Odum Language qua GW v Leibniz's Characteristica Universalis", Екологічне моделювання 178: 279–92
Cohen, C Jonathan, 1954, "Про проект універсального характеру", Mind New Series 63: 249, pp. 49-63 - Кутурат, Луї, 1901 р. La Logique de Leibniz Paris: Переклад англійською мовою Фелікса Алкана Дональда Резерфорда на прогрес: Кутурат, Луї, О Джесперсен, Р Лоренц, Вільгельм Оствальд та Л. Пфаундлер, 1910 р. Міжнародна мова та наука: міркування щодо впровадження міжнародної мови в науку ", Constable and Company Limited, Лондон
Даскаль, М , 1987 р. Лейбніц: Мова, знаки і думка, збірка нарисів Філадельфія: Джон Бенджамінс, Девіс, Мартін, 2001 Двигуни логіки: Математики та походження комп'ютерної світової Нортон
Доусон, молодший, JW, 1997 Логічні Дилеми: Життя та творчість М. Курта Геделя Велслі : AK Peters
Fearnley-Sander, Desmond, 1982 р. "Герман Грассманн та доісторія універсальної алгебри", Американський математичний щомісячник 89: 161–66
Годе, Олександр, 1951 р. Інтерлінгва-англійська: Словник міжнародного мова Нью-Йорк: Штормові видавці - Гудман, Нельсон, 1977 1951 рр. Структура зовнішнього вигляду Райдель - Хінтіка, Яакко, 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 р. Огляд символічної логічної дувра - Лемкер, Лерой, редакція та переклад, 1969 р. Лейбніц: Філософські статті та букви «Синтеза» Історична бібліотека Dordrecht: D Reidel - Mates, Benson, 1986 Філософія Лейбніца Оксфорд Універс Прес
Odum, EC, Odum, HT та Peterson, NS, 1995 "Використання Sim угода впровадити системний підхід в освіті "в залі, CS, ред., Максимальна потужність: ідеї та застосування HT Odum Colorado Univ Press: 346–52
Паркинсон, GHR, ed та trans, 1966 Лейбніц: Логічні документи Оксфорд Univ Press
-, та Мері Морріс, транс, 1973 р. Лейбніц: Філософські твори Лондона: Дж. М. Дент - Пайпер, РФ 1957 р. "Огляд" Уніфікованого символізму для світорозуміння в науці "Олівера Л Райзера," Філософія та феноменологічний Дослідження 17: 432–33 - Радницький, Джерард, 1981 «Аналітична філософія як протистояння Вітгенштейнів і Поппера» в Агассі, Дж. Коен, Р. д., Наукова філософія сьогодні С. 239–286. Дордрехт: Спрингер Верлаг, Рейзер, Олівер Леслі, 1946 р. Філософія світового об'єднання: Науковий гуманізм як ідеологія культурної інтеграції, публікації Халдемана-Джуліуса
-, 1940 р. Обіцяння наукового гуманізму до об'єднання наукової, релігійної, соціальної та економічної думки, Оскар П'єст
-, 1955 р. Єдиний символізм для світорозуміння в науці: включаючи семантографію та логіку символів блаженства, кібернетику та семантику, Semantography Pub Co
Rescher, Nicholas, 1954 р. "Огляд проекту універсального характеру Джонатана Коена", Журнал символічної логіки 19: 133. Роджерс, молодший, Хартлі, 1963 р. "Приклад математичної логіки" Американський математичний щомісячник 70: 929–45 - Резерфорд, Дональд, 1995, «Філософія та мова» в Джоллі, штат Південна Корея, «Кембриджський компаньйон Лейбніц Кембриджський університет Пресс», Стрікленд, Ллойд, редакція, 2011 Лейбніц та дві софії: Філософський кореспос ndence Торонто: Iter Inc - Суппес, Патрік, 1999 1957 р. Введення в логіку Дувер
ван Хейноорт, Жан, 1967 р. "Логіка як обчислення і логіка як мова", Синтеза 17: 324–330 перевидана в Hintikka 1997
Вінер, Філіп П, 1940 р. «Проект Лейбніца на публічній виставці наукових винаходів», «Журнал історії ідей 1: 232–240» - Вудгер, Джозеф Н, 1937 р. Аксіоматичний метод в біології, Кембриджський університетський прес » Зовнішні посилання - Corazzon, Raul, 2010, Мова як обчислення проти мови як універсальної медіа Включає бібліографію, посилання на онлайн-статті та уривки з творів Яако Хінтіка та Жана Ван Хеєноорта
Сміт, Баррі, 1978, Нарис у формальній онтології, Grazer Philosophische Studien 6: 39–62
-, 1990, Characteristica Universalis в K Mulligan, ред., мова, правда та онтологія, серія філософських досліджень 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

Book

Book

A book is a set of written, printed, illustrated, or blank sheets, made of ink, paper, parchment, or...
Boston Renegades

Boston Renegades

Boston Renegades was an American women’s soccer team, founded in 2003 The team was a member of the U...
Sa Caleta Phoenician Settlement

Sa Caleta Phoenician Settlement

Sa Caleta Phoenician Settlement can be found on a rocky headland about 10 kilometers west of Ibiza T...
Bodybuilding.com

Bodybuilding.com

Bodybuildingcom is an American online retailer based in Boise, Idaho, specializing in dietary supple...