ПредишенСледващото

(От латинската extensio -. Разширение, разширяване). substitutivity собственост, която се проявява в опазването на ценностите (обемите) изрази KL език за възможно (в този език) превръщането на тези изрази. Тъй като маска поради идентичност, Е. включва абстракция на идентификационни изрази, приети на определен език, и, съответно, показва, интервалът на тази абстракция. Така например .. идентифицирани класове и се определят техните свойства, връзки и съответствия. предикати и т. н. Ако идентифицирани език предлага своята който е признак (truth-) стойност (вж. denotata). Д. имота има само novestvovat. синтактично. езикови конструкции, които не съдържат изречения изразяващи пряка или непряка реч. Това се дължи на факта, че операциите на предложения за трансформация в пряка или непряка реч, както и модалните операции не поддържат отношения ravnoobraznosti предложения - тяхната самоличност на стойност истина. Това, в частност, ситуацията в природа. езици, които проявяват косвени контексти (достатъчно ravnoobraznosti в тях с отношението фалшива самоличност я определя). За разлика от това, в класически езици. Logic, когато е уместно избор вселена на дискурса (домейн) косвени контексти се елиминират, както и всички операции на изявленията остават ravnoobraznosti отношение, става дума за последното съотношение е единство. отношения на идентичност. Така .. в комплект-теоретичен-комплекти. логика и въз основа на нейните теории Д. изрази се предоставя поради мълчаливия постулата неразличими ravnoobomnyh свойства (или обема и съдържанието на понятията). На езика на набор се теория, този постулат вече е формулиран изрично като аксиома или принцип, Е. (ravnrobomnosti). всяка настройка комплекта е напълно определена от нейните елементи. Sci. език. който е конструиран в съответствие с принципа на еквивалент принцип Е. наречен. екстензионна език. В противен случай, езикът се нарича. neekstensionalnym или интензионалната (вж. Интензионалност). Екстензионна езици абстрактни от психологическо. Pragma и преподават. нюанси на значението на израза, така че те са по-лесни за интензионалната и във връзка с това се предпочита, но с т. Sp. изразя. възможности за по-бедни екстензионна езици: тяхната информация. Проблемът е напълно ограничен предмет (модел) аспект на въпроса. В допълнение към езика на логиката, да екстензионна форма-lizov. езици са езиците на математика, химия, и езици за програмиране.

Философски тълковен речник. - М. съветски енциклопедия. Гл. Редакционен: LF Ilicheva, PN Fedoseyev, С. Ковальов, VG Панов. 1983 година.

Екстензионна (лат extensio -. Stretch разширение) - заменяемост равни (синоними) изрази, прилагани към контексти и езици. Контекстът, отговарящи правен смяна равен, наречена екстензионна; като име и език, като всички те са екстензионна контексти. В противен случай, се говори за neekstensionalnosti (или Интензионалност) езици и контексти.

Extensionality не е абсолютно езикова собственост, и поема определена абстракция на идентификация на езиково изразяване, материализиран в съответното правило равен замяна. Ако посочените правила на половете е присъща характеристика на езика (независимо от извънезиковата факти), подмяна на равен има никакви ограничения и е валидна във всички ситуации. Това са, по-специално, графичен равенство на думи или синтактично синонимия, във връзка с която всеки език е екстензионна. Ако идеята за равните се подразбира случай (въпреки че, може би, и произволно) модел като референтна равностойност. extensionality не се запазва за всички ситуации. Ограничения за използването на замяна правило равен в този случай възникват поради препратката, като функция на смисъла може да се промени в резултат на замяната на еднаква стойност по отношение на обект, но в смисъл на неравно. Следователно, за да; Ra: tensionalnym естествено се отнасят само тези контексти, в които смисъла не се управлява от справка и интензионалната - напротив, тези, при които референтни контроли смисъл. Последното обикновено включват някои модални и всички епистемичните контексти, контексти мнение, както и пряка и непряка реч; сред първите - всички контексти, лишени от "личен цвят". Въпреки extensionality език дава някои предимства смятане (симетрията и елегантност на истината стойности на неговите изрази по отношение на трансформацията на синоними), екстензионна език, разбира се, в изразителните си възможности за по-бедни интензионалната, т.е.. А. Те се абстрахира от психологическите и прагматични аспекти на комуникациите.

Подкрепете проекта - споделете линка, благодаря!