Mon . 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 Знешнія спасылкі
Універсальная піктаграфічная мова: ключ да ўсіх навук
Міжнародная камунікацыя
Шматлікія вучоныя Лейбніца пішуць на англійскай мове, здаецца, згодныя з тым, што ён прызначаны сваім характарыстам універсалам альбо " універсальны характар "павінна быць формай пасіграфікі альбо ідэаграфічнай мовы. Гэта павінна было грунтавацца на рацыяналізаванай версіі" прынцыпаў "кітайскіх іерогліфаў, як еўрапейцы зразумелі гэтых персанажаў у ХVII стагоддзі. З гэтага пункту гледжання прынята лічыць характарыстыку Universalis, звязаны з сучаснымі універсальнымі моўнымі праектамі, такімі як эсперанта, дапаможнымі мовамі, такімі як інтэрлінгва, і фармальнымі лагічнымі праектамі, такімі як Frege's Begriffsschrift. Глабальнае пашырэнне еўрапейскай гандлю ў часы Лейбніца забяспечвала меркантылісцкі матыў дзеянні для універсальнай мовы гандлю, каб гандляры маглі мець зносіны з любой натуральнай мовай. Іншыя, напрыклад, Джанэке, напрыклад, заўважылі, што Лейбніц таксама меў іншыя намеры ў характарыстыцы Universalis, і гэтыя аспекты, здаецца, з'яўляюцца крыніцай вышэйзгаданая расплывістасць і супярэчлівасць у сучасных інтэрпрэтацыях. Паводле Джэнека, праект Лейбніца - гэта не пытанне логікі, а толькі рэпрэзентацыя ведаў, поле, якое ў значнай ступені не выкарыстоўваецца ў сучаснай эпістэмалогіі і філасофіі навукі, арыентаванай на логіку. аднабаковая арыентацыя гэтых дысцыплін, якая адказвае за скажоную карціну працы Лейбніца, выяўленую ў літаратуры
- Jaenecke 1996
Як Куцюрат пісаў, Лейбніц крытыкаваў моўныя сістэмы Джорджа Далгарна і Джона Уілкінса з гэтай прычыны, бо яны сканцэнтравана на практычным выкарыстанні, а не на навуковай карыснасці, гэта значыць на тым, каб яны былі пераважна штучнымі мовамі, прызначанымі для міжнародных камунікацый мунікацыя, а не філасофскія мовы, якія выражалі б лагічныя адносіны паняццяў, якія ён аддае перавагу, і супрацьпастаўляе ім сапраўдную "рэальную характарыстыку", якая выражала б кампазіцыю паняццяў спалучэннем знакаў, якія прадстаўляюць іх простыя элементы, такія, што адпавядаюць паміж імі Кампазіцыйныя ідэі і іх сімвалы былі б натуральнымі і ўжо не звычайнымі
- Couturat, 1901, chpt 3 - Універсальная мова навукі
Лейбніц адзначыў, што яго мэтай быў алфавіт чалавечай думкі, універсальная сімвалічная моўная характарыстыка для навукі, матэматыкі і метафізікі. Паводле Кутурата, "У маі 1676 г. ён зноў атаясамліваў універсальную мову з характэрнай і марыў пра мову, якая таксама была б вылічэннем - своеасаблівай алгебрай мыслення" 1901, гл. 3 Гэтая характарыстыка была універсалізацыя розных "рэальных характарыстык", Куцюрат пісаў, што Лейбніц прыводзіў егіпецкія і кітайскія іерогліфы і хімічныя знакі ў якасці прыкладаў рэальных Характарыстыка напісання:
Гэта паказвае, што рэальная характарыстыка была для яго ідэаграфіяй, гэта значыць сістэмай знакаў, якія непасрэдна ўяўляюць рэчы ці, дакладней, ідэі, а не словы, такім чынам, каб кожны народ мог іх чытаць і перакладаць іх на сваю мову
- Couturat, 1901, chpt 3
У зносцы Кутурат дададзены:
У іншым месцы Лейбніц нават уключае сярод тыпаў знакаў музычныя ноты і астранамічныя знакі знакаў задыяку і знакі задыяку планеты, уключаючы Сонца і Месяц Варта адзначыць, што Лейбніц часам у сваіх алгебраічных разліках замест планеты выкарыстоўвае планетныя знакі
- Couturat, 1901, chpt 3
Метафізіка
Хартлі Роджэрс падкрэсліў метафізічны аспект характарыстыка універсалізм, звязваючы яго з "элементарнай тэорыяй упарадкавання сапраўдных", вызначаючы яе як "дакладна вызначальную сістэму для навуковых заяў". Роджэрс 1963: 934 Універсальныя моўныя праекты, такія як эсперанта, і фармальная логіка PR такія аб'екты, як Бегрыфшшрыфт Фрэге, звычайна не звязаны з эпістэмічным сінтэзам эмпірычнай навукі, матэматыкі, піктограмаў і метафізікі, як апісаў Лейбніц. Такім чынам, навукоўцам было цяжка паказаць, як такія праекты, як Бегрыфшшрыфт і эсперанта, увасабляюць поўнае бачанне Лейбніца для сваёй характарыстыкі
Працы Аляксандра Годэ выказалі здагадку, што характарыстыка Лейбніца мела метафізічны ўхіл, які перашкаджаў ёй адлюстраваць рэчаіснасць. Вельмі падкрэсліў, што Лейбніц спачатку вызначыў пэўныя мэты і функцыі, а потым распрацаваў характарыстыку для выканання гэтых функцый. > У галіне навукі Лейбніц імкнуўся да сваёй характарыстыкі сфармаваць дыяграмы ці малюнкі, якія адлюстроўваюць любую сістэму ў любым маштабе і разумеюць усе, незалежна ад роднай мовы. Лейбніц пісаў:
І хаця вучоныя мужчыны даўно ўжо думалі пра нейкі род мовы альбо універсальнай характарыстыкі, з дапамогай якой можна ўкласці ўсе паняцці і рэчы прыгожы парадак, і з чыёй дапамогай розныя народы могуць данесці свае думкі і кожны прачытаць на сваёй мове тое, што напісаў іншы на сваёй мове, але ніхто не паспрабаваў мовы ці характарыстыкі, якая ўключае ў сябе адразу і мастацтва адкрыцця, і разважання, г.зн. , той, чые знакі і сімвалы служаць той самай мэты, што арыфметычныя знакі служаць для лікаў, а алгебраічныя знакі для велізарнай колькасці, але ўсё ж здаецца, што, паколькі Бог адорыў гэтыя дзве навукі чалавецтву, ён імкнуўся паведаміць нам, што значна большая таямніца хлусня, схаваная ў нашым разуменні, сярод якіх гэта толькі цені - Лейбніц, Zur allgemeinen Charakteristik Hauptschriften zur Grundlegung der Philosophie Philosophische Werke Band 1 старонка 30-31 Пераклад: Артур Бучэнаў Рэцэнзуецца, а таксама ўступкі і нататкі, апублікаваныя Эрнстам Касірэрам Гамбург : Фелікс Мейнер, 1966 г. Калі не пазначана іншае, усе цытаты Лейбніца з яго "Агульныя характарыстыкі", перакладзенага на л. oemker 1969: 221–25 Гэты ўрывак - p 222
PP Weiner прывёў прыклад шырокага прымянення характарыстыкі Лейбніца да кліматычнай навукі Сіноптык, прыдуманы Афанасіям Кірхерам, "зацікавіў Лейбніца ў сувязі з яго ўласнымі спробамі вынаходзіць універсальная мова "1940 г.
Лейбніц распавёў пра сваю мару аб універсальнай навуковай мове на самым світанку сваёй кар'еры:" Мы гаварылі пра мастацтва ўскладнення навук, гэта значыць пра вынаходніцкую логіку. калі ўтвараюцца табліцы катэгорый нашага мастацтва, якія складаюцца, нешта большае з'явіцца: хай першыя члены, з спалучэння якіх складаюцца ўсе астатнія, будуць абазначаны знакамі; гэтыя знакі будуць своеасаблівым алфавітам. Зручна будзе, каб знакі былі максімальна натуральнымі, напрыклад, для аднаго, пункту; для лікаў, балаў; для адносін адной сутнасці з іншым, лініі; для змены вуглоў і канечнасцяў у лініях, відах адносін. Калі яны правільна і геніяльна ўстаноўлены, гэта ўніверсальнае напісанне будзе такім жа простым, як звычайна, і можна будзе чытаць без слоўніка; у той жа час будуць атрыманы фундаментальныя веды пра ўсё, што будзе напісана з геаметрычных фігур і падобных малюнкаў - як старажытныя егіпцяне, так і кітайцы сёння Іх выявы, аднак, не зводзяцца да фіксаванага алфавіту, у выніку чаго неабходна вялікая нагрузка на памяць, што супярэчыць таму, што мы прапануем. - On The Art of Combination, 1666, перакладзены ў Паркінсане 1966: 10–11
Нікалас Рэшер, разглядаючы артыкул Коэна 1954 г., пісаў, што:
Праграма Лейбніза універсальнай навукі ўніверсалізм для каардынацыі ўсіх ведаў чалавека ў сістэматычнае цэлае складаецца з дзвюх частак: 1 універсальнае абазначэнне характарыстыкі універсальнага з выкарыстаннем які любы інфармацыя, што заўгодна, можа быць запісаны натуральным і сістэматычным спосабам, і 2 сродкам маніпулявання ведамі, запісанымі такім чынам, вылічальна, каб выявіць яго лагічныя ўзаемасувязі і наступствы eccalkulus ratiocinator
- Rescher 1954
Бліжэй да канца свайго жыцця Лейбніц пісаў, што спалучэнне метафізікі з матэматыкай і навукай праз універсальны характар запатрабуе стварэння таго, што ён назваў:
своеасаблівай агульнай алгебры, у якой усе ісціны розуму зводзяцца да своеасаблівага падліку. У той жа час гэта была б своеасаблівая ўніверсальная мова альбо пісьменства, хаця бясконца адрозніваецца ад усіх падобных моў, якія да гэтага часу прапаноўваліся; для персанажаў і саміх слоў скіраваў бы розум, а памылкі - за выключэннем фактычна - былі б толькі памылкамі вылічэння. Вельмі цяжка было б сфарміраваць ці вынайсці гэтую мову альбо характэрную асаблівасць, але вельмі лёгка вывучыць яе без усялякіх слоўнікаў
- Лейбніц, ліст да Нікаласа Рэманда, 10 студзеня 1714 г., у Loemker 1969: 654 Перагляд, перагледжаны
Універсальнае "прадстаўленне" ведаў, такім чынам, спалучае ў сабе лініі і кропкі з "своеасаблівымі малюнкамі", піктаграфамі альбо лагатыпамі, якія падлягаюць маніпуляванню. пры дапамозе калькуляцыі вылічэння ён выказаў надзею, што яго выяўленчая алгебра будзе садзейнічаць навуковаму лячэнню якасных з'яў, тым самым складаючы "тую навуку, у якой разглядаюцца формы або формулы рэчаў наогул, гэта значыць, якасць наогул" Аб універсальным сінтэзе і аналізе , 1679, у Loemker 1969: 233 - Яго дыяграматычныя развагі - схематычныя развагі Лейбніца
З тых часоў, што характэрная характарыстыка з'яўляецца схематычнай і выкарыстоўвае п іктаграмы ўнізе злева, дыяграмы працы Лейбніца патрабуюць блізкага вывучэння Прынамсі ў два выпадкі Лейбніц праілюстраваў свае філасофскія развагі дыяграмамі. Адзін дыяграм, перадачы якога да яго Ar66 Combinatoria аб мастацтве камбінацый 1666 г., уяўляе арыстотэлеўскую тэорыю, як увесь матэрыял рэчы ўтвараюцца з камбінацый элементаў зямля, вада, паветра і агонь - Асноўныя элементы піктаграмы Лейбніца
Гэтыя чатыры элемента складаюць чатыры вуглы алмаза, гл. малюнак справа. Супрацьлеглыя пары з іх аб'ядноўваюцца a штрых з надпісам "супрацьпастаўленне" зямля-паветра, агонь-вада У чатырох кутах накладзенага квадрата чатыры якасці, якія вызначаюць элементы. Кожная сумежная пара гэтых злучаецца палоскай з надпісам "магчымая камбінацыя"; дыяганалі, якія злучаюцца з імі, пазначаныя "немагчымая камбінацыя". Пачынаючы зверху, агонь утвараецца ад спалучэння сухасці і цяпла; паветра ад вільготнасці і цяпла; вада ад халоднасці і вільготнасці; Зямля ад халоднасці і сухасці. Гэтая схема прыведзена ў некалькіх тэкстах, у тым ліку Saemtliche Schriften und Briefe Saemtliche Schriften und Briefe, Reihe VI, Band 1: 166, Loemker 1969: 83, 366, Karl Popp and Erwin Stein 2000: 33
Лейбніц губляе Воля Лейбніц правільна ўбачыла, што стварыць характарыстыку будзе складана, устанавіўшы час, неабходны для яе распрацоўкі, наступным чынам: "Я думаю, што некаторыя выбраныя мужчыны маглі б скончыць справу праз пяць гадоў" Лёмкер 1969: 224, пазней заўважыўшы: "І таму я паўтараю тое, пра што я часта казаў, што чалавек, які не з'яўляецца ні прарокам, ні князем, можа калі-небудзь зрабіць большую карысць чалавецтву, больш прыдатнай для боскай славы "Loemker 1969: 225 Але ў далейшым жыцці, больш цвярозы. Заўвага з'явілася У сакавіку 1706 г. у лісце электрыцы Сафіі Ганноверскай, жонкі яго заступніка, ён пісаў:
Гэта праўда, што ў мінулым я планаваў новы спосаб разліку, які падыходзіць для пытанняў, якія не маюць нічога агульнага з матэматыкай. , i калi б такую логіку было пастаўлена i без практыкі, усе развагі, нават імаверныя, былі б падобнымі да матэматыка: пры неабходнасці меншыя розумы, якія мелі прыклад і добрую волю, маглі б, калі не суправаджаць вялікіх розумаў, дык, прынамсі, прытрымлівацца за імі, бо заўсёды можна было сказаць : давайце пралічым і правільна судзім, наколькі дадзеныя і прычыны могуць забяспечыць нам сродкі для гэтага. Але я не ведаю, ці змогу я калі-небудзь рэалізаваць такі праект, які патрабуе больш адна рука; і нават здаецца, што чалавецтва ўсё яшчэ не дастаткова дарослае, каб прэтэндаваць на перавагі, якія мог бы забяспечыць гэты метад
- Strickland 2011: 355
У іншым лісце 1714 года да Нікаласа Рэманда ён напісаў:
Я гаварыў Маркізу дэ Л'хопіталь і іншым пра маю агульную алгебру, але яны не звярнулі на гэта больш увагі, чым калі б я распавёў ім пра мару, мне трэба было б таксама падтрымаць яе нейкім відавочным дадаткам, але каб дасягнуць гэтага трэба было б выпрацаваць хоць бы частку маёй характарыстыкі, задача, якая няпростая, асабліва ў маім сучасным стане і без перавагі абмеркавання з мужчынамі, якія маглі б стымуляваць і дапамагаць мне ў працы такога характару
- Loemker 1969: 656
Тры крытэрыі - CJ Cohen 1954 выклаў тры крытэрыі, якім павінен адпавядаць любы праект для філасофскай мовы, перш чым яго можна было б лічыць версіяй характарыстыкі Universalis. да паняцця "логі stic "Гэтая канцэпцыя не супадае з выкарыстанай у статыстычным аналізе. У 1918 годзе Кларэнс Ірвінг Льюіс, першы англамоўны лагіст, які пераклаў і абмеркаваў некаторыя лагічныя працы Лейбніца, падрабязна спыніўся на" лагістычным "наступным чынам:
Logistic may можна вызначыць як навуку, якая займаецца тыпамі парадку як такой. Гэта не столькі прадмет, колькі метад. Хаця большасць лагістычных альбо заснавана, альбо шырока выкарыстоўвае прынцыпы сімвалічнай логікі, усё ж як навука парадку ўвогуле не абавязкова трэба меркаваць альбо пачаць з сімвалічнай логікай
- Льюіс 1960: 3, 7–9 Льюіс адгукнуўся тут думкай свайго настаўніка Джосіі Ройса; см "Ордэн" у Зборніках лагічных запісаў 1951 г. Ройса. Вынікаючы з гэтага, Коэн прадугледжваў, што універсальны характар павінен выконваць ролю: "Міжнароднай дапаможнай мовы", якая дазваляе людзям, якія размаўляюць на розных мовах, мець зносіны адзін з адным;
Сімволіка для дакладнага і сістэматычнага выражэння ўсіх сучасных ведаў, што робіць магчымым «лагістычны» зварот да навукі ўвогуле. Гэты сімвалізм можна было б пашырыць і для ўтрымання будучых ведаў;
Інструмент адкрыцця і дэманстрацыі. Крытэрыі разам з паняццем лагістыкі паказваюць, што Коэн і Люіс асацыявалі характарыстыку з метадамі і задачамі агульнай тэорыі сістэм
Агульная навуковая мова
У гэтым раздзеле не прыводзяцца ніякія крыніцы, калі ласка, дапамажыце палепшыць гэты раздзел, дадаўшы цытаты. да надзейных крыніц Ненасільны матэрыял можа быць аспрэчаны і выдалены красавіку 2011 г. Даведайцеся, як і калі выдаліць паведамленне з шаблона
Неадпаведнасць, няпэўнасць і адсутнасць канкрэтызмаў як у перакладзе на ангельскую мову, так і ў інтэрпрэтацыі сучаснай англійскай мовы твораў Лейбніца абцяжарвае выразную экспазіцыю. Як і ў выпадку з каэфіцыентам вылічэння Лейбніца, дзве розныя школы філасофскай думкі падкрэслілі два розныя аспекты, якія можна знайсці ў напісанні Лейбніца Першы пункт погляд падкрэслівае логіку і мову і звязаны з аналітычнай філасофіяй і рацыяналізмам. Другі пункт гледжання больш сугучны меркаванням Кутурата, як гэта выказана вышэй, якія падкрэсліваюць навуку і тэхніку. Гэты пункт гледжання звязаны з сінтэтычнай філасофіяй і эмпірызмам альбо ў абодвух. з гэтых аспектаў Лейбніц спадзяваўся, што будзе кіраваць чалавечымі развагамі, як нітка Арыядні, і тым самым прапанаваць рашэнне многіх неадкладных праблем чалавецтва. Гёдэль абвяшчае змову
Паколькі Лейбніц ніколі не апісваў характарыстыку універсаліс падрабязна, шмат філосафаў палічылі гэта недарэчнай фантазіяй У гэтым рэчышчы Паркінсан Напісаў:
Погляды Лейбніца на сістэматычны характар усіх ведаў звязаны з яго планамі на універсальную сімволіку, характарыстыку універсаліс. Гэта павінна было быць вылічэнне, якое б ахапіла ўсе думкі і замяніла спрэчку падлікам. Ідэальны цяпер здаецца абсурдна аптымістычным "" - Паркінсан 1973: ix - Логік Курт Гёдэль, з іншага боку, лічыў, што характарыстыка універсаліс была магчымай і што яе развіццё прывядзе да рэвалюцыі ў матэматычнай практыцы Доўсан 1997. Ён заўважыў, аднак, што падрабязна звяртаецца да характэрная характарыстыка адсутнічала ў публікацыях Лейбніца. Падобна на тое, што Гедэль сабраў усе тэксты Лейбніца, у якіх згадваецца характэрнасць, і пераканаў сябе, што адбылася нейкая сістэматычная і канспірацыйная цэнзура, вера, якая стала дакучлівай, Гедэль, магчыма, не ацаніў маштабу задача, якая стаіць перад рэдакцыяй рукапісаў Лейбніца, улічваючы, што Лейбніц пакінуў каля 15000 лістоў s і 40000 старонак іншых рукапісаў Нават зараз большая частка гэтага велізарнага Nachlass застаецца неапублікаванай. Звязаныя праекты 17-га стагоддзя
Іншыя ў 17-м стагоддзі, напрыклад Джордж Далгарна, спрабавалі аналагічныя філасофскія і лінгвістычныя праекты, некаторыя пад загалоўкам mathes Universalis Прыкметным прыкладам стаў Джон Уілкінс, аўтар "Нарыса рэальнага героя і філасофскай мовы", які напісаў тэзаўрус як першы крок да універсальнай мовы. Ён меў намер дадаць у свой тэзаўрус алфавіт чалавечай думкі арганізацыйнай схемы , падобны на тэзаўрус або дзесятковую сістэму Дьюі і "алгебру думкі", якая дазваляе кіраваць на аснове правілаў маніпуляцыямі Філосафы і лінгвісты, якія распачалі падобныя праекты, часта належалі да агульначалавечых груп пансафічных ведаў і навуковых ведаў у Лондане і Оксфардзе, якія ў агульным плане называюцца " "Нябачны каледж" і зараз разглядаецца як папярэднікі Каралеўскага таварыства
Новыя праекты
Шырокі выбар пабудаваных моў з'явіліся за апошнія 150 гадоў, якія, здаецца, падтрымліваюць шмат інтуіцый Лейбніца. Калі яны сапраўды падтрымліваюць бачанне Лейбніца аб адзінай навуцы, то застаецца пытанне, ці можна аб'яднаць аб'яднальную нітку Арыядні сярод гэтых розных праектаў, што прывядзе да іх інтэграцыі
Raymond F Piper 1957; 432–433 сцвярджаў, што адзіны сімвал сімвала О. Л. Райзера для сусветнага разумення ў навуцы 1955 г., пашырэнне яго філасофіі "Сусветнае аб'яднанне" 1946 г., быў натхнёны характарыстыкай Лейбніца "і лічыў неабходным для разумення свету і аб'ектыўных зносін, каб" у канчатковым выніку вайна можа быць ліквідаваны і што паступова можа быць створаны мірны арганізм мірных людзей "Пайпер Там жа. Вывучэнне булевых алгебраў і тэорыі груп у 19 стагоддзі даказала правільнасць інтуіцыі Лейбніца, што алгебраічныя метады могуць быць выкарыстаны для разважанняў аб якасных і ненумерацыйных. З'явы, у прыватнасці, членам універсальнай мноствы булевай алгебры ці групы не павінны быць лічбы. Больш за тое, ладны філасофіі і тэарэтычнай навукі можна аформіць як аксіёматычныя тэорыі, якія ўвасабляюць логіку першага парадку і тэорыю мностваў. выкарыстоўваецца для фармалізацыі і абгрунтавання такіх выразна нечысленных прадметаў, як семантыка і прагматы cs натуральных моў Але гэтыя падыходы яшчэ не прывялі ні да якіх піктаграфічных абазначэннях. Fearnley-Sander 1986 пайшоў яшчэ крок наперад, вызначаючы характарыстыку Лейбніца як спалучэнне алгебры логікі, якую Фірнлі-Сандэр вызначыў як каэфіцыент вылічэння і алгебры Геаметрыя, вызначаная як характарыстыка геаметрыка, Фірнлі-Сандэр выказала здагадку, што гэта спалучэнне "збылося" з уздымам універсальнай алгебры. Некаторыя людзі, акрамя Фірнлі-Сандэра, працуюць у галіне "універсальнай алгебры", вывучэння матэматычнага і лагічнага Уласцівасці алгебраічных структур наогул не вераць, што ўніверсальная алгебра мае нічога агульнага з характарыстыкай
Палко, Gy Bulcsu 1986 разгледзеў структураваны аналіз для аналізу і праектавання іерархічных сістэм з выкарыстаннем знакавай мовы, і выказаў здагадку, што такое прымяненне было універсальныя характарыстыкі праекта Лейбніца да мовы структураванага аналізу і фармалізацыі культавага Сістэма кіравання
Kluge 1980 г. сцвярджала, што славутасць Фрэге Begriffsschrift была свядома натхнёная характарыстыкай Universalis. Нават калі Чарльз Сандэр Перс, заснавальнік семіётыкі, лічыў, што ўсе развагі былі схематычнымі, а калі ёсць, то характар адносін характарыстыкі да яго экзістэнцыяльныя графікі і семіётыка яшчэ трэба вывучыць у англійскай літаратуры
Некалькі аспектаў лагічнага пазітывізму, у прыватнасці:
Тэорыі першага парадку Аўфбау 1928 года Рудольфа Карнапа, пераклад на англійскую мову 1967 г. і яго пераемніка Гудман 1977 г. Лейбніц у сваёй маштабе і амбіцыях, хоць Лейбніц прыняў бы сур'ёзнае выключэнне з рашучай варожасці Карнапа да ўсёй метафізікі. Аб'яднанне навуковага руху 1930-х гадоў, якое ўзначальвалі Ота Нойрат, Рудольф Карнап, Чарльз У Моррыс і пазней Эдвард Хаскелл і інш., параўноўвае характарыстыку з піктаграмай ізатыпа Піта-Нейрата і "міжнароднай мовай малюнка" [1]. Наступныя спробы балы для пераробкі частак тэарэтычнай навукі ў якасці аксіёматычных тэорый першага парадку можна разглядаць як спробы распрацоўкі частак характарыстыкі:
Спецыяльная адноснасць, Ганс Райхенбах, Рудольф Карнап і іншыя ў 1920-я гады Карнап 1958: 197–212;
Біялогія, Джозэф Вудгер, 1937, таксама ў 1930-я гг. Карнап 1958: 213–20:
Механіка, Супэнс 1957: 291–305 і іншыя на працягу 1950-х гадоў - мэты «Сімулятар» альбо « Ідэя-кампутар «Гоппольд 1994 нагадвае ў нейкім сэнсе менш амбіцыйную версію характарыста универсаліса - Сувязі з яўрэйскай Кабалай, і Міжнародная палітыка дапаможнай мовы веры Бахаі таксама былі зроблены
Характарыстыка таксама заяўлена як продка піктаграфічнай мовы энергетычных сістэм і звязанага з ім надзвычайнага сінтэзу экалагічных сістэм Odum Cevolatti and Moud, 2004 г. Мова энергетычных сістэм спалучае ў сабе лініі і кропкі з "своеасаблівымі карцінкамі", якія маніпулююць пры дапамозе лічбавых камп'ютэраў і d праграмныя пакеты, такія як EXTENDtm Odum, Odum, і Peterson 1995, і Emery Simulator Valyi [2]. Ён быў распрацаваны, каб забяспечыць агульную мову сістэм, якая забяспечвае колькасны ўлік і матэматычнае мадэляванне якасных энергетычных сувязей паміж экалагічнымі суб'ектамі: "тая навука, у якой разглядаюцца формы або формулы рэчаў увогуле, гэта значыць, якасць у цэлым "Агульная алгебра, вядомая як алгебра эмердж, паўстала пры неаднаразовым выкарыстанні гэтай мовы пры мадэляванні і мадэляванні энергетычных прынцыпаў экалагічных адносін. У прыватнасці, гэта дало магчымасць адкрыцьцю і дэманстрацыі прынцыпу максімальнай магутнасці, прапанаванага ў якасці чацвёртага закону тэрмадынамікі. Калі дадзенае патрабаванне продкаў задаволена, то праграмнае забеспячэнне для мадэлявання, як EXTENDtm і Emery Simulator Valyi, можна разглядаць як аб'яднанне характарыстыкі і калькулятара вылічэння, калі і толькі калі лічбавы кампутар інтэрпрэтуецца як фізічнае ўвасабленне каэфіцыента вылічэння - Праца Марыё Бу Nge на мяжы фізікі і метафізікі здаецца абгрунтаваным метафізічнымі здагадкамі, падобнымі на характарыстыкі Лейбніца Raditzky 1981: 246
Лойбан і яго больш старая версія Loglan - гэта штучныя мовы, якія выцякаюць з логікі выказнікаў, і прызначаныя для выкарыстання ў чалавечай камунікацыі
Блиссимволы Чарльз Б Блисс або Блиссимболика, у цяперашні час выкарыстоўваецца ў якасці "альтэрнатыўнай і дапаўняльнай мовы" для людзей з абмежаванымі магчымасцямі, але першапачаткова прызначаны як міжнародны "Auxlang", як кажуць, у форме героікі Блісс 1978
Ithkuil пабудавана мова, створаная Джонам Кіядай, прызначаная для выражэння глыбокіх узроўняў чалавечага пазнання, сцісла і ясна, асабліва ў дачыненні да класіфікацыі чалавека. Заўвагі
^ "Ізатып і будучыя кнігі - Нойрат" Чэрвень 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 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", мова GW v Leibniz's Characteristica Universalis ", Экалагічнае мадэляванне 178: 279–92
Cohen, C Jonathan, 1954 г. "Аб праекце універсальнага характару", Новая серыя Разум 63: 249, стар 49-63 - Куцюрат, Луі, 1901 г. Ла Логіка дэ Лейбніц Парыж: пераклад ангельскага Фелікса Алкана Дональда Рэзерфорда на прагрэс: Couturat, Louis, O Jespersen, R Lorenz, Wilhelm Ostwald і L Pfaundler, 1910 г. Міжнародная мова і навука: меркаванні па ўкараненні міжнароднай мовы ў навуку ", Constable and Company Limited, Лондан, Даскаль, M , 1987 г. Лейбніц: Мова, знакі і думка, Зборнік эсэ Філадэльфія: Джон Бенджамінс, Дэвіс, Марцін, 2001 Двигатели логики: Матэматыкі і паходжанне камп'ютэрнай сусветнай вайны Нортан
Доўсан, малодшы, JW, 1997 г. Дылемы: жыццё і творчасць М. Курта Гедэля Уэлслі : AK Peters
Fearnley-Sander, Desmond, 1982 г. "Герман Грасманн і дагісторыя універсальнай алгебры", Амерыканскі матэматычны штомесяц 89: 161–66
Gode, Alexander, 1951 Interlingua-English: International International Dictionary мова Нью-Ёрк: Storm Publishers - Goodman, Nelson, 1977, 1951, Структура ўзнікнення Рэйдэля - 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 г. Даследаванне сімвалічнай логікі Дувэр
Лёмкер, Лерой, рэд і пер, 1969 г. Лейбніц: Філасофскія дакументы і літары Сінтэзічная гістарычная бібліятэка Дордрэхт: D Reidel
Mates, Benson, 1986 Філасофія Лейбніца Оксфардскі універсітэт Прэс
Odum, EC, Odum, HT і Peterson, NS, 1995 "Выкарыстанне Sim ulation да ўвядзення сістэмнага падыходу ў галіне адукацыі "у зале, CS, ed, Максімальная магутнасць: ідэі і прымяненне 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 Toronto: Iter Inc - Suppes, Patrick, 1999, 1957, Уводзіны ў Logic Dover
van Heijenoort, Jean, 1967 «Логіка як вылічэнне і логіка як мова», Сінтэза 17: 324–330, перадрукавана ў Hintikka 1997
Вінер, Філіп П, 1940 г. "Праект Лейбніца на публічнай выставе навуковых вынаходніцтваў", Часопіс гісторыі ідэй 1: 232–240
Вудгер, Джозэф Н, 1937 г. Аксіёматычны метад у біялогіі, Cambridge University Press
Знешнія спасылкі на Corazzon, Raul, 2010, Мова як вылічэнне супраць мовы як універсальны медыум Уключае ў сябе бібліяграфію, спасылкі на інтэрнэт-дакументы і ўрыўкі з твораў Яака Хінціка і Жана Ван Хееноорта
Сміт, Бары, 1978, Нарыс у фармальнай анталогіі, Grazer Philosophische Studien 6: 39–62
-, 1990, Characteristica Universalis ў К. Маліган, выд., Мова, Праўда і Анталогія, Серыя філасофскіх даследаванняў 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

Picts

Picts

The Picts were a tribal confederation of peoples who lived in what is today eastern and northern Sco...
Visual prosthesis

Visual prosthesis

A visual prosthesis, often referred to as a bionic eye, is an experimental visual device intended to...
Mini rugby

Mini rugby

Mini rugby, also known as New Image Rugby, is a form of rugby union designed to introduce the sport ...
List of synthetic polymers

List of synthetic polymers

Synthetic polymers are human-made polymers From the utility point of view they can be classified int...