зосереджений на збереженні структури. Це - принцип " екстенсіонального ізоморфізму ", який Гудмен пропонує як критерій адекватності конструктивного визначення. p> Теореми конструктивної системи покладаються "реальними" визначеннями, використовують певні семантичні критерії правильності на додаток до звичайним синтаксичним критеріям, які накладаються на чисто формальні (або "Номінальні") визначення. Конструктивна система формалізує деяку область (передбачуваного) знання, яке може бути представлене як безліч пропозицій, сформульованих у неформализованном дискурсі (наприклад, природній мові), де деякі терміни повинні бути відповідно визначені в системі, що використовує правила виведення, а деякі утворюють спеціальне безліч термінів, прийнятих за елементарні, тобто базові примітиви системи ("внелогіческіе основи" - "extralogical basis "). Таким чином, питання про критерії правильності відсилає до питання про довільності/мимовільності вибору "атомів" категоризації, елементарних термінів системи. Примітиви повинні при цьому розумітися як вже є предметом навмисного використання або інтерпретації; якщо їх використання або інтерпретація не очевидні, то вони можуть бути забезпечені неформальним поясненням, в строгому сенсі не є частиною системи. p> Термін вибирається як елементарного не тому, що він є невизначуваним; скоріше, він є невизначуваним в силу того, що він був обраний як елементарний ... Взагалі терміни, прийняті в якості елементарних в одній системі, цілком можуть піддаватися визначенню в небудь іншій системі. Чи не існує ні абсолютних елементарних термінів, ні такого їх вибору, який був би єдино правильним [4]. p> Так, наприклад, неформалізована область може складатися з пропозицій, що описують людські відносини спорідненості, а конструктивна система в цьому випадку буде складатися в точних визначеннях всіх предикатів спорідненості в термінах примітивів (Наприклад, Х - батько Y і X - жіночої статі) і в рекурсивно встановлюваної специфікації теорем через аксіоми і правила виводу. При цьому кожна з теорем є інтерпретацією (шляхом визначення) одного з початкових неформалізованих пропозицій. p> Тут виникають мінімум три проблеми. p> Труднощі знайти вирази як основних істин логіки, так і фактів і законів здорового сенсу і науки в термінах номіналізму, в якому всі предикати є предикатами індивідів і ніяка абстракція не розглядається як значення ( meaning) квантифікованій змінної. Цю трудність, на думку Гудмена, можна подолати шляхом введення деяких зразків номиналистской перекладів і правил, за допомогою яких можна зробити інші необхідні переклади. Такі зразки і правила Гудмен і Куайн приводили у вже згадуваній статті; яку саме систему Гудмен намагається будувати у світлі цих більш ранніх ідей, ми скоро побачимо. p> Труднощі, що відноситься особливо до дедуктивним етапам філософської конструкції - трудність з'ясування поняття В«подібності за змістомВ» без ризикованого виходу за межі зрозумілого світу екстенсіоналу в хаотичний світ...
