Mon . 20 Feb 2020

Characteristica universalis

Латынша «universala universalis» деп аталатын, жалпыға бірдей сипаттама немесе ағылшын тіліндегі әмбебап сипаттама ретінде түсіндірілген неміс полиметикалық данышпаны, математик, ғалым және философ Готфрид Лейбниц Лейбниц арқылы математикалық, ғылыми және метафизикалық түсініктерді білдіретін әмбебап және ресми тіл. Әмбебап логикалық есептеу немесе есептеу коэффициенті аясында қолдануға болатын тіл құруға үміттендім. «Характеристика универсалис» - Лейбниц жазбаларында қайталанатын тұжырымдама, француз тілінде жазған кезде кейде спесье дженéрале тіркесін дәл солай қолданады. кейде оның есептеу коэффициенті ұғымымен және энциклопедия туралы адамзаттың барлық білімінің жиынтығы ретінде жоспарларымен үйлеседі
Мазмұны
1 Жалпыға ортақ пиктографиялық тіл: барлық ғылымдардың кілті
11 Халықаралық байланыс
12 Жалпыға ортақ ғылым тілі
13 Метафизика
14 Ғылым
15 Оның диаграммасы 16 Лейбниц жоғалады
2 Үш критерий: 3 Жалпы ғылыми тіл
4 Gödel қастандыққа жол береді
5 17 ғасырға қатысты жобалар
6 Соңғы жобалар
7 Ескертпелер
8 Әдебиеттер: 9 Сыртқы сілтемелер - Әмбебап пиктографиялық тіл: барлық ғылымдардың кілті - Халықаралық қатынас
Ағылшын тілінде жазған Лейбництің көптеген ғалымдары оның мінездемесін әмбебап немесе « әмбебап кейіпкер «пасиграфияның немесе идеографиялық тілдің нысаны болу керек. Бұл қытай кейіпкерлерінің» қағидаттарының «ұтымды нұсқасына негізделуі керек еді, өйткені XVII ғасырда еуропалықтар бұл кейіпкерлерді түсінді. Осы тұрғыдан алғанда сипаттаманы табу жиі кездеседі Эсперанто, интерлингва сияқты қосалқы тілдер және Frege's Begriffsschrift сияқты ресми логикалық жобалармен байланысты қазіргі заманғы әмбебап тілдік жобалармен байланысты универсализм Лейбниц заманындағы еуропалық сауданың ғаламдық кеңеюі меркантилистік мотивті қамтамасыз етті Сауда-саттық жасаушылар кез-келген табиғи тілмен сөйлесе алатындай әмбебап саудалық тілге деген қажеттіліктер. Мысалы, Дженекке сияқты басқалар, Лейбництің де universalis сипаттамасына қатысты басқа да ниеттері болғанын және бұл аспектілердің қайнар көзі болып көрінетінін айтты. Қазіргі түсіндірулерде жоғарыда аталған түсініксіздік пен сәйкессіздік Янбикенің пікірі бойынша, Лейбниц жобасы логика мәселесі емес, керісінше білімді ұсынудың бірі, бүгінгі логикаға бағытталған эпистемология мен ғылым философиясында ашылмаған өріс. Лейбництің әдебиетте кездесетін жұмысының бұрмаланған көрінісі үшін жауап беретін осы пәндердің бағыт-бағдары - Jaenecke 1996. Кутурат жазғандай, Лейбниц Джордж Далгарно мен Джон Вилкинстің тілдік жүйелерін осы себепті сынға алды, өйткені олар ғылыми пайдалылыққа емес, негізінен халықаралық практикада қолданылатын жасанды тіл болу үшін практикалық қолдануға бағытталған ұнамды ұғымдардың логикалық байланыстарын білдіретін муниципалды емес және философиялық емес тілдер, оларға ұнайтын және оларға қарама-қайшылықты болатын қарапайым элементтерді білдіретін белгілердің жиынтығымен тұжырымдардың құрамын білдіретін шынайы «нақты сипаттама». композициялық идеялар мен олардың рәміздері табиғи болады және бұдан былай қарапайым болмайды - Кутурат, 1901, 3-бөлім. Жалпыға бірдей ғылым тілі - Лейбниц оның мақсаты адам ойының алфавиті, әмбебап символдық тілдік сипаттама екенін айтты ғылым, математика және метафизика үшін Кутураттың айтуы бойынша: «1676 ж. мамырда ол тағы бір рет жалпыға ортақ тілді сипаттады және армандаған тіл болып табылады, ол сонымен қатар есептеуіш болады - ойдың алгебрасы» 1901 ж., 3-бет Бұл сипаттама Couturat әртүрлі «нақты сипаттамаларды» әмбебаптандыру болды, Лейбниц мысырлық және қытай иероглификасы мен химиялық белгілерді нақты мысалдар ретінде берді деп жазды сипаттама жазу: Бұл нақты сипаттама оған идеография, яғни заттарды, дәлірек айтқанда идеялар мен сөздерді емес, әр ұлт оларды оқи және аудара алатындай етіп көрсететін белгілер жүйесі екенін көрсетеді. оларды өз тіліне аударады - Couturat, 1901, 3-бөлім. Ескертуге Кутурат былай деп қосты:
Лейбниц басқа жерлерде тіпті белгілердің қатарына зодиак белгілері мен астрономиялық белгілерді де қосады. Күн мен айды қоса, планеталар Лейбниц кейде әріптердің орнына планетарлық белгілерді қолданады - Кутурат, 1901, 3-бөлім
Метафизика
Хартли Роджерс метафизикалық аспектіні ерекше атап өтті универсализмнің сипаттамасы, оны «реакциялардың реттелуінің қарапайым теориясымен» байланыстыра отырып, оны «ғылымға мәлімдеме жасаудың дәл анықталған жүйесі» ретінде анықтайды. Роджерс 1963: 934 Эсперанто сияқты әмбебап тілдік жобалар және ресми логикалық пр Фрегтің Begriffsschrift тәрізді тұжырымдары Лейбниц сипаттаған тәсілмен эмпирикалық ғылымның, математиканың, пиктографияның және метафизиканың эпистемалық синтезіне қатысты емес. Сондықтан ғалымдар Begriffsschrift және Esperanto сияқты жобаларды Лейбництің оның мінездемесіне толықтай қарайтындығын көрсетуде қиындық көрді.
Александр Годенің еңбектерінде Лейбництің сипаттамасында оның шындықты бейнелеуге кедергі келтіретін метафизикалық жақтауы бар екендігі айтылып, Годен Лейбниц алдымен белгілі бір мақсаттар немесе функцияларды белгілеп, содан кейін сол функцияларды орындау үшін сипаттаманы ойластырды
Ғылым
Бірақ білімді адамдар бұрыннан қандай да бір ойлауды ойлаған барлық ұғымдар мен заттарды енгізуге болатын тіл немесе әмбебап сипаттама әдемі тәртіп, және олардың көмегімен әр түрлі халықтар өз ойларын жеткізе алады және әрқайсысы өз жазғанын өз тілінде оқи алады, бірақ ешкім бірден табу және пікір айту өнерін қамтитын тілге немесе сипаттамаларға тырыспады. белгілері мен белгілері арифметикалық белгілер сандарға қызмет ететін мақсатқа сәйкес келеді, ал абстрактылы алынған шамалар үшін алгебралық белгілер бар, дегенмен, Құдай адамзатқа осы екі ғылымды бергендіктен, ол бізге әлдеқайда үлкен құпия екенін айтуға тырысты. Біздің түсінігімізде жасырылған, бұлар көлеңкеден тұрады - Лейбниц, Зур аллегемейнен сипаттамасы: Философия философиясы Werke Band 1 страница 30-31 Аударған Артур Бухенау. Кіріспе және ескертулермен бірге Эрнст Кассирер Гамбург : Феликс Майнер 1966 Егер басқаша көрсетілмесе, Лейбництің барлық цитаталары оның «Жалпы сипаттама туралы» кітабынан L-ге аударылған. 1969 ж.: 221–25 Бұл үзінді 222 б. келтірілген. П.П.Вайнер Лейбництің сипаттамаларын климаттық ғылымға кеңінен қолдану мысалын көтерді. Афанасий Кирчер ойлап тапқан өзінің жеке әрекеттері үшін Лейбницті ойлап тапқан синоптиктер қызығушылық танытты әмбебап тіл »1940 ж. Лейбниц өзінің еңбек жолының басында өзінің әмбебап ғылыми тіл туралы арманы туралы былай деді:
Біз ғылымдардың күрделенуі, яғни тапқырлық логикасы туралы айтқанбыз. Біздің күрделену өнеріміздің санаттарының кестелері пайда болған кезде, одан да үлкен нәрсе пайда болады. Бірінші терминдерді, басқаларының бірігуін белгілермен белгілеуге рұқсат етіңіз; бұл белгілер алфавиттің бір түрі болады. Белгілердің табиғи болуы ыңғайлы болады, мысалы, бір нүктеге; сандар, ұпайлар үшін; бір субъектінің екіншісімен байланысы үшін, жолдар; бұрыштар мен аялардың сызықтар, қатынастар түрлері бойынша өзгеруі үшін, егер олар дұрыс және саналы түрде орнатылса, бұл әмбебап жазу әдеттегідей оңай болады және ешқандай сөздіксіз оқуға қабілетті болады; Сонымен бірге, барлық нәрселер туралы түбегейлі білім алынады. Мұндай жазудың бәрі геометриялық фигуралардан және ежелгі мысырлықтар сияқты қытайлардан жасалынған суреттерден жасалады. Олардың суреттері, алайда, алфавитпен қысқартылмайды, нәтижесінде жадында қатты шиеленісу қажет, бұл біз ұсынған нәрсеге қайшы келеді. - Паркинсон 1966 ж. Аударылған «Арт. Арт. 1666»: 10–11
Коэннің 1954 жылғы мақаласын қарап, былай деп жазды:
Лейбництің бүкіл адамзаттың білімін жүйелік тұтастыққа үйлестіруге арналған әмбебап ғылыми ғылымдар бағдарламасы екі бөлімнен тұрады: 1 әмбебап нота белгілері. кез-келген ақпараттың кез-келген элементін табиғи және жүйелі түрде жазуға болатын және оның логикалық өзара байланысы мен салдарын ашатындай етіп есептеу әдісімен жазылған білімді басқарудың құралы. Электронды есептеу коэффициенті - 1954 зерттеушісі
Лейбниц өмірінің соңына таяу уақытта метафизиканы математика мен ғылымды әмбебап сипат арқылы ұштастыру ол құрған нәрсені жасауды қажет ететіндігін жазды:
барлық алгебра типі. ақиқат шындықтары есептеулердің бір түріне дейін қысқарады. Сонымен бірге бұл әмбебап тіл немесе жазба түрі болар еді, дегенмен осы уақытқа дейін ұсынылған барлық тілдерден шексіз ерекшеленеді; таңбалар мен сөздердің өздері ақыл-ойды бағыттайды, ал қателер - фактілерді қоспағанда - тек есептеу қателері болады. Бұл тілді немесе сипаттаманы қалыптастыру немесе ойлап табу өте қиын болар еді, бірақ оны сөздіктерсіз үйрену өте оңай
- Лейбниц, Николас Ремондқа хат, Ломкерде, 1714 ж., 10 қаңтар, 1969 ж.: 654 Аударма қайта қаралды - білімнің әмбебап «бейнесі» сызықтар мен нүктелерді «суреттердің» немесе пиктограммалардың немесе логограммалардың көмегімен біріктіреді. Ол өзінің есептеу коэффициенті арқылы өзінің бейнелік алгебрасы сапалы құбылыстарды ғылыми өңдеуді алға жылжытады деп үміттенеді, осылайша «жалпы ғылымның формалары мен формулалары қарастырылатын ғылым, яғни жалпы сапа« Әмбебап синтез және талдау туралы »болады. , 1679, Лоемкерде 1969: 233 - Оның диаграммалық ойлауы - Лейбництің диаграммалық ойлауы
Universalis сипаттамасы диаграммалық болғандықтан және р Лейбниц жұмысының диаграммаларын жақын арада зерттеуге болады. Кем дегенде екі жағдайда Лейбниц өзінің философиялық пайымдауын Диаграммалармен суреттеді. Бір диаграмма, оның 1666 Де Арте комбинаториясындағы фрагменті, «Аралас өнер туралы» Аристотельдік теорияны барлық материалдар қалай бейнелейді. заттар жер, су, ауа және от элементтерінің комбинациясынан пайда болады - Лейбництің пиктограммаларының негізгі элементтері - Бұл төрт элемент алмастың төрт бұрышын суреттен оңға қарай көрсетеді. Қарама-қарсы жұптарды бір-бірімен біріктіреді. «қарама-қарсы» жер-ауа, от су «таңбаланған» деп белгіленген, төртбұрыштың төрт бұрышында элементтерді анықтайтын төрт қасиет бар, олардың әрқайсысына «мүмкін комбинация» деп белгіленген жолақ қосылады; оларға қосылатын диагональдарға «мүмкін емес комбинация» деген белгі қойылады. Жоғарыдан бастап от құрғақтық пен жылу үйлесімінен пайда болады; ылғалдылық пен жылудан ауа; суықтан және дымқылдан су; Жерді суықтылық пен құрғақтықтан Бұл диаграмма бірнеше мәтіндерде шығарылған, соның ішінде Saemtliche Schriften и Shorte Saemtliche Schriften und Shorte, Reihe VI, Band 1: 166, Loemker 1969: 83, 366, Karl Popp and Erwin Stein 2000: 33
Лейбниц жоғалады Лейбниц мінездеме жасау қиын болатынын дұрыс түсінді, оны жасау үшін қажет уақытты белгілеп былай деді: «Менің ойымша, кейбір таңдаулы ер адамдар бұл істі бес жылда аяқтай алады деп ойлаймын» Лоомкер 1969: 224, кейінірек: «Және сондықтан мен қайталап айтамын, пайғамбар да, князь де адам адамзатқа илаһи даңққа лайықырақ қандай да бір жақсы нәрсені жасай алмайды »Лоомкер 1969: 225 Бірақ кейінірек өмірде әлдеқайда байсалды 1706 жылғы наурызда Ганновердің электрост-сопиясына, оның қамқоршысының жұбайына: «Рас, мен математикаға еш қатысы жоқ мәселелер үшін жаңа есептеу әдісін жоспарлағаным рас. , және егер мұндай логика қойылған болса i Тәжірибеде кез-келген пайымдау, тіпті ықтималды пікірлер де математиктің ойынша болады: егер қажет болса, кішігірім ақыл-ойлар, егер олар үлкен ақыл-парасатпен жүрмесе, кем дегенде оларды ұстануға болады. : осылай есептеп, дұрыс тұжырымдайық, себебі мәліметтер мен себептер бізді оған мүмкіндік бере алады, бірақ мен бұдан да көп нәрсені қажет ететін жобаны жүзеге асыра алатынымды білмеймін. бір қолмен; Адамзат бұл әдіс беретін артықшылықтарға әлі де жете алмайтын сияқты - Strickland 2011: 355
Николас Ремондтың тағы 1714 хатында ол былай деп жазды:
Мен айттым Маркиз де л'Хипиталға және басқаларға менің жалпы алгебра туралы, бірақ олар маған менің арманым туралы айтқанымнан гөрі, мен оны нақты қолданумен қолдау көрсетуім керек еді, бірақ бұған жетуім керек. менің мінезімнің бір бөлігін, оңай емес міндетін, әсіресе қазіргі жағдайымда және маған осы сипаттағы жұмысқа түрткі болатын және көмектесе алатын ер адамдармен пікірталассыз артықшылығы жоқ бөлігін пысықтау керек болар еді - Loemker 1969: 656 - CJ Cohen 1954 үш критерийін ұсынды, ол философиялық тілге арналған кез-келген жоба оны әмбебап сипаттаманың нұсқасы ретінде қарастыруға болатын кезге дейін орындалуы керек үш критерийді белгіледі. Осы критерийлерді қою кезінде Коэн сілтеме жасады. тұжырымдамасына «логи stic «Бұл тұжырымдама статистикалық талдауда қолданылатынмен бірдей емес. 1918 жылы Лейбництің кейбір логикалық жазбаларын аударған және талқылаған алғашқы ағылшын тілді логар Кларенс Ирвинг Льюис:» Логистикалық «туралы: Логистикалық мүмкін Бұйрықтың түрлерімен айналысатын ғылым ретінде анықталу керек, өйткені бұл әдіс ретінде пән емес, логистиканың көпшілігі негізге алынған немесе символдық логика принциптерін кең қолданады, дегенмен де жалпы тәртіп туралы ғылым бұған сәйкес келмейді. міндетті түрде болжам жасау керек немесе символикалық логикадан бастау керек - Льюис 1960: 3, 7–9 Льюис осы жерде өзінің ұстазы Джозия Ройстің ой-пікірін білдірді; «Тапсырысты» қараңыз: 1951 ж. «Ройстың жиналған логикалық жазбаларында». Осы Коэн әмбебап сипаттың келесідей қызмет етуі керек деген шартты қарастырды:
әр түрлі тілдерде сөйлейтін адамдарға бір-бірімен сөйлесуге мүмкіндік беретін «халықаралық көмекші тіл»; Барлық қазіргі білімнің нақты және жүйелі түрде көрсетілуіне, жалпы ғылымға «логистикалық» қатынас жасауға мүмкіндік беретін символизм. Бұл символизм болашақ білімді кеңейту үшін де кеңейтілуі мүмкін;
Ашу мен көрсетудің құралы Критерийлер логистикалық ұғыммен бірге Коэн мен Льюис мінездемені жалпы жүйелер теориясының әдістері мен мақсаттарымен байланыстыратынын анықтады. Ортақ ғылыми тіл
Бұл бөлімде ешқандай дереккөз жоқ, бұл бөлімге сілтемелер қосу арқылы жақсартуға көмектесіңіз сенімді ақпарат көздеріне Қол жетімді емес материалға шағымдалып, оны алып тастауға болады 2011 ж. осы шаблондық хабарламаны қалай және қашан жою керектігін біліңіз
Сәйкестік, түсініксіздік және Ағылшын тіліндегі аудармаларда да, Лейбництің қазіргі ағылшын тіліндегі аудармаларында да ерекшеліктердің жоқтығы айқын экспозицияны қиындатады, өйткені Лейбництің есептеу коэффициенті сияқты екі түрлі философиялық ой мектептері Лейбництің жазбаларында кездесетін екі түрлі аспектіні атап өтуге келді. көзқарас логика мен тілге баса назар аударады және аналитикалық философиямен және рационализммен байланысты. Екінші көзқарас ғылым мен техниканы баса көрсететін Кутураттың көзқарастарымен сәйкес келеді. Бұл көзқарас синтетикалық философиямен және эмпиризммен байланысты. осы аспектілердің ішінен Лейбниц Ариаднаның жіптері сияқты адамның ойлау қабілетін дамытады және осылайша адамзаттың көптеген өзекті мәселелерінің шешімін табады деп үміттенеді ... Годел сөгіс айтады - Лейбниц әмбебап сипаттаманы операциялық егжей-тегжеймен ешқашан суреттемегендіктен, көптеген философтар оны абсурд деп санады Бұл тамырда Паркинсон былай деп жазды:
Лейбництің барлық білімнің жүйелік сипаты туралы көзқарасы оның әмбебап символизмге, Characteristica Universalis жоспарларымен байланысты. Бұл барлық ойды қамтып, пікірталастарды есептеулермен алмастыратын есеп болатын, идеал қазір мүлде оптимистік болып көрінеді. «
- Паркинсон 1973: ix
Екінші жағынан, логик Курт Гөдел сипаттама universalis мүмкін және оның дамуы математикалық практикада төңкеріс жасайды деп санайды Dawson 1997 Ол сонымен бірге егжей-тегжейлі қарауды байқады. мінездеме Лейбництің жарияланымдарынан көзге көрінбейтін болды Гёдел сипаттама туралы Лейбництің барлық мәтіндерін жинады және өзін жүйелі және консерваторлық цензураның қандай-да бір орын алғанына сендірді, обессионалды болып кеткен Гедельдің сенімі оның көлемін түсінбеуі мүмкін. Лейбництің қолжазбаларының редакторларының алдында тұрған міндет, Лейбництің шамамен 15000 хат қалдырғанын ескере отырып 40000 парақ және басқа қолжазбалардың 40000 беті. Қазірдің өзінде бұл үлкен Нахласстың көп бөлігі әлі жарияланбаған күйінде қалды. 17-ші ғасырға қатысты жобалар - Джордж Дальгарно сияқты 17 ғасырдағы басқа да ғалымдар осындай философиялық және лингвистикалық жобаларды жасауға тырысты, олардың кейбіреулері. Математикалық әмбебаптық. Көрнекі мысал Джон Вилкинс, нақты характерге және философиялық тілге арналған эссе авторы, тезаурус әмбебап тілге алғашқы қадам ретінде жазған. Ол өзінің тезисіне адам ойының алфавитін ұйымдастырушылық схемасын қосуды көздеді. тезаураға немесе Dewey ондық жүйесіне ұқсас және ережеге негізделген манипуляция жасауға мүмкіндік беретін «ой алгебрасы» Мұндай жобаларды жүзеге асырған философтар мен лингвисттер көбінесе Лондон және Оксфордтағы пансофикалық әмбебап білім мен ғылыми білімдер топтарына жатады, олар ұжым ретінде белгілі. «Көрінбейтін колледж» және қазір Корольдік қоғамның негізін қалаушылар ретінде қарастырылады. соңғы 150 жыл ішінде пайда болды, олар Лейбництің көптеген түйсіктерін қолдайды. Егер олар Лейбництің біртұтас ғылым туралы көзқарасын қолдайтын болса, онда қалған сұрақ - Ариаднаның біріктіретін жіптерін осы әртүрлі жобалардың ішінен көруге болады ма, олардың интеграциялануына әкеледі ме? » Раймонд F Пайпер 1957 ж .; 432–433 OL Reiser-тің ғылымдағы әлемді түсінуге арналған бірыңғай символизмі, оның 1946 жылы дүниежүзілік бірігу философиясы 1946 жылы Лейбництің әмбебап әмбебаптығымен рухтандырылған және дүниежүзілік түсінік пен объективті байланыстар үшін қажет деп санайды, сондықтан «соғыс ақыр соңында болуы мүмкін». жойылып, бүкіл әлемде бейбіт адам ағзасы біртіндеп құрылуы мүмкін. «Пайпер китабы
19 ғасырдағы бульдік алгебралар мен топтық теорияны зерттеу Лейбництің алгебралық әдістердің сапалы және сандық емес екендігі туралы пайымдау үшін қолданылуы мүмкін екендігі туралы дәлелі болды. құбылыстар Атап айтқанда, логикалық алгебраның немесе топтың әмбебап жиынтығының мүшелері сан болмауы керек. Сонымен қатар, философия мен теориялық ғылымның азды-көпті логикасы мен жиынтығы теориясын қамтыған аксиомалық теория ретінде ресімделуі мүмкін. семантика және прагматика сияқты ерекше емес сандық емес тақырыптарды тұжырымдау және талқылау үшін жұмыс істейді Табиғи тілдер кс Бірақ бұл тәсілдер кез-келген пиктографиялық белгілерге әкеліп соқтырмады - Фернли-Сандер 1986, Лейбництің мінездемесін Фернли-Сандер есептеу коэффициенті және алгебрамен анықталған логика алгебрасының тіркесімі ретінде анықтап, бір қадам алға жылжыды. Фернли-Сандер геометриясының сипаттамасы ретінде анықталған геометрия бұл комбинация әмбебап алгебраның көтерілуімен «пайда болды» деп ойлады Фернли-Сандерден басқа кейбір адамдар «әмбебап алгебра» саласында жұмыс істеді, бұл математикалық және логикалық зерттеулер. әдетте алгебралық құрылымдардың қасиеттері, әмбебап алгебраның сипаттамасына ешқандай қатысы жоқ деп санамаңыз
Palko, Gy Bulcsu 1986 иерархиялық жүйелерді иконикалық тілді қолдана отырып талдау және жобалау үшін құрылымдық талдау деп есептеді және мұндай қолдануды ұсынды. Лейбництің жобалық-құрылымдық талдау мен иконикалық формализациялау тіліне жалпы сипаттамалары 1980 жылғы Kluge басқару жүйесі Фрегтің басты белгісі Begriffsschrift саналы түрде universalis сипаттамасынан шабыттандырды деп санайды ... Тіпті семиотиканың негізін қалаушы Чарльз Сандерс Пайрс барлық пайымдауыштар диаграммалық сипаттамаға ие деп санайды, егер бар болса, сипаттамаларға қатынасы. оның экзистенциалды графикасы мен семиотикаға әлі күнге дейін ағылшын әдебиетінде зерттеу керек ... Логикалық позитивизмнің бірнеше аспектілері, атап айтқанда:
Рудольф Карнаптың «Ауфбаудың 1928 жылғы бірінші реттік теориялары», 1967 ж. ағылшын аудармасы және оның ізбасары Гудмен 1977 , Лейбниций өздерінің өршілдік пен өршілдіктері болып табылады, дегенмен Лейбниц Карнаптың барлық метафизикаға қатал жауыздығынан айрылмас еді ... Отто Нейрат, Рудольф Карнап, Шарль В Моррис бастаған 1930 жылдардағы ғылым қозғалысының бірігуі және кейінірек Эдвард Хаскелл және басқалар Отто Нейраттың изотиптік пиктограмма жүйесімен және «халықаралық сурет тілі» сипаттамасымен салыстырады [1]
Келесі дәлел Теориялық ғылымның бөліктерін аксиомалық бірінші дәрежелі теориялар ретінде қайта қарауды сипаттаманың бөліктерін жасауға талпыныс ретінде қарастыруға болады:
Ханс Рейхенбах, Рудольф Карнап және басқалар жасаған 1920 жыл Carnap 1958: 197-2212; салыстырмалы салыстырмалығы.
Биология, Джозеф Вудгер 1937, 1930 жылдардағы Карнап 1958: 213–20:
Механика, Suppes 1957: 291-305 және 1950 жылдардағы басқалар. '' Симбол '' немесе 'мақсаттары «Гоппольд 1994» идеялық-компьютері әмбебап әмбебап нұсқасына ұқсайды
Еврей Каббаласымен байланыс, сонымен қатар Бахаи сенімінің халықаралық қосалқы тіл саясаты жасалды. Энергетикалық жүйелер тілінің және атаумен байланысты Одум жүйесінің эквивалентті энергия синтезі Cevolatti және Maud, 2004 ж. Энергетикалық жүйелер тілі сызықтар мен нүктелерді сандық компьютерлердің көмегімен басқарылатын «суреттер түрімен» біріктіреді. d EXTENDtm Одум, Одум және Петерсон 1995 сияқты бағдарламалық қамтамасыздандыру пакеттері және Valyi's Emergy Simulator [2] Ол экологиялық субъектілер арасындағы сапалы энергетикалық қатынастарды сандық есепке алу мен математикалық модельдеуді қамтамасыз ететін жалпы жүйелер тілін қамтамасыз етуге арналған: «бұл ғылым қарастырылатын ғылым» заттардың формалары немесе формулалары, яғни тұтастай алғанда сапа «Жалпы алгебра» эмгециялық алгебра деп аталады, бұл қатынастарды экологиялық қатынастардың энергетикалық принциптерін модельдеуде және модельдеуде көп қолданғаннан пайда болды. термодинамиканың төртінші заңы ретінде ұсынылған ең жоғары қуат принципі, егер бұл ата-бабаның талабы берілсе, онда EXTENDtm және Valyi's Emergy Simulator сияқты модельдеу бағдарламалық жасақтаманы, егер сандық компьютер түсіндірілсе ғана және сипаттаманы біріктіретін ретінде қарастыруға болады. коэффициенттік есептеудің физикалық көрінісі ретінде - Марио Будың жұмысы Физика мен метафизиканың шекарасында орналасқан Лейбництің характиситі Радницкийдің ұқсас метафизикалық жорамалдарына негізделеді 1981: 246
Лойбан және оның ескі нұсқасы Логлан - предикаттық логикадан алынған және адамдармен қарым-қатынаста қолдануға арналған жасанды тілдер
Charles K Bliss's Blissymbolics немесе Blissymbolics, қазіргі уақытта мүгедектерге арналған «балама және кеңейту тілі» ретінде пайдаланылады, бірақ бастапқыда Халықаралық «Оксланг» ретінде қарастырылған, Bliss 1978 сипаттамасының негізіне енген дейді. Иткуиль - бұл салынған Джон Квижада жасаған, адам танымының терең деңгейлерін қысқа, бірақ анық және анық білдіруге арналған тіл, әсіресе адам санатына қатысты. Ескертпелер
^ «Изотит және БОЛАШАҚ кітаптары - Нейрат» Маусым 2003 ж. 10 шілде 2016 ж.
^ «Emergy Simulator» SourceForgenet 16 сәуір 2013 ж. 10 шілдеден бастап
сілтемелер
Лейбництің сипаттамаларға және сол сияқты өмірлік қызығушылығы туралы, т ол Лоумкерде 1969 жылы жазылған мәтіндерді оқыды: 165–66, 192–95, 221–28, 248–50, 654–66. Мінездеме туралы Рутерфорд 1995 және Кутурат 1901 жылғы классикалық пікірталасты қараңыз: 3-бөлім, 4 Мінездеменің сипаттамасына да қатысты 1986 ж.: 183–88 ол лингвистикалық философия деп атағанын талқылау. Блисс, Чарльз К, 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
Карнап, Рудольф, 1958 Қолданбалар қосымшасымен символикалық логикаға кіріспе -
, 1967 Әлемнің логикалық құрылымы: Калифорния философия университетіндегі псевдопроблемалар Оның аудармасы 1928 Der Logische Aufbau der Welt Лейпциг: Феликс Мейнер Верлаг - Джеволатти, Д, және Мауд, S, 2004 «Ағартуды жүзеге асыру: ХТ Одумның энергетикалық жүйелері. GW және Лейбництің сипаттамасы Universalis», экологиялық модельдеу 178: 279–92
Коэн, Джонатан, 1954 «Жалпыға ортақ сипаттағы жоба туралы», Ақыл Жаңа сериясы 63: 249, 49-63 бет. Кутурат, Луис, 1901 жыл. Ла Лоджик де Лейбниц Париж: Феликс Алькан Дональд Рутерфордтың ағылшынша аудармасы прогресс - Кутурат, Луис, О Джесперсен, Р. Лоренц, Вильгельм Оствальд және Л Пфаундлер, 1910 ж. Халықаралық тіл және ғылым: Халықаралық тілді ғылымға енгізу туралы пікірлер «, Констабель және Компания шектеулі, Лондон - Дамаск, М. , 1987 Лейбниц: Тіл, белгілер мен ойлар, Филадельфия эсселер жинағы: Джон Бенжаминс - Дэвис, Мартин, 2001 Логика қозғалтқыштары: Математиктер және компьютердің шығу тегі WW Norton - Доусон, JW, JW, 1997 Логикалық Дилемма: Курт Годел Веллеслидің өмірі мен қызметі М.А. : АК Питерс - Фернли-Сандер, Десмонд, 1982 «Герман Грассманн және Дүниежүзілік алгебраның тарихы,» Американдық математикалық айлық 89: 161–66
Года, Александр, 1951 Интерлингва-Ағылшын: Халықаралық сөздік тілі Нью-Йорк: дауыл баспагерлері: Гудман, Нельсон, 1977 1951 Көрініс риделінің құрылымы - Хинтикка, Яакко, 1997 Lingua Universalis vs Calcious Ratiocinator Жиырмасыншы ғасыр философиясы Клювер - Дженекке, П, 1996 ж. «Білімді ұсынудың қарапайым принциптері», Білімді ұйымдастыру 23: 88–102 - Клуге, EHW, 1980 «Фрег, Лейбниц және идеалды тіл ұғымы», Студия Лейбнитиана 12: 140–54
Льюис, CI, 1960 1918 Символдық логикаға шолу - Лоемкер, Лерой, редактор, 1969 Лейбниц: Философиялық құжаттар мен хаттар синтезі Тарихи кітапхана Дордрехт: Д Рейдель - Матес, Бенсон, 1986 Лейбництің философиясы Оксфорд Univ Press
Odum, EC, Odum, HT және Peterson, NS, 1995 «Sim қолдану Максималды қуаттылық: HT Odum Colorado Univ Press идеялары мен қосымшалары: 346–52
Паркинсон, GHR, ed and trans, 1966 Leibniz: Oxford логикалық еңбектері Univ Press
- және Мэри Моррис, транс, 1973 ж. Лейбниц: Философиялық жазбалар Лондон: Дж.М. Дент - Пайпер, РФ 1957 ж. «Оливер Лайзердің» Ғылымдағы әлемді түсіну үшін бірыңғай символизмге шолу «,» Философия және феноменология Зерттеу 17: 432–33
Радницки, Джерард, 1981 «Аналитикалық философия Витгенстейндіктер мен поппер арасындағы қарама-қайшылық ретінде», Джасс & Амп; Коэн, Р.С., Ғылыми философия. Бүгінгі 239–286 Дордрехт: Спрингер Верлаг - Рейсер, Оливер Лесли, 1946 Әлемді біріктіруге арналған философия: Ғылыми гуманизм мәдени интеграцияның идеологиясы ретінде, Халдеман-Юлиус жарияланымдары - 1940 ж. Ғылыми, діни, әлеуметтік және экономикалық ойларды біріктіруге арналған ғылыми гуманизмнің уәдесі, Оскар Пиест
-, 1955 Ғылымдағы әлемді түсінудің бірыңғай символизмі: семантография мен логика, кибернетика және семантика Bliss рәміздері, Semantography Pub Co
Зерттеуші, Николай, 1954 «Джонатан Коэннің әмбебап сипаттағы жобасына шолу», Символдық логика журналы 19: 133
Роджерс, Джр, Хартли, 1963 «Математикалық логикадағы мысал», Американдық математикалық айлық 70: 929–45
Рутерфорд, Дональд, 1995, «Философия және тіл» Джолли, Н, Эд, Кембридж жолдасы Лейбниц Кэмбридж Univ Press: Стрикланд, Ллойд, Эд, 2011 Лейбниц және Екі Софи: Философиялық корреспо Торонто: Iter Inc
Suppes, Патрик, 1999 1957 Логикалық доверге кіріспе - ван Хейеноорт, Жан, 1967 «Тіл ретінде логика және есеп ретінде», Синтез 17: 324–330 Хинтикка 1997 жылы басылған

Винер, Филип П, 1940 «Лейбництің ғылыми өнертабыстардың көпшілікке арналған жобасы,» Идеялар журналы 1: 232–240 - Вуджер, Джозеф Х, 1937 биологиядағы аксиомалық әдіс, Кембридж университетінің пресс-конференциясы
Сыртқы сілтемелер - Коразцон, Рауль, 2010, Тіл - Калькуляция және әмбебап орта ретінде тіл - библиография, интернет-құжаттарға сілтемелер және Джаакко Хинтикка мен Жан Ван Хейхеноорттің
Смит, Барри, 1978, Эссе Формальды онтологияда, Grazer Philosophische Studien 6: 39–62 - 1990, K Mulligan-дағы 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...